 than c?
True
Let g = -3087.783 - -3091. Let q = 3.2 - g. Which is bigger: 3 or q?
3
Let t(w) = 3*w**3 + 17*w**2 - 10*w - 25. Let l be t(-6). Let c be (-4)/(l + 21/14). Which is greater: -2 or c?
-2
Let k be (-2 - 24) + (-3)/9*0. Let s = k - 37. Which is greater: -64 or s?
s
Let i(x) = x**2 + 7*x - 8. Suppose -48*j + 80 = -58*j. Let t be i(j). Which is greater: -4/13 or t?
t
Suppose 0 = u - 3*z + 63, -2*u - 25*z = -29*z + 110. Which is bigger: 117/4 or u?
117/4
Let k = -409 + 446. Let j be k/(-111) - (-2)/(-3). Is j not equal to 1/217?
True
Let p(m) = 9*m**2 + 17 + 0*m + 6*m**3 + 10*m - m**3 - 4*m**3. Let n be p(-8). Let a be (-2)/(-10) + (-6)/(-60). Is n less than a?
False
Let c be -32*(7/(-2))/7. Suppose 5*g = -5*i + 10, 10*i - 13*i = 5*g - c. Which is smaller: i or -109?
-109
Let p = -1.025 + 4560.025. Which is bigger: -0.1 or p?
p
Let q(j) = -2*j**2 + 10*j + 4. Let i be q(5). Suppose i*h = -10 - 2, -5*h = 3*n - 15. Suppose n*m - 208 = 6*m. Are 53 and m nonequal?
True
Let j = -203.95189 + -0.04811. Which is greater: j or -1/9?
-1/9
Let d = 101.05 + -0.05. Let q = -99.834 - 0.966. Let k = q + d. Is -2/17 at least k?
False
Let n be (-1)/((-346)/(-347) + 2 + -3). Suppose 2*h + 107 = n. Which is greater: h or 119?
h
Let t = 3 + 3. Let b be (-4)/t - 41/(-3). Let k be (0 - b/(-7)) + -2. Is 1 >= k?
True
Let i(n) = -n**2 - 3*n + 55. Let z be i(6). Let d = -956 - -1911/2. Which is smaller: d or z?
d
Suppose -5*x = -2*x + 111. Let o be 59/(-354) + (-1063)/(-6). Suppose 0 = -53*v - o - 1837. Which is greater: v or x?
x
Let x(i) = -i**3 - 15*i**2 - 19*i - 15. Let f be x(-14). Suppose 50*z = f*z + 110. Let n be (-1 + (-62)/(-6))*6/z. Is -2 less than or equal to n?
False
Suppose 4*w = -3*h + 2952, 586*w - 584*w - 2*h - 1490 = 0. Are w and -1 equal?
False
Let b be (-639)/(2 - 5) - 4. Suppose 0 = -4*o + b - 1. Which is greater: o or 48?
o
Let x be 136/(-34) - ((-40836)/40828 + -3). Is x > -1?
True
Let s = 1384 + -1385. Let a = -3 + 2.98. Is a > s?
True
Let l = 2 + -5. Let p = -0.1839 - 16.8161. Let b = l + p. Are b and -0.1 nonequal?
True
Let v = 4 + -12. Let o(m) = m**3 + 9*m**2 + 9*m + 8. Let b be o(v). Suppose b = -0*y - 6*y + 96. Is -1 <= y?
True
Let p = -172.8 + -82. Which is smaller: p or 1?
p
Suppose 3*d + 32 = 7*d. Suppose 1032 = -11*k - k. Let c = k - -93. Is d > c?
True
Let y = 1586 + -4757/3. Is y greater than or equal to 0.52?
False
Let o be -1 + ((-4)/(-174))/(11*26/38467). Which is smaller: -1/4 or o?
-1/4
Suppose -2*i = 3*l + 16, -i = -0*i - 1. Let q = -18/383 + -30789/4979. Are q and l nonequal?
True
Let y(n) = -n**3 - 8*n**2 - 13*n - 3. Let t be y(-6). Let d be t*(-2)/10 - (-442)/170. Suppose 5*r = -0*p + d*p + 1, 5*p - 35 = 5*r. Which is greater: p or 13?
13
Suppose r + 5*x = 626, -3*r + 1973 = 4*x - 8*x. Let w be -4 - 102/(-30) - r/(-1095). Which is bigger: 1 or w?
1
Suppose -2 = 7*v - 6*v. Let n be 15/(-6) - -2 - 57/v. Let j = 6.9 - 7. Is n at most as big as j?
False
Let m be 1/1*-1 - -1. Let z be (25 + -12)/(-1 - -2). Let n be -36 - ((5 - z) + 3). Is n >= m?
False
Let m(n) = -67*n**2 - 2*n. Let t be m(2). Let r = t + 283. Is r >= 3?
True
Let g = 19814681/23 + -861360. Let z = 146 + 2. Let i = g - z. Is i greater than 1?
False
Let s(v) = -v + 287. Let f be s(31). Let n = 408 - f. Is 152 bigger than n?
False
Let l be (17 - -28)*(2 + (-16)/10). Suppose -l*a + 2587 + 1085 = 0. Is 203 smaller than a?
True
Let v(m) = m**3 - 22*m**2 + 123*m - 78. Let f be v(13). Is 37/38 greater than or equal to f?
True
Suppose 3*v = 528 - 465. Let l be 2*(v - (-4 + 8))*-1. Let h(t) = -9*t**2 + 3*t - 3. Let p be h(2). Do l and p have the same value?
False
Suppose 14*r - 195 = -391. Let z = -7 + -10. Is r at most z?
False
Suppose -4*q + 2*d + 108 = 0, 4*d - 18 + 122 = 4*q. Suppose q + 49 = -11*r. Which is greater: -8 or r?
r
Let u be 26/(-143) + (-24)/(-11). Suppose -360 = 8*k - u*k. Let h be 125/k*2 + 4. Which is bigger: 1 or h?
1
Let i = -1646 - -1684. Which is greater: 33 or i?
i
Let j = 418 + -407. Suppose -j*b + 25 = -36*b. Do b and -10/63 have different values?
True
Let q = 5235 - 5235.2. Let l(r) = -r**3 + 6*r**2 - r + 4. Let w be l(3). Is w greater than or equal to q?
True
Suppose -o + 74 = -2*c, -160 = -0*c + 4*c - 5*o. Let l = -24191/14 + 94853/56. Which is greater: l or c?
l
Let o be 260/(-1365)*3/2 - 13238/(-46284). Is o > -1?
True
Let m = 11406 - 11405.9. Which is smaller: m or 301/6?
m
Suppose 0 = -5*d - 60 - 25. Let x = -41133 - -82233/2. Is d at least x?
False
Let u = -122099/220 + 555. Let f = 653/1540 + u. Are f and 1 unequal?
True
Let y be (-23548)/(-43890) - (-2)/(-10). Let x = y + -2/627. Is x >= -0.1?
True
Suppose 2*a = 4*x - 54, -a + 3*x + 45 = -4*a. Let m be -15 - a - (1 - -4). Is m greater than or equal to -25?
True
Let g(m) = -7*m**2 + 2*m + 5. Let k be g(4). Let j = 9497 + -9594. Which is smaller: k or j?
k
Let c = -124 - -129. Suppose -m - c*t - 29 = 0, -5*m + 6*t - 235 = t. Which is greater: -41 or m?
-41
Let c(b) = -3*b**3 - 48*b**2 - 2*b - 32. Let a be c(-15). Is a less than -676?
True
Suppose -4 = 5*w + 4*u + 9, -4*w - 4*u - 12 = 0. Let f be (-600)/(-1148) - 1/(7/4). Is f at most w?
False
Let m = 8 + 2. Let h(y) = 8*y**2 + 2*y - 27. Let p be h(-2). Do p and m have the same value?
False
Let j be 5*(512/20)/(-2). Let n be (j/(-192))/((-14)/(-12)). Suppose 0 = 2*l - 4*i + 12, 18 = 4*l - l + 3*i. Which is smaller: l or n?
n
Let h = 96.22 - 144.22. Which is smaller: 2/5 or h?
h
Let i be 7/((-21)/(-18)) + -8. Let t be i + 20/(-25) - (5 - 0). Which is bigger: t or 0?
0
Let t = 2310 + -344189/149. Is t at most 0.06?
True
Let w be (2/((-6840)/(-25967)))/(6/(-18)). Let n = w + -5/228. Let y = -118/5 - n. Is -2 at least y?
False
Let v be 8304/(-2085) - -2 - (36 + -38). Is v smaller than 0?
False
Let w be (-20)/((-11)/((-66)/(-12))). Let a be 6/w - (-4 - 52/(-20)). Is -107 smaller than a?
True
Suppose 2*k - 10 = 0, k = 5*x + 6*k - 85. Let c be (x - 18) + (6 - 1). Let w = -23 + 21. Are w and c non-equal?
True
Let o be 6 + 2 + 6/12*-6. Let q = 26 - 40. Let p = q - -13. Which is smaller: o or p?
p
Let o = 131 - 125. Suppose -o*f = 3*f - 0*f. Is f at least as big as -7?
True
Let i(f) = -f. Let g(j) = 3*j + 8. Let b(x) = 2*g(x) + 2*i(x). Let w be b(-10). Which is smaller: w or -23?
w
Suppose -u - d = -9644 + 1469, 4*u - d - 32685 = 0. Let y be u/(-186) + (-30)/465. Let k = -54 + 9. Which is greater: k or y?
y
Suppose -1091 + 221 = -4*d - u, 4*d = u + 866. Is d smaller than 1520/7?
True
Let o(y) be the first derivative of -y**4/4 + 7*y**3 - 19*y**2/2 - 19*y - 52. Let g be o(20). Is g less than or equal to 15/7?
True
Let t = -721.002 - -721. Let l = -0.138 + 0.25. Let p = l + t. Does p = -1?
False
Let q = -20.2261 + 20. Is -0.1 <= q?
False
Let v = -4.07 + 4. Let h = 1163/70 + -117/7. Which is smaller: v or h?
h
Let x = 1.6 - 68.6. Let l = 72.227 - 5.497. Let b = l + x. Is b < 0.1?
True
Suppose -961 = -33*g + 29. Is g smaller than 18?
False
Let n(h) = -2*h**2 + 105*h - 1102. Let a be n(38). Let y be 2/8 - 148/16. Is y at least a?
False
Suppose 2*m = -h - 3*m - 23, 14 = -2*h - 2*m. Let a = 475 - 480. Which is greater: a or h?
h
Let h(m) = 2*m**3 - 78*m**2 - 59*m - 62. Let c be h(39). Is -2362 equal to c?
False
Let y = -15.3 + 18.18. Let q = y + -2.8. Let o = q - 0.18. Is 22 less than or equal to o?
False
Let n(h) = -19*h - 3. Suppose -1 = -3*s + 2*w - 2, -3 = 5*s - 2*w. Let r be n(s). Let b = r - 21. Which is smaller: -9 or b?
-9
Let l(q) = -q**2 - 14*q + 170. Let j be l(-22). Let u be (5/10*-46)/(-7 - j). Suppose 4*n - 2*n = 48. Is n at least u?
True
Let s = 23112 + -34522. Do s and -11410 have different values?
False
Suppose -750 = 4*p + 2*a, -4*a = -3*p - 325 - 254. Let j = -189 - p. Which is smaller: 5/78 or j?
j
Let m = -243 - -300. Let v = 31 - m. Do v and -13 have the same value?
False
Let t be (62/(-93))/(49134/(-81990) + 6/10). Do t and -4549/5 have the same value?
False
Let j = 0.517 + -0.5149. Let q = j + 1.9979. Are -0.51 and q unequal?
True
Let c be (8/6)/((80/264)/5). Let y be 216/c - (-74)/407. Is 11 < y?
False
Let z = 8472 + -8262. Is z not equal to 2296/11?
True
Let p be (-2691)/63 + (-36)/(-9). Let n = 54 - 15. Let j = n + p. Which is bigger: 40 or j?
40
Suppose -2*s - 3802 = 5*n, -12*n + 13*n - 3*s = -757. Let m = n + 759. Ar