r = -16*r - 10. Suppose -m*p = -16*p + 10. Suppose -2 = -3*j + c, 2*j + 4 = -c - c. Which is smaller: j or p?
p
Suppose 0 = -7*f + 2*f + 5*y + 30, -27 = -2*f + 5*y. Let s = 1679/50 - 67/2. Is f smaller than s?
False
Suppose 3*x = -2*j + 254 - 47, 0 = 5*j - 5*x - 530. Which is smaller: j or 102?
102
Let b be (33/(-22))/(-6 - -3). Which is bigger: b or -147?
b
Let n = 3 + -5. Let j = -1213 + 3689/3. Let y = 16 - j. Are y and n equal?
False
Let o be -1 + (-3 + 0 - -1). Let l be (-1)/o*(4 - 4). Suppose -6 = -2*y - l*y. Is y equal to 3?
True
Let j(m) be the first derivative of -5 + 1/2*m**2 + 17*m. Let q be j(-6). Which is smaller: 12 or q?
q
Let r = 0.1612 - 0.1815. Are 1 and r nonequal?
True
Let v be 24/(-40) - 762/30. Which is smaller: v or -22?
v
Let t be (-5 - -2)/(-12) - 60/(-16). Let g be (0 - t/2)/2. Is g less than or equal to -2?
False
Let r = 1621.6 - 1621. Which is bigger: 3/13 or r?
r
Let i be ((2/2)/(-1))/((-338)/(-52)). Are i and 0.089 equal?
False
Suppose 0 = -0*k + 5*k, 0 = -c - k - 1. Are c and -9/65 equal?
False
Let j = 0.193 + 164.807. Which is greater: j or 1?
j
Let v = -6.05 + 0.05. Let n = -7.2 - v. Let h = 1.4 + n. Which is smaller: 0.1 or h?
0.1
Let b be -1 + 6 - (-8 - -4)/(-4). Let i be b/6 + 18/(-27). Is i < 9/7?
True
Suppose 68*j = 5*n + 66*j + 6, -j = -3. Which is bigger: 5/117 or n?
5/117
Let z = 11 + -16. Let w be (z/(-2))/((-11)/66). Let i = w - -18. Which is smaller: 2 or i?
2
Let r = 27 + -15. Let j be 2 + (0 + r)/3. Let p(b) = -b**2 - 6*b - 1. Let q be p(-4). Is q smaller than j?
False
Suppose -156 = r - 216. Let b = -8 + 51. Let g = r - b. Is 17 equal to g?
True
Let o = -2 - -229. Let m be o/10 + 1 + 2. Let h = -26 + m. Is 0 < h?
False
Let q(r) = -r - 10. Let z be q(-5). Suppose -4*c = -0*m + 5*m - 28, 3*m - 16 = -2*c. Suppose -4*k - 8 = -c*k. Is z at least as big as k?
False
Suppose 26*l = 3*n + 27*l, -4*n - 3*l = 0. Which is bigger: n or 27?
27
Let p = 24 - 19. Suppose -19*w + p = -24*w. Is w greater than -4/5?
False
Let v = 181/1022 - 5/146. Suppose 4 + 10 = -3*j + 4*m, 3*j + 23 = -5*m. Let s be 4*(-2 + (-13)/j). Is s <= v?
False
Suppose -16*p - 4 = -20*p. Is p less than or equal to 11/10?
True
Let w = 2/4593 - -8696/1125285. Which is smaller: -3 or w?
-3
Let h = -8/3 + 4/3. Let l(o) = -2*o**2 + 20*o - 2. Let d = 112 + -102. Let i be l(d). Is i smaller than h?
True
Let j = 36 - 34. Let a = 2.02 - j. Let f = -35 - -176/5. Which is bigger: a or f?
f
Let n = 37 - 27. Let b = n - 6. Are b and 4 non-equal?
False
Suppose 0*n - 2*n = -c - 96, 0 = 2*c + 4. Which is greater: n or 48?
48
Suppose c = -4*q + 7*q - 18, -2*q = -2*c - 24. Let s be 6*(-2)/c - 1. Let u = -354 - -2476/7. Are u and s equal?
False
Suppose 5*i + 52 = 5*v + 157, -4*i - 105 = 5*v. Let d = v + 24. Let j be (-2 + (2 - 1))*-4. Is j > d?
True
Suppose 0*w + 16 = 2*w. Let i = -2 - w. Let b be ((-48)/i)/((-12)/(-40)). Is 17 greater than or equal to b?
True
Let b = 408 + -226. Which is smaller: b or 184?
b
Let s be 2022/289 + 41 + -48. Which is smaller: 1 or s?
s
Suppose 13*q = 8*q - 5*g + 120, -3*g - 3 = 0. Is q equal to 19?
False
Suppose 14 - 2 = 4*b. Suppose -5*q = 3*q. Suppose g + 9*z = 4*z + 1, q = -b*g + 2*z + 3. Which is bigger: g or 16?
16
Suppose -39*j = -44*j - 830. Do j and -165 have the same value?
False
Let b = -327 + 325. Which is bigger: b or -29/12?
b
Suppose 120*a - 125*a = -150. Which is greater: 27 or a?
a
Let a be 2*((-10)/345)/(2/3). Which is smaller: a or -0.06?
a
Let b(w) be the first derivative of 7*w - 1/2*w**2 + 3. Let p be b(8). Which is bigger: -2/17 or p?
-2/17
Let o be 2/3 + (-110)/66. Is 8/111 smaller than o?
False
Let v be -3 - ((-48)/64)/(6/16). Let a(d) = -d. Let x be a(-3). Which is smaller: x or v?
v
Let i(h) = -3*h**2 + 29*h - 18. Suppose -9 = -21*m + 20*m. Let l be i(m). Which is smaller: l or -2/5?
-2/5
Let b = -474 - -222. Are b and -253 equal?
False
Suppose -2*g = -r + 16, -r - g + 100 = 3*r. Let p be (-1552)/r + 4/(-3). Let l be (p/(-9))/((-6)/(-9)). Is 11 at least l?
True
Let b = -11 + 7. Let m be (-5)/(-2) - (-2)/b. Suppose -m*c = 2*c. Which is bigger: -2/3 or c?
c
Let k(b) = -2 - 14 + 3*b - 6. Let h be k(7). Does h = -2/85?
False
Let f = -7 + 8. Let v be -1*(4 + -2) + 5 + 10. Is v at least f?
True
Let r(k) = k**3 + 12*k**2 + 10*k - 5. Let o be r(-11). Let n = -4 + o. Let s be n/2*(-4)/(-4). Which is bigger: s or -1/3?
s
Suppose -4 = 34*c + 30. Do c and -3/37 have different values?
True
Let k = 35075/3 - 11692. Let b(o) = o**3 - 5*o**2 - 7*o + 7. Let h be b(6). Let r be -3 + 2 - (h - 3). Is k less than or equal to r?
True
Let l be 1/(-7) - 40/14. Let g be 8 - (-2 - (l + -2)). Suppose -3*w - o + 21 = -20, -2*w + 50 = -g*o. Is w at most as big as 16?
True
Let i = 156/31 + -5122/217. Which is smaller: i or -20?
-20
Suppose -4*h - 23 = 13. Is h > -9?
False
Let r = 360 + -426.7. Let m = r + 67. Are 6 and m equal?
False
Let d = -1.2 + 0.2. Let z = 7.52 + 3.48. Is d less than z?
True
Let s(g) be the second derivative of 5*g**3/3 + 5*g**2 + g. Let p be s(-3). Let h = -6 - p. Which is smaller: h or 1?
1
Suppose 3*j + j = 32. Let w = 62 - 56. Let t = w - -3. Which is bigger: t or j?
t
Let r = 2967.06 + -2941. Let w = -0.06 + r. Let s = w - 26.1. Is -0.9 equal to s?
False
Let j = 424 - 15263/36. Let o(i) = -i**3 - 8*i**2 + 1. Let n be o(-8). Which is smaller: j or n?
j
Let o = -108 + 849. Is o equal to 741?
True
Let o = -3/997 + -976/6979. Let b be 2/(-3) - (-4)/6. Is o smaller than b?
True
Let y = -68.35 + 6.45. Let z = -62 - y. Is -0.34 equal to z?
False
Let p = -71 + -1461. Are p and -1532 equal?
True
Suppose -5*n - 157 = -3*s, -137 = -4*s - 2*n + 29. Let j(i) = -i**3 + 74*i**2 + 71*i + 343. Let h be j(75). Which is greater: s or h?
s
Suppose 2*n + 18 = 11*n. Suppose -n*q - q = -9. Which is bigger: q or 0.3?
q
Let p be (-26)/39*(3/20)/(-1). Is 0.29 != p?
True
Suppose -i - 2 = a - 1, -3*a + 3 = 5*i. Suppose 3*h - 4*h - 3*u + 7 = 0, 2*h - i*u + 13 = 0. Let d be ((-5)/h)/(130/20). Which is greater: d or 1?
1
Suppose w - 13*w + 960 = 0. Let a be (w/(-50))/(2/10). Is -4 at most a?
False
Suppose -20*g + 104 = -24*g. Let q = 48 - g. Is 73 greater than q?
False
Let f(q) = -7*q**2 + 35*q - 171. Let y be f(6). Is y at least as big as -214?
True
Let r = -1198 - -1116. Which is bigger: -77 or r?
-77
Let y = 401 - 367. Are y and 1/4 unequal?
True
Suppose 0 = -3*t + 99 - 18. Let a = 17 - -11. Is t greater than a?
False
Let k = -88 - -77.9. Let z = 10.1 + k. Let x = 2558/21 - 368/3. Which is smaller: x or z?
x
Let b = -2 + 1. Let f(j) = 3*j**2 - 22*j - 43. Let y be f(9). Which is bigger: y or b?
y
Let h(z) = 3*z**2 + 7*z - 11. Let q be h(-4). Suppose -5*m + w + w + 48 = 0, -3*w = 2*m - 23. Is m at most q?
False
Let g = -37 + 36.94. Let p = -2.03 - -2. Let j = p + g. Which is bigger: 1/3 or j?
1/3
Suppose q + 0*q + 3*o + 24 = 0, 58 = -2*q - o. Which is bigger: q or -28?
-28
Let m = 6 + -10. Let d = 4567 - 4571. Is d at most as big as m?
True
Suppose 0 = -u + 5*u - z + 66, 3*u = -5*z - 38. Let t = u - -21. Is 2 bigger than t?
False
Let q = 107 + 57. Let i be q/(-255) + 32/48. Is i at least 0?
True
Let x = -715/1099 + -10/157. Is 1 at least as big as x?
True
Let b = 2.6 - -9.4. Let f = -652.9 + 653. Which is smaller: f or b?
f
Let m = -3/14 + 5/7. Do m and 0 have the same value?
False
Let x = -101 - -238. Let k(o) = o**2 + 137*o - x*o. Let z be k(2). Which is smaller: z or 3?
3
Let v = -291 + 8147/28. Let a = 1490 - 1490. Is a equal to v?
False
Let k = -21 + 16. Let y = 130 + -1041/8. Do y and k have the same value?
False
Let h(b) = -6*b**2 + 46*b - 3. Let w be h(4). Suppose -344 = -4*k - 2*x - 2*x, -2*x = 0. Which is greater: k or w?
k
Suppose 5*z = 4*l + 13, 0 = -2*l + 3*z - 7*z + 26. Suppose 5*w + 16 = -k, -k + 5*k - l*w = 5. Which is greater: k or 5/28?
5/28
Suppose -468 = -n + 829. Let f = n - 12983/10. Do f and -2 have the same value?
False
Let s = -417277050/131 + 3185358. Let o = s + -37. Let j = 137/786 - o. Which is greater: -1 or j?
j
Let h be (-36)/10*(-340)/8. Let u = -152 + h. Is -2/379 smaller than u?
True
Let a = 86 - 20. Let x be a/(-55) - (-2)/10. Are x and -2/77 nonequal?
True
Let i be 5/((-25)/4) - 62181/(-245). Are i and 253 unequal?
False
Let u = 225 - 221. Let c(b) = -b**2 + 4*b + 3. Let o be c(4). Suppose o = -5