
True
Let j be 4 - 2 - ((-1510)/(-255) - 4). Which is smaller: -1 or j?
-1
Let f be (5/10)/(1/10). Suppose 0 = -f*u + m + 44, -4*u = u - 2*m - 43. Suppose -3*x - u = -3*b, 3*x - 5*x - 2*b + 6 = 0. Is 0 <= x?
True
Suppose 44 = 6*n - 2*n. Let l = 9 - n. Is -2 greater than or equal to l?
True
Suppose -4*c - 2*t + 6 = 0, 5*c = -2*t + 4 + 1. Let a = c - -1. Let k be 5/60 + (-2)/6. Is k greater than a?
False
Let o(t) = -t**3 - 33*t**2 - 60*t + 54. Let f be o(-31). Suppose -27 - 23 = 3*r + 4*v, 5*r = v - 45. Is r <= f?
True
Let k = -11 - -11. Let r = 0.6 - k. Let l = -0.6 + r. Is 0.01 at most as big as l?
False
Let a(f) = f - 4. Let i(o) = o - 3. Let h(q) = 5*a(q) - 4*i(q). Let c be h(8). Let b be 42/(-38) - (0 + -1). Which is smaller: c or b?
b
Suppose 2*s - 4*s - 5*y = -8, 4*y = -4*s + 4. Which is smaller: 3/17 or s?
s
Suppose 83*k = 80*k - 9. Do 0.13 and k have different values?
True
Suppose -5*n = -3*a + 23, -2*n - 75 = -5*a - n. Suppose -4*u + 0*u + 14 = s, -5*u + a = 2*s. Let l be (-10)/(-25) + s/5. Is l equal to -1?
False
Let k be 1079/(-221) + (-2)/17. Let f = 5 + -1. Let h(s) = s - 8. Let c be h(f). Are k and c non-equal?
True
Let j(k) = k**2 - 9*k - 4. Let z be j(10). Suppose 4*x - z*x = -d - 3, x - 5 = 4*d. Is d at most -2?
False
Let y = -131 + 85. Do -2 and y have different values?
True
Suppose 14 = -5*h - 3*r, 0 = 3*h - 5*h - 2*r - 8. Let p = -0.1 - 0.1. Which is bigger: p or h?
p
Let r(o) = o + 3. Let j(d) = 1. Let y(a) = j(a) + r(a). Let i(u) = -u**3 - u**2 - u - 7. Let m be i(0). Let w be y(m). Is -3 less than or equal to w?
True
Suppose 2*d + 10 = 4*d. Suppose 5*c - d = 0, -o + 5*c = o + 7. Suppose -p = 2*p. Which is smaller: p or o?
o
Suppose 20 = 4*y - 8*y. Let n = y + 5. Which is greater: -1 or n?
n
Suppose 3 = -9*w + 10*w. Which is smaller: w or 11/5?
11/5
Let a(j) = 3*j**2 + 2*j - 1. Let y be a(1). Let d(n) = n**2 - 2*n + 2. Let p be d(y). Is p >= 10?
True
Let h = -4 - -9. Suppose h*d - 112 = d. Let b be (-2)/7 + 8/d. Is 1 bigger than b?
True
Suppose -5*l = -34 - 21. Let h = 7 - l. Let g = 1 + h. Is g != -3?
False
Let f be 2/(-1) - 17/(-8). Let h(r) = -1 + 6*r + 2 + r**2 - 3 + 1. Let u be h(-6). Are f and u unequal?
True
Let j = 0.87 + -0.8. Let b = 7/15 + 1/5. Is b > j?
True
Let i(p) = -p - 4. Let u be i(-5). Which is bigger: 2/23 or u?
u
Let p be (0 - (-1 - -1)) + 2/2. Let i be (2/(-9))/((-2)/(-4)). Do p and i have the same value?
False
Let x be (-35)/4 - (-9)/12. Let q be ((-2)/(-18))/(x/(-84)). Which is bigger: q or 2?
2
Let m = 2.329 + -0.029. Let s = -0.7 - m. Which is smaller: 0 or s?
s
Suppose -7 = 5*p - 2. Let m be (-3)/(-15) - 12/15. Is p greater than or equal to m?
False
Let j be (1 - 9) + (7 - 5). Let x be j/8*3/(-9). Which is greater: x or -1?
x
Let g(d) = d**3 - 8*d**2 + 7*d + 4. Let h be g(7). Suppose -3 = h*b + 1. Which is bigger: 0 or b?
0
Suppose -r = 5*d + 9, -4*r + 5*d + 7 = -7. Let t = 4 - r. Suppose -9 = -b - 7*q + t*q, -9 = b - 2*q. Which is greater: 1 or b?
1
Suppose -2*d = 523 - 35. Let h be (2/d)/((-16)/1528). Let r = 2/61 - h. Which is smaller: 0.1 or r?
r
Let r = 65 + -84. Is -17 bigger than r?
True
Let o = -92 + 87. Which is smaller: o or 3?
o
Suppose -5*w + 29 + 16 = 0. Let h = -120 + 129. Is w at least as big as h?
True
Let h = 33 - 25. Which is greater: h or 10?
10
Let w = -5 - -8. Suppose w = -2*q - q. Is 0 at least q?
True
Let h = 100 + -62. Let f = -53 + h. Are -16 and f non-equal?
True
Suppose 4*l + p = -51, -2*l + 3*l - 4*p = 0. Let q(w) = w**2 + 7*w + 2. Let n be q(-5). Let f = n - l. Is f >= 4?
True
Let z = -37 - 93. Let w be z/35 - 4/14. Is -2/3 bigger than w?
True
Let a(u) be the second derivative of -u**4/24 - 5*u**3/6 - u**2/2 + u. Let o(c) be the first derivative of a(c). Let i be o(-5). Which is smaller: 2/9 or i?
i
Let h = 17 - 16. Which is smaller: h or -1?
-1
Let l = 294 - 168. Which is bigger: l or 0.1?
l
Let t = -1/35 + 37/70. Is -4 > t?
False
Let d = -10/1279 + 125392/6395. Let q = -54 + 34. Let r = d + q. Are 0 and r nonequal?
True
Let o = 845/9 + -94. Is 0 at most as big as o?
False
Let d = -4 - -8. Suppose -7*u + 66 = -d*u. Let b = 64/3 - u. Is -4 >= b?
False
Suppose 2*y - 3*q = -q + 6, -5*y + 3*q + 17 = 0. Let t = y - 3. Let m be (-3)/18 + 2/4. Are m and t equal?
False
Let c be (-2 + 1)/(4/4). Which is smaller: c or -1/6?
c
Let z(m) be the first derivative of -m**3/3 + m**2/2 + 4*m + 1. Let i(t) = -t**2 + 7*t - 3. Let p be i(6). Let b be z(p). Which is smaller: 0 or b?
b
Let k = 5 - 5. Let z = -0.1 + k. Does z = 5?
False
Suppose 4*w - 6*w = -4. Let c be -1*2*w/(-4). Is c at least 1?
True
Let w be -23 + 3/(-2 + 5). Let p = w + -23. Let t be (0 + 1)/(p/(-10)). Which is smaller: 1/3 or t?
t
Suppose 8 = -3*c - c. Let z(b) = -b + 1. Let h be z(c). Which is smaller: 1 or h?
1
Let x(z) = -2*z**2 + 24*z - 27. Let p be x(14). Which is bigger: p or -82?
-82
Let k = 29 - 33. Is -4 >= k?
True
Let f = 1529.86 + -1516. Let x = -0.14 - f. Is x less than or equal to -0.1?
True
Suppose -2*y = 0, y + 22 + 0 = -2*x. Let n = 10 + x. Which is greater: n or -2?
n
Let n be 2/(16/6 + 2). Suppose 2*l + 0*c + 1 = c, l + c = 1. Which is bigger: l or n?
n
Let i = 32410/3 - 10710. Let y = i - 91. Which is greater: 3 or y?
3
Let d = 0.1 + -0.03. Which is bigger: d or -1?
d
Let s be (-12)/2*(-2 - -1). Let y = -87 - -129. Suppose -4*m = -y + 18. Is m < s?
False
Let m be (-2)/(-3*8/228). Is m at least 18?
True
Let b = -275 - -4677/17. Is b greater than or equal to -2?
True
Let y(n) = n**2. Let r be y(1). Suppose -5*t + 15 = -15. Let b = t + -5. Is b != r?
False
Suppose 15 = 5*c + 5*a, 0*c - 2*a = -2*c + 10. Is 3 >= c?
False
Let a = 3 - 5. Let t(s) = s**3 + 5*s**2 - 5*s + 5. Suppose -2*u + 3 = -3*k, -20 = -0*k + 4*k. Let x be t(u). Which is smaller: x or a?
a
Let j(i) = i**2 + 6*i - 7. Let s be j(-7). Suppose -5*f + 18 = 2*w - f, s = 4*w - 2*f + 14. Let p(d) = 2*d**2 + 2*d + 1. Let c be p(w). Is 0 less than c?
True
Let g = -6 - -1. Is g greater than -2?
False
Let h(v) be the first derivative of -v**3/3 - 7*v**2/2 + 3. Let m be h(-7). Are -2 and m equal?
False
Let m be ((-504)/770)/(4/(-10)). Which is greater: 3 or m?
3
Let z(g) = g**3 - 5*g**2 + 4*g + 3. Let q be z(4). Suppose -8 = 4*c + q*o, 4*o + 18 = 5*c - 3*c. Do c and 1 have the same value?
True
Suppose -5*g = -5, 4*v - 14 - 9 = -3*g. Suppose v*z - 5*b + 11 = -19, 5*b - 3 = -4*z. Let y = 16 - 18. Which is greater: z or y?
y
Let h = -6.05 + 6. Let v = h - 0.05. Let t = -1.2 - -3.2. Which is smaller: v or t?
v
Let f = -0.48 - -19.48. Let s = f + -19. Which is smaller: -0.07 or s?
-0.07
Let d be (-6)/4 - 2/(-4). Which is bigger: d or -5?
d
Let f = 3 - 2.9. Suppose 0*y + 5*y + 20 = 0. Which is bigger: y or f?
f
Let o = -60 - -59. Is -5/4 >= o?
False
Suppose 0 = 5*a - 3 + 68. Let w = a + 9. Let n = w - -4. Which is greater: -1/3 or n?
n
Let c be ((-2)/4)/((-2)/12). Let s(x) = -x + 7. Let i be s(c). Suppose i = b + 3*b. Which is bigger: b or 2/13?
b
Let k be (-6)/16*867/(-63). Let r = -39/8 + k. Is r at least -1?
True
Let l = 0.11 - -5.02. Let r = -0.13 + l. Which is bigger: -1 or r?
r
Let a(l) = -l**2 + 9*l + 23. Let g be a(11). Is -5/14 equal to g?
False
Suppose -m + 5*z = -20, m - 2*m + 4*z + 16 = 0. Let s be 2/(-1 - -3) - 1. Is s < m?
False
Let j(q) = 7*q**3 + 7*q**2 + 3*q - 15. Let l(b) = 4*b**3 + 3*b**2 + 2*b - 8. Let i(s) = -3*j(s) + 5*l(s). Let t be i(-6). Is -1/9 >= t?
True
Let c = 2.1 + -2. Let f be (-1 - -3) + (-5 - 0). Let w be (8/42)/(2/f). Is c at least as big as w?
True
Let z be 3 + 2/(-4)*2. Suppose -2 = 2*k - z*c + 4, 4*k - 2*c = -16. Are -1/3 and k equal?
False
Suppose -3*r + 6*r = 15. Let f = r - 5. Is 1 smaller than f?
False
Let p = -15 + 14. Let x = 3 - 1. Let l = x + -3. Is l at least as big as p?
True
Let f = -3 - -7. Suppose -2*l + 5*z + 13 = -f*l, -5*l + 14 = -3*z. Which is greater: -1/4 or l?
l
Let f = -2425/11 - -221. Let r be (-4 - 8*-1) + -2. Is f at least as big as r?
False
Let l = -0.28 - -0.21. Which is greater: -6 or l?
l
Let b = -14 + 13.93. Suppose 3*t - 2*n = 2*t, 3*t + 5*n = 0. Is b >= t?
False
Let b(x) = -x - 9. Let h be b(-7). Let g(v) = -v**3 + 4*v**2 + v + 1. Let s be g(3). Suppose -2*n + 4*q = -5*n - s, 2*q - 1 = n. Is h at most as big as n?
False
Let i = 1 - -4. Suppose -4*q = i*z - 7 - 17, q = z - 3. Let a = -3