-55/7. Which is smaller: s or 2.7?
s
Let r(c) = -7*c - 13. Let y be r(-4). Let n be (-34)/120 - (-3)/y. Let z = -130 + 908/7. Is z >= n?
False
Let i(w) = -3*w**3 + 9*w**2 - 20*w + 134. Let x be i(4). Let o be (-14)/(-4) - 2/4. Suppose 0 = 2*v + o*y - 4 - 0, 0 = -5*v + 4*y - 36. Which is bigger: v or x?
x
Let y = 0.8 - -12.2. Let c = y - 24. Which is smaller: -1 or c?
c
Let m = -2 - -8. Let j = -78 + 82. Let k = j - m. Which is bigger: k or -14?
k
Let i = -50 - 30. Let g = -5204 - -5124. Let y = g - i. Which is greater: y or 6?
6
Let w be (4 - 0) + (-612)/252 - 2. Are -1092 and w non-equal?
True
Let z be (-18)/(-6) + 1694/(-518). Which is greater: z or 0.1?
0.1
Let t = -184 - -305. Let n(k) = 349*k**3 - 226*k**2 - 2*k. Let j be n(1). Do t and j have the same value?
True
Suppose -953*r + 8 = -952*r, 0 = 4*i + 3*r + 7116. Is i < -1783?
True
Suppose -818 - 1179 = -43*f - 234. Do f and -40/3 have the same value?
False
Suppose 50*j = 76 + 5882 + 1092. Which is bigger: j or 703/5?
j
Let m = 343 + -342.9765. Let g = 0.0235 - m. Which is smaller: g or -103?
-103
Suppose 427 + 224 = -31*q. Suppose 3*n - 10 = 2*n. Let b = -10 - n. Which is smaller: b or q?
q
Suppose -363 = m + 4*k, 2*k + 809 + 629 = -4*m. Are m and -362 equal?
False
Let q = 3746.8 + -3750. Which is smaller: 0.045 or q?
q
Let l(i) be the second derivative of i**4/12 - 2*i**3 + 9*i**2 - 11*i. Let p be l(10). Let o be (-8)/(-3) - (-3)/p. Which is smaller: 1 or o?
1
Suppose 0 = -13*p + 9*p - n + 365, -4*p + 4*n + 380 = 0. Suppose -13 = -21*i + p. Is i not equal to 21/4?
True
Let j = -5847 - -5163. Which is greater: j or -681?
-681
Suppose -5 = d - 6*f + f, -5*d + 2 = 2*f. Which is smaller: d or -3163?
-3163
Let y = 4005 - 4004.9. Let a = 93 + -155. Let m = a + 37. Which is bigger: m or y?
y
Let w = 944 - 916. Let t(v) = v**2 - 5*v + 12. Let p be t(7). Which is smaller: w or p?
p
Suppose -k + 12*j - 14*j = 10, 5*j = -3*k - 25. Let c be 43 - (k - (3 + (-3 - 0))). Is 42 bigger than c?
False
Let i = -3.3 - -3. Let r = 11687 + -11720. Is r bigger than i?
False
Let n(b) = -5*b - 158. Let f be n(-43). Let a be 15/(495/(-22)) + 28/f. Is a less than or equal to 1?
True
Suppose 0*i - a + 4 = -i, i = -4*a - 9. Let c be ((-14)/i)/((-11)/7920*-8). Is c not equal to 251?
True
Let a(l) = -l**2 - 15*l + 24. Let j be a(-11). Let g be -216*(-3 - (-176)/j). Let w = g + -89. Is -1 < w?
True
Suppose 4*v = -28, -z - 2*v = -4*z - 63 - 544. Let w = -66 + -141. Do w and z have different values?
False
Let n = -18.9 + 19.6. Let p = 24.7 - n. Is 3 greater than p?
False
Suppose 0 = -5*c + 3*m - 11, -19*m = -3*c - 15*m - 11. Is c not equal to -17/791?
True
Suppose 11*d + 2 = 12*d. Suppose 3*z - d*w = -3, -2*w + 21 = -2*z - 7*w. Which is greater: -2/19 or z?
-2/19
Let r be 549/54 + (-10)/1. Is r greater than 178?
False
Let n(u) = -u**3 - 17*u**2 - 16*u - 9. Let o be n(-16). Let j be 2*(o - -3)*3. Let q be (j/28 + 1)/3. Is 2/3 bigger than q?
True
Let d be 14/12 - 62780/176952. Is d at least as big as 0?
True
Let x(l) = l**3 - l**2 + l + 1. Let z be x(0). Suppose -132 = -m - 10*m. Let g be (-272)/372 + m/18. Does z = g?
False
Suppose 4*g = -4*b + 2152, 0 = 4*g - 19 - 1. Let r be ((-4)/5)/(b/(-41)). Which is smaller: 0 or r?
0
Let i = -32510 + 228479/7. Is 131 <= i?
False
Suppose -12*q = -22*q + 7090. Is q not equal to 708?
True
Let b = -233 - 1344. Which is greater: -1573 or b?
-1573
Suppose -3*o - 82*n = -79*n - 9, -n + 3 = 0. Which is smaller: o or -78/61?
-78/61
Let d = 96388/3 - 32511. Let a = -382 - d. Which is smaller: -1.36 or a?
-1.36
Let l = 7805/3 + -2602. Which is greater: 415 or l?
415
Suppose 5*r - 102 + 22 = 0. Let o(i) = i**2 + 70*i - 128. Let w be o(2). Is r less than or equal to w?
True
Let c = -6.7 + -1.3. Let p = 0.0635 + 317.9365. Let u = p - 316. Is u at least c?
True
Let o be 11/((-132)/(-33045)) + 2/8. Suppose -o = -15*v - 579. Is 145 greater than or equal to v?
True
Suppose -142 = 3*t + 92. Let p = 132 + t. Let a = 113 - 58. Is a at least p?
True
Suppose 20 = 3*v + 5. Let g be v*((-8)/20 + 1). Let x be (-70)/(-26) - (-8)/(-12)*g. Is 0 != x?
True
Suppose 51*r + 5154 + 27364 = 6661. Which is smaller: -514 or r?
-514
Suppose -2*s - 3*i + 7*i - 10 = 0, -3*i - 3 = 2*s. Let t = 562 - 177. Let w be -4 + (t/75 - 1). Which is bigger: s or w?
w
Let v be ((-4)/(-6))/(12233/(-78)). Which is smaller: v or 0?
v
Let h = 5724 + -5724. Suppose 4*j - 3*j + 2 = 0. Let m = j + 1. Which is smaller: h or m?
m
Let c(k) = 74*k + 5105. Let d be c(-69). Is 9/53 at most d?
False
Let x(t) = -t**2 - 93*t - 2031. Let r be x(-58). Which is smaller: r or 0.1387?
r
Let v = -0.3 + 0.2. Let q = -114 - 290. Let b = q + 395. Does v = b?
False
Let j = 19336 + -20079. Which is smaller: j or -740?
j
Let c(i) = -6*i**2 - 16*i - 26. Let r be c(-5). Which is bigger: -98 or r?
r
Let k(u) = u**3 + 7*u**2 - 20*u - 19. Let z(f) = -2*f**2 + 40*f - 9. Let d be z(20). Let y be k(d). Which is smaller: 13/27 or y?
y
Let w be 894*1 + 12*10/(-40). Is w > 892?
False
Let a be 21924/16443*(36597/128114 - (-2)/(-7)). Is a <= 1?
True
Let f be (-19714)/56 - ((-75)/(-20))/5. Let t = f + 353. Let g(w) = w**2 + 4*w - 1. Let b be g(-4). Is t less than b?
False
Let t = -26009/2 - -12746. Which is bigger: t or -260?
t
Let q = 13091/2 - 6694. Which is smaller: q or -149?
-149
Let p be -5356 - (-9 - (17 - 16)). Do p and -5346 have the same value?
True
Let b = 0.154 - 59.154. Let s = -58.92 - b. Which is greater: 6/11 or s?
6/11
Let x(i) = -3*i**2 - i + 0*i**2 - 3 + 0*i + i**3. Let n be x(4). Let y = -728 + 742. Does y = n?
False
Let x = 6716 + -6563. Which is bigger: x or 208?
208
Suppose -5*k - n = -4*k + 240, 0 = -2*k - 4*n - 472. Let y = -1222/5 - k. Which is smaller: y or -6/31?
y
Let q be -12 + ((-6)/(-3) - -1). Let n = -36 + q. Let l be (1*-1)/((-3)/n). Do -13 and l have the same value?
False
Suppose 0 = 5*l + 5*z + 16 + 4, 3*l + 20 = -5*z. Suppose 4*x - 20 = -5*s, 3*x + s + s - 8 = l. Is 18/13 smaller than x?
False
Let z(m) = 85*m - 105. Let c be z(9). Suppose 5*w = 15*w + c. Which is smaller: w or -64?
w
Let t = 21/958 + -2791/116397. Let d(n) = n**3 - 5*n**2 + n - 5. Let b be d(5). Is b smaller than t?
False
Suppose 8*w - 1192 = 4*o + 6*w, -5*w = o + 287. Which is bigger: -295 or o?
-295
Let m(w) = 3*w**2 - 17*w - 1. Let n be m(6). Let j be ((-81)/68)/(3*n/(-40)). Which is bigger: j or 3?
j
Suppose -w + 3567 = 5*l, -w + 87*l = 83*l - 3594. Is 3584 at least w?
True
Let a = 0.03 - -0.07. Let o = -248.471 + 6.471. Is a smaller than o?
False
Let w be (-2)/(-3)*(-18)/(-14). Let v be (3/(-18))/((0 + 5 + -4)/(-6)). Is v equal to w?
False
Let l be 22/5 - (-26)/(-65) - 1. Suppose 0 = 4*j + 4*h + 8, -6*j = -j - l*h + 2. Which is smaller: j or -16/13?
-16/13
Let q be 12/((10/25)/1). Let t = 42 - q. Suppose -26*w = -29*w + t. Is -1 < w?
True
Let j = -2501/10084 + -5/2521. Which is smaller: -0.3342 or j?
-0.3342
Let d(s) = s**3 - 5*s**2 - s - 8. Let w be d(8). Suppose 169*q - 721 = w*q. Are q and -103 nonequal?
False
Suppose 4*j + 1081 = -0*j - 5*n, 0 = 2*j + 5*n + 543. Let c be (4020/(-45))/(1/3). Is c < j?
False
Let y be 12 + -13 + 1*(0 + 3). Let k(q) = q**3 + 6*q**2 - 7*q + 6. Let c be k(-7). Let p be y + (5 - 1 - c). Is p less than -1/3?
False
Let d(r) = 2*r**2 - 2*r + 9. Let y(p) = -4*p**2 + 5*p - 19. Let o(n) = 11*d(n) + 6*y(n). Let k be o(4). Is -104/7 > k?
True
Let r = 7369.3 + -7369. Which is smaller: 127/5 or r?
r
Let b = 50907 - 24878. Are 26029 and b nonequal?
False
Let c be 14049/70 - -7 - (-51)/170. Which is smaller: c or 98?
98
Suppose 0 = -4*p + 3*r - 2978, 2*r - 1092 = p - 345. Are p and -743 nonequal?
False
Let s be (-1)/1 + -6 + (-19)/(-190)*20. Which is greater: s or -0.1314?
-0.1314
Suppose d - 4014 = 2*y, -2*y + 4*d - 1774 = 2234. Let l = y - -178718/89. Which is bigger: l or -0.2?
l
Suppose -524*w + 507*w - 1 = -1. Let d(q) = -7*q**3 + 2*q**2 + q. Let k be d(-1). Let j = k - 6. Which is smaller: j or w?
w
Suppose 100 = -56*z + 15*z + 16*z. Suppose 26 = -5*p - 4*x, 0 = p - 5*x + 5 + 6. Let n be (58/(-4))/(z + (-27)/p). Do n and -28 have the same value?
False
Let k = -109 + 86. Let f = -38 - k. Let s = f - -14.75. Which is smaller: s or 0?
s
Let z be (44/(-2))/(1/(12/(-6))). Suppose -2*y - z = 22. Is -31 less than or equal to y?
False
Let x(q) =