q) = -2*q + 35. Let j be u(9). Let y be (6/(-24))/(j/4). Does n = y?
False
Let v = -73/28 - -11/4. Which is bigger: v or 1?
1
Let g be (50/20 + -4)*(0 - -2). Which is bigger: g or -65/29?
-65/29
Suppose -3 = 3*d - 21. Let a be (-230)/55 + d + -3 + 1. Is -11 at least as big as a?
False
Let k(u) = -7*u + 29. Let s be k(4). Let t be -2 - (-25)/30*64/25. Is t at least s?
False
Suppose -36*x + 39*x + 6 = 0. Let c(r) = -5*r + 4*r - 4*r. Let t be c(1). Which is smaller: x or t?
t
Let g be 610/6 - 48/72. Let l be 30/(-10) + g/34. Which is smaller: 1 or l?
l
Let v be 20/15*3/(-34). Let i = -60/799 - v. Which is bigger: 0 or i?
i
Suppose -4*f = 5*r - 23, -f - 3*f = -r - 5. Suppose 9*w + 98 = 2*a + 4*w, 0 = w + f. Which is smaller: 43 or a?
43
Suppose -22*x = -3*x - 19. Which is smaller: -1/156 or x?
-1/156
Suppose 0 = 4*r + 5*h - 23, r + 2*h = -3*h + 17. Let n be -5 - -3 - (r + -317). Let g = n - 9701/31. Is g equal to 0?
False
Suppose -2*m + 14 = 4*s, 0 = 3*m - 4*s - s + 34. Let l be -3*m/9*-2. Let a = -7/5 + 11/15. Is a > l?
True
Let g = -29422/95 - -1548/5. Let q = 0 - 0. Which is smaller: g or q?
g
Let u = -23.7 - -168.7. Let n = u + -136. Is -5/3 < n?
True
Suppose 0 = -5*b - 2*g - 108, g - 5*g - 56 = 2*b. Let z = -65 - -65. Is b at most as big as z?
True
Let b = -93 + 40. Let z = -5026 - -4975. Are b and z equal?
False
Suppose 277 = 15*m + 52. Which is bigger: 72/5 or m?
m
Let z = 10 - 4. Suppose 0 = -13*p + 15*p + 36. Let t = -11 - p. Is z equal to t?
False
Suppose -27*a = -6*a + 22*a. Is a bigger than -4/403?
True
Let y be (-46)/(-23) + (-1 - 5). Is y >= -77/20?
False
Let h(p) = -p**3 + 6*p**2 + p + 1. Let y be h(6). Let m(l) = -l**3 + 7*l**2 - 3*l + 14. Let w be m(y). Are w and -7 equal?
True
Suppose 3*t + 31 = 5*i + 8, -i + 3 = t. Let g be 6 - 0 - (2 + -6). Let p be (2/9*3)/(g/51). Does i = p?
False
Suppose -2*i = -a + 61, 3*i - 101 = -2*a - 0*a. Suppose v = -4*v + 4*r + 288, 4*v = 5*r + 234. Is v less than or equal to a?
False
Let w = -1.5 + -9.5. Let n = w - -14. Let s = 2 - n. Is 2/5 < s?
False
Suppose 5*n + 4*b = -25 - 35, -5*n = 3*b + 55. Let d be (1/n)/(15/18). Which is smaller: -1 or d?
-1
Let r(i) = -5*i**2 + 12*i + i**2 + 3*i**2. Suppose 0 = 4*v - 65 + 17. Let c be r(v). Is 2/11 at most c?
False
Let j = -43 + 30. Let s = 62.6 + -75. Let o = s - j. Are -0.1 and o nonequal?
True
Let t = -370.53 + 405.5. Let g = t + -37.9. Let x = g - 0.07. Are 1 and x equal?
False
Suppose p + 4*w + 1 = 0, -38 = -2*p + 5*w - 3*w. Suppose -k - p = -6*k. Is 0 > k?
False
Let o be (-17031)/2841 - (-186)/31. Which is greater: o or 1?
1
Let q = 3 + -3. Let y(n) = -n**2 + 9*n - 14. Let d be y(2). Is d less than or equal to q?
True
Let w = 1 - -2. Let v = -2.9 + w. Let d = -23 - -275/12. Which is smaller: d or v?
d
Let s = 47402/11 + -4306. Which is smaller: s or 3?
3
Let p(t) = t**3 + 14*t**2 - 16*t - 15. Let f be p(-15). Suppose 4*i + 17 = -3, -5*v - 5*i - 15 = f. Is v at least as big as 18/17?
True
Let j(n) = n**2 - 15*n - 12. Let l be j(15). Let x = l + 14. Let w be 58/(-18) + 6/x. Which is bigger: 5 or w?
5
Let r = -534.4 + 471.26. Let t = r + 0.14. Let y = -62.73 - t. Are y and 0 nonequal?
True
Suppose -2 = t - 5, -5*p = 2*t - 16. Suppose 0 = -4*f + 5*o - 27, p*f - 6*o + 3*o + 15 = 0. Suppose -4*x - 17 + 5 = 0. Do x and f have different values?
False
Let p be 4*1/(-4) + (-3 - -3). Does 1/28 = p?
False
Let s be 14/(-8)*(-4)/3. Suppose -r - 4 = -13*z + 10*z, -3*z + 16 = 5*r. Which is smaller: s or r?
r
Suppose 826 = 4*a + 2*k, 185*k = -4*a + 188*k + 831. Which is bigger: a or 620/3?
a
Let c be (2 + (-18)/4)*-2. Suppose -3*m - y + 17 = -24, 95 = 5*m - c*y. Let r = 1 + 15. Is m less than or equal to r?
True
Suppose 3*r + r + 192 = 0. Let y be ((-2)/(-184))/(24/r). Which is smaller: -1 or y?
-1
Let f = -10/37 + 295/1776. Do -0.1 and f have the same value?
False
Let h = -103 - 101. Which is greater: h or 3?
3
Let a be 1/((-1977)/396 + 5 + 0). Is a <= 132?
True
Let n be 9/6*(-60)/(-9). Let u be 26/n - 1/5. Suppose -3*a + 6 + 0 = 0. Is u less than a?
False
Let w = -1155 + 1155.49. Which is greater: 0 or w?
w
Suppose -8*p + 9*p = 7. Which is smaller: p or 1?
1
Let w be 28875/196 + (-3)/4. Let b = w - 147. Is b smaller than 0?
True
Let q = -824 + 824. Is 0.342 smaller than q?
False
Suppose 7*y - 19*y - 204 = 0. Let h be (3 + -7 - 15) + 2. Is h at least as big as y?
True
Let k(f) = -11*f**2 - 43*f + 37. Let s be k(9). Is -1241 >= s?
True
Let x(b) be the third derivative of b**5/60 + b**4/4 - 5*b**3/6 + 3*b**2. Let o be x(-5). Let p = 15 + -26. Which is greater: p or o?
o
Suppose 3 = 3*v, -2*v - 3 = -z - 0*z. Suppose d + 5*c = 277, 3*d = z*c + 114 + 757. Let p = d + -3155/11. Is 0 != p?
True
Suppose -3*w + 4*m - 3 - 5 = 0, 3*w + 17 = -5*m. Let d be -20*(-2)/16*w. Let s be (15/(-3))/(d/4). Which is smaller: s or 4?
s
Let x = 19 - 6. Let d = -6 + x. Are 1 and d equal?
False
Let x(m) be the third derivative of -m**4/8 - 25*m**3/6 - 28*m**2. Let s be x(-8). Let d = 2.9 + -3. Are s and d non-equal?
True
Let m = 75580 - 1288292/17. Let q = 202 + m. Suppose 4*x + 12 = 4*g, 4*g - 5*x = 3*g + 11. Is q at most g?
True
Let p = -5642 + 5643. Suppose 5*k + 29 + 86 = 0. Is k smaller than p?
True
Let v = -3/352 + -281/49632. Does -1 = v?
False
Suppose 4*m = 5*a + 11, a - 12 = 5*a - 4*m. Let d be (5 - 18/3) + 1*2. Let w be d/7 + (-143)/(-1155). Is a >= w?
True
Suppose -5*u = 3*c - 150 + 540, u + 106 = 5*c. Is -80 at least as big as u?
True
Let s = -442 - 186. Is s not equal to -627?
True
Let z be (4 + -6 + -2)/(-1). Suppose -z*v + 2*q - 1 = 3*q, 3*v = -q - 1. Which is smaller: v or 9?
v
Let v(r) = -2*r**3 + 13*r**2 + 8*r - 5. Let o be v(7). Let p be (13 - (4 - o))*1. Let t = p - 19. Do -7 and t have the same value?
False
Let g = -12906/5 - -2573. Is -8 less than or equal to g?
False
Let q = 1417/447 - 1/298. Is 2 equal to q?
False
Let h be -85 - (8 - (-6 - -8)). Is -89 at least h?
True
Let y = 5273 + -3485455/661. Let f = 2021/12559 + y. Let x = -1 + 2. Is x smaller than f?
False
Let i be 12250/36 - (-10)/135*3. Let n = 324 - i. Is n smaller than -18?
False
Let s = 4/399 - 10007/3192. Suppose 5*r = -j - 5, -2*r + 4*j = 3*r + 30. Which is bigger: r or s?
r
Let w be 440/33 - 2/6. Let b = 13 - w. Let z = -3/94 + 321/1222. Which is bigger: b or z?
z
Suppose 2*b = -2*j + 345 + 3581, 0 = 2*j - 6. Which is greater: 1959 or b?
b
Let h(l) = 12*l**3 + l. Let t be h(1). Let f = 11 - t. Let x be f*(12/(-3) - -1). Which is bigger: 5 or x?
x
Let f = -431 + 430.1. Is 17 at most f?
False
Let v = -2 - -13. Let s = -39 + 27.8. Let f = s + v. Is f smaller than 0.2?
True
Let m(z) = -z**3 - 6*z**2 - z - 2. Let y be m(-6). Suppose u + y*o - 3*o = 4, 5 = 5*o. Let i be (u + 21/(-2))/(-6). Which is bigger: i or 0?
i
Let g = 44 - 28. Suppose -2*f - 4*o + g = 0, 4*f - o = 2*o - 12. Suppose f*q = -q. Is q bigger than 8/9?
False
Let x = -1486 - -1480. Which is bigger: 1/105 or x?
1/105
Let m = -861 - -860.595. Are m and -1/3 equal?
False
Let b = -28928912/1141 - -25354. Which is bigger: b or 1?
1
Let t(b) = 5*b + 180. Let f be t(-36). Do f and -2/167 have the same value?
False
Let n(o) = 2*o**3 - 5*o**2 + 4*o - 2. Let m be n(3). Let i = -1332 - -1351. Do i and m have the same value?
True
Let y(b) = 1 + 11 - b**3 - 29*b + 8*b**2 + 11*b + 11*b**2. Let g be y(18). Which is greater: 11 or g?
g
Suppose 2*n - 4*d - 13 = 21, -16 = -2*n - 2*d. Suppose y = -q + 3, q + 2 = -4*y + n. Which is smaller: 3 or y?
y
Let u = -214 - -5991/28. Which is smaller: u or -1?
-1
Let d = 16.3 - 3.3. Let u = 25 - d. Let f = 12 - u. Is 0.1 <= f?
False
Let c = 284/5 - 2581/45. Is -1/3 bigger than c?
True
Let h = 3 - 11. Let j = -8662 + 8657. Is h equal to j?
False
Let u be -9 + 6 - -1*6. Suppose 2*g + 20 = -u*g. Let k be 8/45 - g/18. Which is greater: 2 or k?
2
Suppose 83 = 4*s + 67. Let c be (-25)/130*s/20*-8. Suppose 0 = 2*k - 0*k - 3*d, 0 = 5*k + 2*d. Is k greater than c?
False
Let j = -0.2 - -0.19. Let t = -7943 - -7948. Which is smaller: j or t?
j
Let o(k) = k**2 - 28*k + 125. Let u be o(26). Is u smaller than 72?
False
Let z be 17/(-3) - 7/21. Let v be (-16)/z + (-2 - 1). Let p = -1/15 + v. Which is smaller: p or -0.2?
p
Let f(g) = g - 47. Let h be f(19). Let z = 28 + h. Do 10/11 and z have different values?
True
Let f be (1/(-2))