t least i?
True
Let r = 27 + -22. Suppose 0 = o - r - 20. Is 26 greater than or equal to o?
True
Suppose -10*a = -369 + 39. Is 360/11 != a?
True
Suppose -3*v = -4*k + 6, 2*v + 2*k - 19 = -3*k. Let x be (-11 + v)*(-3)/(-9). Is -21/8 > x?
True
Let p = -10.6 - -9.6. Do p and 156 have different values?
True
Suppose -l + 3*r + 10 = 0, -4*l + 5*r + 30 = -9*l. Let f be 12/l*4/(-48)*2. Is 7 less than or equal to f?
False
Let r = 5919 - 242691/41. Which is smaller: 0 or r?
r
Suppose 135*k - 125*k = -10. Which is bigger: 79 or k?
79
Let y = -12.1 + 14.1. Which is bigger: y or -11?
y
Let v be (-136)/16*4/46. Which is bigger: -2 or v?
v
Let y(u) = 27*u + 294. Let q be y(-11). Is 50 smaller than q?
False
Let l be (-3)/5 - (0 - -3). Which is smaller: -3 or l?
l
Let m be 21/14 + (-1)/2 + 56. Let h be m/63 + 3 + (-25)/7. Is -23 < h?
True
Let k = 119 + -162. Is -85/2 != k?
True
Let y = 1231 + -1230. Let d = -4 - -4.13. Which is greater: d or y?
y
Suppose -91 = -37*r - 461. Which is smaller: -1/3 or r?
r
Suppose 0 = 18*x + 736 + 1262. Which is smaller: -549/5 or x?
x
Suppose 356 = 4*p - 3*v, 3*p - 5*v - 181 - 75 = 0. Is 91 <= p?
True
Let u(b) = -b**2 - 3*b + 3. Let o be u(-4). Suppose 11*t - 25 = 6*t. Let v = o + t. Which is bigger: 9/2 or v?
9/2
Let d be -3 + (3 - 1/(-477)). Which is greater: d or 0?
d
Suppose f - 41*p + 45*p = 28, -4*f + 97 = p. Which is bigger: 278/11 or f?
278/11
Let f = -2097/486130 + 2/1405. Which is smaller: -1 or f?
-1
Let q = -29/6 + 931/192. Let n be ((-2)/4)/((-42)/(-84)). Which is smaller: q or n?
n
Suppose 1 = -18*w + 17*w. Is w smaller than -15?
False
Let s(d) = 22*d**3 - 2*d + 1. Let z be s(1). Let b = 30 + -17. Suppose -l + b = -7. Which is bigger: z or l?
z
Let n = -33 - -32.9. Suppose 0 = -2*z + 37 - 9. Suppose 0 = -0*k - 2*k - z. Which is bigger: k or n?
n
Let o(v) = -v**2 + 15*v + 11. Let w be o(15). Suppose -11 = -z - 6*l + 2*l, -5*z + w = -2*l. Is 3 at most z?
True
Suppose 2*a = -2*a. Suppose -3*k = 4*j - 17, -19 = -5*j + 3*k + 36. Suppose -3*p - 11 + j = a. Which is smaller: p or 0?
p
Suppose -4*x - 3*v - 282 = 0, x + 5*v + 286 = -3*x. Let h = x - -72. Is h smaller than 3?
False
Suppose b - 587 = -4*n, 15 = -3*b - 0. Suppose -2*a + 82 = 3*m, 6*a - n = 2*a - 2*m. Let d be a/(-20) - (-6)/8. Are d and -5/4 equal?
False
Let r = 2.96 - 2.9. Let k = r - 3.06. Which is bigger: k or -0.2?
-0.2
Let m = 250 - 187. Which is smaller: 511/8 or m?
m
Let g = -13 - -14. Let q be (1 - 1 - -2)/(3145/85). Is g greater than or equal to q?
True
Suppose 0 = -r - 2 - 1. Let y be 1472/(-318) + 1 - r. Let t = 2/53 - y. Which is greater: 4 or t?
4
Let w = -292/3 - -95. Let d be (1*8)/(4/(-16)). Let x be 3/(2/6 - d/(-24)). Which is greater: x or w?
w
Let v be ((-79)/(-69))/(40/1). Let g = v + 3/230. Let n = -8 + 7. Which is greater: n or g?
g
Suppose -r + 62 = 10. Let d be (2/8)/(r/16). Do d and 1 have the same value?
False
Let d be (-1)/3 - ((-500)/6 + 2). Let t = 80 - d. Is -4 >= t?
False
Let u(h) = h**2 + 5*h. Let n be u(-5). Suppose -5*r + n = 15. Let k be 2/r*(-9)/(-6). Which is smaller: -0.1 or k?
k
Let s(f) be the third derivative of -f**6/120 - 7*f**5/30 - f**4/2 + 2*f**3 + 13*f**2. Let u be s(-13). Which is bigger: u or 2/13?
2/13
Let q = -98 - -100. Let g = -0.53 - -10.53. Is g less than q?
False
Suppose 0*o + o - 1 = 0. Let z = 4 - o. Let b be (-5)/z*(-28)/(-70). Which is smaller: b or -2?
-2
Let l = -88 - -1077. Which is bigger: 990 or l?
990
Suppose m + 2*m = 6. Let v be 22/10 - m/10. Is v < 6?
True
Suppose 6 = 4*k - 7*k. Let w = -0.5 - -0.5. Which is greater: k or w?
w
Let y(w) = -7*w**2 + 13*w - 30. Let p be y(7). Do -282 and p have different values?
False
Let u be (3*(-4)/4)/1. Let q be (u/3 + -1)*-7. Let t be 2/q*12/4. Is t smaller than -1?
False
Let s = 640.9 - 641. Is 0.087 < s?
False
Let m(s) = 5*s - 52. Let l be m(11). Is l >= 25/13?
True
Let d = 57 - 173/3. Suppose 13 = 7*z + 13. Let l be ((-3)/(-2))/3*z. Which is smaller: l or d?
d
Suppose 0 = -11*f - 42 + 42. Which is bigger: -3/11 or f?
f
Let r = -23 - -49. Let s = 26.1 - r. Which is smaller: -2.9 or s?
-2.9
Let r be 6/(-84) + (7 - 7)/4. Which is bigger: -3 or r?
r
Let s be 15/30 + 13/2. Let u = -7 - s. Let g be 4/(-26)*(u + 13). Is 0 greater than g?
False
Let w = -0.355 + -0.055. Let o = -0.21 - w. Which is smaller: 2/13 or o?
2/13
Suppose -2*s = -0*s + 10. Let h be (-3 - s/1) + 6. Let u be h/2 + 4/2. Are 2 and u nonequal?
True
Suppose -2*v + q = -q - 2, -3*v = -4*q - 3. Are v and 1/35 non-equal?
True
Let n = -0.521 - -1.521. Is 15/2 smaller than n?
False
Let i(c) = c**3 - 5*c**2 + 5. Let r = 18 + -14. Let j be i(r). Is j < 0?
True
Let z(r) = r - 10. Suppose 3 = -d - 5*p + 1, 5*d + 2*p = 13. Suppose -c + 5 = -d. Let w be z(c). Is -5/3 greater than w?
True
Let r(n) = -n**3 - 3*n**2 - 2*n - 1. Let a = -2 - 0. Let l be r(a). Let k be (l/6)/(1/(-4)). Are -4 and k equal?
False
Suppose 5*u + 4*o = 22, u + 2 = -4*u + 4*o. Let k be -1 - (-88 - (u - -1)). Are 89 and k equal?
False
Let b = 0.9688 - 0.1688. Is -0.023 bigger than b?
False
Let a = 584 + -575. Which is smaller: a or 34?
a
Let x = 152 - 154.45. Is 0.1 at most as big as x?
False
Let n(l) be the second derivative of l**5/20 - l**4/12 + l**3/3 - 18*l. Let r be n(0). Is r at most as big as 10/11?
True
Let f = 19847/3720 - 316/31. Let u = 11/24 + f. Is u >= -5?
True
Let g be -11 + 21*20/36. Let a = -3.3 + -18.7. Is g greater than a?
True
Let f = 886 + -4431/5. Which is bigger: 2/1937 or f?
2/1937
Let r = -1215 - -1214.857. Is -1/6 less than or equal to r?
True
Suppose 10*y = 4*y. Suppose y = 2*d + 3*d. Is d bigger than -5/9?
True
Let j be (-28)/(-42) - (2 - 7618/(-6)). Let s = j - -2591/2. Which is smaller: s or 26?
s
Let y(b) = 3*b + 19. Let r be y(-4). Let a = r - 9. Does a = 2/19?
False
Let r be (-1)/(-1) + (-1692)/42. Let b = -39 - r. Which is smaller: b or -0.6?
-0.6
Let y = 14/661 - -564424/3305. Which is greater: 172 or y?
172
Let c be (1/4)/(33/(-12) - -3). Suppose -5 - c = 6*u. Is 3/31 at most as big as u?
False
Let n be 142/9 - 12/(-54). Let t be n/6 - (6 - 2). Which is smaller: t or 0?
t
Let n = 27 - 30. Let i = n + 0. Which is greater: 0.11 or i?
0.11
Let s = -5 - -2. Let f = 3.1 + s. Let k = -2/3697 + 55471/29576. Are k and f nonequal?
True
Let d(h) = h**2 + 2*h - 27. Let t be d(9). Let x be -2 - (t/(-21) - 2). Do x and 3 have different values?
True
Let r(y) = 20*y - 2. Suppose -24*m + 25*m + 4 = 0. Let n be r(m). Is n not equal to -82?
False
Let h be 1 - (-8181)/90 - (-3)/30. Which is smaller: h or 98?
h
Let c = 15 + -16.2. Let g be ((-96)/18*3)/((-2)/11). Let b = 351/4 - g. Is c greater than or equal to b?
False
Let s be (-72 - -67) + 3/(9/14). Which is greater: 119 or s?
119
Suppose -4*m - 3*v + 2*v - 138 = 0, 0 = -m + 4*v - 26. Is m less than -6?
True
Let o be ((-1)/(-2))/((-15)/570). Suppose 5*s + 3*b - 5*b = -14, s + 4*b = -16. Let l = -24 - s. Is o less than l?
False
Suppose -42 = 2*n - 2*q, -23 + 74 = -2*n - q. Let f = -13 - n. Suppose 5*b - f*b = 42. Is -6 greater than b?
True
Let o = 3014.73 - 2996. Let d = -0.27 - o. Let x = -19 - d. Does x = 0?
True
Let p be 11/5 + 1/(-5). Suppose -p*j + 45 = -i, -4*i + 7*i + j = -135. Let a be 18/i*(-1)/7. Which is smaller: a or 1?
a
Suppose 1 = 4*r + i, 61*i + 11 = -r + 57*i. Which is greater: -17 or r?
r
Let z = 4.63 + -5. Let u = z + 0.47. Which is smaller: 0.5 or u?
u
Suppose 0 = 4*a - 2*b + 6, 5*a = a + b - 1. Let l be 1 + a/5*-7. Let p(i) = i**2 - 2*i. Let g be p(2). Is l < g?
True
Suppose 0 = -r + 2*k + 10, 0*r + 4*r + 25 = -5*k. Let s(j) = 6*j**2 - j - 2. Let z be s(-1). Which is smaller: z or r?
r
Let b be (13 - (-553)/(-49))/(148/70). Is 0 >= b?
False
Let s = -19 - -19. Let y be ((-3)/(-71))/(63/(-42)). Which is greater: y or s?
s
Let k be 0/((-612)/(-323) + 2/19). Which is bigger: -2/73 or k?
k
Let i = -465/7 - -6059/91. Are i and 5.7 unequal?
True
Let d = 2837 - 59639/21. Is -4 != d?
True
Let y = 0.04 - 0.02. Let d = 0.18 + y. Let r(j) = -j - 2. Let m be r(-2). Do m and d have different values?
True
Let l be (3/24*1)/(4/32). Which is bigger: -3/155 or l?
l
Let i = 229 + -489. Is -1 not equal to i?
True
Let c = 0 - 39. Is c less than -38?
True
Let q = -11053/26 + 425. Let w = 1 - 1. Does q = w?
False
Let g be (-4)/(-25)*(300 + 5). Let u = g - 297/5. W