or x?
x
Let b(r) = -5*r - 79. Let k be b(-16). Do k and -2/343 have the same value?
False
Suppose 3*n = 2*p - 34, 10*n - 135 = -5*p + 5*n. Suppose -5*f + 83 = p. Which is smaller: f or 9?
9
Suppose -6*p - 510 = -23*p. Which is smaller: 35 or p?
p
Let z be 40/(-260) + 472/26. Let m = 22 - z. Suppose m = 3*r + 55. Are 0 and r nonequal?
True
Let n be (-920)/(-3654) + (-2)/(-36)*-4. Is n greater than 0?
True
Let f be (8/(-6))/((-126)/46 + 3). Which is smaller: -6 or f?
-6
Suppose 237 - 44 = -193*u. Let g be ((-4)/(-10))/((-114)/10). Is u equal to g?
False
Let t(k) = -k - 4 + 0*k + 6 + 0. Let u be t(1). Are u and -2/23 nonequal?
True
Suppose 5*v = -15*v. Let w be 4/10 - (1 + 0). Is w > v?
False
Let i = 681 - 692. Is i not equal to -1?
True
Let h(a) = a**3 - 8*a**2 - 11*a + 12. Let f be h(9). Let o be 11*3/f - -2. Let s = 454 - 459. Which is greater: s or o?
o
Suppose -4*h = 1447 - 1451. Does h = 7/5?
False
Let u(c) = c**2 + 4*c - 5. Let z be u(-7). Let k = 8507 + -8490. Is k bigger than z?
True
Suppose 2*l = -j + l - 5, -3*j = -l + 15. Let p be j/(-20) - (-4)/(16/(-57)). Which is greater: -16 or p?
p
Suppose 3*k = -k - 40. Let c = k - -11. Is c equal to -2/41?
False
Let f(y) = -4*y**3 + 10*y**2 + 25*y + 12. Let v be f(5). Which is bigger: -110 or v?
-110
Let y(u) = u**3 + 36*u**2 + 43*u + 278. Let s be y(-35). Suppose -w = t - 1 - 1, 4 = 3*w + 2*t. Are s and w equal?
False
Let o = -167/9 - -19. Is o less than or equal to 0?
False
Let z = -28/11 - -73/33. Let y = 0.053 - -0.037. Is y less than z?
False
Let s(x) = -x. Let k be s(-13). Suppose 3*u + 3*t - 5 = -2, -u = 5*t - k. Let l(m) = 2*m**3 + 4*m**2 + 3*m + 1. Let r be l(u). Are -14/3 and r unequal?
True
Suppose 0 = -2*u - 15 - 111. Let f be 0 + -2 + (-132)/u. Let o(b) = -4*b**2 + 49*b - 13. Let k be o(12). Which is bigger: k or f?
f
Suppose 2*x - 3 = 2*y + 15, x + 4*y = 4. Suppose x*m = -m + 189. Which is smaller: m or 22?
m
Suppose 6 = p + 4. Let m be p/3 - (-212)/(-12). Let o = -16 - m. Is 2/31 equal to o?
False
Let l be -349 + (-40)/(-10) + 2. Is l > -343?
False
Let u = -87 - -87. Let h = -18 + 19.1. Is u not equal to h?
True
Let w be (-16)/952 - (-12)/(-21). Let q = 16/85 + w. Let x(b) = b**3 + 5*b**2 - b - 5. Let v be x(-5). Is q greater than v?
False
Suppose 0 = -a - 7 + 3. Let u be (-24)/(-16)*28/(-9). Which is smaller: u or a?
u
Let j(w) = w + 2. Let a be j(-1). Let y be -1*(a - 6/5). Let z = -348/845 - -2/169. Is z > y?
False
Let t = -6/187 + -881/1683. Suppose -1 - 4 = -r. Suppose 4*k + n = -4, 0 = r*k - 4*k - 3*n - 12. Do k and t have the same value?
False
Let g be 7/(-3) + (-2)/(-2). Let r = -100 - -117. Let j = 16 - r. Is j != g?
True
Let f = 5 + -3. Suppose -t + 2*j = 2, -5*t - f*j = 3*j - 20. Let n be 2 + (3 - 7) - -4. Is t < n?
False
Let g(a) = 7*a - 2. Let i(v) = -119*v + 35. Let k(r) = 35*g(r) + 2*i(r). Let d be k(-2). Let q = 12 + d. Does q = -1?
False
Suppose 7*t = 2*t - 3*k - 4, 5*t - k = 8. Let i be 2*(-6)/56 + 0. Do i and t have different values?
True
Let j be (-45)/(-10422)*8/10. Which is smaller: 1 or j?
j
Suppose -2*c = -3*u - 50, -u - 6 = -3*c + 6. Let v be ((-4)/5)/(u/(-3)). Which is bigger: v or -2?
v
Let j = 7 - 3. Suppose 2*d = 4 + 4. Suppose -j*n + 0*n = -d. Which is smaller: n or 3/7?
3/7
Suppose 2*t = 6, -3*x - t - 10 + 49 = 0. Suppose 0 = 62*i - 67*i - 15. Let f be i + (x - 2) + -3. Which is greater: 2 or f?
f
Let l(y) = -2*y + 20. Let o be l(7). Let z = o - -8. Which is bigger: z or 16?
16
Let i = -153 - -154. Which is smaller: i or 1/138?
1/138
Let x be (-16)/(-30)*20/(-14). Let z = -6/11 + 9/77. Let i = x - z. Is i at most as big as -0.06?
True
Let x be (5 + (-27)/6)*(-106)/(-1). Which is bigger: x or 51?
x
Let d = -11456603/300 - -152767/4. Let a = d + -6/25. Is a less than 2?
False
Let f = 273 + -315. Which is greater: f or -45?
f
Let v = 14 - 7. Suppose 3*i = -4*p - 65, -3 - v = 2*p. Let d be (3/(-120))/((-6)/i). Is -1 at least as big as d?
False
Let v = 727 + -726. Let t = 0.03 + -5.03. Let q = t + 4.88. Is v >= q?
True
Let r = -21 - -24. Let v be r/(-2) - 2 - (-4 + 2). Which is greater: -0.2 or v?
-0.2
Let a be ((-35)/14)/(-2 + 28/24). Let j = -45/4 + 111/8. Is a <= j?
False
Let c(m) = m**3 - 2*m**2 - 3. Suppose -1 = -f - 4*h + 2*h, -2 = -f - h. Let o be c(f). Suppose -8*x + 55 = 3*x. Is x not equal to o?
True
Let o be (-1*1 - -1)*1. Let s be 4/6 + 11/33. Let n be 4/(-14)*(s - -1). Are n and o equal?
False
Let p be 4/((-2 - -1) + 3). Suppose -2*r = -f + r - 1329, r + 2665 = -2*f. Let x be 224/f + p/9. Which is smaller: 1 or x?
x
Suppose 0 = -2*u + 4, -j - 4*u = -9*u - 8. Let f be (1 - j/14)/(1/(-7)). Which is greater: 2/9 or f?
f
Let s = 729 + -943. Which is smaller: -1/3 or s?
s
Let d = 1.1049 + -0.6049. Let m = 104 + -730/7. Which is bigger: d or m?
d
Let h be -1 + (-4)/2 + -154 + 65. Which is greater: -89 or h?
-89
Let j = 124 + -382/3. Is 1 at least j?
True
Let t = -344 + 342. Which is smaller: t or 10?
t
Let u = -357 + 343. Let i be (-51)/(-2) - (-2)/(-4). Suppose -4*h - 6*n + n - 71 = 0, -n + i = -2*h. Are u and h nonequal?
False
Let p be (-48)/64*((-8)/6 - -2). Which is greater: 5 or p?
5
Let n = -68 - -37. Let r = -31.1 - n. Is r at least -0.1?
True
Let v = -16 + 27. Let w be 0/1 - (-7 - -5) - v. Which is smaller: -11 or w?
-11
Let n = -810 - -1275. Do 465 and n have the same value?
True
Suppose g - i + 0*i = -33, 93 = -3*g + i. Let b be 1096/g*50/20. Let r = b + 1996/21. Do r and 3 have the same value?
False
Let o(d) = d**3 - d + 7. Let k = -18 - -18. Let m be o(k). Let z = m - 4. Is 4 < z?
False
Suppose 2*j + 7 - 1 = 5*l, -2*j - 6 = 3*l. Suppose l = p + b, -3 + 0 = 3*p + 4*b. Which is greater: p or 4?
4
Suppose -2*k = 3*j - 12, -5*k + j - 12 + 8 = 0. Which is smaller: -14/65 or k?
-14/65
Let b = -5649 + 45295/8. Is b equal to 13?
False
Let z(l) = -l**3 + l**2 + 52. Let r be z(0). Suppose -4*d = -4*k - r, 0 = -4*d - k + 75 + 2. Let j = 18 - d. Is j at least -7?
True
Suppose -252 = 3*p - 7*p. Which is bigger: p or 65?
65
Let z = 24935/49 - 509. Let c = z + -123/196. Suppose 5*b + 4*r + 1 = 0, 0 = b - 3*r + 4*r. Which is smaller: b or c?
b
Let q(s) = 4*s**2 - 8*s - 13. Let x(y) = 9*y**2 - 17*y - 27. Let l(w) = 7*q(w) - 3*x(w). Let o be l(7). Which is greater: o or 5?
5
Suppose -y - o = -0*y - 3, 0 = 2*y - 4*o - 18. Let u be (1/(-3))/((-3)/(-171)). Let a = u - -26. Is a greater than y?
True
Let v = 373 + -373.2. Is v less than 4?
True
Let g = 7 - 1. Let i be (-3)/(0 - 27/g). Suppose 3*a - 6 = -0. Which is bigger: i or a?
a
Let f(z) = z**3 - 4*z**2 + 11*z - 30. Let y be f(4). Let s = 8 - -5. Is s bigger than y?
False
Suppose 29 = -s - 4*o + 10, -3*s = 4*o + 57. Which is greater: s or -35/2?
-35/2
Suppose -h - 21 = -u, 3*h - 12 = -u + 9. Let v be (u/14)/(1/(-2)). Is v > -4?
True
Suppose 4*z - 5*w - 8 = 0, -3*z - w + 6 = w. Suppose -3*y + y = z. Is 2/141 > y?
True
Let s be (16/4)/8*(-28)/(-959). Are s and 0 nonequal?
True
Let c be (-8)/(-1140)*366 - (-3)/(-15). Is c > 1?
True
Let o(k) = k**3 - 7*k - 14. Let a be o(-5). Is -100 >= a?
True
Suppose 25*t - 9 = 22*t. Which is bigger: t or -2?
t
Let q = 234698654/553 + -424410. Let w = 35789/145992 - q. Let v = w - 7/24. Is v equal to -1?
False
Let s = 855.9 + -856. Which is smaller: 1.52 or s?
s
Let k(d) = -d**2 + d + 3. Let v be k(3). Let r be 0 - -8 - (3 + -7 + 1). Suppose -6*w + 20 = -r*w. Which is smaller: v or w?
w
Let g be 1/(-4)*-2*2. Let c = -895 + 1591/2. Let t = 1593/16 + c. Which is smaller: t or g?
t
Suppose -567 = -61*k + 104. Let h be (-6)/9 + 2/3. Suppose -a + h = -11. Is a < k?
False
Let q = 87 - 84. Suppose -3*d + 4 = -2*j, j + 0 = 5*d + 5. Let p(z) = z**3 + 5*z**2 + 1. Let a be p(j). Which is smaller: a or q?
a
Let t = -605884/5 - -120640. Let q = t - -539. Is q equal to 0.1?
False
Let z = -47630/35451 + 138/101. Which is bigger: -1 or z?
z
Let f be (-3)/9 - 280/24. Let m be 9/f + 2/(-8). Which is bigger: m or -8?
m
Let u = 3/5017 + -351247/95323. Which is bigger: u or -4?
u
Let p(t) = -3*t - 9. Let l be p(-6). Let x be 1/6 + l/(-135). Do x and 1 have the same value?
False
Let j = -102 + 76. Which is smaller: -24 or j?
j
Let j(h) = -2*h**2 + 12*h + 26. Let x be j(-5). Which is smaller: -93 or x?
-93
Suppose 0 = 5*u + 175 - 10. Which is smaller: u or -35?
-35
Let c = 1687/264 - 51/8. 