 Let v be f(s). Is v greater than 21?
True
Let x be (-1)/(-4) - ((-14)/8 + 2). Let y = 57/110 + -9/11. Which is smaller: x or y?
y
Let x = 288.2 + -285.103. Do -3 and x have different values?
True
Let q = 1733.1 + -1638. Let o = -95 + q. Let l be (-25)/28 + 2/(-8). Do o and l have different values?
True
Let q(g) = 2*g**3 - 54*g**2 + 222*g - 43. Let w be q(22). Which is greater: w or 12/731?
w
Suppose k - 1 = 3. Suppose k*q - 2 = 3*o + 3, 2*q = -2*o + 6. Let g be 0 - (-4 + 0) - 10. Is q != g?
True
Let w(a) = 2*a + 5*a**2 - a**3 + 2*a**2 - 4*a**2 - 4*a**2 - 2 + 4. Let i be w(-3). Is 85/6 < i?
False
Let x(w) = w**2 + 204*w + 8926. Let h be x(-136). Let i = 4 - 4. Is h not equal to i?
True
Let u(n) = -49*n**2 + 1098*n - 83. Let y be u(33). Is y at least -17210?
True
Let t be 100/80 - (-479682)/(-72). Which is smaller: -6660 or t?
t
Let i = 4033 - 4033.262. Is 2/3 at least i?
True
Let x = -128 + 42. Suppose 0 = f + 2 + 2. Let q be 6/4*f/x. Do 1 and q have different values?
True
Let z be (-67672)/20*(-3)/(15/25). Let s be z/242 + (-1)/(-11). Which is greater: 68 or s?
s
Let o be (-2)/(-9) - (-4079852)/(-18939888). Let v = -2/3261 + o. Let t = v - -1879/9196. Which is smaller: -1 or t?
-1
Let g = 12947 - 14142. Which is bigger: g or 1/3?
1/3
Let t(b) = 2*b**3 + 25*b**2 + 8*b - 22. Let v be t(-12). Is v greater than -28?
True
Let y = -62.089 - -0.089. Let n = -60 - y. Is n <= 54?
True
Let k = 70 - 125. Let i = 58 + k. Suppose -152 = -i*l + s, -4*l = 4*s - 16 - 208. Are l and 52 equal?
True
Let a be (-1)/(-8 + 5)*3*3. Suppose -5*q = -3*t - 50, t + a*t - 4*q = -64. Let d be (-2)/(-9) - (-411)/(-27). Is d at least t?
True
Let h = 0.0287 + -14.0287. Let d = -0.81 - -0.8. Is d at least as big as h?
True
Let r = -11808 - -11820. Are 9 and r non-equal?
True
Let f = 0.299 + -4.899. Let t(b) = -b**2 + 2*b + 2. Let p be t(-1). Is p at least as big as f?
True
Let h(i) = 2*i**3 - 7*i**2 - 5*i. Let m(j) = -2*j + 25. Let l be m(10). Let s be h(l). Suppose 3*a + 333 = -5*c, -7 - s = c + 3*a. Is -69 <= c?
True
Let s(g) = g**2 - 2*g - 7. Let d be s(7). Let r = 37 - d. Let a(u) = u**2 + 13*u - 7. Let y be a(-14). Are y and r nonequal?
True
Let y(x) be the third derivative of x**4/4 - 7*x**3/6 + 90*x**2. Let c be y(4). Which is greater: c or 14?
c
Let m(v) = -20*v + 78. Suppose 2*k = 7*k - 20. Let c be m(k). Which is greater: c or -17/7?
c
Suppose 4*c = 2*c - 9*c. Let s be (1 + c + -3)*-19. Which is bigger: s or -5?
s
Let d be 9/(351/(-430)) - (4 - -2)*-1. Which is bigger: -4 or d?
-4
Let f = 4570 + -3931. Is 637 greater than f?
False
Let h = 149 - 30. Let o = 16 - h. Which is smaller: o or -102?
o
Let u be ((-6)/8)/(2 - 57/24). Suppose -u*d + 13 = 3*d + 4*a, 12 = 3*d + a. Are d and 6 equal?
False
Let m(i) = -38*i + 1464. Let o be m(47). Which is smaller: -3/5 or o?
o
Let h = -45.73 + 45.62. Are h and 30/13 equal?
False
Let k be 2/((-17)/(-288 + 16)). Is 11/3 less than or equal to k?
True
Let w = -168277/35217 - -2/3913. Let a be 4214/(-784) - 6/(-16). Is a equal to w?
False
Let b = 254 + -248. Let i(h) = h**3 - 16*h**2 + 60*h + 1. Let n be i(b). Which is smaller: n or -4/183?
-4/183
Suppose -8 = 430*w - 426*w + 2*s, -5*w + 3*s + 12 = 0. Which is smaller: w or 240/197?
w
Let k(c) = 11*c + 61. Suppose 13*h - 7 = 32. Let x be k(h). Is 94 equal to x?
True
Let n be (-4)/(-10) - 3/(-10). Let h = -441 - -300. Let p = h - -142. Is n at least as big as p?
False
Let b(g) = -2*g**3 - 25*g**2 + 66*g + 222. Let r be b(-14). Is 26 smaller than r?
False
Let t(b) = b**2 - 3*b - 5. Let c be t(5). Suppose c*f + 4 = 29. Suppose -4*r + 18 = -f*a, r - 4*a = 3*r + 4. Is r < 0?
False
Suppose 3310 = -18*b - 560. Let z = -215 - b. Do z and -5/46 have different values?
True
Let d = -4715 - -4675. Suppose 5*u + 292 = 97. Let i = d - u. Is i smaller than 2/17?
True
Suppose 25415 = 9*w - 32*w. Let p be (-52)/w*(782/396 + -2). Which is smaller: p or 0?
p
Let d(u) = 6*u**2 - 11*u + 16. Suppose -3*i - 10 = -16. Let l be d(i). Which is bigger: l or 20?
20
Suppose 4*u + 1720 = 33*p - 30*p, 4*u + 3*p = -1720. Is -430 equal to u?
True
Let o(n) = 7*n - 17. Let r be o(3). Suppose -4*x = -a + 4, -a + 4 = -r*x + 6*x. Which is smaller: 2/689 or x?
x
Suppose 2187 = -191*s - 2238 - 25753. Which is smaller: s or -162?
-162
Suppose 56*f + 54 = -60 + 58. Is f at most as big as 1/550?
True
Let v = -46 + 302. Let a = 255 - v. Is a != 4/39?
True
Suppose -5*j - 2*k + 11 = k, 9 = -j + 5*k. Let h be (-12)/(-698)*j/(-4)*-2. Which is bigger: 1 or h?
1
Let x = 17099 + -17285. Is 12 at most as big as x?
False
Let r be 1*8020 + ((-14)/(-21))/((-6)/9). Is r > 8020?
False
Let n = 61 - 67. Let t(a) = a**2 + 14*a - 17. Let m(g) = -2*g**2 - 27*g + 34. Let p(d) = n*m(d) - 11*t(d). Let i be p(-10). Which is greater: i or 4?
4
Let c = -3907 - -3974. Which is smaller: 65 or c?
65
Suppose -4*w - 3*k - 27 = 0, 0*w - 5*w + 2*k - 28 = 0. Let b = 265 + -268. Which is smaller: w or b?
w
Suppose d = 214*g - 210*g + 60, -2*g = -d + 54. Is d > 3/5?
True
Suppose -66*h + 64*h = 6*v + 8184, 4074 = -3*v - 4*h. Is v at least as big as -1365?
False
Let p be (-3)/(-1)*(-5 + 3). Let n be ((-4)/p)/(6/(-9)). Let f = 8103 - 153958/19. Is f < n?
False
Let i = -14684 + 4346457/296. Is 1 greater than i?
True
Suppose 0*y - 2*b - 36 = y, 5*b = -4*y - 159. Let k = y - -76. Let s = k - 25. Is -2 equal to s?
False
Let g be 13/(-13)*(-102)/10. Do 0 and g have the same value?
False
Let f = -1320 + 480. Let l = f - -52921/63. Do l and -1 have different values?
True
Suppose 46*j - 844 = -1166. Let b be -2 - ((-34)/(-12) + 1). Which is smaller: j or b?
j
Let h = 501 - -8339. Is h less than 8840?
False
Let s be ((-4)/(-3))/(16/(-61560)*-27). Which is smaller: s or 176?
176
Let j = 50 + -51. Is -70/71 > j?
True
Let k = -64 - -40. Let g = k - -23.9. Suppose 0 = 4*h + 231 - 267. Is h > g?
True
Suppose o - 127 + 44 = 3*d, 2*o - 144 = -5*d. Let v(h) = 19*h**3 + 117*h**2 - 33. Let n be v(-6). Is o less than n?
False
Suppose -b - 351 = 5*w, b = -w - 4*b - 99. Which is bigger: w or -65?
-65
Suppose 610 = -m - 283. Let x = 1394 + m. Is 501 greater than x?
False
Let r = 17 + -853/50. Let w be (0*(-3)/(-9))/(-14 - -11). Which is bigger: r or w?
w
Let c = -4185 + 4140. Which is bigger: 2 or c?
2
Let i be 530/100 - 2 - 2/(60/9). Let v(c) = -3*c + 5. Let h be v(-4). Let f = 9 - h. Is i < f?
False
Let i be (108/20 - 3)*(-25)/(-10). Let y be 2/(i/6) - (-832)/(-418). Suppose 3*r - 6 = 0, 5*r - 3*r + 1 = -5*b. Is y less than or equal to b?
False
Let l = 443.45031 + -0.45031. Is 6 != l?
True
Suppose 0 = 10*q - 53*q + 20812. Let v be -11*(-33)/q + (-19)/4. Which is bigger: -14 or v?
v
Suppose -825*l = -835*l. Is l equal to 2/1367?
False
Let s be (-6 + (365/45 - 12/(-54)))*-1. Let o be (-1)/3 + (-104)/12. Let b be o/(-7) + -3 - -2. Is b greater than s?
True
Suppose j + 5 = 2*j. Suppose -j*x + 216 = 876. Let r = 6730/51 + x. Does -1 = r?
False
Let g(c) = 0*c**2 - 870 + 866 - 9*c - 2*c**2. Let s be g(-4). Let q = -3/2 - s. Is -2 < q?
True
Let j be -4 - 3/6*-10. Let y be (-4)/j*(0 + (-4)/296). Is y less than 3/7?
True
Suppose -17*u + 760 = -1416. Which is greater: 119 or u?
u
Let c = 10811 + -10498. Is c <= 2495/8?
False
Suppose -26*i + 76646 = 74332. Is 90 equal to i?
False
Let h = 51 - 77. Suppose 2800 = 501*b - 29*b + 228*b. Is h greater than or equal to b?
False
Let m = 355750 + -2127997/6. Let x = 1081 - m. Suppose 7 = -5*i - 8. Is x >= i?
True
Let y be -1 + -1 - (3 - 7). Suppose 0 = -3*q + 1 + 11. Let u be q/48*81/6. Which is smaller: u or y?
u
Let n = -2.605 + 5.605. Is n smaller than 2.99?
False
Suppose -5*g = -2*n - 152 - 21, 4*n - g = -319. Which is smaller: -85 or n?
-85
Let x be (-1)/(-6) - (-671)/1342. Which is greater: x or -485.8?
x
Suppose -41*m + 43*m + 34400 = 0. Let g = m - -86403/5. Does g = 80?
False
Let p be 5/(-40)*-4 + 453/(-2). Let z = -224 - p. Suppose -2*d + 18 = -5*q, 0 = -4*d - 2*q - 3 + 15. Is d greater than or equal to z?
True
Suppose 3655 = 29*m - 34*m + 3*t, -4*t = -5*m - 3660. Is m at most -726?
True
Let d be ((-638503)/144 - -6) + (-8)/36. Let a = d + 4428. Which is smaller: a or -1?
-1
Let x(o) = 5*o**2 - o + 8. Let n(u) = 9*u**2 - 2*u + 15. Let v(j) = -6*n(j) + 11*x(j). Let m be v(-2). Let a be (2 - (-10)/4)*3302/(-4953). Is a <= m?
True
Suppose 4*t