 2 + p. Let t(g) = g - 9. Let m be t(10). Is m <= n?
False
Let v = -1 + 0. Let h = 1 - v. Suppose 0 = q - h*q - 2. Which is bigger: q or -3?
q
Let s be 8/20 - 1 - 52/(-95). Which is smaller: -1 or s?
-1
Let d = 2.9 - 0.3. Let h = d - 0.6. Let y = h + -2.1. Which is bigger: 1/4 or y?
1/4
Let x = -14 + 14. Do -2/91 and x have the same value?
False
Let l = 0.26 - -1.64. Let c = -2 + l. Which is bigger: -4 or c?
c
Let r(f) be the first derivative of 2*f**3/3 + f**2 + f - 9. Let s be r(0). Suppose 0 = -2*v - 3*v. Which is smaller: v or s?
v
Let z = 36 + -35.9. Let q = 0.2 + 0.3. Is q less than or equal to z?
False
Let j(u) = u + 6. Let m be j(1). Is 11 at most m?
False
Let x = -0.05 + 14.05. Does x = 2/3?
False
Let y = 34/35 + -1277/630. Let a = -5/9 - y. Suppose 0*h = 3*h. Are h and a equal?
False
Let s = -20 - -32. Suppose -2*p = -0*p - s. Let b be p/(-9) + (-40)/(-42). Which is smaller: b or 0?
0
Let f = -0.11 + 1.21. Let n = f - 1. Let k = n - 0.1. Which is smaller: -1 or k?
-1
Let a(v) be the second derivative of -v**6/360 - v**5/30 + v**4/8 + v**3/6 - v. Let z(w) be the second derivative of a(w). Let d be z(-4). Is d at least -0.1?
True
Let l = 33 - 61. Let c = 17 + l. Is 0 smaller than c?
False
Let h = 0.89 + 0.89. Let b = -1.8 + h. Is 2/3 smaller than b?
False
Let w be (3/(-5))/((-16)/10). Let d be -1*((-12)/(-3))/4. Is d > w?
False
Let v be (-3 - -4 - 1)/(-2). Suppose v = -2*b + 11 - 43. Which is greater: b or -17?
b
Let q(d) = d**2 + 2*d - 4. Let w be q(3). Let r = w - 20. Let l be (24/r)/(-2) + -2. Are l and -2 equal?
False
Let m = -7.7 + 7.805. Is m > -0.1?
True
Let q(u) = -u + 3. Let j(m) = m**2 + m. Let p(x) = -5*x**2 - 2*x - 5. Let h(b) = -6*j(b) - p(b). Let i be h(-4). Let z be q(i). Which is bigger: z or -3?
z
Let y = 173.03 + -174. Let i = -0.03 + y. Are i and 1 unequal?
True
Let b be -3*(-2 - 2)*1. Which is smaller: b or 10?
10
Let m = 17 + -24. Let o = 5 - 11. Which is greater: m or o?
o
Let p = 2 + -6. Let w = -1 + -4. Which is greater: p or w?
p
Let y = 8 + -10. Let w be 5/y - 2/4. Is w less than 3?
True
Suppose 0*o + 4*o = 8. Let v be (o/(-28))/((-8)/(-16)). Do v and 0 have different values?
True
Let u be 1/(-2) - (-1)/2. Suppose u = 4*y - 2*y. Suppose v = -0 - 1. Which is bigger: y or v?
y
Let f = -506 - -11644/23. Let r = f - 47/92. Which is bigger: 0.4 or r?
0.4
Let r be (-10)/25 - (-22)/5. Let v be 430/(-105) - r/6. Let x = -38/7 - v. Is x less than or equal to 0?
True
Let v(p) = 26*p**2 + p. Let r be v(-1). Let c = 17 - r. Let w be 1/(-5) + c/10. Which is smaller: 0.1 or w?
w
Let p = 4 + 3. Is 8 smaller than p?
False
Let y be 0/(-2 + 4 - 4). Are 0 and y nonequal?
False
Let p = -1.1 - -1.25. Let n = p - 0.35. Do n and 0.2 have different values?
True
Let w = -88 - -438/5. Suppose -4*n + 4*l = 12, 1 = 2*n + 2*l - 1. Let y = 0 - n. Which is greater: y or w?
y
Let p(l) = l**2 + 16*l + 9. Let k be p(-13). Which is greater: k or -29?
-29
Let g(i) be the first derivative of -i**3 - i**2/2 - i - 3. Let o be g(-1). Let a(t) = -t**3 - 4*t**2 - 2*t + 2. Let x be a(o). Which is smaller: -3/8 or x?
x
Suppose -2*q - 2*q = 10368. Let m be -2 + (q/(-14))/4. Let w = m - 44. Which is greater: -1 or w?
w
Suppose 4*l - v = v + 16, 3*v - 11 = -l. Suppose 4*f - 10 = 2*k, 15 + 2 = 4*f + l*k. Which is bigger: f or 4?
4
Let q(u) = -u**2 + 1. Let s be q(2). Suppose -2*a + 3*m = 5*m + 16, -3*a + 2*m = 19. Let g = s - a. Is 4 bigger than g?
False
Let k = 56/9 + -457/72. Is k > 4?
False
Suppose 2*u - 4 = -3*y, 0 = 3*y + 6. Suppose u*x + 22 = 7. Which is bigger: x or 0?
0
Suppose -2*q = -4*g + 14, -5*g + 10*g = -q. Suppose w - 1 = 1. Let b be 2/w + (-10)/6. Are b and g equal?
False
Let y be (-9)/(6*(-2)/(-8)). Let t = -11 - y. Is -4 bigger than t?
True
Let m = 0 + -2. Is m greater than 0.4?
False
Let y(d) = 2*d + 13. Let h(z) = 2*z + 12. Let n(s) = -4*h(s) + 3*y(s). Let l be n(-6). Let u be (-1 + 2)/((-1)/l). Which is smaller: -4 or u?
-4
Suppose 0 = 5*x - 3*q + 27, 27 - 7 = 5*q. Let v be x*1*(-66)/(-72). Which is bigger: -3 or v?
v
Let h = 156 - 176. Is -17 > h?
True
Let x(j) = 2*j - 13. Let s be x(7). Are s and 3 unequal?
True
Let l(o) = 8*o**2 - 2*o - 1. Let h be l(-1). Let m = h - 10. Are 0.1 and m non-equal?
True
Suppose -4*j = -16, 4*v + 0*j - j - 4 = 0. Suppose q - 4*m + 1 = 2*q, 2*q + 2*m = 8. Suppose x - 7 = -q. Are x and v non-equal?
False
Let x = -61 + 59. Let m = 0 + 0. Is m >= x?
True
Let u = -0.28 - -0.3. Let x = u + -0.02. Is 2 at most x?
False
Suppose 2*w - 5*s - 4 = 9, 0 = 4*s + 20. Which is smaller: w or -2?
w
Let h = 1.3 + -1. Which is smaller: h or 7?
h
Suppose 0 = 5*s + 10. Let k = 0 + 4. Is s greater than k?
False
Let l = -6 + 8. Let k be 3/6 - 15/20. Which is greater: l or k?
l
Suppose -3*g = -7 + 10. Which is bigger: 8/19 or g?
8/19
Let k = 466 - 457.12. Let v = k - 3. Let z = -0.12 - v. Which is bigger: z or 0?
0
Suppose 0 = -4*z - 5*h - 3, -3*z - 3*h + 3 = -h. Suppose 2*y - 5*k + 3 = -1, 1 = z*y - 4*k. Let m be ((-5)/y - -2)*-1. Which is smaller: m or -1/4?
m
Let j be (3*-1)/((-3)/(-10)). Is -9 at most as big as j?
False
Let t = -0.3 + -7.7. Which is smaller: t or -2/3?
t
Let n = -17 + 15. Let f be 1*20/(-4) - n. Which is smaller: 0 or f?
f
Suppose -2*a = -a. Let x be (2/(-7))/(5/(-10)). Which is greater: x or a?
x
Let i = -1 + 5. Suppose i*g - 6 = 10. Let x = -4 + g. Which is bigger: 1 or x?
1
Let p = -109 - -92.6. Let x = -15 - p. Let a = -0.6 - x. Is a less than or equal to 0.1?
True
Let y be 3/(2 - 0 - 1). Suppose -h + j = 0, 4*h + 0*j = y*j. Let p be (-4)/(-14) + 210/(-392). Is p at most h?
True
Let k = 10 + -13. Let w = -4 - k. Is 0.06 >= w?
True
Suppose 0*b = 2*b + 5*h - 295, -5*h - 685 = -5*b. Let d be b/8*1/15. Which is greater: 2 or d?
2
Suppose 0 = -3*p + 8*p - 225. Let y = p + -223/5. Which is smaller: y or 1?
y
Let r = -127.31 - -0.31. Let m = -135.1 - r. Let g = -8 - m. Which is bigger: g or -0.5?
g
Let m = 11 - 11.6. Let a = -1.6 - m. Are 3 and a unequal?
True
Suppose -5*y - d = 20, -6*y + 3*d - 40 = -y. Is -4 equal to y?
False
Let s = -272 + 1639/6. Suppose 3*u = -j - 9, j + 4*u = 3*j - 12. Are j and s equal?
False
Let o(v) = -v**3 - 6*v**2 + 16*v - 3. Let s be o(-8). Which is smaller: 4 or s?
s
Let c = 6 - 4. Suppose 2*g = 5*w - 35, c*w - 28 = -2*g - 0*g. Let q = 10 - w. Which is bigger: q or 7/3?
7/3
Suppose -28*n - 8 = -36*n. Let o be 2/6 + 70/(-228). Is o equal to n?
False
Let g be (-6)/(-8) - (2 - 2). Let n(y) = -y**2 + 4*y - 2. Let t be n(2). Which is greater: g or t?
t
Let q(f) = f**2 + 3*f - 2. Let x be q(-3). Suppose s - 2 = 18. Let c be ((-4)/5)/(28/s). Is x at least c?
False
Let i = 11/28 + -243/476. Suppose 0 = c - 2*c. Do c and i have different values?
True
Suppose 1 = -2*a - 1. Let t = -164 + 1146/7. Is a less than or equal to t?
True
Let u = -11 - -1. Let x = u + 6. Let w be ((-8)/12)/(4/30). Is x > w?
True
Let t = 0.35 + 0.05. Let j = t - 0.6. Let g(h) = -h**2 - h + 3. Let m be g(0). Which is smaller: j or m?
j
Suppose 3*g + 2*r - 26 = -3*r, 0 = -2*g - 5*r + 24. Suppose g*o = -1 + 5. Which is greater: 1 or o?
o
Let x = -78 + 392/5. Let v(k) = 4*k + 2. Let w be v(12). Let z be (5/w)/(1/(-4)). Are x and z equal?
False
Let o be (-8)/((4/(-6))/1). Suppose -o = -4*c + c. Suppose 0 = c*t - 8. Is 8/7 at most as big as t?
True
Let j(g) = -g + 5. Let h be j(0). Let u be (1/(-3))/(h/6). Suppose -2*b - 5*w + w = -2, -b - 4*w = -3. Which is bigger: u or b?
u
Let l = 0.14 - -0.76. Let p = 0.1 + l. Do p and 0.06 have different values?
True
Suppose -2*a + 3 = -q, -8 = -4*a - 5*q - 37. Which is smaller: -3/13 or a?
a
Let n be (-6)/9 + (-32)/6. Let d be 3/n - (-12)/(-40). Suppose -4*s = -s. Is s greater than d?
True
Suppose 15 = -5*l - 0. Suppose -q - 2*u = -9, q = -4*q + 5*u - 30. Does l = q?
False
Let o(f) = 16*f - 1 + 2*f**2 + 0 - 1 + 4. Let z be o(-8). Does 8 = z?
False
Let c = -3 - -7. Suppose -c*h + 0*h = 0. Suppose h*p - p = 1. Which is greater: 0 or p?
0
Suppose -5*z + 3*z = -8. Let h be (z/10)/((-1)/(-2)). Suppose -d = -4*n - 0*d + 11, -5*n + 2*d = -16. Is h at least n?
False
Let a = 1 - 2. Which is bigger: -2/27 or a?
-2/27
Let h = 0 + 11. Let u = h - 11.1. Is -2 smaller than u?
True
Let s = -42 - -41. Which is smaller: s or 2?
s
Let k = 12 - -7. Which is smaller: k or 0.3?
0.3
Let u = 17 - 17.05