(-4) + 1037/(-34). Is x at least as big as -29?
False
Let g be 2952/168 + 3/7. Let k = 43 - 25. Is g smaller than k?
False
Let c = -8.99 + 43.29. Let m = 0 - -34. Let y = m - c. Is -4 != y?
True
Let a be -1 - -1 - 7*(-4)/(-28). Let x be (-3 + (-2 - -3))/37. Is a < x?
True
Let x(m) = -m**3 - 16*m**2 - 14*m - 16. Let q be x(-15). Is q less than -42?
False
Let b = -1 + 2. Let m be b/(-1 - (-4)/(-2)). Suppose -5*j + 13 = 3*r, 1 = 2*j - 3. Which is greater: m or r?
r
Suppose 16*d = -70 - 90. Which is bigger: d or -51/5?
d
Let b = -13 - -11. Suppose 3*f + 0*f - 3 = 0. Let o be -1*(0 + f - -5). Are b and o nonequal?
True
Let s = -51 + 51.54. Let r = s + 0.06. Let p = 0.36421 - 0.56421. Which is smaller: p or r?
p
Suppose -j - 4*z = 4, -2*j - 6 - 2 = -z. Suppose 154 = 5*m + 3*t, -5*m + 4*t + 168 = -0*t. Let u = m + -37. Is j greater than u?
True
Let h = -2.3 - -2.47. Let k = -1.37 + h. Which is greater: k or -1/2?
-1/2
Let w = -237 + 164. Let o = -74 - w. Is 2/251 at most as big as o?
False
Let w(l) = -l + 9. Let a be w(-7). Suppose 4*f = 32 - a. Suppose -5 = 3*t - v - 4*v, 2*v = -f. Is t less than -1?
True
Let g(z) = z**3 + 4*z**2 - z - 9. Let c be g(-2). Let n = 11.8 + -11. Which is smaller: c or n?
n
Let u be (8 - 20)*(-1)/3. Suppose 3*m + 31 = -5*b, -b = m + u*b + 27. Which is bigger: m or -1?
-1
Let a be (4/(16/188))/(-1). Which is greater: a or -49?
a
Let o be (-2)/(-9) - (-112)/(-666). Let j(m) = 4*m - 33. Let y = 31 + -23. Let i be j(y). Is i smaller than o?
True
Suppose 0*g = 5*g - 30. Let j be (-3 - -9)*4/g. Suppose -j*c = -0*c - 5*h - 15, -h = 3. Which is bigger: c or -3/8?
c
Let g = 3 - 3. Let m be 100/(-8)*((-32)/10)/(-4). Let d be m*(4 + g)/48. Which is smaller: d or -1?
-1
Let c be (9 + (-175)/20)*(-1 + 1). Is -4/87 bigger than c?
False
Suppose -4*y = -4*r + 1084, -5*y + 3*r = -0*y + 1349. Let g = -177 - y. Which is smaller: g or -1?
-1
Let b = -5 - -2. Suppose -4 = -199*m + 200*m. Which is smaller: b or m?
m
Let h be (-4998)/210*(-24)/14. Which is bigger: h or 40?
h
Let u(o) = 177*o - 13. Let p be u(-3). Is -545 less than p?
True
Suppose s - 10*f = -15*f - 20, -4*s - 4 = f. Let v be (-8 + 0)*(-3)/(-150). Is s > v?
True
Let t be -2*(-37)/8*3. Which is bigger: 27 or t?
t
Let g(t) = t**3 + 6*t**2 + t - 4. Let x be g(-6). Let p be -2 + (-284)/x*-2. Let f = -59 - p. Is 0 smaller than f?
False
Let k = 0.072 + -0.432. Let h = -1.44 - -1.7. Let m = h + k. Is m > -4?
True
Let b be (9/(-342))/(25/(-6)). Is -1 less than b?
True
Let k(g) = -g**3 - 11*g**2 - 3*g - 34. Let m be k(-11). Is m <= -4/407?
True
Suppose 0 = 36*c - 23*c + 1677. Is -140 at least c?
False
Let a = -591270/107 + 5526. Let m = 2484/749 + a. Which is smaller: m or 3?
3
Let t be -3*(-4)/24*4. Let m(i) = -i**3 - 11*i**2 - 9*i + 12. Let q be m(-10). Suppose 0 = 3*z + j + 29, t*z = -2*j - q - 12. Which is bigger: -10 or z?
-10
Suppose -2*m = -5*m. Suppose -4*i - i - 2*l + 15 = m, -2*i = 4*l - 22. Let d be i*(3 - -14 - -2). Which is bigger: d or 20?
20
Suppose -7 = -5*y + 8. Suppose 0 = y*a - 0*a. Suppose -p - 1 = -r + 4, a = 2*p + 8. Do r and 1 have the same value?
True
Let f = 321 + -1049. Is f != -728?
False
Suppose 13 = u + 2*p, 5*p - 35 = -0*u - 3*u. Suppose -u*l = -7 - 18, g = -4*l + 12. Suppose 3*q - 8*q = -t + 17, 5*t = 4*q - 20. Is t less than g?
False
Suppose -1284 = -86*k + 80*k. Is k bigger than 213?
True
Let y = -3.6 + 3.5. Let m = 47 - 47.54. Is y at most m?
False
Let h = 549 - 523.1. Let v = -26 + h. Which is bigger: -2/51 or v?
-2/51
Let w be (2 - (-20)/(-7)) + (-174)/(-203). Which is smaller: 31/42 or w?
w
Let m be (40/(-140))/((-8)/(-14)). Which is bigger: m or -61?
m
Suppose 0 = -4*n + n + 6. Let w be 0/(n*(-6)/4). Let z(f) = -f**3 - f**2 + f - 1. Let l be z(0). Which is bigger: l or w?
w
Let g = -1.1 + 2.2. Let z = g + -1.1. Let j = -0.12 + -3.88. Is z <= j?
False
Let l = -1 - -0.88. Let b = l + -0.1. Which is greater: -1 or b?
b
Let z(k) = -k**2 + 9*k - 13. Let q be z(7). Which is greater: 2/3881 or q?
q
Let q = -2.2 - 18.8. Let g = q + 21. Which is greater: -1 or g?
g
Let i = 9 + -9. Suppose -4*o - g = -0*g + 12, 2*o - g + 6 = 0. Let b be ((-4)/3)/4*o. Which is smaller: i or b?
i
Let a = -77 + 48. Is a less than -31?
False
Let l = -2147 + 2157. Which is smaller: l or -55?
-55
Let a be (0 - 1)/((-2)/22). Let j(g) = 2*g - 43. Let i(b) = -b**2 + 8*b + 36. Let u be i(9). Let v be j(u). Is a equal to v?
True
Let n = 5 + -2. Suppose -x = n*x. Let f = 56/11 - 415/88. Is x at most as big as f?
True
Suppose 131 = -5*c + 106. Let h = -8 - -4. Let u = -7 - h. Do u and c have different values?
True
Let u = -4/725 + 1478/5075. Which is bigger: -132/7 or u?
u
Suppose 0 = 5*x + 3*c + 89, 0*x - 3*x = 4*c + 60. Let a be (-4)/x - (-1)/(-68). Is a greater than -1?
True
Let x = 1 + -1. Let y = 25.8 - 25.9. Let b = y + x. Is b greater than -5?
True
Let h = -866/22533 + 4/259. Which is smaller: h or 0?
h
Let l be -35*(1 + (-14)/10). Suppose 0 = -6*t + 25 + 65. Which is bigger: t or l?
t
Suppose -35 + 19 = -16*h. Is 2/331 bigger than h?
False
Let b be (0 - 12/(-58))*2. Is -1 < b?
True
Let b = -8/413 - 21817/3717. Which is greater: b or -6?
b
Let y = -450 + 57601/128. Suppose -4*i + 5 = -j, i + 1 = 3*j + 5. Which is smaller: y or i?
y
Let n = -11039/12 + 920. Is -5 greater than or equal to n?
False
Suppose 0 = 62*d - 55*d + 1344. Which is bigger: -193 or d?
d
Let m be 2/(-5) - 8/(-20). Let n be 2 + (2 + m)*-3. Suppose 30 = -5*f - 0. Which is greater: f or n?
n
Let j be ((-27)/198)/((-3)/24) - 1. Which is bigger: j or -7?
j
Let n = 441 + -261. Suppose -5*j + n = -0*j. Let m be (-78)/j - 8/6. Which is greater: -5 or m?
m
Let d(n) = n + 6. Suppose 8*c - 3*c = -5*h + 80, 4*c = -8. Let o be (-6)/h + 16/(-6). Let x be d(o). Is 3 at least x?
True
Let n be 4*(-2)/8 + 3/(-1). Let j be -1*(5 + n + 0). Is j less than 1/16?
True
Let s = -57 - -63. Let c be 3 + 26*(-9)/s. Is -35 less than c?
False
Let k(j) = j**2 + j - 1. Let v(x) = -x**3 + 11*x - 12. Let d(u) = 5*k(u) - v(u). Let a be d(-6). Let z(o) = o**3 - 7*o**2 - o + 8. Let b be z(a). Does b = 1?
True
Let f = 0.1 - 0.09. Let u be (4/(-54))/(12/(-1665)). Let k = u + -21/2. Is k less than f?
True
Let a = -76 - -84. Let s = a + -8.2. Which is greater: 0 or s?
0
Let y = -1027 + 1026.9. Which is bigger: y or 2/1779?
2/1779
Let w = 248/5 + -49. Let a = -4969/15 - -331. Let x = a + w. Which is bigger: x or 1?
1
Let j(b) = 2*b**2 + 2*b - 1. Let q be j(-2). Suppose -q*m = -6*m + 42. Let h be m/((-2 + 1)*-9). Is 3 at least as big as h?
True
Let l(a) = a**3 + 8*a**2 + 7*a + 2. Let q be (-35)/10*(1 + -3). Suppose 0*k + q = -k. Let r be l(k). Is r != 3?
True
Let g = -3 - -4. Let b(d) = d**3 - 14*d**2 - 16*d + 20. Let v be b(15). Suppose g + 1 = -2*r - w, 0 = -v*r - 4*w - 8. Is r >= -1/2?
True
Suppose 0 = b - 0*i + 5*i - 2, 3*i = 0. Suppose b*h = -2*h - 280. Are h and -70 equal?
True
Let i = 2/47 - -80/329. Is i smaller than -16?
False
Let z be (196 - 1) + (1/(-1))/1. Which is smaller: z or 192?
192
Let y = 76.31 + -0.36. Let v = 76 - y. Which is bigger: v or 2?
2
Let a(k) = k**3 + 6*k**2 + 3*k - 5. Let r be a(-5). Let c be -7*(-7)/49 - (3 - 5). Are c and r equal?
False
Let a be (-2 - -1) + 2/6. Let p be (-5)/(5/(-2)) - 28/8. Is a < p?
False
Let x = 22 - 30. Let q = -16 - x. Are q and 0.1 nonequal?
True
Let c be -3 - -1 - 0 - 3. Let i = 135 + -69. Let d = i + -197/3. Which is greater: c or d?
d
Suppose -111 + 48 = 9*u. Let w(d) be the third derivative of -d**4/24 - d**3 + 3*d**2. Let g be w(u). Which is bigger: g or -3/14?
g
Let v(g) = 2*g + 13. Let f be v(18). Let z = -246/5 + f. Is 0 != z?
True
Let i(r) = r**2 + 2*r - 3. Let o be i(-3). Suppose 3*l - 15 = 0, -v = 2*l - 3 - 5. Let p be 2 + ((-5)/(-80))/(v/52). Is p < o?
False
Suppose r + 0 - 3 = 0, 0 = 3*m + 4*r - 18. Let p be (1 - 0)*(m + 4/(-4)). Is 1/3 <= p?
True
Let s be (-2)/(2/3 + -1). Let g = s + -4. Let b = -783 + 783. Which is smaller: g or b?
b
Suppose 47*s + 4 = 46*s + 4*j, -2*j - 34 = s. Is 0.11 at least as big as s?
True
Let w = 1221 - 59827/49. Suppose 0*d + d = 0. Which is bigger: d or w?
w
Suppose -2*f - f = 3*z - 117, 3*f = 2*z + 117. Suppose -4*k = 4*n + 196, 0*n + f = -n + k. Which is smaller: -45 or n?
-45
Let d(g) = g**3 - 6*g**2 - 5*g - 10. Let t be d(7). Suppose 5*l = 3*a - 0*a