4*u + 4*c = -432, -u + c = 3*c + 110. Let j = -241 - -134. Which is smaller: u or j?
j
Let q = -0.03 - 0.37. Let u = -6.4 - q. Let i be (-6)/(-9) + 6/18. Are u and i non-equal?
True
Let a be -5 + 6 + -11 + 11 + -1. Which is bigger: 2/19063 or a?
2/19063
Let w = -55.32 + -0.68. Let h = 27 + w. Let k = -28 - h. Are k and 6 equal?
False
Let p = -2578 - -2894. Are -2 and p unequal?
True
Let n(s) = 6*s**2 + 38*s - 44. Let k be n(-8). Are 533/15 and k unequal?
True
Let y(h) = 6*h**2 + 2*h - 2. Let f be y(-3). Suppose -f = -5*s + 219. Let i = s + -105. Does -52 = i?
True
Let j = -222 - -221. Suppose -13 = -3*t + d + d, -t + d + 5 = 0. Let a be (-39)/t + 1 + j. Which is smaller: 2 or a?
a
Let b(j) = 2*j**3 - 18*j**2 + 5*j - 144. Let a be b(13). Is 1274 greater than a?
True
Let d be -1*(-9)/12*4 - 3. Suppose -6 + 5 = p - c, -p + 5*c + 3 = d. Which is greater: p or 1?
1
Let k be (10/4 - 1)/(12/8). Let r = -953 + 950. Is k greater than r?
True
Let t be ((-8)/2 + 0 + 4)/(-1). Suppose 0 = 7*d - t*d + 217. Which is bigger: d or -29?
-29
Let m = 181 + -187. Let b be -94 - ((-2)/m - 5/15). Is 1/4 equal to b?
False
Suppose 0 = 2*q + 6, -3*a + 19 = -5*q + 7. Let b be ((-603)/(-938))/(10/(-32)*3). Do b and a have the same value?
False
Let b(g) = -3*g**2 - g + 7. Let p(f) = 13*f**2 + 4*f - 26. Let h(w) = 9*b(w) + 2*p(w). Let u be h(-7). Does -30 = u?
False
Let q = -571/540 + 21/20. Let b = -217 + 218. Is b at least as big as q?
True
Let f = -7745/44 + 176. Let j = f + 3/11. Which is smaller: 41 or j?
j
Let a(p) = -p**2 - 1. Let q be a(-3). Let o be q + 8 - 61/(-32). Suppose 6 = -2*t - m, 2*m - 5*m = -3*t + 9. Which is smaller: t or o?
t
Let m = -46 + 58. Let y be (69/m - 1) + (-1)/(-4). Suppose y*d = 10*d - 85. Is 16 > d?
False
Let a = 0.127329 + 3.872671. Let q = -2059/11 + 187. Is q less than or equal to a?
True
Let a(r) = -2*r**2 + 2. Let x be a(-1). Let c(l) = -l**2 + 3*l - 5. Let s be c(5). Let i be s/10*(-48)/81. Is x < i?
True
Let b(k) = -k**3 + 5*k**2 - 5*k - 1. Let z be b(5). Let a = -18 - z. Let g(x) = -x**2 + 9*x - 7. Let q be g(a). Which is smaller: q or 10/13?
10/13
Let u(r) = r**3 + 6*r**2 + 3*r + 6. Let a be ((-129)/15 - -4) + 3/5. Let d be 3 + a/(-6)*-12. Let i be u(d). Which is greater: 17 or i?
17
Let f(q) = -2*q**3 + 14*q**2 - q + 11. Suppose -10*l + 77 = 7. Let u be f(l). Is 27/5 bigger than u?
True
Suppose 5587 = -3*l - 2615. Which is greater: -2733 or l?
-2733
Suppose -594*b + 5*m = -591*b + 815, 0 = -2*b + m - 555. Is -238 at most as big as b?
False
Let o(b) = -b**3 + 11*b**2 - 7*b + 30. Let y be o(7). Is 177 >= y?
True
Let m be (10 + -3)*(-90)/(-21). Suppose 4*b = 2*b + a + 56, 140 = 5*b - 2*a. Suppose -b*l - 8 = -m*l. Are 7 and l equal?
False
Let p(y) = 2*y**2 - 209*y + 358. Let s be p(94). Which is smaller: s or -1615?
s
Let d(k) = -k**2 - 16*k - 29. Let w(a) = 2*a**3 - 14*a**2 - a - 7. Let g be w(7). Let x be d(g). Let b = -1 + 9. Which is bigger: b or x?
b
Let r = -4 - -7. Let q be (1 - (-12)/(-20))*85/6. Let n = q - 5. Which is greater: n or r?
r
Let c = 13 - 66. Let h = 110 + c. Let k = h - 57.07. Which is greater: 2 or k?
2
Suppose 11 = 5*y - 14. Let h(p) = -2*p + 14. Let i be h(y). Suppose v = 3 - i. Which is greater: v or 3?
3
Let c = -3028/2233 - 20/203. Suppose 5*q - 24 - 11 = 0. Suppose -l + 5 = q. Which is bigger: l or c?
c
Let g = -6075.9 + 6551. Let j = g + -446. Let m = j + -29. Is m less than or equal to -0.9?
False
Suppose -2*p = 5*b + 2*p - 75, 20 = -4*p. Suppose 2*y + 78 = 2*m, 5*m + 4 = b. Do -35 and y have different values?
True
Let s be ((-2)/(-2) - -4) + -3. Let n be (12 + (-1 - -1))*1/s. Let r be (31 + n)/((-15)/(-6)). Is r greater than 15?
False
Suppose -4 = 109*a - 110*a. Let x be a + (-91)/21 + 37/(-24). Suppose y = -1 - 2. Is y less than x?
True
Suppose -39*h + 79*h - 38*h + 2 = 0. Are h and 17.7 unequal?
True
Let z = -1141787/10 + 114425. Let i be 9864/40 - 6/10. Let o = z - i. Which is smaller: 1 or o?
o
Suppose 48 = 13*r - 16*r. Let f be (-120)/r - 2/(-4). Suppose 6 = k - 2. Is k != f?
False
Let j = 17637/92794 - -8/3569. Suppose 2*s = -2*s. Is s > j?
False
Let c be -37 + 175/(-63) + 2/(-9). Let v = c - -34. Let j be 2/v*42/14. Are -1/16 and j equal?
False
Let u(y) = y**2 - 12*y - 24. Let z be u(15). Let d = 1132 + -1125. Which is smaller: d or z?
d
Suppose 6*l - 20 - 10 = 0. Suppose -k + 20 = k + 4*p, -l*p = -4*k + 40. Suppose -z - 3*z + 20 = 0. Which is smaller: k or z?
z
Let w = -6 + 5. Let o(i) = 47*i**3 - 2*i - 1. Let y be o(w). Let j(h) = 10*h + 5. Let m be j(-5). Is m greater than or equal to y?
True
Suppose 27*u + 3030 = 31*u + 3*r, 2 = -r. Is 3037/4 > u?
True
Let y be ((-8)/(-4))/((-186)/2325). Let v(w) = 26*w - 1. Let k be v(-1). Is k at most y?
True
Let t be (4/30 - (-366664)/53400) + -7. Which is smaller: t or 0?
t
Suppose 0 = v - 5*o + 101, o - 24 = v + 65. Let s = -52 - v. Suppose -135*n - 1023 = -166*n. Which is smaller: n or s?
n
Let d = 5159 - 2455683/476. Let f = 3140 - 3139. Is f less than or equal to d?
False
Let k = 0.87 - 0.87. Let b = 19.4 - 20. Let j = b - -0.7. Are j and k non-equal?
True
Suppose 5*r - 10 = 0, -5*m + 2*r + 2*r + 97 = 0. Suppose m*o - 13 = 20*o. Is o at least 10?
True
Let i = -90 + 90.01. Let r = i + -0.31. Is r smaller than -24?
False
Let m be ((-2)/(-6))/((-1)/(-3)). Suppose -g + 3*g + 16 = 0. Let y be (-10)/g*(-1)/5. Do y and m have different values?
True
Let f = -2017 + 1983. Let h(u) = 2*u - 2. Let l be h(0). Which is smaller: l or f?
f
Let q = -41541 + 47225. Which is greater: q or 5683?
q
Let m = 117.34 + -0.14. Let v = -23.6 + 140.6. Let i = m - v. Do 20 and i have the same value?
False
Let s = -79.915 - 1.085. Which is bigger: s or 7.5?
7.5
Suppose -13*x = -16*x - 141. Let f = x - -47. Which is smaller: f or 6/7?
f
Let f be (-13)/(-2 + (4/(1120/(-285)) - -3)). Which is bigger: f or 730?
730
Let d be 2 + -14 + 23 + (-10226030)/929637. Is d >= 1?
False
Let p = -3.08696 - -0.02696. Which is bigger: p or 1?
1
Let h = -914 - -2121. Is h < 1207?
False
Suppose 6*c = -25*c + 2511. Let h = 177.1 + -198. Let a = h + 21. Which is smaller: c or a?
a
Let m = 2093/25 - -20252/275. Which is smaller: 157 or m?
157
Let r be (8/288)/(-7 - -9). Which is smaller: r or -1?
-1
Let r(p) = -p**2 - 72*p + 69. Let u be r(-78). Is 0.1 >= u?
True
Let u = -87 + 107. Let i = u - 14. Let j be (-154)/6 + i/9. Which is smaller: j or -26?
-26
Suppose 0*p - 11*p = -78 + 111. Let c be 70/(-11)*16/30. Let i = c + 19/11. Do i and p have different values?
True
Let a = -72 - -37. Let j(p) = -5*p**3 + p**2 + 22*p - 44. Let x be j(2). Which is smaller: x or a?
x
Let s(a) = 63*a**2 + 8*a + 5. Let t(o) = 128*o**2 + 18*o + 10. Let f(w) = 5*s(w) - 2*t(w). Let y be f(-1). Which is bigger: 62 or y?
62
Let i = 538 - 537.945. Let v = 0.155 - i. Do 47 and v have the same value?
False
Suppose 2 + 2 = 24*r - 26*r. Is r at least 841/4?
False
Let u be ((-19)/133)/((-10)/275). Is 5 at least as big as u?
True
Let v be ((-5)/(-15))/(11/14322). Suppose -6*i = -496 - v. Is i greater than 156?
False
Let r(c) = c**3 + 15*c**2 + 104*c + 1255. Let q be r(-14). Let g be 3 + 97/(-12) + -1. Which is smaller: g or q?
g
Let l be 0 + -8 - -3*(-40 - 1). Which is smaller: -120 or l?
l
Suppose 4*t = 3*u - 25 + 3, -5*u + 6 = t. Suppose u*y - 4*q - 38 = -2, 3*y - 5*q - 50 = 0. Let w be 4/y - (-1 + 52/40). Is w != 0?
True
Let r(o) = 2*o + 2. Let t be r(-7). Suppose g = 3*i - 445, -i = -2*i + g + 147. Suppose -15*s - i = 46. Which is bigger: t or s?
t
Let k(p) = 3*p**3 - 409*p**2 + 123*p + 144. Let o be k(136). Is o less than -0.1?
True
Let z = -20 + 22. Suppose 2*u - 3*i + 51 = -z*u, -3*u - 35 = i. Let w be u/(-2)*45/(-10). Is -28 less than w?
True
Let f be -19 + 48/4 + -205. Which is bigger: f or 1?
1
Let v be (-1 - (6 + -3) - -24)*-4. Let n = v - -62. Let y be (-12)/34*12/n. Which is smaller: y or 0?
0
Let a = -8019 + 4118. Is a less than -3902?
False
Suppose -3*g - 4*d - 31 = -14, -3*d = -g + 16. Suppose -g = -12*x - 13. Let l = -958/649 + 12/59. Do l and x have the same value?
False
Let x(z) = z + 9. Suppose -358 = 11*m + 181. Let u = m + 38. Let a be x(u). Which is smaller: a or -6?
-6
Suppose -2*d + 6 = 2, 5*g + 488 = -d. Let k be -6*(-7)/g - (-10)/7. Which is smaller: 1/643 or k?
1/643
Let s = 1.472 - -2.528. Let b = -106