s less than or equal to t?
False
Let r be -5 + 5 + 0 + 0/2. Which is smaller: r or -13?
-13
Suppose 0*t + t = 0. Suppose t = 3*n + 2*n. Suppose w - 3 = -4. Which is smaller: n or w?
w
Suppose -4*q = -q - 3. Which is smaller: -1/10 or q?
-1/10
Let n = 3 - 2. Let j be ((-2)/(1 - -1))/n. Is -2/5 not equal to j?
True
Suppose 3*j - 10 = 2*j. Let h = 9 - j. Let a be (-3)/5 + 115/275. Is h greater than a?
False
Let o = -2 + 2. Suppose 0*p - p + 2 = o. Suppose 3*t - 3*q - p*q - 37 = 0, -2*q = 4*t - 6. Which is greater: -1/3 or t?
t
Suppose -4 = -3*b + 5. Suppose -b*m + 12 = -0*m. Suppose -n - m + 3 = 0. Are n and -1/3 nonequal?
True
Let g be ((-3)/(-1))/(6/4). Let i = -11 - -15. Are i and g equal?
False
Let s be 350/(-12) + (-2)/6. Let k = s - -28. Suppose 3 = 3*q - 4*q. Is k greater than q?
True
Let z(f) = f + 2 - 2 - 4. Let c be z(3). Is 2/11 greater than c?
True
Let w be 2/(-4) - 42/4. Let d be (w - -1*2)*-10. Let k be (-10)/45 + 56/d. Are -0.1 and k unequal?
True
Let y be 0/14 + (9 - -1). Suppose -42 = -3*o - 4*c - 4, -3*o = -2*c - 26. Are y and o equal?
True
Let w = 0.038 - -0.062. Which is smaller: -0.045 or w?
-0.045
Let g = 293/4 + -74. Let d = -23/20 - g. Are d and 3 equal?
False
Let j be 20/(-4) - (7 + -3). Which is bigger: -11 or j?
j
Suppose -3*m - m = -4*v, 4*m + 1 = 3*v. Are m and -5/3 nonequal?
True
Let z be (9 - 9)/(-3 + 2). Let h(p) = -p**2 + 6*p + 8. Let x be h(6). Suppose -4*v + x*v = -4. Are v and z equal?
False
Let h = -40 - -40. Let n be (3/2)/1*2. Suppose 3*v + 0*v - n = 0. Which is greater: v or h?
v
Suppose -4*z - n = -14, n = -2*z - 3*n. Suppose -z*p - 1 - 7 = 0. Is p >= -2?
True
Suppose -4*k + 6 + 42 = -f, 5*f = -2*k + 24. Let x = k - 15. Which is smaller: x or -4?
-4
Let p be (12/(-50))/(6/(-40)*1). Which is smaller: -2 or p?
-2
Let u be (-2 - 5/(-3))*-1. Which is greater: u or 2/3?
2/3
Let c = 947/7 + -135. Which is bigger: 0 or c?
c
Suppose 3*n + 7 = m, -4*n + 5 = m + 12. Let u be (5 - (m + 2)) + 0. Is u at least as big as -2/3?
True
Suppose 3*p + q + 33 + 8 = 0, 4*p + 5*q = -62. Let i be (-2)/3 - p/15. Let r(a) = a**2 + 5*a + 3. Let h be r(-4). Is h at least as big as i?
False
Suppose 2*m - f = -m + 9, -m = 5*f - 3. Suppose -2*p = 4*r - 13 - m, 0 = 2*p + 5*r - 21. Suppose 5 = -3*g - 4. Is g at most as big as p?
True
Let t(i) = i + 6. Let y be t(-8). Let l = -9 - y. Suppose 4*j + 27 = -5. Is l != j?
True
Suppose 3*t + 7 = 22. Suppose 4*f - f = 5*m + 10, 8 = -t*f - 4*m. Let o be ((-1)/39)/(10/90). Is f != o?
True
Suppose -3*n - 15 = -57. Let x(z) = -z**3 + 7*z**2 - 8*z - 2. Let j be x(4). Is j less than n?
False
Suppose -3*l = -7*l + 16. Suppose -2*q - 8 = 4*i, 3*i + 20 - 3 = l*q. Suppose 0 = -r + 2*c + 2, 2*r + 2*c = -q*r + 18. Is 3 >= r?
False
Let p be (-154)/28*(-5 + 1). Suppose -4*m + 4 = 0, 0*v - v - 5*m + 3 = 0. Let u be p/30 + v/6. Which is smaller: u or 0?
0
Let p = 1 - 0. Let k = -522103/39 - -13388. Let i = k - 1/13. Is i > p?
False
Let y(t) = 6*t + 2. Let x be y(-1). Let q be (-1)/(2/(8/1)). Is q equal to x?
True
Let l(d) = d**3 + 9*d**2 - 23*d - 11. Let h be l(-11). Does h = 35?
False
Suppose -5*a = 86 - 91. Do -2 and a have the same value?
False
Suppose 0 = -2*x + 8 + 8. Let h be (x/(-20))/(4/(-40)). Is h at least 4?
True
Let o = -1 - 1. Let q = -74.04 - -72. Let t = 0.04 + q. Does t = o?
True
Suppose 2 = 5*w - 8. Suppose 5*l - 12 = w*l. Suppose 0 = 3*c + l - 1. Is c at least -1?
True
Let i = -102 + 52. Let p be (2/10)/(4/i). Do -3 and p have the same value?
False
Let n be (-1056)/432 - (-3)/((-2)/(-2)). Is n > 2?
False
Let b = 6 + -2. Do 21/4 and b have the same value?
False
Suppose 0 = -12*k - 3*k + 195. Which is smaller: k or -3?
-3
Let o(n) = n**3 + n**2. Let r be o(0). Let x be (-1)/2*0 - -2. Suppose x*p = -p. Is p less than or equal to r?
True
Let g(d) = 2*d + 7. Let a be g(-4). Is -3 < a?
True
Let f be (-1 - (1 - 3))*4. Suppose f*j - 45 = -j. Let y(k) = -k**2 + 10*k - 9. Let l be y(j). Which is greater: -1 or l?
l
Suppose -7 = -o + 1. Suppose -3*m = -4*s - 2, -3*m = -s - o + 3. Which is smaller: s or -10?
-10
Let l = 1 - 0.7. Let y = l + 0.7. Let f = y + 1. Is 0.1 not equal to f?
True
Let a(x) = -x + 7. Let t be a(6). Let q = t + 0. Suppose 2 = 3*k - q. Is k smaller than -3/8?
False
Let m(j) = -j - 5. Let f be m(-3). Let q = f + 0. Let y be (-9)/4 - -1 - q. Which is greater: y or 1?
1
Suppose 4*b + 14 = 4*h + 118, 3*h + 138 = 5*b. Suppose 0 = 6*q - q - b. Which is bigger: q or 7?
7
Let s(b) = 11*b + 4 - 5 + 1. Let m be s(1). Suppose -5 = -4*l + o, 5*l - m = -5*o + 14. Which is smaller: l or 0.1?
0.1
Let j = 2/5 + -3/5. Is j < -1?
False
Suppose -j = -4*j + 12. Suppose -u = -s + 3, j*u + 2*s + 47 = -s. Let l = -6 - u. Is l at most -0.1?
False
Let x(d) = d**2 + 4*d + 1. Let j be x(-4). Let b = 286 + -6865/24. Which is smaller: b or j?
b
Suppose -5*x = 12 - 42. Suppose 3*b + 5 = -w + x*w, -4 = -4*w + 4*b. Suppose 0 = -d - n - 0 + 4, 0 = -4*d + 5*n - 29. Which is smaller: w or d?
d
Let h = -6.3 + 6. Let a = 0.2 + h. Let w = 0.2 + a. Which is smaller: 1/3 or w?
w
Let o(j) be the first derivative of j**3/3 - 4*j**2 - 7*j - 2. Let r be o(9). Let p be (-5)/9*r/5. Which is smaller: p or 0?
p
Let b = 5.7 + -5.67. Which is smaller: -3 or b?
-3
Let i = -4 - -8. Let b = 4 + -4. Is i less than b?
False
Suppose -g - 14 - 4 = 0. Let o = 25 + g. Let v be 5/o - (-1 - -2). Which is greater: 0 or v?
0
Suppose 4 = -3*n + 1. Suppose -5*b = 4*c - 60, -3*b = -b + 2*c - 24. Let d be 4/b*(-3)/8. Do d and n have different values?
True
Let y(u) = u**2 + 4*u - 7. Let t be y(-7). Let c be 2 - 1/(t/24). Let j = -0.068 + -0.032. Is c smaller than j?
False
Let l(j) = 2*j - 7. Let z be l(3). Which is smaller: z or -21/10?
-21/10
Let t(x) = x**3 + 3*x**2 - x + 4. Let a be t(-3). Suppose -a*v = -3*v - 4. Which is smaller: 1/2 or v?
1/2
Let o = -247/3699 - 1/137. Let t = -1 + 1. Is o greater than t?
False
Let m be ((-2)/4)/(3/(-54)). Let l be 3 + -1 + (m - 7). Let q = -7 + l. Which is greater: q or -2?
-2
Let y be ((-8)/(-10))/(2/10). Let j be 7/30 + y/(-10). Which is smaller: 0 or j?
j
Let c be 1 - (9/6 - 0). Let t be (1 - -5)/(18/12). Suppose -4*g - t - 4 = 0. Are c and g equal?
False
Let n = 31 + -32.9. Is n less than -1?
True
Suppose 90 + 0 = -5*h. Let c be (-19)/(-42) + 9/h. Which is greater: c or -1?
c
Suppose 14*o = -29 - 13. Is -3 smaller than o?
False
Let r = -72676684/441 + 164800. Let x = -268 + 13134/49. Let z = x - r. Is z smaller than 0?
True
Suppose -3*g + 2*f + 33 = 0, 0 = -4*g + 4*f + 48. Suppose g*t - 90 = 4*t. Let b be (0 + (-8)/t)/(-2). Which is smaller: b or 1?
b
Suppose 0 = 2*j - 4*g - 12, -5*j + 3*g - 5*g = 18. Which is greater: 1 or j?
1
Let m be (-1)/(0 - ((-4)/(-4) + -2)). Suppose 5*t + 13 = 6*i - 2*i, -4*i - 4*t = -4. Which is smaller: i or m?
m
Let i = 0.34 + -0.34. Which is smaller: 1/7 or i?
i
Suppose -2*j = -3*j + 4. Suppose -3*f + 31 = -q, -j*f + 2*q + 42 = -0*f. Let n be 4/f - (-1)/10. Which is smaller: -2 or n?
-2
Let m = -63 - -30. Is 0 at least m?
True
Let d be (-12)/8 + 6/(-4). Let f(t) = -t**3 - 2*t**2 + 3*t - 3. Let m be f(d). Let r = -5 + 5.1. Which is greater: m or r?
r
Let f = -1 - -1. Suppose -x + 18 = 5*s, 0*s - 5*x + 12 = -s. Suppose s*g + t - 2 = f, 0*g + 4*g = -4*t. Which is smaller: 1/2 or g?
1/2
Let f = 6.97 + -7. Let t = 0.97 - f. Which is smaller: -1/8 or t?
-1/8
Let j = 4 + -2. Let d = -1 - -6. Suppose -5*s - 3 = -f - 9, -d*s - 4*f + 1 = 0. Is j equal to s?
False
Let n = -231 + 2535/11. Which is smaller: -2 or n?
-2
Let o(f) = f**3 + 4*f**2 - 3*f - 4. Let q be o(-5). Suppose 3*t - 12 = 18. Let a be t/35 - (-4)/q. Which is smaller: a or -1/9?
-1/9
Let m = 4.3 - 4. Let u = -0.6 - 0.4. Let r = u - -1.1. Which is greater: m or r?
m
Let p(d) = 19*d**2 - d. Let z be p(1). Let g = z + -107/6. Suppose 3*q = 3 - 6. Which is bigger: q or g?
g
Let w = -0.07 - -0.03. Which is greater: -2/7 or w?
w
Let p = 2.9 - 1.9. Which is greater: p or 0?
p
Let g = 14.9 - 10. Let f = 5 - g. Which is greater: f or 0.02?
f
Let m = 2180/11 + -198. Is m greater than -1?
True
Suppose -4*s + 12 = -4*f, 2*f + 2 + 12 = 4*s. Which is greater: -2/27 or f?
f
Let s be (-13)/15 + 2/10. Let v be (1 + -3)/2 + 0. Is s greater than v?
True
Let z be 5 + -1 + (-45)/4. Which is smaller: z or -8?
-8
Let o = -9 + 8.2. Let n = o - -