
False
Let i(f) = -f - 81. Let b be (-22)/44 + (-51)/2. Let z be i(b). Is -58 greater than z?
False
Suppose 5*q + 367 = 6*l, -4*l - 242*q + 244 = -246*q. Does l = 619/10?
False
Let c = 43 + -28. Let w be (-10)/c + 4/6. Suppose 644*v - 10 = 649*v. Which is greater: v or w?
w
Let q = -12.31 - -0.31. Let w = 21 + q. Let m = -7/167 - -209/1002. Is w > m?
True
Let r(z) = -5*z**3 - z**2 + 3*z + 2. Let m be r(4). Let y be m/84*(-4 - -1). Let s = -13 + y. Is -1 > s?
True
Let f be (-4 + -330)/(2 - 3 - (-60)/50). Which is smaller: -1669 or f?
f
Suppose -4*c = -2*p - 17 - 1, 0 = c - 4*p - 8. Suppose -4*j - 3*s - 119 = j, c*j = 4*s - 108. Let g be j/27 + -2 + 3. Do 0 and g have the same value?
False
Suppose -1786*h + 17784 = -1777*h. Which is smaller: 1974 or h?
1974
Let d = 10155 - 10157.6. Let v = 0 - 0. Which is smaller: d or v?
d
Let r = 0.082 - 5.482. Let o = 21 + -15.5. Let g = o + r. Is 4.5 less than g?
False
Let o = 486 + -716. Let p = 133 + o. Is p at least 0.4?
False
Suppose -4*r + 22 = -0*k + 3*k, 62 = 3*k - 4*r. Suppose a - k + 10 = 0. Is a equal to 1?
False
Let a be 380/285 + 26066/(-6). Is -4343 greater than a?
False
Suppose 3*x - 21 = 3*m, -13*m - 3*x - 9 = -10*m. Let w be (m/(-2) + 0)*(-12)/54. Is w not equal to -1?
True
Let a = -3032 + 3019. Let s(k) = -11*k**2 + 3*k. Let v be s(3). Let l be (v/27)/(a/(-3)). Is l < -1?
False
Let o be -8*(-2)/2*(-7)/(-602). Let a = 673/301 - o. Suppose 5 + 7 = -3*h, -b + 2*h + 11 = 0. Is a smaller than b?
True
Let c = 308 - 308. Let v = -38 - -76. Let f = -19 + v. Which is smaller: c or f?
c
Let n = 272944/33 + -25520/3. Suppose 0*c - 706 = -3*o - 2*c, c = -4*o + 943. Let p = n + o. Do p and -1 have the same value?
False
Let a be (15934/(-1285))/(407/(-210) + 2). Is -2/3 equal to a?
False
Let h = 25 + -17. Let a = -969459/5 + 193899. Is a != h?
True
Let x be 1*(0 + -1)*(2 - 2). Suppose 0 = 5*f - 3*g + 135, 0 = -2*f - x*f - 2*g - 70. Let l = -19 - f. Which is smaller: l or 13?
l
Suppose -13 = d + 12. Suppose -32*v = -43*v + 44. Let p be d - 2*(v + -3). Are p and 2/3 nonequal?
True
Suppose 76*b = 20*b. Is b at least as big as -1/1030?
True
Let q be 12/(12/3) - (-798)/(-22). Suppose 2545 - 6831 = 271*i + 4657. Is i < q?
False
Let g = -82 - -59. Let z = -17 - g. Let m = z + -10. Which is greater: -0.3 or m?
-0.3
Let y = -3532 + 102382/29. Is y greater than or equal to -2?
True
Suppose 3*l = 5*l - 912. Let r = -457 + l. Which is greater: 2/221 or r?
2/221
Suppose -432 = 4*z + 4*t, -1123*z = -1119*z - 4*t + 488. Suppose 2*l - l + 115 = 0. Is z >= l?
True
Let u = -5 + 5.8. Let g = 0.2 - u. Let v = -147435 + 442306/3. Which is greater: g or v?
v
Suppose 29*r - 26*r = -l - 15564, -5*r - l = 25934. Which is bigger: r or -15559/3?
r
Let d = 7449 + -7457. Is d != -1713?
True
Let i be (-4)/10 + 24/10 - 19178048/9589488. Which is smaller: i or -1?
-1
Suppose 107*k - 40 = 82 - 15. Is k != 1/1524?
True
Let y = -40.49 - -40. Let m = -1000.9 - -689.8. Let t = m - -311. Is y bigger than t?
False
Let c be 3/(2 - 9/5). Suppose -10 = c*b - 20*b. Suppose f = b*y - 10, -6*f - 2 = -f + 2*y. Which is greater: f or -4?
f
Let h(x) = 534*x + 2195. Let y be h(-4). Which is smaller: y or 414/7?
y
Let y = 389651 - 2953164923/7579. Let k = y - -3221039/45474. Which is smaller: 70 or k?
70
Let w = 1911.9 + -1912. Do 68 and w have different values?
True
Let g(d) = -8*d**2 - 14*d + 66. Let w be g(7). Let u = w - -424. Is 4 greater than or equal to u?
True
Suppose -2*z + 5*f = -24, -69 = z - 6*f + 17*f. Which is greater: -734 or z?
z
Let k = -126268/11 - -11479. Which is greater: k or 1065?
1065
Let q(a) = -a - 6. Let d be q(-5). Let t = -414 - -248. Let v = 113 + t. Which is smaller: v or d?
v
Suppose -92 = -5*q - 0*l - 2*l, -5*q + 5*l = -120. Suppose -q*j = -13*j. Which is smaller: j or -4/99?
-4/99
Let k be (-2061)/5 + (-28 + 9 - -26). Is k != -404?
True
Let l = -4971 + 14914/3. Is l bigger than 1051?
False
Let f(y) = -2*y**2 + 12*y - 18. Let v be f(7). Let r be v/(-24)*(-1 + -5). Is r less than or equal to -42/5?
False
Let p = 10000 + -10000.2. Let m = 1 - 1.05. Are m and p unequal?
True
Let q be (5 + -1)/((-4)/(-40)). Suppose -t - q = -5*p - 268, -t = -p - 44. Let v(x) = -44*x**2 + x. Let n be v(-1). Which is bigger: n or p?
n
Let j = 11.104 + -98.104. Is j not equal to 127?
True
Suppose 17721*v - 17700*v = 2793. Are 2.8 and v equal?
False
Let p = 4114.1 + -4114. Which is smaller: p or 1271?
p
Suppose 3*r + 4*i = -i - 16, 2*r - 3*i - 21 = 0. Let q = 2 - -39. Let f be (r/(-15) + -1)/(q/(-5)). Which is bigger: 0 or f?
f
Suppose 5*v + 96 = -3*g - 144, 5*g = 0. Let h(b) = -2*b**2 - 75*b - 136. Let a be h(-36). Let z = a - v. Is 19 less than z?
True
Suppose p + 3*l - 163 = -2*l, 867 = 5*p - l. Let m = -109 + p. Is 65 <= m?
False
Let s = -307 + 293. Let k be ((6 + s)*8/12)/(-14). Which is greater: -1 or k?
k
Let r = -4656 + 6219/2. Is r < -1546?
True
Suppose f + 7 - 4 = 0. Suppose -9*n = -7*n - 6. Suppose n*w + 16 = w. Is w <= f?
True
Let r(c) = 320*c + 771. Let k be r(6). Which is greater: 2692 or k?
2692
Suppose 12*w = 6*w + 12. Let x be 1*w/(-14)*21/36. Let q = 5 - 8. Which is bigger: x or q?
x
Let g = -17 - -22. Let w(v) = v**3 - 4*v**2 - 7*v + 9. Let b be w(g). Let f be (-13)/(91/(-14))*(-1)/13. Which is smaller: b or f?
b
Let n = 5821/6 + -968. Let s = 7 + 69. Let v be s/(-57) + 20/6. Is n bigger than v?
True
Let h = -890 + 592. Let j = 110.616 - 109.616. Is h at least j?
False
Let l(j) = j**2 - 3*j. Let x be l(4). Let a be (-8)/(12/(-3)) + x. Suppose -a = -5*w - w. Do w and 5/4 have different values?
True
Let f be (-4120)/88 - 6/33. Let x(o) = -6*o**2 - 9*o - 19. Let y be x(-3). Which is greater: f or y?
y
Let i be -21 - (-3 + (0/3)/(-3)). Let k = i - 1. Let m = 82 + -101. Is m smaller than k?
False
Let c = -111 - -79. Let o = 47 + -80. Let z = c - o. Is z smaller than 16?
True
Let l(c) = -c**2 - 258*c - 1998. Let j be l(-8). Which is smaller: 226/69 or j?
j
Suppose 15*d + 88 = -18*d + 286. Let m be 3/(-12) - (-535)/100. Which is greater: m or d?
d
Let p = -194.13 + 186.6. Let c = 0.07 + -7.17. Let b = c - p. Is 0.1 < b?
True
Let y = -8.8 + 619.8. Let x = 598 - y. Is x > -12?
False
Let w = 42472/155 + -274. Let b be (-12)/15 - (-216)/120. Is w >= b?
False
Let l(n) = n + 6. Let d(w) = 2*w - 9. Let z(r) = -6*r + 27. Let t(a) = 8*d(a) + 3*z(a). Let b be t(7). Let u be l(b). Is -1/6 greater than u?
False
Let b be (-1)/((((-12)/(-9))/(-4))/43). Suppose 0 = 585*s - 588*s - b. Which is smaller: -41 or s?
s
Let y be -244*2/12*-3. Let m = y - 140. Which is smaller: m or -19?
-19
Let o = -62 + 34. Let q(m) = -104*m - 115. Let t be q(-6). Suppose t = -23*a - 89. Which is bigger: o or a?
a
Let h = -2 + 3. Let t(g) = -g**3 - 9*g**2 + 1. Let b be t(-9). Let x be b/(-3)*(-72)/(-192). Which is greater: x or h?
h
Let h be ((-1989)/104 + 11 - -8) + (-20969)/(-8). Which is smaller: h or 2622?
h
Suppose -3*l + 2*u - 925 = 0, u + 10 = 3*u. Is -305 less than or equal to l?
True
Suppose -4*n + 5*g - 41 = -8*n, 0 = 2*g - 10. Suppose -5*p + 18 = -n*p. Suppose -p*l + 345 = -3*l. Are 21 and l nonequal?
True
Let m(q) = -27*q**2 - 2*q. Let l be m(2). Let w be l/10 + (-5)/(-25). Suppose -67*a - 93 = 577. Is w smaller than a?
True
Let z = -11466 + 16767. Which is smaller: 15907/3 or z?
z
Let x = 145.17 - 148. Let y = 1.83 + x. Which is bigger: y or -15?
y
Let q be (3630/60)/((-2)/(1*-4)). Are q and 120 nonequal?
True
Let d = -19458/5 + 718491/185. Is d at least -7?
False
Let z = 6606 + -6607. Are z and 6/2779 non-equal?
True
Suppose 0 = -t - 24 - 8. Let m = -26 - t. Let q = -5 + m. Which is greater: q or -2/25?
q
Let h(c) be the first derivative of 7*c**2/2 - 75*c - 51. Let s be h(4). Is s equal to -145/3?
False
Suppose -5*f + 3 + 7 = 0. Suppose -a + p = 1, -f*a + 5*p = 2*p + 4. Let m = -2332 - -44300/19. Which is smaller: a or m?
m
Let w = -10549 - -9523. Are w and -1022 equal?
False
Suppose 0 = 4*l - 4. Let z(o) = -o**3 - 3*o**2 - 2*o - 3. Let x be z(-2). Let g be 3/69 + x + 3. Which is greater: l or g?
l
Let y(q) = -14*q - 149. Let f be y(-10). Let b = 59 - f. Which is smaller: 71 or b?
b
Let n = 21712 - 20545. Which is bigger: n or -1.1?
n
Suppose 11491 = 5*x + 2*w, -4*w = -17*x - w + 39089. Is x >= 1?
True
Let s(m) = -18*m - 155. Let f be s(6). Let o = f + 