r j?
-1
Let i = -57 + 59. Which is bigger: 1 or i?
i
Suppose 54*r + 96 = 46*r. Which is greater: -10 or r?
-10
Suppose 2*o = o + 2. Suppose -3*b = h + 6, -3*h - 3 - 1 = o*b. Suppose h = 4*t - t - 9. Which is greater: 2 or t?
t
Let t = 363/5 - 73. Is -0.01 at least as big as t?
True
Suppose -4*s - 54 = 42. Is -24 at most as big as s?
True
Let z = -44 - -27. Are -18 and z unequal?
True
Let s = -0.01 + -0.09. Let t = 4 - 2. Which is smaller: s or t?
s
Suppose 27 = 5*c - 4*n, 2*n + 12 = 2*c - 0. Which is smaller: 1 or c?
1
Suppose 2*l + 2 = 4*l, 3*o = l - 1. Let r = 7 + -4. Suppose -r = p - o. Do -3 and p have the same value?
True
Let j = 2.2 - 2.7. Let k = 0.3 + j. Is -1/3 <= k?
True
Let k(q) = -35*q**2 - 3*q. Let v be k(-1). Is -100/3 at most as big as v?
True
Suppose 0*m = 2*m + 8. Let s(d) = -2*d - 6. Let b be s(m). Suppose 7*y - 5 = 2*y. Are y and b equal?
False
Let g(q) = -q**3 + 6*q**2 - 4*q - 6. Let y be g(5). Does y = -2/57?
False
Suppose -14*a + 15 = -17*a. Is a <= 6?
True
Let w be 3/(-3 + 0) - (-12)/(-4). Is -4 at most as big as w?
True
Let p = -0.38 - -0.48. Do 4 and p have different values?
True
Suppose o - 5*v + 29 - 9 = 0, 8 = 2*v. Suppose w - 3*w + 6 = o. Suppose -3 = -w*h + 4*f, 2*h - 2 = 4*f - 3*f. Which is greater: h or 1/2?
h
Let d = 0 + -0.1. Let s = 3 - -1. Is s at least as big as d?
True
Let x = 2/33 - 91/957. Is 0 at most x?
False
Suppose 3*o = -4*i + 27, 0*i - 11 = -2*o - 5*i. Suppose -4*f - 27 = o. Let r = -30 + 21. Are f and r unequal?
True
Suppose 6*d - 5*r = d + 75, 0 = -5*r + 25. Is d less than or equal to 21?
True
Let s(o) = 3*o. Let k be s(-3). Let v = k + 4. Let f be (-2 + v/(-2))*-10. Is f less than or equal to -4?
True
Let m = -113 + 118. Is 5/2 less than m?
True
Let f = -1.875 - 0.125. Which is bigger: f or 8/5?
8/5
Let s = 28.6 + -28. Let l = s + 0.4. Which is smaller: l or 1/10?
1/10
Let x be (-1 - 14)*(2 + (-112)/12). Is x smaller than 110?
False
Let i be 4/10 + (-190)/(-25). Does 8 = i?
True
Let b = 608 + -25535/42. Which is bigger: 0 or b?
b
Let f be (2/44)/(2/(-8)). Let c be 2/(((-4)/1)/12). Let d(x) = -x**3 - 5*x**2 + 6*x - 1. Let q be d(c). Is q not equal to f?
True
Let j(f) = -f**2 - 8*f + 5. Let b be j(-7). Let t be (b/(-105))/(2/10). Does t = 0?
False
Let t be 2/6 - (-22)/6. Suppose 2*l = -4*z + 40, -3*z - t*l + 32 = z. Is z greater than or equal to 12?
True
Let q(a) = -a**3 - 5*a**2 + 2*a + 7. Let j = 7 - 12. Let h be q(j). Let i be 5*(36/(-15) + 2). Are h and i non-equal?
True
Suppose 3*x - 3*w = 15, 2*w - 3*w + 19 = 5*x. Let t = -5 + x. Is t > -1/16?
False
Let y = -7/4 + 41/28. Let f be 2/4*(3 + -3). Suppose -2*v + t = 9, -3*v + 5*t = -f*v + 31. Is y at most v?
False
Let n = -0.066 + -9.934. Which is bigger: n or 0.4?
0.4
Let n be (-35)/15 - (-4)/12. Which is bigger: -4/5 or n?
-4/5
Let x = -15 - 27. Is x > -43?
True
Let l(u) = u**3 - 15*u**2 + 27*u - 3. Let g be l(13). Is 9 at most as big as g?
True
Suppose -2*a + 5 = -5*m + 3*a, 4*m - 3*a = -4. Let f(s) = s**2 + 13*s + 9. Let r be f(-12). Does r = m?
False
Let n(f) = 2*f**2 + 2*f + 2. Let v be n(-2). Let t be ((-3)/v)/((-3)/24). Suppose t*b - 1 = 3*b. Are 1 and b unequal?
False
Let x = -424 - -423.819. Is -0.1 less than x?
False
Let z = -69 - -76. Which is greater: z or 11?
11
Suppose 2*u - 21 = -25. Let o be (1 + 1 - 3)*4. Let y = o + 3. Is y < u?
False
Let j = -0.1 - -0.6. Let g = 11/9 + -14/9. Which is bigger: j or g?
j
Let y be 309*(-2)/153 - -4. Is 1 bigger than y?
True
Let n(v) = v**2 + 3*v - 11. Let b be n(-5). Is 5/16 greater than b?
True
Suppose 20 = 4*a, -4*c - 26 = -6*a + 4*a. Let q = 17 + -18. Is q less than c?
False
Let n be (-4)/8*(-7 - 1). Suppose 0 = -3*g - 2*d - 5, g - 3 = n*d - 0. Which is bigger: -2/7 or g?
-2/7
Let y be 472/(-24) - 2/6. Is y >= -2/5?
False
Suppose -4 = -3*i + 2*i. Suppose 2*y + i = -0. Is -4/7 < y?
False
Let n be 3/(-9) - (-787)/2367. Let r = n + 536/11835. Is r greater than or equal to -1?
True
Suppose 5*c - 103 = -3*j, -j - 4*c + 35 = 10. Is j >= 41?
True
Let d = 4 - 0. Suppose -2*v = -0*v - 6. Which is smaller: v or d?
v
Let k = -7 + 11. Suppose -3*b + 14 = 3*o + 35, k*o - 3*b = -7. Let i = 16 + -20. Is i at most as big as o?
True
Let m be (1 - -2) + 4 + -3. Let y(n) = n**2 + 3*n + 1. Let i be y(-4). Do i and m have the same value?
False
Let y be 9/6 + (-1)/2. Which is smaller: -6 or y?
-6
Suppose 0 = 2*c - 7 + 1. Suppose 2*w = 8, d = 2*d + w - 5. Which is smaller: d or c?
d
Let q(d) = d**3 - 5*d + 2. Let l be q(3). Let z be (-2)/(-7) + (-32)/l. Let a be (-30)/8 + (-9)/36. Is a less than z?
True
Let a = -2.1 + 2. Let x = -12 + 11. Is x at least a?
False
Let d(c) = -c**2 - 15*c - 6. Let y be d(-14). Which is bigger: y or 7?
y
Let m be 2 - (-74)/(-14) - 32/(-112). Let c be -1 - (7/2 - 2). Which is smaller: c or m?
m
Let c(n) = -n**3 - n**2 - 5. Let x be c(0). Is x at least as big as -6?
True
Let m = -0.6 + 0.6. Let t = m - 3. Which is smaller: t or -1?
t
Suppose 2*f - 3*a - 37 = -13, -3*a + 81 = 5*f. Let c be -15*1*(-6)/f. Let v = 7 - c. Is -2/11 at most as big as v?
True
Let i(w) be the second derivative of -w**3/6 + 2*w**2 + 2*w. Let g be i(6). Let a be (1/g)/(12/8). Is a <= -1?
False
Let r = -3 + 7. Suppose r*m = m + 12. Suppose m*b - 6 = -2. Which is bigger: -2/5 or b?
b
Suppose 4 + 7 = b. Is b at least as big as 11?
True
Let y be (4/(-8))/((-1)/6). Suppose 3*j - 14 = 2*u, -3*j = y*u - 0*u + 6. Suppose -5*a = -0*a. Which is smaller: a or j?
a
Let n = -30 + 13. Is n smaller than -0.1?
True
Suppose d + 0 = -3*w + 1, -2*w = -d - 4. Which is greater: w or 4/3?
4/3
Let h = 15 - 14. Let u = 0 - 1. Let z = u + 0. Is h != z?
True
Let u be (-991)/15 + (-2)/6. Suppose -y - 132 = y. Let h = u - y. Which is smaller: -1/3 or h?
h
Let c = -6.3 - -7.3. Which is smaller: 1/2 or c?
1/2
Let t = 938/285 - -4/95. Which is smaller: t or -2?
-2
Let l = -407/7 + 58. Are -1 and l non-equal?
True
Let h = 0.35 - 0.05. Let r = -0.2 + h. Let b = 19/6 + -7/2. Which is smaller: r or b?
b
Let k = 6666 - 60134/9. Which is smaller: k or -15?
k
Suppose -f + 4*w = -6, 0 - 3 = 3*w. Suppose 0 = -5*m + f*x + 29, 0*m - 5 = -2*m + 3*x. Is 8 > m?
True
Let b(g) = -g**2 + 4*g + 4. Let a be b(5). Let o be (0 + a)/((-6)/4). Which is smaller: 0 or o?
0
Let g be 2/(-13) - (-8192)/1872. Let j = -107/36 + g. Which is smaller: j or 2?
j
Let s be (-3 - -2)*(-30)/(-33). Is -1 at most as big as s?
True
Let g be (786/28)/(1/(-4)). Let t = g + 112. Is t >= 2/7?
False
Let m(s) = -s**3 + 9*s**2 + 10*s + 8. Let v be m(10). Is 8 at least v?
True
Let x be (-498)/(-5) + 2/5. Let n = 1001/10 - x. Is 1 >= n?
True
Let a be 2/((-1 - (3 + -6))*-1). Do -6/35 and a have different values?
True
Let v = -1 - -3. Let a = v + -1. Suppose -f - 7 = -4*s, 0 = -2*s + 3 + a. Which is greater: 1/2 or f?
f
Suppose 5*t = 2*t - 4*j - 20, 3*j + 26 = -5*t. Which is greater: t or -5?
t
Suppose 3 = -3*t - 12. Which is greater: 1/12 or t?
1/12
Let n = 1604 + -3307/2. Which is smaller: -51 or n?
-51
Let j be ((-12)/(-63))/((-14)/(-21)). Which is smaller: 0 or j?
0
Let o = 307/22 - 60/11. Is 10 at least o?
True
Let n(i) = i**2 + 5*i + 8. Let g be n(-6). Which is smaller: 0 or g?
0
Let c(x) = x. Let s be c(2). Let l = -94 - -131. Let k = l - 36. Which is smaller: k or s?
k
Let m be 13/3 - 8/6. Let c be (0 - 4)/2 + m. Which is smaller: -2/47 or c?
-2/47
Let o = 4 + -3. Let z = -21861/836 + 461/19. Let j = -18/11 - z. Which is smaller: o or j?
j
Suppose -5*k - 3*c = -20, 5*k - c - 25 = -5. Which is bigger: k or 6?
6
Let x(y) = 2*y + 1. Suppose -3*z = 4 - 1. Let b be x(z). Which is smaller: b or 3/10?
b
Let b be 1/(-1) + (-14)/(-18). Let r(j) = -3*j - 2 - 2*j + 4*j. Let g be r(-2). Which is smaller: b or g?
b
Suppose 2*c - 5 = -5*p + 7*c, 0 = p + 5*c + 5. Let z = 0.2 - 0.15. Let b = z - -0.35. Which is bigger: b or p?
b
Let h = -9 - -11. Let y be 2/(-6) - 13/(-3). Is y less than or equal to h?
False
Let v be 15/10*10/3. Suppose -5*c + 15 = 5*t, 4*t + v*c - 5 = 12. Which is smaller: t or 0?
t
Let y(j) = -j**2 + j - 1. Let l be y(0). Let d = l + 1. Let k = -1 + d. Is k at most as big as 0?
True
Let v = 25 - 24. Which is greater: v or -0.01?
v
Suppose -96 = -5*o + x - 0*x, 2*o + 4*x - 56 = 0. Let h be (42/105)/(2/o). Is 4 at most h?
True
Let k = 38 - 10. Let f be (-4)/14 - (-120)/k. Suppose 0 =