0 = -31*c - 31 + 62. Which is bigger: -6/1097 or c?
c
Let m be (-11)/(-3)*(0 + 0 + 3). Suppose -21*j = -m - 10. Is -1/169 less than or equal to j?
True
Let y be 2/(-5) - (-1188)/720. Is 120 greater than or equal to y?
True
Let a be -6 + 2 + 1*9. Suppose -5 = -a*t - 30. Let y(z) = -2*z**2 - 9*z - 5. Let d be y(t). Is -8 smaller than d?
False
Let q = 102 - 94. Let l be 1/20*2 + q/20. Which is greater: l or -1/15?
l
Suppose -9*w + x - 22 = -14*w, w - 20 = 5*x. Suppose -w*r - 11 = -k, 7 = k - 4*k - 5*r. Is k less than 98?
True
Let w = 28137 + -28131.9. Which is bigger: w or 48?
48
Let y be (-3 - -7)*(20 + -37)*3. Which is smaller: -1846/9 or y?
-1846/9
Let u = -36.1 - 10.9. Let b = 41 + u. Do b and 10 have different values?
True
Let w be (4/(-6))/((-1390)/180 - -10). Let c be (-24)/84 - (-4)/14. Which is bigger: c or w?
c
Let z = 1262 - 1263. Is -1/1176 < z?
False
Let k be ((-44)/(-6))/((-94)/(-1551)). Suppose 3*q = -z + k, -4*q + 0*q = 2*z - 160. Which is greater: q or 33?
q
Let r = -9317 - -9317.01. Is -450 > r?
False
Suppose -4*b - 7*h + 2*h - 1519 = 0, 1163 = -3*b + h. Let r = -1212 - b. Is -826 less than or equal to r?
True
Suppose 0 = 5*z - p + 7, 5*z + 67 = 5*p + 52. Is -23/42 at least as big as z?
True
Let q be (3 - -1)*(-3)/(-12). Let o(r) = r**3 - 14*r**2 + 31*r + 27. Let k be o(11). Are k and q unequal?
True
Let o be ((-30)/4)/(-3)*(-4182)/615. Suppose 0*n + 3*n = 9. Suppose 3*b + n*v + 60 = 0, 101 = -5*b - 2*v + 7. Is o != b?
True
Let s = -204.118 - -204. Let t = s + 0.216. Is t less than or equal to 2?
True
Let a = -27249 - -27374. Which is bigger: a or 0.2?
a
Let i = -500 - -500. Let s = -94 - -162. Let o = s - 3. Is i greater than o?
False
Let a(f) = 2*f + 24. Let u be a(-22). Suppose r + 33 = 4*o + 6*r, -5*r + 25 = 0. Let p be (-19 - (o + -2))*1/1. Are u and p unequal?
True
Let v(r) = r**3 + 16*r**2 + 13*r - 27. Let h be v(-15). Suppose 0 = -5*b + 15, 0*b + h = 2*z + b. Are 12/25 and z nonequal?
True
Let l(q) = 41*q**2 + 3*q + 4. Let b be l(8). Suppose 0 = -34*i + 51*i - b. Is 155 smaller than i?
True
Let b = 6439.9 + -6440. Which is smaller: 2/139 or b?
b
Let z(x) be the second derivative of 2*x**3 - x**2 + x + 11. Let h be z(-2). Is -29 != h?
True
Let w be (-7)/((-441)/(-2632))*66/77. Which is greater: 0 or w?
0
Let r be -1*3/9*(-47 - -50). Let z be 3 + -6 + r + -1 - 0. Is z not equal to -5?
False
Let i = -64 + 124.8. Let c = i - 63. Let g = 2.27 + c. Is -1/2 less than g?
True
Suppose 58*m + 426 = 2340. Is 33 != m?
False
Let t(o) = -o**3 - 26*o**2 - 4*o - 22. Let j(g) be the first derivative of 5*g**2/2 + 9*g + 1. Let f be j(-7). Let m be t(f). Is m < 83?
True
Let u = 17657 - 21782. Is -4125 smaller than u?
False
Let q be 14/63 + 8/((-144)/(-14)). Let c be 8 - q/((-9)/(-2664)). Is c not equal to -290?
True
Suppose 2*n + 0 = -2. Suppose -34 = 2*z + 26. Let h be z/225 - 176/(-1095). Is n not equal to h?
True
Let k = -10116 - -445105/44. Let p = 6 + -6. Suppose -5*j + 5 = -p. Is k at most as big as j?
True
Let a be 5*((-88)/(-20) + -4). Suppose 24 = 4*w + 3*h - 0, 2*h = a*w - 26. Suppose -5*s + 5*k = 5, 3*s - k = 4*k - w. Are s and 3 equal?
False
Let s(a) = 11*a - 5. Let w be s(0). Let n = -2152 + 848. Let v = n + 9094/7. Is w greater than or equal to v?
False
Let g = -64.2 - -64.35. Is -9 greater than or equal to g?
False
Let n be 12/(-32) - (-224403)/581640. Let r be (-14)/(-5) + (-3)/(-15). Which is smaller: r or n?
n
Let s be -3*(-40)/18 + 10/(-6). Let j be -8 + s + (11 - 6). Is j at least as big as 30/13?
False
Let o = -13 + 170. Let k be (1/(45/(-63)*-7))/(16/12440). Do o and k have the same value?
False
Let t be (-2)/(-2) + 2 + -6. Let n be (-2)/t*390/20. Suppose 1181 - 258 = -n*o. Is o less than -72?
False
Let g(y) be the third derivative of -y**5/30 + y**4/4 + y**3/3 + 19*y**2. Let q be g(9). Let p be q/(-8)*-1 + 9/36. Which is bigger: -14 or p?
p
Let j(a) = -a**3 - 21*a**2 + 48*a - 102. Let o be j(-25). Suppose 1752 = 50*i - o. Is i bigger than 62?
False
Let k be ((-1317930)/47070 - -28)*6/4. Which is bigger: -1 or k?
k
Let k = 128 - 128. Let a be k + (-6)/51*-1 + 0. Which is greater: a or 10?
10
Let k be -3 - (-11)/(-136)*-37. Let t be (-84)/(-15) + 98/(-70) + -4. Which is greater: k or t?
t
Let x be -5 + 6 - 8669*(-2 + 1). Let o be (-32642)/x + 36/60. Let w = o + -1/578. Which is smaller: -3 or w?
w
Let f(w) = -459*w - 3673. Let l be f(-8). Is -18/659 >= l?
True
Let i = -2726.2 - -2726. Which is greater: 1.979 or i?
1.979
Suppose 44*x - 42*x - 716 = 0. Suppose -63*u + 65*u = x. Which is greater: u or 176?
u
Let x = -6039 + 126815/21. Which is greater: 1.7 or x?
1.7
Let y = 0.5283 - -1.0817. Which is smaller: 8/9 or y?
8/9
Suppose 0 = 3*u + k - 9 + 1, -k = -2*u + 7. Suppose -b - 458 = b + 3*s, -5*s + 916 = -4*b. Let g = -223 - b. Do g and u have different values?
True
Let f(y) be the second derivative of -y**3/3 + 9*y**2/2 + 60*y - 2. Let o be f(-12). Is 27 != o?
True
Let c be 48/22 - (-36887803)/7403. Which is greater: -1/5 or c?
c
Suppose -330*g = -35*g + 1006245. Which is greater: -4/5 or g?
-4/5
Let k = 194 - 73. Let d = k - 122. Do d and 6/47 have the same value?
False
Suppose 3*i + 8 = 4*n, -3*n - i + 32 = 13. Suppose -m = 4*d + 228, -5*m - 407 - 833 = -n*d. Is -244 >= m?
True
Let h be ((-318)/53)/((-12)/206). Which is bigger: 134 or h?
134
Suppose 1117*c - 112 = 1121*c - 4*j, -j = -16. Let y = -15.2 - -17. Which is bigger: c or y?
y
Let l(d) = -d**3 - d**2 - 2*d - 2. Let w be l(-2). Let f(o) = 10 + 1 - 11 - 2*o + w. Let n be f(2). Is n > 15?
False
Suppose 33 = -4*i + 9. Let v be (183*8/(-36))/(i/9). Suppose -3*g - 18 = 5*w - v, -5*g = 2*w - 59. Which is smaller: g or -3?
-3
Let t = -190292/31 + 6137. Which is greater: 0 or t?
0
Let p be -4*(1 - (-4 - -1)). Let f = p + 41. Let r be (f/(-10) + 1)*6. Which is smaller: -10 or r?
-10
Suppose -3*c + c - 2 = 0. Let x(d) = d**2 - 13*d + 3. Let w be x(13). Let i be w/((-2)/6 + (-776)/48). Which is smaller: c or i?
c
Let k be (-2)/8 - (-57)/4. Let m = -189 - -194. Which is smaller: k or m?
m
Let a = -3318 + 3319. Is a at most as big as 1/3188?
False
Let s(j) = 88*j + 431. Let l be s(-19). Are l and -1241 equal?
True
Let m = 5512/807141 + 2/3023. Let s = m + 29/89. Which is smaller: s or 2/41?
2/41
Let o be (-21)/64323*826986/4. Let t = 2/1021 - o. Is t equal to 69?
False
Let s be 2/10 + -4 + (-24378)/(-6285). Let f = 14731/176399 - s. Is f < 0?
False
Suppose -5*i + 1845 = -5*m, -5*m + 447 - 78 = i. Let d = 3316/9 - i. Suppose 2*g - 16 = 10*g. Do g and d have different values?
True
Let c = 94.61 - 94.81. Let q = 5.006 + -5. Which is bigger: c or q?
q
Suppose -3*t + 30 = 3*t. Suppose 2*q - 19 = t*b, -2*q - 2 = b - 27. Let o be 2*-3*4/q. Which is greater: -9/7 or o?
-9/7
Let n = -23279 - -23277. Let p = -9/8 - -11/8. Which is bigger: p or n?
p
Let w = -795/4 + 94597/476. Let m = -1 - 1. Let d = 2 + m. Which is smaller: d or w?
w
Let k = -54.05 - 0.95. Let y = k + 100. Is 0.1 bigger than y?
False
Suppose 129*c + 1250 + 2749 = 0. Which is bigger: -29 or c?
-29
Let x = -872953/22 + 39668. Let m = -619/198 - x. Which is smaller: 9 or m?
m
Suppose -3*h = -4*h. Let f = h + 8. Let l be ((-3)/2)/(f/32). Which is smaller: l or -3?
l
Let q = -196 - -198. Let g(y) = 9*y**3 - 5*y**2 + 3*y + 2. Let b be g(q). Is 60 less than b?
False
Suppose 6*m - 96 = 2*m. Let n = 28 - m. Suppose -4*z = -4*j - 76, -n*z + 7*z - 101 = 5*j. Which is bigger: -23 or j?
j
Suppose -56 = 71*l + 370. Is 0.323 at most l?
False
Let t = 5687 - 5688. Which is greater: t or 54/133?
54/133
Suppose 5*j - 2794 = -622*o + 618*o, 3*j + 724 = o. Which is greater: o or -5?
o
Let q be (-757 + -847)/(4/(-3)). Do q and 1204 have different values?
True
Suppose 4*p + 5 = t, -2*t + 3*p + 29 = 14. Which is smaller: t or 26?
t
Let g(y) = 3*y**3 + 5*y**2 - 13*y + 13. Let v(w) = -w**2 - 12*w - 16. Let o be v(-10). Let j be g(o). Which is greater: j or 234?
234
Let u be (42/5)/7 + 7576/(-280). Is u != -26?
True
Let o(r) = -r**3 - 14*r**2 - 34*r - 63. Let c be o(-18). Suppose -5*u + 5050 = c. Do u and 641 have the same value?
True
Let f = 5 + -6.3. Let a = -0.038 + 16.938. Let g = a + -17. Which is bigger: g or f?
g
Let n(r) = -3*r**2 - 33*r + 22. Suppose 17*f + 168 = -36. Let w be n(f). Is w smaller than -16?
False
Suppose 4*o - 644