 = 61.5 - 61.8. Which is smaller: q or 2?
q
Let u = 1068 + -624. Let o be 4/(-18) - u/(-54). Is o bigger than 8?
False
Let t = 560 - 740. Which is greater: t or -181?
t
Let i = 4 + 0. Suppose -i*s - 1 = 15. Let m be (-18)/4*((-72)/(-27))/4. Which is bigger: s or m?
m
Let p = 176 + -175. Which is smaller: 2/237 or p?
2/237
Let l = 15.91 + -16. Let y = -0.41 + l. Let d = -41 + 41. Is d equal to y?
False
Let k = -15971/13 + 1228. Is k at most -5/6?
False
Suppose -2*t - 2*t = 40. Let f = -49/10 + -11/2. Is t greater than f?
True
Let s = 938 - 1039. Is s bigger than -101?
False
Let l = 229 - 148. Which is smaller: 82 or l?
l
Let y(z) = -z + 7. Let t be y(-17). Suppose 6*d - 23 = 5*d. Which is smaller: d or t?
d
Suppose -h + 4*f = -346, 3*f = -4*h - f + 1424. Which is smaller: 356 or h?
h
Suppose 13*x - 14*x - 12 = 0. Let l be 58/4 + 18/x. Is 13 greater than l?
False
Let n be 0/(4/(-6) + 65/39). Let p be (-148)/(-50) - (-6)/(-2). Is p at most as big as n?
True
Let j be 194/3 - 10/(-30). Let b be ((-1)/(-14))/(j/4472). Let z = 26/5 - b. Which is greater: z or -11?
z
Let n be (0 - 1)*(-1 - 2). Let q = -0.2096 - -0.3096. Which is smaller: n or q?
q
Let k(t) = -2*t**2 + 21*t - 10. Let l be k(10). Which is smaller: 3/31 or l?
l
Suppose 0 = -2*h + c + 27, -52*h + 5*c - 61 = -56*h. Is 17 >= h?
True
Let n = 330 - 330.13. Which is smaller: n or 0?
n
Let l = 171 + -319. Which is greater: -147 or l?
-147
Let a = -14 + 17. Let c be a/(15/250*5). Is 10 >= c?
True
Let j = 147 - 138. Which is bigger: 10 or j?
10
Let k be ((-3)/36)/((-3)/3735). Is 104 > k?
True
Let n be (-2 + 4)/((-5)/20). Let u = 8 + n. Let v be 2/12 - (-2 - -2). Which is smaller: v or u?
u
Let p be 40090/9944 - (-24)/(-6). Let z = 1/113 - p. Let j be (0/5 + -1)*0. Do j and z have the same value?
False
Suppose 7*j - 17*j = -140. Let f(g) = -g**2 + 5*g + 5. Let r be f(8). Let t = -6 - r. Do t and j have different values?
True
Suppose -5*i = -0*i. Suppose 2*y + i*y = 5*s, 4*y + 2*s = 0. Let o = 7 - 8. Which is smaller: o or y?
o
Let g = 17.32 - 17. Let s be (-8)/24 + (-66)/(-90). Is g at most s?
True
Suppose -2*w = 5*a + 3, 0*w = 3*a + 2*w + 5. Let i be (3 + 26/a)/1. Let k = i - 18. Is k > 10?
True
Suppose -2*p - 32 - 16 = 0. Suppose 0 = -z - 25 + 9. Let f = z - p. Are 8 and f equal?
True
Let s be (-2)/(-4)*(-2)/(-4). Let n be 3 + (-3 - 20/(-5)). Suppose 0 = 4*o - n*j, 2*j = -3*o - 2*j - 7. Is s greater than o?
True
Let u = 1296.8 + -1295.8. Let q = -20 - -3. Is u smaller than q?
False
Suppose 425 = 5*a + u, -2*a + 192 = -3*u + 22. Which is bigger: a or 585/7?
a
Let a = -36 - -39. Suppose a*u + 14 = -10. Is u at most -9?
False
Let m(a) = 2*a**3 - 2*a**3 - a**2 - 8*a**3 - a**2 + 4. Let x be m(-2). Suppose 14*s - 18*s - x = 0. Is -15 greater than or equal to s?
True
Suppose 0 = -12*u + 4*u. Suppose u*h - 3*h = 0. Is h not equal to -1/31?
True
Let p = 35 - 35.33. Let o = -7.67 + p. Is 5 < o?
False
Let a = 101 + -100.9. Which is greater: a or -13/4?
a
Suppose -2*j = y + 2*y + 2, -4*j + 16 = -4*y. Suppose -4*w - 68 = -3*o + j*o, 0 = w + 3*o + 17. Let v(s) = s + 20. Let r be v(w). Is r greater than -2/5?
True
Suppose 5*j = -20, 5*j + 28 = 2*h - 0*h. Suppose 0 = -h*i - 4*k - 16, 3*i = 6*i - 4*k + 40. Let o be (i/(-10))/(36/30). Which is smaller: o or -1?
-1
Let r(g) = g**2 + 4*g + 1. Let j be r(-3). Suppose 143*o - 135*o = -120. Let a be j/o - (-17)/85. Are -0.07 and a non-equal?
True
Let c = 382 - 382.4. Let s = -53 - -52.59. Let h = c - s. Which is bigger: h or 0.1?
0.1
Suppose 2*x + 2*x = -4*o, 0 = 2*x + 4*o. Which is bigger: -2/281 or x?
x
Suppose -t - 6 = -3. Let u be (-2)/t - (-185)/87 - 3. Which is smaller: u or 0?
u
Let g be 3/38*-12*6/666. Do g and -1 have the same value?
False
Let b = -40 + 28. Let z = -15 - b. Which is smaller: z or 0?
z
Let m = 19 + -19.09. Let u = -5.45 + 9.36. Let c = u - m. Is -0.1 at least c?
False
Let k be (1 - -2)/(78/(-3)). Let h be (0 + (-2)/42)/(86/516). Which is smaller: k or h?
h
Let i = -195/17 + 35719/3111. Is i > 1?
False
Let p = 206 - 219. Suppose 29 = 5*j - 26. Let d = p + j. Which is greater: d or -9/4?
d
Let s = -0.1 - -2.1. Let m = 2172/7 + -311. Which is smaller: s or m?
m
Let b(g) = -6*g + 38. Let k be b(-6). Let m = k + -74. Which is bigger: -6/5 or m?
m
Suppose -4*y + 41 = -4*m - 7, 5*m - 10 = -5*y. Is y not equal to 7?
False
Suppose 48*k - 522 = 45*k. Are 174 and k equal?
True
Suppose -4*u - u = -s - 9, 2*s = -4*u + 24. Suppose s*r + 133 = 361. Is 38 greater than r?
False
Let x = -11 + 11. Let z be (-1)/(4 - (-165)/(-40)). Let g be (-294)/(-984) - 2/z. Are g and x unequal?
True
Let z be (9/(-15))/((-2)/10). Suppose z = a + 2. Suppose b = -7*b + 24. Which is bigger: a or b?
b
Let c be (650/4 - (-1 + 4))*4. Is c >= 0?
True
Suppose 2234*v - 2239*v = 90. Let m be ((-1)/(-1))/((-2)/36). Is v less than m?
False
Let m = 0 + 12. Suppose -q + m = -4. Suppose 4 + q = -5*x. Does x = -2?
False
Let s = 139 - 88. Let a = s - 67. Is a > -1/3?
False
Let g be (52568/36)/(-2) + 4. Let h = g - -725. Which is bigger: -1 or h?
-1
Let b = -49 + 86. Let p = b + -37.01. Which is smaller: -2 or p?
-2
Let i(y) = -y + 0 + y**2 + 0*y - 2. Let k be i(-2). Suppose -5*v = -k*q - 29, 0 = -0*q + 2*q - 4*v + 22. Is q at most -2?
False
Suppose -41*n = -40*n + 11. Suppose -2*d - 14 = -v - 3*v, 0 = -3*v - 12. Let c = d - n. Is c at least -4?
True
Let o be (-7)/(70/(-2136)) - 16/(-40). Is 214 at least o?
True
Let c = 61 - 57. Let u = c + -4. Which is smaller: 104 or u?
u
Suppose -208 = -3*d - 55. Let u be 42/d - ((3 - 3) + 2). Which is smaller: -1 or u?
u
Let t = 3.11 - -0.09. Let n = -0.15 - 0.05. Let q = t + n. Is -2/9 greater than or equal to q?
False
Let h = -64 + 90. Let t = 25 - h. Which is greater: -1/7 or t?
-1/7
Let x(b) = -b**3 - b**2 - 22. Let l be x(0). Let k = -6788 + 6768. Is k at least l?
True
Suppose 4*a = -p + 3, 3*a - 5*p + 14 + 1 = 0. Let n = 63 + -24. Which is bigger: a or n?
n
Let o be 4 - 44/8 - 290/(-204). Is 0 >= o?
True
Let p = -111 + 101. Let l(v) = -v**2 - 9*v + 12. Let t be l(p). Which is bigger: t or 9/5?
t
Let z be 1/(-2) - (-22)/14. Let w = z + -101/42. Let a be 0/((-6)/3) + -1. Is w less than or equal to a?
True
Let i be 2 - (2 - (3 - 2)). Suppose 4*d + 150 = 5*q, -4*q + d + 130 = 10. Let t = q + -27. Which is smaller: i or t?
i
Let y(x) = -2*x + 4. Suppose -b = -0 - 2. Let g be y(b). Let c be (-3)/16*(-30)/(-9). Which is smaller: c or g?
c
Let s be (-32)/(-128)*36/9. Suppose 2 = -3*p - 22. Let c be 10/p + 1/4. Is c not equal to s?
True
Let r = -990 - -1979/2. Is 7/12 > r?
True
Suppose 53*h - 51*h = 56. Is 27 at most as big as h?
True
Let f = -4.016 - -0.016. Let k = 6 + -8. Is k equal to f?
False
Let s = 156/7 + -153/7. Suppose 0 = 4*p - 2*p. Is p greater than or equal to s?
False
Let k = -1232868 + 33294212/27. Let z = k - 251. Let g(v) = v**2 - 4. Let a be g(2). Which is greater: a or z?
a
Let c = 19 + -28. Let y = c + 23. Let a be y/(-12)*(-5)/(-140). Which is smaller: a or 1?
a
Suppose -3*n + 6*n - 5*y = -144, 0 = -2*y + 6. Which is bigger: -2/9 or n?
-2/9
Let p = 42 - 46. Let w(k) = -2*k + 2. Let y be w(3). Is y smaller than p?
False
Let y = -9 - -12. Let n be y - (12/(-8))/(2/(-4)). Which is smaller: -1/56 or n?
-1/56
Let d(c) = -5*c**2 + c - 1. Let n be d(1). Let v(i) = -6*i**3 + i - 4. Let y(k) = k**3 - 1. Let z(u) = n*y(u) + v(u). Let x be z(-1). Is 11 <= x?
True
Suppose 0 = v + b + 35, 4*v + 5*b + 140 = -0*v. Is -35 > v?
False
Suppose c + 4 = -c + 2*i, -5*i = -3*c. Which is smaller: c or -1?
c
Let a = 418 - 352. Which is smaller: -0.1 or a?
-0.1
Suppose 2*c + 2*t + 32 = -2*t, -5*t = 4*c + 64. Let z = 30 + -45. Is c at most as big as z?
True
Suppose -2*y - 161 = -5*s, 3*s - 105 = -2*y - y. Let p be 86/(-30) + 22/s. Does -2 = p?
False
Let a = 385112/15 - 25664. Which is smaller: 9 or a?
9
Let m(c) = -c**3 - c**2 + c - 4. Let v be m(0). Suppose b + 5*y = 46, -5*b - 4*y + 142 = -y. Suppose -30*j = -b*j - 4. Do v and j have the same value?
False
Let m be 42/9*12/8. Suppose -3*c + 12 = -m*c. Which is smaller: c or -2?
c
Let b(c) be the second derivative of -c**3/6 - c**2 + 2*c. Let u = -54 - -54. Let p be b(u). Which is smaller: p or 3/4?
p
Let k = -42 + 17. Let l = -26 - k. Is 1/20 greater than or equal to l?
True
Let y be ((-7)/14)/((-1 + -1)/(-552