
Let d be (2/6)/(4/(-3)). Let f = 3 + -3. Suppose f = -4*o - 2 - 2. Which is greater: o or d?
d
Let x = -14.5 + 14. Let l = x - -0.4. Is 0.1 > l?
True
Let j be 7/(-5) - (-4)/10. Let m(q) = q + 3. Let v be m(-5). Do v and j have different values?
True
Suppose -7*n = -4*n. Suppose -2*w - 25 = -m + 3*w, n = -4*m - 5*w - 25. Let j be 0 + m + 2 + -5. Which is bigger: -4 or j?
j
Let l(n) = -n**3 - 5*n**2 + 3*n + 3. Let o be l(-6). Let w be (-8)/o + (-4)/(-6). Which is smaller: 1 or w?
w
Let k = -11 - -11. Let s be (-21)/7 - (k + -12). Let h be (-15)/36 + 6/s. Are h and -5 unequal?
True
Suppose 0 = -b - b. Suppose d + 1 = -b. Which is bigger: d or 1/4?
1/4
Let w = -35/24 + 11/6. Is w <= 0?
False
Suppose 3*r - 4*i = r + 22, -5*r + 27 = -3*i. Suppose -5*n - 598 = 2*v, 4*n = -7*v + r*v - 476. Let z = n - -602/5. Is 0 <= z?
True
Suppose 7*y - 5*y = -2. Let d be (3 - 5) + y + 2. Which is smaller: d or -6?
-6
Let m(n) = n**3 + 4*n**2 - 6*n - 1. Let a be m(-5). Suppose -5*t - a*s = -7, -6*s = 5*t - s - 5. Which is greater: 2 or t?
t
Let a = -7 + 12. Suppose 2*y - a*y = -15. Are y and 5 equal?
True
Let j = -25 + 23.04. Let u = 0.04 - j. Let i = 46/5 - 179/20. Which is smaller: u or i?
i
Let a(f) = -f - 5. Let z be a(-5). Which is greater: -2 or z?
z
Let x = -4 - -6. Suppose 3*q - 2*o - 20 = 20, -x*q = 3*o - 18. Suppose 4*c = -q, -4*w = 5*c - 3*c + 18. Is w at least -2?
False
Let k(o) = 3*o**3 - 10*o**2 + 11*o - 4. Let z(b) = 4*b**3 - 11*b**2 + 12*b - 5. Let t(y) = -5*k(y) + 4*z(y). Let u be t(-7). Does -2/11 = u?
False
Let z = -2 + -6. Let k = -16 + 4. Let f = z - k. Which is smaller: -0.1 or f?
-0.1
Let i be (-4)/(-14) - (-384)/28. Let o = i - 16. Does -1 = o?
False
Let d = -3/17 - 47/119. Let u(g) = -g**2 + 7*g - 6. Suppose t + 12 = 3*t. Let y be u(t). Which is smaller: y or d?
d
Let r be 12/5 + 4/(-10). Let d be r - (2 - 3/(-9)). Which is smaller: -1 or d?
-1
Let w be -4 + 1 - ((-13)/1 + 0). Is w >= 46/5?
True
Let s be (-132)/(-9) + ((-21)/(-9) - 3). Which is smaller: -2 or s?
-2
Suppose 6 = 3*l - 6. Let p be l/10 - 126/(-10). Suppose 5*y + 13 = -7, -4*y = 3*f + p. Does 1/2 = f?
False
Let d = 43/138 + 1/46. Is 1 greater than or equal to d?
True
Let j = 2335/32 + -73. Is j <= -1?
False
Let z be 15/(-21) - (92/28 - 3). Is z <= -6/17?
True
Let a(f) = -f**3 - 3*f**2 - f + 5. Let g be a(-4). Are 25 and g equal?
True
Let z = -15 - -2. Suppose -f - 1 = -8. Let i = z + f. Is -6 > i?
False
Let f = -52 - -13. Let b be (-3)/(f/(-21) - 2). Suppose 3*h = -3*u - b, -2*h + 2*u - 9 = 3*u. Is h bigger than -3?
True
Let w(g) = -2*g**2 - 3*g - 8. Let x be w(-7). Is -85 not equal to x?
False
Let u be (-6)/(-10)*2/(-3). Let w = 13.63 - 1.23. Let b = 12 - w. Does u = b?
True
Suppose 2*b - 5*h + 11 = 0, 4*h = 3*b + 2*b + 2. Suppose 0 = 3*x - 0*x - 9. Suppose -3*s + 6 = x*y, 2*s - 16 = -2*y - 3*y. Which is smaller: y or b?
b
Let t(r) = r**2 + 14. Let a be t(0). Suppose 2 = -4*k + a. Let x = -6 + 9. Do k and x have different values?
False
Suppose -15 + 22 = -7*x. Let c = 2 + 1. Let k = -6 + c. Is k > x?
False
Let b be (2/3)/((-10)/(-105)). Let t be (-2)/(-7) - (-5)/b. Which is greater: 1/3 or t?
t
Suppose -16*s - 105 = -9*s. Suppose -39 - 41 = 5*f. Is f at most s?
True
Suppose -2*d - 3*h = 15, 0 = d + 2*h - h + 6. Are d and -2 equal?
False
Let w be 14/(-3) - (-2)/(-6). Suppose -5*v - 118 - 157 = 0. Let x be (-1)/(-2) - v/(-10). Is x smaller than w?
False
Let k be (-2 - (-2 - -1))*-46. Which is greater: k or 47?
47
Let n = 0.17 + 0.01. Let p = 0.08 - n. Which is greater: p or 6?
6
Let m = -5/716 - 435303/3580. Let d = m - -122. Is -0.09 != d?
True
Let l be 6/6 - (2 + -1). Which is smaller: -1/69 or l?
-1/69
Let o = 100 + -902/9. Which is bigger: 0 or o?
0
Let y(o) = o**3 - 2*o**2 - 7. Let s be y(3). Is s < 7/3?
True
Let i = -0.2 + 0.3. Let a = 0.7 + i. Let k = a - -0.2. Which is smaller: 1/2 or k?
1/2
Let y = -5/3 - -1/6. Which is smaller: y or -0.3?
y
Let v = -65323/83 + 787. Which is smaller: 0 or v?
v
Let i(c) = 2*c + 9. Let y be i(-6). Suppose 7*f - 4*f = -6. Is y equal to f?
False
Let f = 5 - 5. Let d = f + 0. Suppose 0 = 4*o - 3*o. Is o less than d?
False
Let v = -23 + 16. Let k = v - -6.9. Let m = k + -3.9. Is m smaller than 1?
True
Let f = 1.99 - -0.01. Let x = -1.9 + f. Which is smaller: -1/3 or x?
-1/3
Let y = -182/9 - -4240/207. Which is bigger: y or 2/5?
2/5
Let y = -1319/10 + 132. Which is bigger: -1 or y?
y
Let s be -6 + 10 - 2*1. Let z = -1 + 5. Suppose 1 = -2*p + s*f + 3, p - 10 = z*f. Which is greater: 0.1 or p?
0.1
Suppose 17*o - 54 = 11*o. Are o and 1/3 nonequal?
True
Suppose 0 = 2*f + f. Suppose 2*m + 4 = f, -v - 20 = -6*v + 5*m. Let a be 4*(1/4 - 2/12). Which is greater: v or a?
v
Let s = 2 + -7. Is -5 > s?
False
Let i(l) = -l**3 + 7*l**2 - 9. Let f be i(7). Which is greater: -10 or f?
f
Let c be (-1 - -2)/(-11)*(3 - 1). Is c <= 1?
True
Suppose -27 = w - 5*s - 10, w = -2*s + 18. Are 28/3 and w equal?
False
Let n = 0.33 + -0.23. Which is bigger: n or 21?
21
Let g(r) = -3*r**2 + 4*r + 1. Let p be g(-2). Which is greater: p or -21?
p
Let o = -26/105 - 3/35. Which is bigger: 1 or o?
1
Let m = -0.59 - 0.11. Let c = m - -0.4. Do -1 and c have different values?
True
Suppose -2*z + 159 + 203 = 0. Let k = -101884 - -711915/7. Let r = z + k. Is -2 greater than r?
False
Let r = 7 - 9. Let o(b) = b + 3. Let f be o(-4). Let d be (f/6)/((-2)/8). Is d at most as big as r?
False
Let t = 0.05 + -0.17. Let v = -0.78 + t. Let d = -0.1 + v. Which is bigger: -0.1 or d?
-0.1
Let l(i) = 2*i + 2. Let o be l(2). Let q = -4 + o. Suppose 0 = -2*n + 4*n - q. Is 1 at least as big as n?
True
Let r(s) be the second derivative of -1/4*s**4 + 0 - s**2 + 1/20*s**5 - 2*s + 1/2*s**3. Let g be r(2). Is g > -1?
True
Suppose -40 = y + 5*w, 5*y - y - 5*w = -60. Which is smaller: y or -19?
y
Suppose -1 = 3*v - 4*v + d, 4*v = 2*d. Do 0 and v have different values?
True
Let a(r) be the first derivative of -r**2/2 + 4*r - 4. Let m be a(3). Is -1/9 smaller than m?
True
Let t(f) = f**3 - 3*f**2 + 3*f - 2. Let u be t(2). Which is smaller: 2 or u?
u
Let c be (3/(-2) + 2)*4. Let x be 0/3 - (0 - c). Let j be (1/2)/((-1)/x). Which is smaller: -1/15 or j?
j
Let i = -11 - -6. Suppose 1 + 5 = -m. Which is smaller: i or m?
m
Let r(n) = -n**2 - n - 1. Let s be r(0). Let u(l) = -12*l - 6. Let z be u(5). Let x be -2 + (-20)/z*6. Are x and s equal?
False
Let z be -2 + -2 + 1 + 1. Suppose 4*d = 2*d + a + 5, 5*d + 4*a + 20 = 0. Which is greater: z or d?
d
Let f be (-7)/(-70) + (-2)/(-5). Which is bigger: f or 0.1?
f
Let d be (-27)/36 - (-75)/116. Let t = d + 35/58. Which is greater: -7 or t?
t
Let z = -0.5 - -0.65. Does -1/2 = z?
False
Suppose -4*n + 4*t - 12 = 0, -3*n - 3*t = 2*t - 15. Let s = -85 - -86. Which is smaller: n or s?
n
Let g = -127 - -148. Which is smaller: 15 or g?
15
Let h be 3 + 0 - 6680/(-44). Let z = h - 155. Is 0 at least as big as z?
True
Suppose 0 = o + 96 - 20. Let a = -7843/96 - -225/32. Let i = o - a. Do -2 and i have the same value?
False
Suppose l - 8849 = -3610. Let t = 15575/3 - l. Let j = -48 - t. Are j and -3/4 nonequal?
True
Let r = 1/59 - 127/531. Suppose -4*n = o + 14 + 1, -o = -n - 5. Is r at least as big as o?
False
Let z be 15 + -15 + (-3)/(-4). Is -1/2 at least z?
False
Let z = 2 + -5. Let v be (4/z)/(8/48). Is v equal to -8?
True
Suppose 4*f + 4*x - 28 = 0, -2*f + 20 = -x + 5*x. Suppose -6*b + b - 29 = f*u, 0 = 4*u + b + 9. Let s = -1 - u. Which is bigger: s or 2?
2
Let g = -11 - -10.2. Let r = 0.8 + g. Suppose 5*w = 4*v - 3*v - 26, 2*v - w - 7 = 0. Which is smaller: v or r?
r
Let d be (-88)/20 - (-2)/5. Let o(u) = -2*u - 2. Let y be o(d). Which is bigger: y or 7?
7
Let v = -80 + 129. Which is greater: v or 1?
v
Let x be 70/(-22) + 3 + 0. Let q = 32/55 + x. Which is bigger: q or 0?
q
Suppose 5*m - 25 = -y, -3*m - 2*y = -10 - 5. Suppose -m*f = -0*f - 30. Suppose 6*n - 21 = 3*n. Is n bigger than f?
True
Let r = 326848 + -12748082/39. Let y = r - -73001/2730. Let p = 23/14 - y. Is 2 < p?
False
Suppose -5*x = 3*i - 22, -2*x + x + 6 = i. Do -6 and i have different values?
True
Let i = -0.06 - -0.06. Let x = 4 + i. Let l = -2 - -1. Is l bigger than x?
False
Let r = 7 - 2. Suppose -r*d + 5 + 3 = -2*t, 0 = -5*t + 3*d - 1. Suppose 3*f = f. Is t at least as big as f?
True
Let i = -2 + 2