4)*(3 + 0)/18. Does p = o?
False
Suppose 4*a + 243 = -2*i + 681, -209 = -2*a + i. Suppose 0 = 2*o - a - 69. Let h = o + -169/2. Which is smaller: 3 or h?
3
Let a = 73 - 72.9. Which is bigger: a or -19?
a
Suppose -2*d - 5*z = -64, 0 = -0*z - 2*z. Let c be 4*12/d*-6. Let n be 6/(-75)*c/6. Is n less than 0?
False
Let c(p) = -4*p**2 - 71*p + 21. Let z be c(-14). Which is greater: z or 234?
234
Let p = -249.1 - -249. Suppose -q + 3*q - 60 = 0. Is p != q?
True
Let i be (-6)/14 - (-4290)/(-182). Is -119/5 at most i?
False
Suppose -o + 4*a - 5 = 0, -4*o + 0*o + 13 = -5*a. Let m be (1148/8)/o*14. Let r = m + -563/2. Which is smaller: 5 or r?
5
Let m(i) = 2*i**2 - 5*i + 4. Let c(y) = -y**2 + 4*y - 3. Let p(k) = -4*c(k) - 3*m(k). Let r be p(1). Let g be r*3/9 - -1. Is -4 >= g?
False
Suppose 11 - 17 = -6*u. Which is greater: 9/146 or u?
u
Suppose -176 = -12*t + 4*t. Suppose -p - t = -21. Which is smaller: -2/39 or p?
p
Let t = -5515 - -5515. Let h(k) = -k**3 + 26. Let r be h(0). Which is greater: t or r?
r
Suppose 0 = -5*r - 4*t + 18, 0 = 2*r - 3*r - 4*t - 6. Is 11/2 at least r?
False
Let b = 0.3 + 0.2. Let m = 3727 + -3725. Which is smaller: m or b?
b
Let z = 10.4 - 10.5. Let u = -4 - 5. Which is bigger: u or z?
z
Suppose 2*g = -0*g. Let u(j) be the first derivative of j**2/2 + 8*j - 6. Let b be u(g). Is 8 smaller than b?
False
Let i be (-3 - (-16)/4)*0. Suppose 6 = -2*f + 16. Let l be (-143)/(-5) + (-3)/f. Which is greater: l or i?
l
Suppose -23*z + 26*z = 0. Let s be z + (0 - 4 - -8). Let q be 10/(-3)*6/s. Which is smaller: q or -3?
q
Let n = -0.44 + 1.16. Is -0.1 smaller than n?
True
Suppose -4*p + p = 0. Suppose 3*a - 2*a - 10 = 2*l, 2*a + 4*l + 20 = 0. Suppose r + 7 = 2*q, -5*r + q = -a*q + 17. Is p at least r?
True
Let u be (-13)/(-6) + -3 + 2. Suppose 8 = 2*m, a + 12 = 3*m - 0*m. Which is smaller: a or u?
a
Let i(a) = a + 8. Suppose 2*n + 2*c + 26 = 0, -c = 3*n + 21 + 8. Let h be i(n). Let b(f) = -f**2 - 1. Let x be b(0). Which is smaller: x or h?
x
Let u be 2376/(-945)*(-7)/(-6). Is u greater than -2?
False
Let x be 1777/(-4) + 3/12. Let h = 2207/5 + x. Is h > -0.1?
False
Suppose 0 = m - 4 + 1. Let u be ((-3)/(m/4))/(-2). Suppose z - 3*z = -u. Which is greater: z or -0.2?
z
Suppose 5*v - 10 = 5*a, -5 - 27 = -4*a - 4*v. Let n be 0/(1*(a + 0)). Suppose 5*h - h = n, -o + 4 = -2*h. Is o less than or equal to 2?
False
Let u = 1180 + -2048. Let t be 4/(-5)*(-1510)/u. Let l = t + -10/31. Which is greater: l or -2?
l
Let p = 35 - 36. Let w = 1 - 3. Let s = w + -5. Is s greater than or equal to p?
False
Let r = 20 - 12. Let u = 4 + -2. Suppose 2*i - r = -u. Which is smaller: -1 or i?
-1
Let v = -2948 + 2941. Is v at most 1/156?
True
Let u be (-8 + 6)/(390/(-1449)). Let v = -42/13 + u. Is 0.1 less than or equal to v?
True
Suppose 0 = y + 2*i - 93, -4*i = -5*y - 5*i + 501. Is y at least as big as 101?
True
Suppose -l - 11 = 3. Let h = -48 - -66. Let f = l + h. Which is greater: 2 or f?
f
Suppose 0 = -4*h - 2*n + 8, -2*h + 10 = 3*h + 2*n. Let a be 48/90*h/(-8). Are 1 and a unequal?
True
Suppose 18*b - 422 = 4618. Is 281 at most b?
False
Let f(w) = 2 - 12*w**2 - 1 + w**3 - 13*w + 3 + 7. Let l be f(13). Which is bigger: l or 1/3?
l
Let s be -3*(-7 - 10/(-3)). Is s not equal to 34?
True
Let r = 98 - 94. Suppose r*w + 5*z - 39 = 27, 4*w = 2*z + 52. Are w and 66/5 non-equal?
True
Let g = -233551 - -928909/4. Let p = g + 1267. Let x = p - -57. Is 4 < x?
False
Let d = 966 - 966. Let i = -1/8 - -79/56. Is d equal to i?
False
Let q(p) = 10*p - 12. Let n be q(3). Suppose 5*j = -0*j + 20. Suppose -3*v - j*r + 68 = v, -v + r + 17 = 0. Is v less than or equal to n?
True
Let b = 5309/76560 - 1/2640. Suppose 0 = 3*k - k. Is b greater than or equal to k?
True
Let o = -2 - -43. Is o at most 41?
True
Let d(l) = -l + 15. Let t be d(11). Suppose t*n - 14 + 2 = -4*q, -3*q + 5*n = 15. Suppose q = -x - 1 - 0. Is x bigger than 0?
False
Let s(v) be the first derivative of -v**3/3 + 3*v**2 - 3*v - 5. Let l be s(6). Let r be ((-8)/78)/(2/l). Is 0 greater than r?
False
Let h = 134 - 1208/9. Is -5/2 at most h?
True
Suppose 2*q + 3*q = -30. Let g = 10 + q. Suppose 3*v - 5*z - 5 = 0, 0 = 2*z - g. Is v at most as big as 5?
True
Let r = -4.937 + 5. Let f = r - -0.637. Is f smaller than 0.8?
True
Suppose -2*y + 19 = -35. Which is smaller: 23 or y?
23
Suppose -2*a - 2*w + 30 = 0, 0 = 5*w + 5. Let o be (-4)/a*0 - -3. Suppose o*r - 30 = 9*r. Does -9 = r?
False
Suppose -m - 2*t = 2*m + 8, t = -4*m - 14. Let a be 18/((-2)/((-3)/(-3))). Which is bigger: a or m?
m
Let r = 383 - 7271/19. Let l(i) = -i**2 + 5*i - 6. Let o be l(3). Which is bigger: o or r?
r
Let f(d) = -d**2 + 2*d - 3. Let h be f(-5). Let z = h + 38. Which is greater: z or 7/11?
7/11
Let x = -48946 - -48505490/991. Which is smaller: 1 or x?
x
Suppose 0 = 4*g - t - 25, 0 = g - 3*t - 2*t - 11. Let h be ((-6)/4)/((-3)/g). Suppose -h*n + 13 = -4*s, -2*n + 3*s = -2 - 8. Which is smaller: n or -3?
-3
Let b be 477/(-12) + (-5)/20. Is b less than or equal to -37?
True
Let u(a) = -11*a**3 + a**2 + a - 1. Let m be u(-1). Are m and 9 equal?
False
Let p = -131/3 - -1615/24. Does 25 = p?
False
Let c(q) = -2*q**2 + 50. Let w be c(0). Is 52 smaller than w?
False
Let q = 5 - 0. Let m = -5.06 + q. Let z = 865 - 864. Is m at most z?
True
Suppose -8 = 5*t - v, -3*t - 6 = t - v. Let b be (-88)/(-22) + 48/(-10). Let u = b - 13/15. Which is greater: t or u?
u
Let i = 7 - 4. Suppose w - 2 = -4*w + p, 5*w - 3*p - 6 = 0. Suppose 0 = -3*n - 4*a + 2, w = -0*n - n - 2*a. Which is smaller: n or i?
n
Suppose 0 = v + 4*k - 3, v + 0*k = 3*k + 3. Suppose -2*s + 4*n - 6*n = 16, -3*n - v = -4*s. Are -35/8 and s unequal?
True
Let t = -4.06 + 0.06. Let h = -7.073 - -6.973. Is t at least h?
False
Suppose -h - 25 = 4*h, 0 = 4*a + 4*h + 28. Let o be a/7 - 10/14. Are o and -1/7 unequal?
True
Let o(b) = b**3 + 5*b**2 - 24*b - 103. Let i be o(-6). Is i >= -6?
True
Let w = 647374/67 + -9662. Is w bigger than 1?
False
Let l = -1087 - -724. Are l and -362 non-equal?
True
Let c = 332 - 329. Is 77 <= c?
False
Let i be ((-14)/42)/((-3)/(-9)). Let y = -10 + -2. Let o = y - i. Is o bigger than 1?
False
Let d = -1629/5252 + 1/404. Which is smaller: -1 or d?
-1
Let m(g) = g**3 - 4*g**2 + 5*g + 2. Let l be m(4). Suppose 3*j + 4*a - l = 0, -2*j + 0*a + 33 = -a. Let y be j/(-35) + 8/70. Is y > 0?
False
Let p(u) = -u**2 - 22*u + 74. Let g be p(3). Are g and -11/27 nonequal?
True
Let t = 73 - 58. Which is greater: t or 12?
t
Suppose -202*t - 476 = -219*t. Is 32 < t?
False
Let a be (98/(-588))/(4/6). Are 39.5 and a unequal?
True
Let l = 484 - 473. Let p(r) = -4*r**3 - 2*r**2 + 1. Let q be p(-1). Suppose q*c = -c + 40. Is c less than l?
True
Let v be 3/9*36/6. Suppose -3*x - 5*m - 10 = -8*x, m = -v. Let n be (-24)/6 - (x - 4). Which is bigger: n or -2?
n
Let u be -1 + 3 + 3600/(-1818). Which is greater: u or -1.6?
u
Let h = 14 + -6. Let p = 9.19 + -0.19. Let n = h - p. Is n at least as big as -0.7?
False
Let t(a) = -a**2 + 12*a + 13. Let l be t(-7). Let o = 120 + l. Which is smaller: -1/21 or o?
-1/21
Let b = -102920/87 + 1183. Is 0 at least as big as b?
False
Let o be 9/(-54)*(-27)/2. Suppose -2*d + 8 = 0, b + 0*b = -d + 9. Suppose 6 = -4*x + 2*x - b*q, -8 = 4*q. Which is bigger: x or o?
o
Let z = -0.1 + -0.18. Let d = -765 - -767.28. Let a = z + d. Which is smaller: a or -3?
-3
Let p = 39 - 34. Let w be 33 - 3*p/(-5). Which is bigger: -2/3 or w?
w
Let o(k) = -k**3 + 8*k**2 - 12*k - 4. Suppose -33 - 27 = -10*i. Let r be o(i). Which is greater: r or -8?
r
Let y = -29 + 28.72. Let k = y + -26.62. Let h = k - -25. Is -1 less than h?
False
Let h = 77 + -75. Suppose -v + 4*y = 1, 2*v = -0*v + 3*y - h. Let x = 0 + 1. Is v <= x?
True
Let k = 220.497 + -221.5. Let w = k - -0.003. Which is smaller: w or 2/11?
w
Let b = -57553/560 - -3588/35. Let w be 207/(-432) - 1/(-6). Let x = w + b. Which is greater: -2 or x?
x
Let h(p) = 18*p + 3. Let m be h(3). Let r be 30/(-23) - (-76)/m. Which is bigger: r or -1?
r
Let c = 1586/9 - 176. Let g be -1 + -1*(-111)/90. Let l = g + 1/10. Is l > c?
True
Let g be -2 - (1*-4 + 1). Let d = -32 - 65. Let y = 973/10 + d. Is y equal to g?
False
Let h = 2.6 + -5.9. Let c = h + 3. Let f = 0.46 + -0.51. Is c less than f?
True
Suppose 24*v = 27*v - 51. Suppose -2*m + 16 = 