er: n or -35?
-35
Let h be (0/3)/3 - 13. Let s = 7.4 + -7. Let n = 0.4 - s. Does n = h?
False
Let q be 4 + ((-14)/182)/(2/110). Let x = -7.1 + 7. Is x at least as big as q?
True
Let s = 38 + -23. Suppose 5*x - 64 = 156. Let c = -28 + x. Which is smaller: s or c?
s
Let w(g) = -18*g**2 - 12*g + 33. Let f be w(4). Which is greater: -304 or f?
f
Let h(u) = -u - 5. Let q be h(-5). Let r = 412 - 412. Suppose -8 = 2*z, q = n - 2*z - r*z - 7. Is n < -3?
False
Suppose 0 = 10*x - 3*x - 14. Suppose -2*w + 3*w = 3*d + 7, 0 = 5*d - x*w + 13. Is d < -3/17?
True
Let x = -0.1005 - -0.0505. Which is smaller: x or -131?
-131
Suppose 2*q - 25 = -3*q. Let z be 2/(-5) - (-64)/10. Is q bigger than z?
False
Let r = -215 - -132. Which is greater: r or -85?
r
Let m = 22.08 - 1.88. Let v = m - 10.5. Let l = -9 + v. Which is smaller: 1 or l?
l
Suppose p + 10 = 1. Let r be (-4 - 12)*(-3)/(p/3). Is -16 at least as big as r?
True
Let w be (-7)/(-5) + 24/(-60). Let g = -48/11 + 4165/957. Which is greater: g or w?
w
Let t be (-6 - (-5)/12 - -6)*-27. Which is smaller: t or 2/5?
t
Let h(a) = -12*a - 45. Let d be h(6). Is d not equal to -116?
True
Let x = 0.84 - -0.16. Let c = -0.03 + 0.43. Let m = c + 0.6. Are m and x non-equal?
False
Let n = -7 - -12. Suppose -3*v + 10 = 3*h + 1, n*h - 31 = 3*v. Let i = -3007/3 - -1001. Do v and i have different values?
True
Let v = 4.37 + -343.37. Is 1/3 at most as big as v?
False
Let v be 4175/6285 - 2/3. Let s = -857/7961 - v. Let p = 23 + -23. Is p at most as big as s?
False
Suppose -5*w - 19 = -3*v, -4*v + 4 = -w - 10. Suppose v*m + 2*m = -60. Let h be (-13)/((-26)/m) + -3. Is h smaller than -9?
False
Let g = -231 + 367. Let t = g - 151. Are -0.1 and t non-equal?
True
Let s be 2/(-3 + 1) - (-41 + 36). Suppose -13*z + 7*z + s*z = 0. Is z bigger than -1/32?
True
Let s = 4.3 - -2.7. Which is greater: s or -3?
s
Let z be 6/(-5)*(-779)/(-3). Let x = -314 - z. Is 0 at most as big as x?
False
Let l(p) = -3*p**2 + 2*p - 13. Let k be l(3). Which is smaller: -36 or k?
-36
Let j(f) = f**3 - 18*f**2 + 40*f - 127. Let o be j(16). Which is smaller: o or 24/217?
24/217
Let i = -1.33 + -52.67. Let n = i - -54.2. Which is smaller: n or 7?
n
Let n = 1215/4 - 304. Is n bigger than 1219?
False
Let d = 68941/15 - 4603. Does -7 = d?
False
Let l = -261.69 - -263. Let i = 0.9 - l. Is 0.1 not equal to i?
True
Let p = 140/131 - 240949/225582. Which is bigger: 1 or p?
1
Let q(y) = y**3 - 33*y**2 + 30*y + 40. Let p be q(32). Which is smaller: -18 or p?
p
Let v be 1170/(-36)*(3/(-50))/((-12)/(-10)). Let p = -2 - -3. Is v at most as big as p?
False
Let a(k) = 20*k**2 - 39*k + 18. Let l(q) = -7*q**2 + 13*q - 6. Let i(b) = 6*a(b) + 17*l(b). Let v be i(14). Do 20 and v have the same value?
True
Suppose 2568*h = 2578*h - 3690. Which is smaller: 370 or h?
h
Let q = 286 + -285. Which is greater: q or 5/18?
q
Let g = -23/1194 - -7221/27064. Let d = g + -5/24. Do 0 and d have the same value?
False
Let m = 103 + -111. Let k be ((-464)/(-320))/((-2)/m). Are 6 and k equal?
False
Let k = 3837/3478 + -42/37. Let h = k - 119/2162. Let n = -19 + 20. Which is greater: n or h?
n
Let f = 27841/21 - 1327. Let m = f - -244/231. Which is smaller: 0 or m?
m
Let x = -36 - -34. Let i be (230/57)/(-2) - x. Let k = i + 173/114. Is 1 less than or equal to k?
True
Suppose -5*h + 25 = 0, 2*d - 433 = 2*h + 17. Are 230 and d equal?
True
Suppose -r + 28 = -3*r + 2*x, -2*r - 20 = -4*x. Let m(f) = -f**2 - 4*f + 3. Let i be m(-3). Let a be r*(-1 - i/(-4)). Which is bigger: a or -8?
-8
Let j = -72 - -122. Is j less than 2/5?
False
Let l = 2/563 + 6163/8445. Let t be (-2 + 1)/((-15)/(-6)). Let p = l + t. Which is smaller: -3 or p?
-3
Suppose 10*b = 17*b + 7. Which is smaller: -1/648 or b?
b
Suppose 5*n = -5*s + 140, 4*s + 5*n - 68 - 47 = 0. Suppose 5*j = -0*j + s. Suppose 25 = -3*k - j*q, -2*k + q = -k - 5. Which is bigger: -2/11 or k?
k
Let t = -7.9 + 6.84. Let h = 0.94 - t. Let w be 2/(-3) - (-8)/(-15). Is h > w?
True
Suppose -w = -12 + 32. Let m = 31 + w. Which is smaller: m or 8?
8
Let g be 25/(-6) + 10/60. Let o = g - -5. Let h = -3 - -7. Which is smaller: h or o?
o
Let w = 749/4 - 190. Let z be (-37)/4 - -6*(-1 + 2). Let n = w - z. Is 0 less than n?
True
Let s(p) = 2*p - 5. Let m be s(0). Let f be m*5*(-4)/(-10). Let b be (-7)/(-14) - f/(-12). Which is smaller: 0.04 or b?
b
Let x be 0 + 1 - -7 - 1. Suppose 2*m + 5 = x*m. Let y be 3 + 1 + -5 + 3. Which is smaller: m or y?
m
Suppose 55 - 4381 = -21*a. Which is smaller: a or 207?
a
Let d be 0 + 1/(4 - 39/9). Which is bigger: d or 4?
4
Let z = 27 - 12. Let b = 12 - z. Let c = 2 + b. Which is smaller: c or -2/13?
c
Let u = -1.323 - 10.677. Let l = -2.01 + 0.01. Do u and l have different values?
True
Let b = -53 - -59. Let k be ((-2)/(-4))/((-33)/6 + b). Let h = 257/4 + -64. Which is smaller: h or k?
h
Let j = 1642 - 1712.1. Let g = -70 - j. Is -2 >= g?
False
Suppose 10*c + 8*c + 432 = 0. Which is smaller: -22 or c?
c
Let x = 203 - 112. Let i = -91 + x. Which is greater: i or 64?
64
Let g be 84/(-224) + 2779/7368. Is g equal to -1?
False
Let b be (-2)/(-8) + ((-55)/(-20) - 1). Suppose b*l - 16 = x, 10 = 3*l - 3*x - 8. Is -3 smaller than l?
True
Let g(p) be the third derivative of p**6/120 - p**5/60 - p**4/24 - 5*p**2. Let i be g(2). Suppose -6*h - i = 10. Is -1 >= h?
True
Let x = 2 - 13.3. Let u = -11 - x. Are 9 and u non-equal?
True
Suppose 0 = 2*g - 2 + 10. Let b = 168 + -96. Let h be (-46)/12 + (-12)/b. Is g less than h?
False
Let p be 2 + -4 - (-3 + 2). Is p != -5/16?
True
Let r = -18 - -18. Let d = -405 - -438. Does d = r?
False
Let q = -30 - -39. Let h = 15 + -30. Let m = q + h. Do 1 and m have the same value?
False
Let m = 3 + -2.91. Let o = m - 6.09. Let g = -5 - o. Which is smaller: g or 0.3?
0.3
Let b(o) = o**3 - 13*o**2 + 13*o + 1. Let h be b(2). Suppose -20 = 4*u + 56. Is h greater than u?
True
Let c = -3467 + 23763/7. Let y = -472 + 544. Let l = c + y. Which is bigger: l or -1/2?
l
Let t be ((-15)/20)/(15207/592). Does -1 = t?
False
Let y = -1426 + 1372. Is y smaller than -56?
False
Let t = -21933962/11 + 1992580. Let h = t + 1418. Which is smaller: 2 or h?
h
Let r = -3467 - -2191. Is -1276 at most r?
True
Let z = -535 - -535.3. Let i = -0.1 + 0.2. Which is greater: i or z?
z
Let v be 354/42 + (-9)/21. Suppose o + 2 = 11. Are v and o unequal?
True
Suppose -8*a + 660 = 4*a. Let t = a + -105. Which is smaller: -51 or t?
-51
Suppose p - 2*h + 0*h + 12 = 0, -2*p - h = 44. Let x be -19 + (-1)/(-1) + 2. Let k = x - p. Is k greater than 4?
False
Suppose 3*o - 44 = -2*y, -3*o + 0*o + 60 = 3*y. Suppose -66 - 14 = -5*i - 5*t, 0 = -i + 4*t + 11. Are y and i equal?
False
Let l be 32 + -25 - 30/(-8). Which is smaller: 1 or l?
1
Let z(q) be the third derivative of -q**6/24 + q**5/60 + 6*q**2. Let p be z(-1). Suppose -2 = -2*w - 3*f + 14, 0 = 2*f - 4. Which is greater: p or w?
p
Let k = 199 + -207. Let y(c) = -c**2 - 1. Let t be y(1). Let q = t - -2. Does k = q?
False
Let s(x) = 2*x**2 + 6*x + 6. Let i be s(-2). Suppose 207 = i*y - 25*y. Let k be (2*3)/((-2)/3). Is k less than y?
False
Let u be 15/25 - 1 - (-3783)/(-5). Let w = u + 5289/7. Is w at most -2?
False
Let v be 1172/(-3003) - (-128)/2112. Which is smaller: -1 or v?
-1
Suppose -2*t - 7*s = -2*s + 17, 0 = -t - 2*s - 6. Suppose 4*d = -5*y + 2 - 0, -3*y = -t*d - 14. Are -1 and d nonequal?
True
Suppose -5*a - 12 = 4*b, 4*a = 7*b - 6*b - 18. Let c be (10/(-10))/(38/b). Is c > 1?
False
Let q be (-2 + (-26)/(-4))*(-4)/(-6). Suppose 8 = m - 3*l, -q*m + l + l = -10. Which is smaller: 8/7 or m?
8/7
Let n(u) = -2*u - 2. Let k be n(5). Suppose 8351*s - 8342*s + 81 = 0. Do s and k have the same value?
False
Let w = 72 + -72.3. Let v = 0.4 + -1. Is v smaller than w?
True
Suppose -c = 2*c - 219. Let g = 513/7 - c. Is -0.06 less than or equal to g?
True
Let m = 0 - 0. Let s(x) = 8*x + 71. Let n be s(-9). Which is smaller: m or n?
n
Suppose -41 + 5 = -4*v. Let t = -1 + 28. Let g = -19 + t. Is v smaller than g?
False
Suppose 2*k - 2*x + x = 32, 3*k - x - 50 = 0. Suppose 0 = 3*u + 4*b - 12, -2*u + 2 = 3*b - 6. Suppose -h + 15 + u = 0. Which is greater: h or k?
h
Let r = -331.99 + 332. Which is smaller: -11 or r?
-11
Suppose 0 = 3*s + 12, -2*s = -2*v + 13 + 17. Suppose v*o = -4 - 18. Is -6/5 at most as big as o