-18). Let x be (-3)/((-1 + 2)/(-1)). Suppose h - x = -0. Is h at least j?
True
Let u = 69 - 209/3. Is -1 != u?
True
Let r(d) = -d**3 - 13*d**2 - 14*d - 13. Let f be r(-12). Let z = 4 - f. Let m = -13 + 6. Is z at most as big as m?
True
Let b be (4 - 44) + (-8)/(-2). Which is greater: -1 or b?
-1
Let x = -0.2 - -0.6. Let h = 0.03 + -0.33. Let r = h + x. Is r smaller than -2?
False
Let g(r) = 2*r - 18. Let c be g(13). Which is bigger: c or 9?
9
Suppose -4*y + 14 = s, 4*y - 4*s = -0*s + 4. Suppose -3*o + 57 = y*p - 6*o, 0 = -p + 2*o + 18. Suppose 2*n + 2*n = -p. Is n <= -5?
True
Let w be 102/45 + (-21)/35. Are w and 2/5 unequal?
True
Suppose 14*v - 16*v = -22. Which is bigger: v or 8?
v
Let q = -119/3 + 39. Let c(w) be the second derivative of -w**3/6 - w**2 - w. Let n be c(-2). Which is bigger: n or q?
n
Let r be (3*-1)/(0 + (-5)/(-45)). Is -28 greater than or equal to r?
False
Let n = 192 + -191.91. Let j be (-4)/7 - 2/(-7). Which is smaller: j or n?
j
Let i be (-1)/(-2) + 10/(-40). Let f = 0.08 - 0.38. Which is smaller: i or f?
f
Let l(n) = -n + 6. Suppose 17 = 4*r - 5*r + 4*z, r - 2*z + 7 = 0. Let h be l(r). Is 8/5 greater than h?
False
Let v be 56/90 - (1 - 56/72). Suppose 2*y - 3*d + 6 + 0 = 0, 4 = -2*y + 2*d. Is v at least as big as y?
True
Let n(w) = 2*w - 2. Let z be n(4). Let c be (2/66)/(1/z). Which is smaller: c or 0?
0
Let q(n) = -n**3 - 7*n**2 - 3*n + 5. Let a be q(-4). Let j be (-459)/(-14) - (-6)/(-21). Let o = j + a. Do 2 and o have the same value?
False
Let v be 4/(-6)*36/228. Let m(f) = f - 14. Let q be m(14). Are q and v nonequal?
True
Let n = 0.7 + -1.85. Let d = n + 0.15. Is -3 != d?
True
Suppose -4*c + 5*z = 8 + 2, 4*c - 4 = -2*z. Let t be -1 + c - 12/(-3). Which is smaller: t or 2?
2
Let p be 0/(4*(-9)/(-12)). Is 2/27 greater than or equal to p?
True
Let n(g) = -g**2 - g + 1. Let h be n(0). Suppose h - 4 = -o. Let m = 11 + -7. Which is smaller: m or o?
o
Let r = -2.95 - -3. Suppose p - 8 = -6. Is r at least p?
False
Suppose 4*x = -4*i - 40, -9*i - 43 = -5*i + 3*x. Let g = i - -19. Suppose -f - 5*h = -5*f + g, 2*f + 6 = -2*h. Are -2/3 and f nonequal?
True
Suppose -5*m + d + 16 = -0*m, 3*d = 4*m - 15. Suppose 0 = 4*g - 17 - m. Suppose 3*u - 5 = 4*y, 5*u = 20 - 5. Is y < g?
True
Suppose 4*w - 18 = -0*a + a, -5*w + 4*a = -17. Suppose -n + w*n = 0. Let b be 2*-1 + 8/6. Which is bigger: b or n?
n
Let b = 11 - 14. Which is greater: -5 or b?
b
Let v(l) = 2*l - 18. Let q be v(10). Suppose 3*b = 2*d - q*b + 22, -b = -4. Is d equal to -1?
True
Let m be 9/6 - 2/4. Let x = 0.42 + 16.58. Are m and x equal?
False
Suppose 3*q - 2*p + 5*p = 18, -5*p = -3*q - 22. Let j(t) = 3*t**3 - 2*t + 1. Let u be j(1). Suppose -1 - u = 3*k. Is q at most k?
False
Let m = 13 + -13.2. Is m smaller than -3/5?
False
Let d = 0.41 - 0.41. Let i = 5/11 + -47/55. Is d greater than or equal to i?
True
Let m be 2/1 - 7/6. Does m = 0?
False
Suppose 0 = -3*b + 2*z + 3, -b - 5*z + 1 = -0*z. Suppose q + b = 2. Let n = -243/70 + 25/7. Which is smaller: n or q?
n
Let z = 8 - 4. Let n = -1 + z. Suppose 0 = -n*r + 6. Does 4 = r?
False
Let o = 1.4 - -0.6. Let r = -3 + o. Let s = r + 1. Is s bigger than 0?
False
Suppose 14 + 34 = -4*y. Let q be (-8)/6 + y/18. Let z = 2 - 5. Is q smaller than z?
False
Let l be (-5)/(-50)*-4 - 0. Is 0 smaller than l?
False
Let c(t) = -2*t. Let u be c(-1). Let h be -8 - (-3 + 5 - u). Is -8 > h?
False
Let s be (-15)/10*10/(-6). Let c = -8 + 12. Is s at most c?
True
Let f(b) = b**3 + b**2. Let v(y) = -6*y**3 - 2*y**2 - 2*y + 1. Let n(s) = 5*f(s) + v(s). Let w be n(2). Is 2 <= w?
False
Let l = -12 + 11. Is l greater than or equal to 5/8?
False
Let q = -327 - -1301/4. Let c = -45/28 - q. Let k = 43 + -128/3. Which is bigger: k or c?
k
Let i(d) = -4*d - 1. Let y be i(-2). Which is greater: y or 11?
11
Suppose -3*i = -4 + 1. Which is smaller: i or 1/42?
1/42
Let u be (-1)/((8/36)/((-20)/(-6))). Is -15 less than or equal to u?
True
Let g = -42 + 43. Which is greater: g or 3/20?
g
Suppose -3*w = -4*q + 9, -5 = 3*q - 4*w - 17. Let s be -1 - -3 - (-1 - q). Is 3 greater than s?
False
Let u be 2/6*9 + (-37)/9. Which is smaller: 0.1 or u?
u
Let i be ((-6)/21 - 1) + 1. Let y = 55 - 62. Which is smaller: y or i?
y
Let w = 0.17 + -0.22. Is w < 0.1?
True
Let p be (-280)/80 + (-1)/2. Is p <= -26/7?
True
Suppose -27 = -3*w + 102. Suppose -4*j - q = w, 5*q - 8 - 8 = j. Which is smaller: j or -12?
-12
Let b = -75 - -71. Let o = -99/5 + 20. Are o and b non-equal?
True
Suppose 0 = -13*p - 6 - 7. Are p and 7 equal?
False
Let s = 1.4 + -2.4. Let g = s - -1.01. Does -2/7 = g?
False
Let s be -3 + (-48)/15*-2. Which is greater: s or 2?
s
Let l be 7/15*3 - 8/10. Suppose 4 = 4*y - 0*k - k, -4*y + 4*k = 8. Is l smaller than y?
True
Let k(x) = -4*x**3 - 3*x**2 - 8*x - 1. Let j(c) = 3*c**3 + 4*c**2 + 8*c + 1. Let o(h) = 5*j(h) + 4*k(h). Let s be o(9). Is s at least as big as -7?
False
Let k = -46551/98 - -475. Let s = k + 115/1666. Is -1 smaller than s?
True
Suppose p - 4*w - 29 = 0, 3*w - 5*w = -p + 35. Suppose 9 = d + l, -5*d - l = -0*d - p. Do 10 and d have the same value?
False
Let m(t) = -11*t - 2. Let d be m(-2). Suppose -s + 2*o - 3 = 0, 0 = -4*o + d - 4. Let z be 6 - s - (-10)/(-11). Do -1 and z have the same value?
False
Suppose -5*v - 4 = 26. Which is smaller: v or 0.1?
v
Let g = 1102883/1160 - 4754/5. Let n = 301/19720 + g. Let a = 3/17 - n. Are a and 3 equal?
False
Let b be (1 + -1 + 0)/1. Suppose 5*l + 12 = f - 3*f, b = 3*l + 4*f + 10. Let g be (0/2 + 1)*-3. Which is smaller: l or g?
g
Suppose t + 4*t = 10. Suppose -u = 1 - 0. Is t less than u?
False
Let k = -14/11 - -39/22. Which is smaller: k or 0?
0
Let k = -19/4 - -7/2. Let l = 1 - 1. Which is greater: k or l?
l
Let u(k) = -k**3 - 8*k**2 - 6*k + 3. Let t(o) = o - 5. Let r be t(5). Suppose -q = 4*q + y + 34, r = 4*q - 3*y + 31. Let h be u(q). Is h equal to -0.1?
False
Let h = -14.8 + 15. Is 0.9 not equal to h?
True
Suppose 0 = -m + 2 + 2. Let o(h) be the second derivative of h**4/12 - 2*h**3/3 + 2*h**2 + 2*h. Let d be o(4). Is m > d?
False
Suppose -2*k + 5*d = 15, 28 = -4*k + 5*d - 7. Is k equal to -10?
True
Let k(f) = -f**3 + 23*f**2 - 22*f + 1. Let h be k(22). Let a be -2 - (-2 - 2/13). Is a bigger than h?
False
Let c be (1/(-1))/((-3)/6). Suppose c*z - 10 = 14. Let j be (-5)/z - 4/(-16). Which is bigger: 1 or j?
1
Let s = 0.5 + -4.5. Let o = 4.4 + s. Which is smaller: o or -1?
-1
Let s = 10 - 10. Let z = 0.1 - s. Which is smaller: z or -1/25?
-1/25
Let d(m) = 2*m - 2. Let o be d(7). Suppose -5*a + a = -o. Let b = -1 + a. Which is greater: b or 3/4?
b
Let g = -25 + 17. Let v be 1 + 2 - 2*-1. Let o = v + g. Which is bigger: -1 or o?
-1
Let j = -105 - -94. Which is greater: -15 or j?
j
Let f(d) = d**2 + 4*d - 1. Let l be f(-4). Let b be 6/2*66/9. Let a = b - 65/3. Is a at least l?
True
Let b(s) = -s**3 - 8*s**2 - 5*s + 10. Suppose 3*l = 4*l + 7. Let w be b(l). Let r be 5*-1*w/4. Do 5 and r have different values?
False
Let m be (9/3)/(2/2). Suppose -m*o = -4*p + 3, 3*o = 5*p - 0*p - 3. Which is smaller: -2/21 or o?
o
Let t be -1 - (-7)/(2 - 1). Let h = 6 - t. Suppose 2*a - 2 = -i, h = -2*a + 1 + 1. Which is smaller: i or -1/2?
-1/2
Suppose -3*b + 3*d = -48, 3*d - 2*d = 3*b - 40. Let t = -10 + b. Suppose -t*w - 5*r - 18 = 0, 0 = 5*w - 3*r - 17. Which is smaller: w or 0?
0
Let b = 9 - 6. Let w be b/((-2)/4*-3). Does 2 = w?
True
Suppose 0*r = 4*r - 12. Let s be r/3 - (-4)/2. Let u = s + -4. Which is smaller: 3/7 or u?
u
Let g(x) = -x**2 + 4*x - 9. Let n be g(3). Which is smaller: -5 or n?
n
Let w(x) = x**3 + 2. Let t be w(0). Does -1 = t?
False
Let v = 3.6 + -1. Let z = 2.7 - v. Let s = -21 + 150/7. Is s less than or equal to z?
False
Let r = 8 - 29. Let t = 21 + r. Which is smaller: -1/18 or t?
-1/18
Let d(w) = -w**2 - 13*w - 14. Let n be d(-12). Is 3 less than or equal to n?
False
Let r = -2 - -4. Suppose 3*c + 7 = -u, 3*c - 3 = u - r. Which is smaller: u or -1?
u
Let m = -4 + 7. Let n = -4 + m. Suppose -10 = -2*i, 0 = -4*h - 0*h + 5*i - 33. Which is smaller: n or h?
h
Suppose 5*s - 32 = 33. Let u = 7 - s. Let y be 4/u*15/25. Which is smaller: y or -1?
-1
Suppose 5*k - 10 = 5*f, -k = 3*k + 3*f - 1. Suppose -6 = -5*a - k. Which is smaller: a or 4?
a
Let c be 1*(2 + 2/2). Is c less than 3?
False
Let u = 0.1 +