01*r - 25 = -106*r. Suppose 3*t - 12 = 2*o - r*o, 5*o + 7 = 4*t. Is 103 not equal to o?
True
Let j = -14332 - -14509. Which is greater: 180 or j?
180
Let h = 176 + -127. Let p = h - 47. Which is bigger: -1/5 or p?
p
Suppose 0 = 16*i - 17*i - 2904. Let a = i - -1129653/389. Let p = 7753/3501 - a. Which is greater: p or 3?
3
Suppose -t - t + 3*r = -47, 3*t - 68 = 4*r. Suppose 8 = 8*s - t*s. Which is smaller: -4/31 or s?
s
Let c be (-1244 + 10 + (3 - 7))/(-2). Is c greater than or equal to 619?
True
Let z = -111 + 461.5. Let i = z - 353. Which is smaller: i or -8?
-8
Let y be ((-23)/3)/((328/(-240))/41). Let u be (1/4 - y/(-72)) + -4. Is u > -2?
True
Let d(s) = s + 26. Let h = 84 + -103. Let o be d(h). Suppose -6 = -o*a + 1. Which is smaller: a or -0.21?
-0.21
Let l = 853 - 861. Let h = 171.1 - 179. Let q = l - h. Which is greater: q or 32?
32
Let n = 179 - 179. Let j be 2 + n - (2 - (-20)/30). Is 2.1 smaller than j?
False
Let o = 78 + -84.2. Let k = 4.2 + o. Let r = 41 - 62. Which is bigger: k or r?
k
Let q(s) = 90*s - 639. Let w be q(56). Which is bigger: 4400 or w?
w
Let r = -10327 + 547. Is r greater than 1?
False
Let w be (-1 + 2)/((15/12)/((-27695)/58)). Is w less than -381?
True
Let q be (1 + -1 - -12)*2. Let a = -64193 + 64219. Which is smaller: a or q?
q
Let g be (-116)/(-8) - (-1)/2. Suppose 3*m + 2*q - 48 = -12, 0 = 3*q. Let o = 3 + m. Is o < g?
False
Let p(o) = o**3 - 7*o**2 + 2*o - 15. Let v = 34 - 27. Let x be p(v). Is 7/3 != x?
True
Let y(z) = -z**2 - 9*z - 17. Let c be y(-5). Let i be 5*c/33*(-1)/(-3). Is 0 at least as big as i?
False
Let z = 87982/7 - 12568. Is 66.8 smaller than z?
False
Let f = 1465.5 + -764.6. Let r = 696 - f. Is r > 2?
False
Let w = 47.77 + 2.03. Let m = -17.2 - w. Which is smaller: m or -1?
m
Let l be -2 - -1 - 0/3. Suppose -j - 5*o = -17 - 16, 5*j = -3*o + 231. Let y be (2/8)/((330/j)/(-5)). Which is greater: y or l?
y
Let c = -26 + 32. Suppose -5*q - 21 = -c. Let k be -2*q/4*2 + -3. Which is greater: 2/61 or k?
2/61
Let c = 28954 - 28955. Does -2/51517 = c?
False
Let o(i) = -3*i. Let n be o(-3). Let v(w) = -w + 41. Let r be v(34). Let f be (11 - 824/56)/((-3)/r). Which is smaller: n or f?
f
Let t be -76*(-35)/(-30) - 2/(-3). Let b = t + 88. Suppose b = 5*w - 3*m + 344 - 111, 0 = 3*w + m + 151. Do w and -49 have different values?
False
Let d be ((-5)/(-10))/((-8)/16). Let o be d - ((-208)/(-36) + -7). Is o less than 2?
True
Suppose 0*i = 5*i + 3*s + 109, -65 = 4*i - 5*s. Suppose 3*d = h + d, 2*d = -h. Suppose -2*x - 2*x = -3*q + 71, -5*x + 3*q - 91 = h. Is x equal to i?
True
Suppose -5*a = -3*j - 32, 28 = 17*j - 19*j + 5*a. Let i be (6/j)/(5 - 2)*2. Which is smaller: 10/21 or i?
i
Let p = -60 - -63. Suppose 13 + 35 = -p*u. Let z be 76/(-539) - u/88. Is -1 != z?
True
Let t = -72728 + 72853. Let d be 1 + 125 + (2 - 3). Does d = t?
True
Let p = 24780388/109 - 227343. Suppose 6 = -5*r + 1. Which is bigger: r or p?
p
Let f(b) = b**3 - 7*b**2 - 5*b - 14. Let v be f(8). Let t be 1674/(-60) + 4/v. Which is greater: -0.1 or t?
-0.1
Let i(t) = -t**2 - 157*t + 7615. Let c be i(39). Suppose -h + 3*o = 31, 4*o = 3*h + o + 81. Is h <= c?
False
Suppose -3*w = j + 3, -5*j - 1 + 0 = w. Let u be (-3)/1166*(-13 - (-740)/60). Is u smaller than w?
False
Let t = -13038 + 13039. Suppose 5*y - 10 = -0*y. Let d be 2 + 6*y/(-9). Do d and t have the same value?
False
Suppose 34*u - 131 = 1161. Let c = u - 39. Which is bigger: -2/1493 or c?
-2/1493
Suppose 4*u = -3*n + 117, 2*n = -u - 9 + 32. Let g be 15/12*76/3. Which is greater: g or u?
u
Let o = -2106.466 + 2110. Let y = 3.5 - o. Let z = y + -0.066. Are z and -0.99 non-equal?
True
Let b(m) be the second derivative of m**5/20 - 2*m**4/3 - 11*m**3/6 + 13*m**2/2 - 2*m. Let k(s) = -26*s + 87. Let g be k(3). Let o be b(g). Is o less than -7?
False
Let y(l) = 28*l + 24. Let o(n) = 25*n + 24. Let v(w) = -5*o(w) + 6*y(w). Let j be v(-4). Is j less than or equal to -150?
False
Suppose -278 = -n + 188. Suppose 14*c = -4*x + 11*c + 1873, 1410 = 3*x + 4*c. Is x greater than n?
False
Let f = 65293 + -914027/14. Suppose -m + 6*m = 30. Does m = f?
False
Suppose 4 = -4*b + 112. Let m(j) = -24*j + 368. Let n(a) = -70*a + 1106. Let q(s) = -10*m(s) + 3*n(s). Let d be q(13). Is d greater than b?
True
Suppose -3*o + 8 = o - 4*l, -16 = -4*o - 4*l. Let u be (o/(-4))/((-135)/2232). Let m be ((-3)/2)/(3/(-24)). Is u less than or equal to m?
False
Let m(u) = -19*u**2 - 7*u - 8. Let p(q) = -6*q + 88. Let y be p(15). Let i be m(y). Do -70 and i have the same value?
True
Suppose 2*j + j - 11 = 5*l, -j + 5*l + 7 = 0. Let d be (j/(-5))/((-16)/160). Let z(t) = t**3 - 7*t**2 + 5*t + 7. Let v be z(6). Is v > d?
False
Suppose -7*i + 120 = -2*i. Let y be 24/6*(4 - 0 - 6). Let s be (y/(-1))/(i/(-40)). Are s and -13 non-equal?
True
Let n be -3*(-4)/(-12)*7*8/56. Which is greater: -16/943 or n?
-16/943
Let t = 3.7 + -3.68. Let z be (-14)/6 - -7*(-22)/77. Which is smaller: t or z?
z
Let a be 3/2 - 630/468. Suppose 8*s + 520 = 3*s. Let d = 103 + s. Which is smaller: a or d?
d
Suppose -2*n = -7*n + 3*m + 10, 2*n + m = 15. Let j(k) = -8*k**2 + 56*k + 4. Let c be j(n). Which is greater: 83 or c?
c
Suppose 0 = -3*s - 5*q + 52, 4*s - 4*q - 2 = 14. Let g be (-1 - -2) + (-28)/20. Which is greater: g or s?
s
Let g = -56 + 29. Let m = g + 3. Suppose -8*k - 19 = 189. Is k greater than or equal to m?
False
Let a = -119.27 - 0.73. Let j = -124 - a. Is -17 bigger than j?
False
Let x(w) be the third derivative of w**5/60 + w**4/12 + w**3/6 + w**2. Let d = -21 + 23. Let c be x(d). Is 13 less than or equal to c?
False
Let t = -1728 + 1513. Which is smaller: -216 or t?
-216
Let b(p) = -p + 10. Let z be b(5). Let i = -145 + 149. Let g = z - i. Is 3/17 at most g?
True
Let z = 36648 - 36669. Is z < -34/5?
True
Suppose -749*h + 913*h = 67732. Which is bigger: h or 414?
414
Suppose 2*j + 2*p - 4 = 0, j = 6*j + 3*p - 4. Which is bigger: j or 24/439?
24/439
Let a be (((-5)/7 - -1) + 2176/(-952))/(-8310). Is 0 at most as big as a?
True
Let n(k) = 3*k + 20. Let d be n(-6). Let j be 2*(d/(-642))/(10/30). Are 0 and j equal?
False
Let l be 3/1*(-74)/(-3). Suppose 0 = 5*d - 40, 5*m - 264*d + 268*d - 417 = 0. Is m bigger than l?
True
Suppose -9 - 147 = -4*l. Suppose -4*r - l - 1 = 5*p, -2*p - 3*r = 16. Is -47/6 at least p?
True
Let f be (17/68)/((-2)/2). Let i = -521 - -478. Does f = i?
False
Let m = 122.25775 + 0.08225. Let g = 121 - m. Let u = 0.44 + g. Is -1 not equal to u?
True
Let g = 2626 + -2624. Which is greater: -1/64 or g?
g
Let v = -11526 - -2747. Is -8778 smaller than v?
False
Let r(d) be the first derivative of 2*d**3/3 - 3*d**2 - 9*d + 1. Suppose -5*n = -5*j - 13 + 8, -2*j = 5*n - 26. Let g be r(n). Which is smaller: g or 2/31?
g
Let x = 1.568 - -0.547. Let c = 0.015 - x. Let q = 8.1 + c. Which is smaller: q or 2?
2
Let o = 1663 - 2695. Let z be 3/11 - o/(-1122). Is 0 greater than z?
True
Suppose 2*o + y = 6*y + 45, o + 2*y = 0. Let q be (5/o - 4)*-14. Let u be 60/q*((-39)/(-6) + -3). Is 5 greater than or equal to u?
True
Let c = 2366 - 2374. Let k(z) = -4*z**3. Let g be k(-1). Suppose 15 = -g*w + w. Which is smaller: c or w?
c
Let r(y) = -y**3 + 9*y**2 - 4*y + 8. Let h be r(9). Suppose -54*g - 1794 = 28*g - 13*g. Which is smaller: h or g?
h
Suppose 0 = -4*w - 5*o + 82 - 26, 2*w + 3*o = 28. Let m = -8 + 14. Which is greater: w or m?
w
Let v be 1 + -1 - (-1 + 2). Let g = 3093/67318 + -7/347. Is g at least v?
True
Let j be 814/1 - (-2 + 2 + -2). Suppose 17*u = -1615 - j. Is -143 at most as big as u?
True
Let x(t) = -4*t - 28. Let w be x(-7). Suppose 0 = 3*i + 211 - 223. Is i at least as big as w?
True
Let a be ((-10)/(-7))/((-186)/(-57288)). Is 442 >= a?
True
Suppose 3*h + w + 316 = 437, -2*w + 14 = 0. Is h less than or equal to -5/33?
False
Let o = -9931 - -9614. Is -313 equal to o?
False
Let p = 39494 - 39528. Is -227 at most p?
True
Let n = -571774/101 - -5661. Is n != -1?
True
Let v = 362875 - 2171005/6. Which is smaller: 1041 or v?
v
Suppose -133 = -60*s + 59*s. Let j = 397/3 - s. Is 0.32 < j?
False
Let k be (-2)/62*84/(-147)*28. Which is bigger: 2 or k?
2
Let a = -1796 - -1796.3. Let v = 1.5 + -3.7. Is a at most as big as v?
False
Suppose -29 = w + 2. Let m = w - -37. Let n(u) = -u**3 + 5*u**2 + 5*u + 5. Let o be n(m). Which is sm