 be (35/7)/((-2)/20). Which is greater: r or -51?
r
Let d(g) = 4*g - 25. Let y be d(5). Let s(r) = r + 1. Let t be s(0). Which is smaller: t or y?
y
Let u = 1 - -1. Let b = 2 - u. Let t = -52 + 51.7. Is t less than or equal to b?
True
Let f(k) = 4*k - 29. Let d be f(8). Let w = 4 - 0. Which is smaller: w or d?
d
Let d(q) = -q**3 + 6*q**2 + 7*q + 2. Let n be d(7). Let u = -13 + n. Which is smaller: u or -12?
-12
Let c = 13 - 8. Suppose 0 - c = -5*a. Does a = 1?
True
Let z = 13/465 - 5/31. Let k(i) = -i - 4. Let m be k(-7). Suppose -m*x + 3 = -0. Is z <= x?
True
Let p be 2/7 - (-30)/(-56). Which is smaller: 2/9 or p?
p
Let k = -0.11 + 6.11. Let a = k + -6. Let f = -1 + a. Which is bigger: 5/3 or f?
5/3
Suppose 8*f - 10*f = -90. Suppose -5*r = -10 - f. Suppose 0*s + x - 1 = 3*s, s - 3*x + r = 0. Is s != 0?
True
Let x be 10/(-4) + 2 + -1. Let m = -23/18 - x. Is 2/5 > m?
True
Let o = 10 - 6. Let j = 4 - -3. Let m = j - o. Which is smaller: m or 1?
1
Let q(f) = f**2 - 9*f + 4. Let d be q(9). Let b(r) = -d*r + 2*r - 2 + 4. Let x be b(2). Which is bigger: -1/2 or x?
-1/2
Let q = -0.3 + 0.6. Let f = -22 + 21. Which is bigger: f or q?
q
Let f = 249/4 - 62. Let p be ((-1)/((-1)/5))/(-1). Is p less than f?
True
Let l be (6/(-15))/(2/190). Let p be l/(-14) + 6/21. Is p <= 2?
False
Suppose 2*h - 13 = -5*z, -3*z + 3 = -0. Let f be (-4)/60 - h/(-10). Which is smaller: 1 or f?
f
Let w = 13 - 15. Which is smaller: -8 or w?
-8
Let w be (-1)/3 - (-3)/9. Suppose z - 3*z + 10 = -o, w = 5*z - o - 22. Let a be (-2)/z*(1 + 1). Which is greater: a or -2?
a
Let m be (-18)/(-8) - 6/(-8). Suppose m*c - 4 = -c. Which is smaller: c or 0.3?
0.3
Let l = -9 + 18. Let z = l + -4. Which is smaller: 4 or z?
4
Let q(l) = l**3 + 3*l**2 - 6*l - 6. Let w be q(-4). Suppose -w*n - 3*n = -85. Suppose -2*j - 3*v - n = 0, 3*v - v + 12 = -2*j. Which is greater: -1/4 or j?
-1/4
Suppose -11 - 1 = 3*l. Let f = l + 4. Suppose f = p - 0*p. Which is greater: p or 4/7?
4/7
Let a be ((-2)/2)/1*-3. Suppose -a*r = -4*r - 2. Let x be (-2 - -3)/(r/4). Is -2/3 greater than x?
True
Let o = 75 + -75. Is 1/71 smaller than o?
False
Suppose 2*b - c + 1 = -0*c, -c = -3*b - 1. Let i be 2*3/(-30)*1. Which is smaller: b or i?
i
Suppose -5*m = -2*f - 2*f + 14, 0 = 5*f + 2*m - 34. Let c(h) = -h**3 + 5*h**2 - 3*h + 2. Let v be c(4). Is f <= v?
True
Let n be 12 - 1 - (-5 + 2). Let o = 12 - n. Is -5/3 at most o?
False
Let l = 6 + -6. Is -6/7 >= l?
False
Suppose 0 = -0*s - 4*s + g + 1, -4*s + 5*g = -21. Let q = -5 - -8. Suppose q*f - 4 = 5*f. Is f smaller than s?
True
Suppose j - 2 = 0, 4*s = -2*j - 6 + 22. Is 1/2 equal to s?
False
Let y = -5.8 + 6. Let m = y + -0.4. Is m != -3/5?
True
Let j = -6 + 7. Let i = -1/5 + 7/10. Which is greater: j or i?
j
Let k(j) = -2*j**2 - 7*j - 3. Let o be k(-4). Is o greater than or equal to 1?
False
Let d(x) = 3*x**2 - 3*x - 4. Let f be d(3). Let v be f/2 + (2 - 1). Let p = -8 + v. Which is bigger: 0.2 or p?
0.2
Suppose -j - 3*n - n + 11 = 0, 0 = 5*n - 15. Is -7/4 != j?
True
Let y(z) = -4*z - 31. Let i be y(-11). Which is smaller: 14 or i?
i
Let a = 285 - 116. Let v = 162.1 - a. Let f = -7 - v. Which is smaller: -2/3 or f?
-2/3
Suppose -o + 4*o = -12. Let m be (2 - (1 + 0))/(-1). Let j be 0/(o - m) + 0. Is j at most as big as -3?
False
Let n = 45 + -44.91. Which is greater: -2/5 or n?
n
Let i = -2780/3 + 919. Let d = i + 167/21. Is d less than or equal to 0.1?
False
Let f be (2 - 4/(-2))*-1. Which is smaller: f or -18/7?
f
Suppose -2*y + 1 = -31. Let u = 31/2 - y. Let k = -3.08 - -0.08. Which is smaller: u or k?
k
Let j be (-591)/(-16)*-2 + -1. Let u = j + 75. Which is greater: 0 or u?
u
Let h be 2 + 1 + (-942)/318. Which is greater: h or 0?
h
Let n be 2/(-9) - (-48)/(-27). Let c(k) = k + 2. Let q be c(n). Is q greater than or equal to -2/5?
True
Let w = 36 + -48. Which is bigger: -10 or w?
-10
Let a be ((-12)/14)/(12/(-21)). Which is greater: -1/2 or a?
a
Let g = -22/19 - -139/38. Is 2 smaller than g?
True
Suppose 0 = -0*f + 4*f - 1200. Suppose 0 = 5*g - 0*g - f. Let y be 4/(-10) - 76/g. Are -3 and y unequal?
True
Let c be -3 - (0/3 + -4). Which is smaller: 3/11 or c?
3/11
Suppose -2*y + 8 = -14. Let b = -12 + y. Which is smaller: 2/9 or b?
b
Let z = -30 - -30.12. Does 2 = z?
False
Let w = -31 - -39. Which is smaller: 9 or w?
w
Suppose 3*t - 2*t = 3. Let c be 0/(t/3) + 12. Let a be 0*(-2)/c*-3. Is a equal to -1/12?
False
Let w be 1 + 0/(-2) + 0 + -2. Are w and 3/38 equal?
False
Let z(o) be the first derivative of -o**3/3 + 2*o**2 - 2*o - 1. Let p be z(4). Let c be (-3 - 4/p)/1. Which is smaller: -3/2 or c?
-3/2
Let i = -23.2 + -7.8. Let w = i - -29. Is -1 != w?
True
Let c be (-170)/(-51) + 4/(-1). Which is smaller: -1 or c?
-1
Let v = 0.1 - -0.2. Let u = -0.2 + v. Suppose 6 = -3*c + 3. Which is smaller: u or c?
c
Let j = 4 + -1. Let g = -1 - -3. Which is smaller: g or j?
g
Let y(x) = 13*x**3. Let g be y(-1). Let z = 10 + g. Which is smaller: -5 or z?
-5
Suppose -5*k + 39 = -21. Let g(z) = -z**3 + 11*z**2 + 12*z - 7. Let v be g(k). Is -8 greater than v?
False
Let s = 18.12 - 0.12. Let z = 15 - s. Which is greater: z or -0.2?
-0.2
Let u be -1*4*1/(-1). Let z = -2/17 + 384/85. Is u smaller than z?
True
Let y be 66/(-12) - (-1)/(-2). Let p be 2 + (-3)/((-9)/y). Is p < -2/7?
False
Suppose -w - 6 = -3*w. Suppose w = c + 2. Let s = -13 + 15. Which is greater: c or s?
s
Suppose 2*u - 5*u + 12 = 0. Which is greater: 2 or u?
u
Suppose 21 = 4*i + 5. Is 7 < i?
False
Let x be (-4)/(-14) - 52/(-14). Let z(o) = -o**2 + 4*o + 3. Let l be z(x). Suppose -4*u + 13 = -l*v, 0 = -2*v + 5*u - 2*u - 10. Which is bigger: v or 0?
v
Let r be 3 + -1 - (0 - -2). Let z = -111/290 - 1/58. Is r greater than or equal to z?
True
Let o = 11/52 - 311/364. Let f = o + 8/7. Is 9 less than or equal to f?
False
Let g be (2/(-12))/((-2)/(-6)). Let h = -3 + 0. Let n = h + 3.1. Is g bigger than n?
False
Let m be (-6)/(-4)*4/(-9). Let s = -27 + 26. Do m and s have the same value?
False
Suppose -w + 2 = -0*w. Suppose -2*s - 3*s + 8 = q, w*q = 6. Suppose 3*n - 2*n = 0. Is s equal to n?
False
Let w = -151 + 1663/11. Which is bigger: -2/3 or w?
w
Let u(y) = -2*y - 7. Let h be u(-4). Suppose o + 7 = -0*q - 2*q, 3*o - 2*q - 19 = 0. Which is smaller: h or o?
h
Let q = 1040 - 84238/81. Do 1 and q have different values?
True
Suppose -m - 18 = -2*v, m + 3*m + 4*v + 36 = 0. Which is smaller: -13 or m?
-13
Let f(x) = -x**3 - 7*x**2 - 5*x + 5. Let w be f(-6). Let q be 3*w*(-3)/(-9). Let c = -57/4 - -14. Which is smaller: q or c?
q
Let c be (-8)/126 + 4/(-18). Suppose 5*i - i + 40 = 0. Let s be 28/i + 2/(-10). Is c at most as big as s?
False
Let m(x) be the first derivative of -3 - 14*x + 6*x**2 - 4*x**3 + 1/4*x**4. Let h be m(11). Is -3 smaller than h?
False
Let p = -0.02 - -36.02. Let y = p + -20. Is y less than 1?
False
Let u = 39 + -21. Are 17 and u unequal?
True
Let i be (-3)/(-12) - (-114)/(-8). Let m = i - -15. Which is smaller: -1/9 or m?
-1/9
Let c be (-18)/(-28) + (-1)/2. Let g = 17 + -16. Is c != g?
True
Let t(a) = a**3 - a + 1. Let q be (-11)/22 + 1/2. Let u be t(q). Which is smaller: u or 0.15?
0.15
Suppose -2*h = -5*m + 124, 12 = 6*h - 2*h. Are 26 and m nonequal?
False
Let i = -20 - -19. Are i and -2/21 equal?
False
Let l be -1 + (1 - (-6)/(-8)). Suppose -y = 4*y. Which is smaller: y or l?
l
Let v = 0.9 + 0.1. Let h = -1 + v. Let q = -37.2 - -37. Is q greater than or equal to h?
False
Let h(w) = -w**3 - 5*w**2 - 4*w + 2. Suppose -5*m + 2*b + 2*b = 0, 3*m = -3*b - 27. Let y be h(m). Let g be (0 - -1)/((-2)/(-4)). Is y equal to g?
True
Let y be 3/(-1) - 472/(-144). Let i = 1/2 - y. Let o = -0.01 - -2.01. Are o and i unequal?
True
Suppose 3*k + 4*v = -2*k - 5, 3 = -3*k - v. Let p be (-1)/(-4) - 5/52. Which is smaller: p or k?
k
Let b be 3 - (26/(-40))/(1/(-4)). Does 0.1 = b?
False
Let t = -9 + 16. Let m(c) = -c + 9. Let a be m(t). Do -2 and a have the same value?
False
Let m = -9.042 + 0.042. Which is smaller: 0.2 or m?
m
Let r be (-284)/8 + 1/2. Which is greater: r or -34?
-34
Let a(g) = -2*g**3 - 3*g**2 - 2*g - 3. Let z be a(-2). Let n(o) = 5 - o - 2*o + z*o - o. Let b be n(-3). Is -2 at most as big as b?
True
Let z(b) = -b**2 - 4*b - 4. Let w(a) = -a**2 - 5*a - 5. Let o(p) = 5*w(p) - 6*z(p). Let s be o(0). Let q = -451/2