- 5*m**3/3 - 2*m**2 + 5*m + 4. Let q be w(-4). Are q and 56/13 equal?
False
Let f = -126 + 87.6. Let y = -37 - f. Let w = y + -3.4. Is w != -1/2?
True
Let w = -4999/15 - -1668/5. Are w and 1.757 equal?
False
Suppose -28*c = 95*c - 556575. Is c greater than or equal to 4526?
False
Let c be ((-6)/2)/(7 - 4232/(-16)). Let q = c + 217/3258. Is q less than 0?
False
Let a = -6548/21 + 2080/7. Which is smaller: a or -60?
-60
Let u be (-3432)/9130 + 8/20. Let n be ((-8)/12)/(6/(-9)). Let l(o) = o**2 + o - 1. Let f be l(n). Which is greater: u or f?
f
Let l = -15834.034 - -15832. Is l equal to 1?
False
Let g = 2441/38544 + -2/2409. Let l = -5 + 6. Let u = 2 - l. Which is smaller: u or g?
g
Let i = 30011/25 - 1201. Let r(s) = s**3 + 10*s**2 + 16*s - 2. Let n be r(-8). Is n equal to i?
False
Suppose -6*o - 893 = 3*w - 2*o, 0 = -2*w + 5*o - 603. Let z be 2/13 - 253/w. Which is greater: -2/53 or z?
z
Let d = 11522/14673 + -52/67. Let m = -7811 - -7811. Is d less than or equal to m?
False
Suppose -3*n + 63 + 15 = 0. Let l = 23 - n. Suppose -3*o + 10 = 25. Which is smaller: l or o?
o
Suppose 3*p - 14 = t, 2*t + 11 = 3*p - 5. Let d = 2183 - 2181. Does d = p?
False
Suppose 2*a - 5*n + 10609 = 0, 4*a - 331*n = -333*n - 21158. Is -5292 at most a?
True
Let g(t) = t**3 + 31*t**2 - 180*t - 1. Let n be g(-36). Which is bigger: n or -2/1317?
-2/1317
Suppose 1168 = 11*z - 5*h, 3*z - 5*z + 2*h + 208 = 0. Do 107 and z have different values?
True
Suppose 2*k + 3*k = -z + 225, 0 = 3*k - 3*z - 135. Suppose -3*h + 39 = -k. Let r = h + -419/15. Do r and -1 have the same value?
False
Let m = -13207 - -13054. Is m < -1988/13?
True
Let v(p) = p**2 + 27*p - 420. Let l be v(-38). Are 1/1179 and l nonequal?
True
Let c = -87574778/461311 - -5885/31. Which is smaller: c or -1?
-1
Let a(y) = -12*y - 12 - y**2 + 7 - 15. Let m be a(-8). Let j be m/(-81)*(-30)/4. Which is greater: j or 1?
j
Suppose 150*o = 39*o. Let s = 56329/79 + -713. Is s at least as big as o?
True
Let m be (-9)/9 + (-1875)/(-80). Let j = 6285/176 - m. Does 12 = j?
False
Suppose -130 = -3*s + y, -3*s - 5*y = -2*y - 126. Suppose 8*p - 197 = s. Suppose -23*l = -13*l - p. Is -5 bigger than l?
False
Let p = 1983640/3 - 654186. Let b = 7161 - p. Which is greater: 133 or b?
b
Suppose -3*m = -4*d - 986, -2*d - d = m - 333. Suppose 2*w + m = -2*n, -3*w + 766 = -5*n - 83. Let v be (-54)/n*(-1 + (-10)/(-12)). Is v greater than -1?
True
Let q be 3*(299 - -2745)*5*(-1)/12. Which is greater: -3802 or q?
-3802
Let z be (-52128)/(-416) + (-10 + 0 + 3)*1. Which is smaller: 119 or z?
z
Let v = 0.544 - -0.546. Which is greater: 0 or v?
v
Let w = -0.334 - -0.024. Let h = -4.43 - -4.42. Let t = w - h. Do t and -6 have different values?
True
Let b(d) = -81*d + 3. Let o be b(-3). Let p be (-2)/(-2) + o/(-242). Which is smaller: p or 1?
p
Let c be (-6 - 116/(-18)) + 1612/(-1359). Do c and -1 have the same value?
False
Let x = -42 + 37. Let c(p) = p**3 + 5*p**2 + 3*p + 15. Let k be c(x). Is -1/44 != k?
True
Let s = 11537 - 11913. Is s >= -374?
False
Let b = -447 - -771. Which is greater: 320 or b?
b
Let f be (-9)/(-12)*-1*(0 + -12). Suppose f = -381*p + 390*p. Is p greater than or equal to 621?
False
Suppose z - 3*j + 17 = 0, -3*z - 2*j = 2*z + 85. Let l be (-8)/(-20) - z/(-5). Let t be 4*(-3)/6 - (-1)/2. Which is bigger: l or t?
t
Let q = 4752 + -4747. Is -55 >= q?
False
Let j(p) be the third derivative of p**5/60 - 3*p**4/8 + 7*p**3/3 + 132*p**2. Let d be j(6). Is d <= -84/29?
True
Suppose -5*s + 23*k = 18*k + 60, 4*s = -3*k - 62. Is s equal to -36?
False
Let w = 0.5733 - -13.9067. Which is bigger: -1 or w?
w
Let t be (-4168)/(-2086) + 1*-2. Let q = -3091 + 3092. Are t and q nonequal?
True
Let h = 3629240955/9908 + -366294. Is -1 > h?
False
Let f be 2 + 5 - 7005/(-81) - 3 - -1. Is 90 bigger than f?
False
Suppose 2*k - 20 = -2*k, 4*k - 1 = o. Let h = -285 - -322. Suppose -o = -4*j + h. Which is bigger: 12 or j?
j
Suppose 60*c + 207561 = -69*c. Which is smaller: -1612 or c?
-1612
Let w = 2461979/1110 - 2218. Are 0 and w equal?
False
Let v = -41538 + 45930. Is 4394 >= v?
True
Suppose 0 = -7*h - 23 + 107. Let b(j) = j**2 - 15*j + 39. Let l be b(h). Suppose 4*o + 4*x = -12, 2*o - l*o + 3*x = -9. Is -12/13 < o?
True
Let o(u) = u**3 - 2*u**2 + 83*u - 491. Let c be o(5). Which is greater: c or 1/1296?
1/1296
Let h = -1316240/1033669 - -386/307. Let x = 1/91 - h. Is x <= 0?
False
Let y(i) = -2*i - 54. Let u be y(17). Let w be 1/(0 + (-3)/267). Let h = w - u. Which is smaller: h or -4/9?
h
Let a = 4483 + -4483. Does a = 2/11099?
False
Suppose 3*j - 3*i + 24 = 0, 0 = -2*i + 6*i + 16. Let p be j/18*66/(-4). Let h be (p/(-2))/(-11) + 3/6. Is h at least 3/17?
True
Let p = 2469 - 2473.9. Is -4/7 bigger than p?
True
Suppose q = -2*x - 8, 0*x = -4*q - 4*x - 16. Let o be 1/1 + q + 0. Let v = 6773/33655 + -123/635. Which is bigger: v or o?
o
Let v = -0.9 - -5.9. Suppose 0 = 20*x - 22*x + 76. Which is greater: x or v?
x
Suppose 2*k = -2*a, 2*k = 2*a - 10 + 2. Suppose a*b - 16 = -3*w, 3 = 2*w - 5*b + 5. Suppose 0 = j - w*j + 3. Is 1 less than or equal to j?
True
Suppose 5 - 13 = -c. Suppose c*d = 132 - 28. Is d at most as big as -3/8?
False
Let o = -2424 + 94534/39. Let j = 49811/36660 - 321/188. Let s = o + j. Which is smaller: s or -0.21?
s
Let n be 3703/(-70) + (-30)/3 + 3. Is -59 bigger than n?
True
Suppose i = 42 + 2. Suppose 5*p + 3*g + 82 = 0, g - i = 4*p - 2*g. Let s be p/(-8) + (-80)/(-64). Is 4 >= s?
True
Let i = 2/169131 + -663670070/2198703. Is -303 less than or equal to i?
True
Let g = 1294 + -1928. Is g greater than or equal to -1267/2?
False
Suppose 3*k - 54 = -0*k - n, 2*n = k - 11. Suppose 21*t = k*t + 1520. Suppose -11*p = -p - t. Are p and -2/5 unequal?
True
Let y be 110/(-38) - (50/95)/5. Let q be ((-190)/(-10))/(2 + y). Is -20 at most q?
True
Let q = -57 + 75. Let h be (q/(-156))/(18/(-132)). Is h greater than 1?
False
Let v = 85 - 321/4. Let n = -260586/35 - -37228/5. Which is greater: n or v?
v
Let y = 27440 + -27440. Are -3/9166 and y equal?
False
Let q = 105 - 104. Let l = 1350 - 1415. Is l > q?
False
Let u = 12.3 - 0.3. Let t = -31.304 + -0.396. Let n = 31.5 + t. Do u and n have the same value?
False
Let t be (6/15)/(-3 - (-177)/60) - -7870. Do 7862 and t have different values?
False
Let k = -177.2 + 175. Let t = -90 - -53. Let a = t + 36.9. Is k at most as big as a?
True
Let u = 443 + -218. Let v be 4/(-60) + 240/u. Is -1/1013 smaller than v?
True
Let k = 0.029 + 45.971. Let l = -26 + k. Let n = 21 - l. Is -7 smaller than n?
True
Let g be 22/34*(-13803)/63. Let t = g - -12/119. Let m = 8074/57 + t. Is -1 != m?
True
Let t(y) = y**3 - 25*y**2 - 85*y + 22. Let i be t(28). Let g(j) = -j**2 - 7*j - 17. Let w be g(i). Is w < 4?
True
Let o = 42 + -82. Suppose -134 + 155 + 280 = -7*d. Which is bigger: o or d?
o
Let y(r) = -r**3 + 16*r**2 + 29*r - 27. Suppose 5*h + 2*l = -0*l + 77, -48 = -4*h - 5*l. Let x be y(h). Which is bigger: 178 or x?
178
Suppose s + 2*s = 0. Suppose s = -12*h + 26 + 58. Suppose -h*g + 29 = -2*g - 4*p, -4*g = 4*p - 16. Is 1 at least as big as g?
False
Let p(r) = r - 6. Let x be p(6). Let q be -9 - 3/(-18)*(-177349)/(-3283). Is q at least as big as x?
True
Let z(s) = -s**3 + 7*s**2 - 9*s + 121. Let t be z(8). Which is greater: t or -573/40?
-573/40
Suppose -3*c = -2259 + 2496. Which is greater: c or -86?
c
Let l = -784.6 + 772.6. Are 2/55 and l nonequal?
True
Let t be 1 + (5156/282)/((-2)/(-78)). Let k = 714 - t. Suppose -n - 3 = -l, -3*l = 5*n - 3*n + 1. Which is bigger: k or l?
l
Let n be ((-4)/(-1390)*-3)/((-18)/60). Let b = -226/1807 - n. Which is smaller: 2 or b?
b
Let z be ((-2)/5 + -1)*-1. Let m = -198 + -237. Let t = m + 434.95. Is t at least z?
False
Let i = 27812 - 9650749/347. Which is bigger: 2 or i?
2
Let s = -1527637/80549 + 101/2177. Is s at most -18?
True
Suppose -1015 = -179*p + 186*p. Suppose -4529 + 3233 = 9*f. Do f and p have different values?
True
Let u(w) = -w**2 - 9*w - 3. Let g be u(-8). Suppose g*d + 40 = -3*m, -2*m - 40 = 5*d + 2*m. Let q be 10/(-1 + (-1)/1). Are d and q nonequal?
True
Suppose -5*p = -2*j - 105, -117 = -4*p - 4*j - j. Let a be (p + -15)*2/(-4). Let u(k) = -k**2 - 5*k - 3. Let q be u(a). Is q >= 1/11?
True
Let c(b) be the third derivative of b**4/4 - 27*b**3/2 - 20*b**2. Le