Suppose -3*c = -c - 32. Suppose 10*j = 6*j - 4*d + 76, -5*d + 39 = j. Is c at least j?
True
Let k = 3028 + -3049.91. Let x = -22 - k. Is -0.1 not equal to x?
True
Let q(o) = 2*o**2 - 22*o + 31. Let p be q(9). Do p and -4 have the same value?
False
Let y = -1481 + 416169/281. Is 0 > y?
False
Suppose 4 = -4*y, 0 = -3*g - 4*y + 3*y - 13. Suppose 0 = 14*t - 15*t - 1. Is t equal to g?
False
Suppose 3*h + k - 3007 = 0, 3984 = -h + 5*h - 5*k. Let o be (-1 - 3) + h/242. Let p be (20/(-8) - -2 - 0)*-2. Is o at least p?
False
Let v = 2248/11 + -203. Let a = v + -63/22. Which is greater: a or -3?
a
Suppose -5*h = k - 16, 2*h + 3*k - 4 = -2*h. Suppose 0*p - 6 = -2*p. Suppose -p*m - 2 = 1. Which is bigger: h or m?
h
Let b = 6.04 - 0.04. Let q = -13 + b. Is 4 < q?
False
Suppose -5*z - 5*k = -0*z + 2150, -z - 3*k - 434 = 0. Does z = -429?
False
Suppose 4 = 5*m + 2*x - 1, x = -5*m + 5. Let y be (-2)/(6/(-150)*2/m). Is -2/3 less than y?
True
Suppose 16*d + 3792 + 3008 = 0. Are -424 and d nonequal?
True
Let p = -295.2 - -295. Which is greater: 10/13 or p?
10/13
Let v = 196 - 214. Which is smaller: v or -19?
-19
Let v = -27/23 + 1192/1035. Let u = 1 - 0. Which is greater: u or v?
u
Let c be 4/(-10) + 962/280. Let q = -11/4 + c. Which is bigger: -3 or q?
q
Let v be ((-4)/14)/(2/4). Let t = 0.86 + -0.26. Which is greater: v or t?
t
Let k = -2/451 - -2261/1353. Is k less than 2?
True
Let m(r) = -r**2 + 16*r - 27. Let y be m(14). Let j be (10/3)/(y/(-24)). Which is bigger: j or -79?
-79
Let r = 19 + -34. Let i be -12*-1*(-10)/r. Suppose 0*v - 1 = -5*x + v, 0 = -4*x - v + i. Do -7/4 and x have the same value?
False
Let p = -129 + 905/7. Let t be 1 + -2 + (-12)/(24/(-4)). Do p and t have different values?
True
Let g = -4.9 + 19. Let p = 14 - g. Let q be ((-2)/(-2))/(-4 + 3). Which is smaller: p or q?
q
Suppose 3*r = -g - 32, 0 = -4*g - 5*r + r - 112. Is 1 > g?
True
Let q(i) = -16*i - 217. Let y be q(5). Is -297 <= y?
True
Let a(v) = -v**3 + 2*v**2 + 4*v. Let n be a(3). Let j = 1 - n. Let w = 27889 - 27886. Which is smaller: j or w?
j
Let s = -75.563 + -0.437. Which is greater: s or 2/7?
2/7
Let j be (-11)/((-11)/8)*7. Which is bigger: 50 or j?
j
Let n(y) = y - 11. Let s be n(0). Suppose -51*w + 33 = -54*w. Is w < s?
False
Let f = 1.66 - 1.694. Is f not equal to 7?
True
Let x(b) = -6*b - 64. Let o be 136/(-10) + 0 + 12/20. Let j be x(o). Which is smaller: 16 or j?
j
Suppose -545 = -9*m - 554. Which is smaller: m or 24/91?
m
Let f = 2 + -3. Let c = 67 + -128. Let v = -55 - c. Which is smaller: v or f?
f
Let b = 10 - 4. Let y be b/(-3 + 9/2). Let w be (48/160)/((-9)/(-102)). Is w < y?
True
Let o be (-1)/(-4) + 1177/(-484). Let t be (-2)/(-8) - 9/4. Is t at least as big as o?
True
Let h(n) = 32*n - 105. Let k be h(4). Is 16 at least k?
False
Let k be ((-4)/(-260)*6)/(2/10). Is 2/21 at most k?
True
Let q(y) = -5*y - 2. Let f be q(-6). Let b(n) = 9*n**2 - 7. Let g be b(-2). Is g >= f?
True
Let x(s) = -2*s - 7. Let a be x(-5). Suppose -a*t = 4*o - 3*o + 12, -5*o = 4*t + 115. Is o >= -27?
True
Let m be (-3)/(9/158) + (-12)/(-18). Let o be 88/(-14) - m/91. Which is bigger: o or -5?
-5
Suppose -p = -5 - 6. Let l(b) = -b**2 + 10*b + 7. Let g be l(p). Let j be (-2)/(((-32)/12)/g). Which is bigger: j or -2?
-2
Let b be (-298)/(-176) + -7*4/(-154). Let d be ((-1)/8)/((-3)/(-75)). Let j = b + d. Is j smaller than -2?
False
Let k be -4 + (-2564)/(-591) + (-8)/24. Is 1 equal to k?
False
Let p be 3/(-12) + (-428)/16. Let r be 0/(-4) + 3 - (6 + -2). Is p bigger than r?
False
Let h = -140226583/114500388 + -1/724686. Let k = -2/79 + h. Suppose -c - 4 = -2. Is c at most k?
True
Let g = -639 - -638. Is g > -1?
False
Let v = -44 - -47.8. Let k = 3.6 - v. Let c = -245/4 - -61. Which is smaller: c or k?
c
Let h = -0.8399 + 0.891. Which is smaller: h or 1?
h
Let d be -14*20/(-175) - (-2)/(-14). Is d > 1?
True
Let i be (6/(-28))/(6/(-8)). Let z = 126 - 125. Is i smaller than z?
True
Let o = 991/3 + -326. Let k = -173/42 + o. Which is bigger: 0 or k?
k
Let z be (-209)/(-44) - (-6)/(-8). Let j = 4 - -4. Suppose -4*t - 1 = 3*m, 3*t + j = 2*m + 3. Which is bigger: m or z?
z
Suppose 0 + 2 = p. Suppose -4*i = -2*t - 24, 4*i - 5*i - p*t = -1. Suppose 12 = -i*q - 4*n, q - n = -3*n. Which is bigger: q or -3?
-3
Let a = 470 - 464.34. Is a > 0.1?
True
Suppose 0 = -5*m + 2*m + 54. Suppose x + 42*i - 46*i + 2 = 0, -2*x + 3*i = -21. Is x equal to m?
True
Suppose -2006 = 154*c - 171*c. Which is smaller: 117 or c?
117
Let s(l) = 487*l - 76. Let i be s(3). Is i equal to 1384?
False
Let h(m) = -2*m**3 - 2*m**2 + 2*m. Let x be h(-2). Suppose 0*o + x = o. Let v be -3 + o + 0/1. Are v and -0.14 non-equal?
True
Let m(p) = p**2 - 3*p - 2. Let l be m(5). Let y be (-3)/4 - (-14)/l. Let z = -443/5 - -89. Which is greater: y or z?
y
Let l = -3 - 0. Let z = 730 - 729.6. Which is bigger: z or l?
z
Suppose -5*d - 5*j = 150, -11*d + 15*d + 2*j = -116. Is -1 greater than d?
True
Suppose -4*c + 87 + 697 = 0. Let m be (-6)/c*8/12. Which is bigger: m or -1?
m
Suppose -r + y + 2 = 0, y - 3 - 13 = -5*r. Suppose -9 = -r*g - 3*w, 3*w + 9 = 4*g - g. Let c(a) = a**2 + 5*a - 1. Let l be c(-6). Is g <= l?
True
Let x(r) = -r**3 + 12*r**2 + 63*r + 5. Let a be x(-4). Suppose 0*d = 4*d - 28. Which is greater: d or a?
a
Let s(q) = q**3 - 2*q + 1. Let x be s(0). Let u be ((-294)/(-4) - 3)*2. Let c = u - 1113/8. Is x > c?
False
Let j(b) = -b**3 - 3*b**2 - 2. Let n be j(-3). Suppose 0 = -2*w + s + 4, 0 = 3*w - 4*s + 2 - 3. Suppose 1 = w*h + 4. Which is bigger: h or n?
h
Let k be (-21272)/32 + 2/(-8). Let r be -2 + (k/45)/(-7). Is -1 at most as big as r?
True
Let a(b) = -b - 4. Let x be a(-11). Let i(c) = -5*c**2 - 36*c. Let k be i(-7). Is x < k?
False
Let b be 4/(-10) + (-34)/(-60). Let c = -1/30 - b. Let v be (-4)/(-12)*-2*15/10. Which is smaller: c or v?
v
Let p = 19 - 13. Suppose 192*t = 197*t - 30. Are p and t nonequal?
False
Let g = 10 - 7. Let r(x) = x**3 - 8*x**2 + 8*x - 9. Let k be r(6). Let y be (22/k)/(2/(-6)). Which is bigger: y or g?
g
Suppose -6*r - 18 = -234. Suppose -3*u + u - r = -2*v, 0 = -u - 3. Is v at least 16?
False
Let f be (-64)/(-64) - 634/(-1). Which is smaller: 0.1 or f?
0.1
Let d(b) = 2*b**2 - 82*b + 357. Let a be d(5). Which is smaller: -67/33 or a?
a
Let c = -86 + 70. Let t = c + 15. Which is smaller: -1/3 or t?
t
Let d be ((-10)/(-25))/(4/(-10)). Which is smaller: 2/55 or d?
d
Let p(t) = 9*t + 120. Let x be p(-13). Let q be (-1)/(-3) + (-31)/x + 9. Let d = -667/104 + 51/8. Is d less than q?
False
Suppose -5*g + 368 = -c, -c + 5*g - 731 = c. Let w be 2/5 + c/(-30). Suppose 196 = 7*k + 7*k. Which is smaller: k or w?
w
Let l(u) = 6*u - 2. Let b be l(-8). Let d be (31/(-7))/((-2)/b). Let h = 110 + d. Which is smaller: -1 or h?
-1
Suppose 361 = -17*m - 1135. Is -93 greater than m?
False
Let z be -54*4*(-3)/(-18). Let c = 34 + z. Which is smaller: c or -1/3?
c
Let h = 68 + -67. Which is smaller: -12/41 or h?
-12/41
Let g = -0.0531 - -2.4831. Let m = g + -1.43. Let q = -3.08 + 0.08. Which is bigger: q or m?
m
Let l = -75.5 + 10.5. Is l at least 0.1?
False
Let f be (-1)/(49/(-14)) + 23/(-7). Let w be 2 + (-15)/f + -2. Which is smaller: 3 or w?
3
Let v(k) = k**2 + k - 12. Let z be v(-4). Suppose 0 = -3*a - 4*s - 102, -4*a - 126 = -z*a + 2*s. Which is smaller: -32 or a?
-32
Let n(a) = 12*a - 61. Let s be n(5). Which is smaller: s or 14/45?
s
Let r = -2791/401992 + 7/872. Is 1 greater than r?
True
Let o(n) = n**3 + 5*n**2 - 28*n - 9. Let z be o(-8). Suppose 5*q = -z + 18. Which is smaller: 1 or q?
q
Let o = 12 + -12. Suppose o = 7*b - 8*b + 126. Let j be 48/b*3/(-4). Which is greater: 0.1 or j?
0.1
Let b be (2/(-3))/(2/(-240)). Let k be (-978)/b*22/(-33). Let d = -39/4 + k. Is -1 less than d?
False
Let c = 57 + 21. Let f = c - 77.8. Is f less than 2/17?
False
Suppose -11*n = -16*n. Let c(k) = -k**3 + 1. Let m be c(n). Let w be 2/(-4) - 36/(-104). Which is smaller: w or m?
w
Let i = -0.6 - -15.6. Let a = 11.34 + 3.76. Let y = a - i. Is -1/9 bigger than y?
False
Let c = 18.01 - 18. Let r = c + 0.29. Are 0.06 and r unequal?
True
Let f = -0.002 - 0.198. Let b = 1.3 + -0.1. Let q = b + f. Which is greater: 1/2 or q?
q
Let c = 0.678 + -0.178. Is -1/2 < c?
True
Let d be 868/(-504) + (-4)/(-18). Is 24 > d?
True
Suppose -501*r - 