e -8 and c non-equal?
True
Suppose 1355 = 5*y + 4*i, -4*y - 4*i - 131 = -1211. Which is smaller: 277 or y?
y
Let f = -2.1 + 5.1. Let v = 69.4 + -37.4. Which is bigger: f or v?
v
Let d be 1/(-5) + (45/100 - 19/(-76)). Is d less than 2126?
True
Suppose 2*f - 6 = 5*i, -1542*i = -1537*i - 5*f. Is i greater than 707?
False
Suppose -7 = v + 1, 5*v = -3*m + 1478. Is -2.2 less than or equal to m?
True
Let f be 34 - 36 - 670/(-334). Let q = f + -339/835. Which is greater: 0.031 or q?
0.031
Let d = 22993/6 + -280933/78. Let g = d - 230. Let j(n) = 5*n - 31. Let w be j(6). Which is bigger: g or w?
g
Suppose 0 = -3*y + 5*d - 3, 3*y - 5*y - d = 15. Let w(i) = -2*i + 12. Let t be w(y). Is t at least as big as 3?
True
Let b(y) = y**3 - 19*y**2 - 20*y + 2. Let z(u) be the first derivative of -u**2 + 60*u - 5. Let r be z(20). Let g be b(r). Is g greater than 6/13?
True
Let q be (13858/144 + (-28)/(-126))*35/(-175). Is -19 >= q?
True
Let l be (-13983)/(-132) - (-72)/(-396). Let y = -2111/20 + l. Is y at most as big as -28/11?
False
Suppose -g = 5, -2*x - 10 = -x + 2*g. Let m = x - 0. Let n = 68168 + -477170/7. Which is greater: m or n?
n
Let u = 2738 + -30144/11. Which is greater: u or 0.3?
0.3
Let v(w) = -w**3 + 5*w**2 - 9*w + 17. Suppose -s - 11 = -6. Let m(a) = a**2 + 3*a - 6. Let t be m(s). Let u be v(t). Are -13/5 and u equal?
False
Let w = 108 - -195. Let n = 354 - w. Which is smaller: n or 2?
2
Let y = 308.049 - 308. Let i = 0.049 - y. Does 0.94 = i?
False
Let s be (((-10)/90)/(2/182907))/((-2)/4). Is s greater than 20323?
False
Suppose -67 = 4*d - 15. Let k be ((-3)/(-10))/((-3)/d). Suppose -20 = 5*m + 5*v, -3*m - v + 6 = 10. Which is greater: m or k?
k
Let z be (-1)/(-162)*32/(-592)*(-2)/10. Which is bigger: 0 or z?
z
Suppose -2*s = -3*o + 13, -2*o + 0*o + 2*s = -10. Suppose 320 = -o*q + 13*q. Is 36 at least q?
True
Suppose -5*p - 42 = -3*q - 37, 1 = -p + 2*q. Is 1043 less than or equal to p?
False
Let w = -57209/533820 + 1/38130. Which is greater: -2/113 or w?
-2/113
Suppose 2*b = -5*g + 45, 3*b - 10 = 13*g - 9*g. Let c be b*((-49)/(-14) - 4). Which is smaller: -17/4 or c?
c
Suppose 0 = 16*c - 11*c + 65. Let h = -9 - c. Let n be 0/(2 - h) - (-12)/33. Which is smaller: -1 or n?
-1
Let h = 256 + -138. Is 120 >= h?
True
Let l be ((-11646)/4)/(6*-2). Let j = l - 243. Do -0.7 and j have different values?
True
Let p = 19 - 19. Suppose -5*z + 75 + 125 = p. Let v = z - 41. Which is smaller: v or -14/9?
-14/9
Let w = -697 - -493. Let n be w/((-6)/14 - 22/14). Is 1/4 less than or equal to n?
True
Let v = -3.387 - -3.417. Is v > 6/65?
False
Let r(z) = -3*z + 9. Let q(j) = j**3 - 7*j**2 + j - 11. Let n be q(7). Let x be (-13)/n - 2/8. Let s be r(x). Which is bigger: 9/7 or s?
9/7
Suppose -282*n - 29*n - 2585 = 18252. Which is bigger: -11 or n?
-11
Let v be 2*((-7)/(-2) - 5) - 51. Let p = -44 - v. Does p = 7?
False
Let t be 5/(20/4) - (-4 - -1). Suppose -t*p - 152 = -0*f - 2*f, 3*f + 2*p = 204. Suppose -f = -2*y + 9*y. Is -10 bigger than y?
False
Suppose -2700*a - 2706*a = -5407*a + 2. Let s be (-6)/(-20) - (-1)/2. Which is bigger: a or s?
a
Suppose -3*p - g + 6 = 0, 2*p - 7*p + 10 = -3*g. Let n be p + -3 + -10*9/24. Let m be (10*(-4)/8)/1. Is m greater than n?
False
Let g(n) = n**2 - 4*n + 6. Suppose 24 = 9*y - 12. Let w be g(y). Suppose -3*s - w + 9 = 0. Which is smaller: s or -2?
-2
Suppose 4*k = 0, 0*k = -4*v + 3*v + k - 9. Which is smaller: v or -52?
-52
Suppose 1815 - 26724 = 44*a + 1667. Is a equal to -604?
True
Suppose 0 = d + 2*p - 3, 0 = -5*p + 2*p. Let w be ((d*-2)/3)/2. Let n be w/3*(-4 + -9). Is 5 greater than n?
True
Let q(s) = -s**2 - 4*s + 3. Let n be q(5). Suppose -384*f + 390*f = 72. Let j be -2*(203/10 + f/60). Does j = n?
False
Suppose c = 8*c + 266 - 273. Is c greater than or equal to 2/19117?
True
Let q = 1873 + -1882. Is -114/11 at most q?
True
Let u(y) = -8*y + 19. Suppose 3 - 2 = -k - 4*l, -k + 5*l = 19. Let j be u(k). Suppose -5*m + h = -82, m + 4*m - j = -2*h. Is m greater than or equal to 16?
True
Let n be -4*(-2 + -1)*(-1)/(-2). Suppose -4*g + 4*o = -10 - n, -4*o = -2*g + 18. Let l(v) = -v**3 - 2*v**2 - 2*v. Let k be l(g). Which is greater: -6/49 or k?
k
Suppose -2*g + 329 - 63 = 0. Suppose -14*o - b - 388 = -17*o, -2*o - 2*b = -264. Which is bigger: o or g?
g
Let l(g) = g + 5. Let u be l(-3). Let t = -269.0277 + 269. Let c = 2.1723 - t. Is u less than c?
True
Suppose p - 4*s = 26, -89*p + 94*p - 210 = 4*s. Let r be ((-47)/2)/((-6)/12). Which is greater: r or p?
r
Let g be -12 + (148 - -6) - 14. Is -8.4 less than or equal to g?
True
Let n(i) = -10*i + 48. Let q(j) = 11*j - 46. Let r(o) = 3*n(o) + 2*q(o). Let a be r(7). Let x be 3/a - 345/(-780). Which is smaller: x or 1?
x
Suppose -q + 3*a = 1 + 6, 5*q - 3*a - 13 = 0. Suppose -6*j + 528 = q*j. Is 47 greater than or equal to j?
False
Let q = 2/2158615 + 1007209717/45330915. Let h = 39/35 + q. Let t = h - 1049/45. Which is smaller: t or -1?
-1
Let b be (-614528)/(-32) + (-20)/5. Which is smaller: 19201 or b?
b
Let j = -4427/316 + -19/79. Let m(t) be the first derivative of -t**4/4 - 4*t**3/3 + 3*t**2/2 - t - 19. Let x be m(-4). Which is smaller: j or x?
j
Suppose 42 - 159 = -13*v. Suppose 7*f + 3 = -2*w + 8*f, w = 3*f - v. Do w and 42/41 have different values?
True
Let n(t) = t - 4. Let b(p) = p**2 + 13*p + 15. Let c be b(-12). Let s be n(c). Let y = 6/43 - 231/731. Which is bigger: y or s?
y
Let p = 37 - 35. Suppose 2*c + q - 5 = p*q, 0 = -5*c + 3*q + 11. Suppose 0 = c*x - 10 + 2. Is x greater than or equal to 7?
False
Let b = -2499 + 2455. Let j = -52.59 + 8.49. Let z = b - j. Is -1/9 >= z?
False
Let w(n) = -3*n**2 - 42*n - 519. Let i be w(-23). Is -1138 > i?
True
Let i = 0.2 + -4.2. Let r = -4 - i. Let j = -5378209/27 + 199193. Which is bigger: r or j?
j
Suppose o = 6 - 3. Let s be -2 - (o - (-109)/(-1)). Suppose 5*k - 9 = -s. Which is smaller: k or 2/5?
k
Let k(c) = -4*c + 26. Let n be k(7). Let u be 1/(n/2 + (-20)/12). Let h = -49 - -57. Is u not equal to h?
True
Let z = -11 - -22. Let f(g) = -g**3 + 13*g**2 - 21*g + 1. Let c be f(z). Suppose -2*m + 22 = 5*y, -2*y + 5*y = c. Which is greater: m or -0.06?
m
Let w(y) = y**2 - 40*y + 12. Let p be w(19). Let b = p + 461. Which is greater: 77 or b?
77
Let q = -37 + 41. Suppose -50 = -q*h + 182. Let v = h - 47. Which is smaller: 9 or v?
9
Let s = 21194 - 21194. Is s < -20584?
False
Let k be (-2691)/26*(4 + (-16)/3)/(-2). Let w be (2 - 1) + 0 + 118. Suppose w = -5*c - 221. Is c at least k?
True
Suppose 152 = 28*h - 9*h. Suppose 418 = 30*k + h*k. Do 13 and k have different values?
True
Let p = -13479 - -13479. Which is smaller: 359/24 or p?
p
Let t be (-24)/16*(20/(-6))/5. Suppose 0 = -3*x + t - 19. Let n(u) = u. Let b be n(-8). Is b >= x?
False
Suppose 8*p - 36 = 4. Suppose -p*c + 490 + 280 = 0. Suppose 0 = -5*t - c + 44. Is -22 at least as big as t?
True
Let s be (66/660)/((-7932)/10). Which is bigger: 0 or s?
0
Let f be (-22)/(-72) + 456/1026 - (-19)/(-36). Is -2.37 equal to f?
False
Let p be (-208)/28 - (-12)/28. Let q be 8/(-84)*3*p. Let a be (1*4/3)/q. Which is bigger: a or -1?
a
Let a be (294/80 - 60/160)*(-50)/28. Which is bigger: -6 or a?
a
Let s be ((-34 - -34)/(-19))/(-3). Let v = 81573/14 - 5829. Let d = 1867/798 + v. Which is greater: d or s?
s
Let w = -28.2 + 27.958. Let q = -0.158 + w. Is q smaller than 8?
True
Suppose 0 = 5*s - 8*s + 21. Suppose s*x - 6 = -2*g + 5*x, 4*x + 18 = g. Suppose 5*v = -9 - g. Which is smaller: 1/7 or v?
v
Let o = -7380 + 7111. Is -1/3 at most o?
False
Suppose 427*w - 406*w + 21 = 0. Let b = 2434 - 581728/239. Is b less than w?
False
Let i be (88/132)/((-4)/(-246)). Suppose -i*s = -4828 + 13889. Which is smaller: -220 or s?
s
Let y(b) = -b**2 + 41*b - 241. Let h be y(34). Does h = 15?
False
Let d be (-1)/1526*(-25183)/(-33) + (-587)/(-1174). Is d bigger than 0?
False
Let x(i) = -i**2 - i + 2. Let m(w) = -w**2 + w - 1. Let y(g) = -2*m(g) + x(g). Let n be y(3). Let k be (32/60)/n*-10. Which is greater: 0.3 or k?
0.3
Let o = -34 - -34. Suppose -11*s + 12*s - 6 = o. Suppose s*y = 6 - 0. Are y and -1.3 equal?
False
Let l = -28.5 - -30. Let x = l + -9.2. Which is smaller: x or 0.2?
x
Let k be ((-180)/125 + 2)/(-2*(-12)/(-115)). Do k and -3 have the same value?
False
Suppose 2*s - 59 = -74*w + 77*w, -