 2*i - 4*s - 10. Suppose -v + 15 = 2*r, 2*v + i*v - 99 = 2*r. Suppose -22*z = -v*z - 72. Does 23 = z?
False
Let d = 1744 + -1740. Is 1.31 bigger than d?
False
Suppose 2*h - 5*r = 0, -5*r + 10*r = h. Suppose -4*j - 16 - 24 = h. Is -11 smaller than j?
True
Let y = 0 - 0.1. Let i be (-8)/((-16)/(-10)) + -6. Do y and i have the same value?
False
Suppose -475*j + 489*j + 14 = 0. Which is greater: 1/482 or j?
1/482
Let i(r) = 25*r - 1. Let p be i(-5). Let o be 3/p*(-14)/(-21). Which is greater: o or 1?
1
Let p = 213.5 - 178. Let g = p + -37.39. Let z = 1.9 + g. Which is greater: z or 0.1?
0.1
Let w = -1061.33 + 1061. Is -0.4 < w?
True
Let c = -64/15 - -199/60. Let r = -1/5 - c. Is r at most as big as -2?
False
Let s = 1152 - 245. Do s and 907 have the same value?
True
Let a = 0 + 9. Let k = a - 7. Let y = -19 - -18.8. Are y and k unequal?
True
Let f = -0.3304 - -0.0404. Do -2/23 and f have different values?
True
Let m(c) = c**2 + 5*c - 1. Let j be m(-6). Suppose 5*t - j*q + 37 + 38 = 0, -q + 53 = -3*t. Let r = 24393 - 24412. Is r at least as big as t?
True
Let q be 20/(-22)*(-80)/10. Is q not equal to 7?
True
Let z = 0.15 - 0.2. Let s = 3.75 - 3.6. Let t = -0.35 + s. Is t at least z?
False
Let k be 18/4 + 3/6. Suppose 2 = 3*t + k. Let c = -90 - -89.7. Is t at least c?
False
Suppose t - 4*z = -5 + 26, 5*t = -2*z + 17. Which is bigger: t or 7?
7
Let z(w) = 4*w - 1. Let n be z(2). Let s be 43/10 - (11 - n). Is -2 equal to s?
False
Suppose -2*l = -4*l + 26. Suppose 4*g - l = -5. Suppose 0 = -0*n - n + g. Which is greater: n or 3?
3
Suppose -2*r + 12 = 2*r. Let f be 63/(-70)*1/r. Which is greater: f or 0?
0
Let y = -2.26 - -137.26. Is 2 greater than or equal to y?
False
Let w be ((-644)/(-5))/((-756)/(-630)). Is 107 at least w?
False
Let k = 934.8 - 935. Which is greater: -401 or k?
k
Let v = 126 - 71. Which is bigger: v or -4?
v
Let g(m) = -m**2 + 9*m - 6. Let v be -3 + 2/2 + (9 - -1). Let n be g(v). Let p be (-5)/(-7) + 4/14. Which is smaller: n or p?
p
Let o = -3 - -4. Suppose 2*v = -z, 0 = 2*z + 2*v + 1 - 3. Suppose z = -2*h + 2. Are h and o unequal?
True
Let p = 27.01 - 32.01. Let j = 0 - 0.2. Which is bigger: j or p?
j
Suppose 0*v = -v - 5*o - 49, v - 3*o + 41 = 0. Let c = -31 - v. Which is bigger: c or 11?
c
Let g = 1.139 + 0.061. Let x = -59 - -58. Is g equal to x?
False
Let i = -9 - -13. Suppose -i*v - 15 = -5*v. Which is bigger: 13 or v?
v
Suppose -5*k - 4 = 3*j, -3*j + 2*k = j + 40. Let d(i) = i**2 + 9*i + 8. Let z be d(j). Which is greater: 1/18 or z?
1/18
Suppose r = -3 + 1. Let p(q) = 2*q + 1. Let n be p(r). Let j be (-2 + 15/9)*n. Which is greater: 3/5 or j?
j
Suppose -2*g - 2*m - 4 = 0, 7*m - 5 = 2*m. Let a = -178 - -872/5. Is g > a?
True
Let f = -41/60 - 1/15. Let x = 10 - 9.4. Is f smaller than x?
True
Let v be -3 - (-141)/(-2)*16/(-12). Suppose -5*w + 4*w = 4*m - v, 3*m = 3*w + 72. Is m equal to 43/2?
False
Let p = 42 - 48. Let i = 4 + p. Is -8 smaller than i?
True
Suppose 4*a - a - 94 = 2*h, 164 = 5*a + 4*h. Suppose 102 = -38*m + a*m. Let o(d) = -d**3 + d**2 - 18. Let s be o(0). Is m > s?
True
Let i(s) = -58*s + 38. Let t be i(2). Is -78 >= t?
True
Let n be -1*6 + 2 + 10 + -4. Let f(b) = -b**3 - b**2 - b + 2. Let p = 3 - 3. Let d be f(p). Does n = d?
True
Let n = -18961/43 - -441. Let w = n - -39/86. Is 3 at least w?
True
Let q = 244215993313/153115305 + 16/1458241. Let y = -1595 + q. Which is greater: y or 0?
0
Let p = -91.2 - -85.5. Is p greater than or equal to -1?
False
Let r = 1775.1 - 1775. Is -163 > r?
False
Let v(c) = -c**3 - 12*c**2 - 2*c - 26. Let s be v(-12). Let p be s + 9 + -6 + (-15)/19. Is 0 at least as big as p?
False
Suppose i + i - 4 = 0. Suppose -i*g = 6 + 6. Let d be (-23)/4 + 7/(-56)*2. Is g greater than or equal to d?
True
Let d = 1901 + -1941. Which is smaller: d or 2.2?
d
Let c = -51 - -74. Is c greater than -1/2?
True
Let l be 252/(-147)*(-231)/(-78). Is l at least as big as -6?
True
Let n be (((-143)/(-561))/13)/19. Is n greater than or equal to 0?
True
Let h(l) = -3*l**3 + 20*l**2 - 11*l - 3. Let s be h(6). Suppose 3*z - z - 4 = 0. Let p be (-2)/z - s/(-6). Is p equal to 1/2?
False
Suppose 0 = -35*b + 23*b + 12. Which is bigger: 4/87 or b?
b
Let d(g) = 824*g + 43. Let r be d(-1). Are -781 and r equal?
True
Let d = -48 - -47. Let r be 4/d + (-3)/(-1). Let o be (6/9)/((-1)/3). Which is smaller: o or r?
o
Let x(m) be the third derivative of -m**5/60 + 5*m**4/8 - 19*m**3/6 + 37*m**2. Let r be (-288)/(-21) - 4/(-14). Let t be x(r). Are -5 and t equal?
True
Let d = -3793 + 94829/25. Suppose 0 = 4*l + f, f + 4*f - 24 = 4*l. Which is bigger: d or l?
d
Suppose -4*c + s - 12 = 0, 2*s - 2 = -31*c + 28*c. Which is smaller: c or 11.4?
c
Let f = 459 + -495.7. Let w = f + 34. Let h = -2.67 - w. Are 1/2 and h nonequal?
True
Let s(b) = 83*b - 567. Let n be s(9). Which is smaller: n or 6?
6
Let q = 11197/3 + -3866. Let v = q - -135. Which is greater: v or 1?
v
Let k = 26 - 57. Let t = -16 - k. Which is bigger: 16 or t?
16
Let j(l) = -3 - 3*l**2 + 2 + 4 + 6*l**2 - l**3 - l. Let h be j(3). Which is bigger: -1 or h?
h
Let c = -0.01 - -0.13. Let h = -39 + 26. Let i = 14 + h. Which is greater: i or c?
i
Let m be ((-27)/(-6))/((-12)/304). Let x = 118 + m. Is x bigger than 36/7?
False
Let z = -18 - -20. Suppose -s - 50 = -z*s. Suppose -l = 4*l - s. Is 10 at most as big as l?
True
Let q = -14 + 13. Which is bigger: q or -8?
q
Suppose 7*w = 3*w + 152. Let y = w - 37. Which is smaller: y or -1/6?
-1/6
Let z(x) = -x**3 + 8*x**2 + 6. Let w be z(8). Suppose f = w*f - 5. Let d = 0 - f. Which is greater: 0 or d?
0
Let u(v) = v**3 - 2*v**2 - 2*v. Let p be u(2). Suppose 7*d = 121 - 142. Is p greater than or equal to d?
False
Suppose -6 = 23*m - 17*m. Do m and 1/140 have different values?
True
Let i = 22 + -7. Let s = -15.1 + i. Let p = -2.4 - -5.4. Is s <= p?
True
Let w = 413 + -421. Is -126/19 > w?
True
Let l = 468 - 344. Are l and 124 non-equal?
False
Let h be (((-45)/(-6))/(-5))/(63/(-99)). Is 3 greater than h?
True
Suppose -17 = -11*i - 6. Let h = -24419/44 - -555. Are h and i equal?
False
Let z(y) = 4*y**2 - 117*y - 30. Let n be z(28). Are -171 and n equal?
False
Let b = -865/6 - -2116/15. Which is greater: b or 2/7?
2/7
Let k(l) = -l**2 - 11*l - 3. Let v be k(-7). Let s = -26 + v. Suppose 5*o = 2*o + 6. Do o and s have different values?
True
Let n be 4/(-2)*(-123)/6. Suppose 4*v - n = 7. Let f = v - 11. Are -0.3 and f non-equal?
True
Let j be (10/25)/((-3)/(-2400)). Is j >= 319?
True
Suppose 20*h + 1738 = -3682. Which is smaller: -270 or h?
h
Let i = -447 + 3561/8. Let u(v) = v**2 - 3*v + 1. Let n be u(2). Which is smaller: i or n?
i
Suppose 2*n + l - 37 = -n, -4*n = -2*l - 36. Let o(a) = a**3 - 10*a**2 + 9. Let z be o(10). Which is bigger: z or n?
n
Let y be (-2)/(-25) + 58843/(-729600). Which is smaller: 1 or y?
y
Let j = 107 + -59. Let n = j + -34. Let b = n + -15. Which is smaller: b or 0.4?
b
Suppose -2*i - 2*z + 13 = 3*i, -5*i + 17 = 3*z. Suppose -5*c = d - 26, -4*d + d = 4*c - 23. Suppose -c*y + 3*b - 6 - 6 = 0, -b = 1. Which is smaller: y or i?
y
Let q be 116/1106*170/(-120). Let y = q + 7/237. Let j = -1/6 + y. Which is greater: 1/2 or j?
1/2
Let j be (-3)/2*6 + (-88)/(-22). Which is greater: 20 or j?
20
Let a = 60 - 361/6. Let z = 0.107 - 0.307. Which is bigger: a or z?
a
Let y be -1*(-1)/4*-4. Let n = -2/541 - -611/18935. Which is smaller: n or y?
y
Suppose 3*a = -2*a - 50. Let k = -18 - a. Let p be ((-2)/(-8))/(46/k). Which is smaller: p or 0?
p
Let a be (-2)/4 - 133/14. Let t(o) = -3 - o - 5 + 0. Let n be t(a). Is n smaller than 2/3?
False
Let o be 1 + -1 + 4 + -2. Suppose -28 - o = 3*f. Let n be 1 - 1 - 3/f. Which is greater: n or 1?
1
Let y be ((-198)/(-34) - 6)/((-1)/8). Which is bigger: 2 or y?
2
Let p = -5 + 9. Let g = -370 + 369. Is g at least p?
False
Suppose -2*o + 3*v + 4 = 18, v - 7 = 3*o. Suppose h - 12 = -h. Let j be (h/(-63))/(3/70). Is j >= o?
False
Let r be (-6)/((-10)/((-10)/2)). Is r not equal to -76/23?
True
Let z be 36/10 + (-4)/(-10). Suppose -4 = z*i, 0*p + 4*p - 77 = i. Suppose -4*l - p = 9. Which is smaller: l or -5?
l
Let v = 444 - 443. Which is bigger: 7 or v?
7
Let r = 1042/1305 - 38/45. Are 1 and r unequal?
True
Let p be ((-6 - -19) + -11)/(2/20). Which is bigger: -5/3 or p?
p
Let s = 29 - 30