 Suppose p = 3*q - q. Suppose -3*t + 7 = -4*k, 3*k - 2 = -5*t - 0. Is q at most t?
True
Let o = 48 - 84. Is o less than -36?
False
Let y be 0 + 2 + (6 - 1). Let j = -6 + y. Let l(z) = -z**2 - 8*z - 9. Let t be l(-6). Which is greater: j or t?
t
Let g(y) = -y + 5. Let n be g(3). Which is bigger: n or 4/3?
n
Let y be (-970)/2946 - (-1)/3. Let q = y + 1445/6874. Is 0 smaller than q?
True
Let g(u) = -u**3 + 7*u**2 - 7*u + 7. Let z be g(6). Let d be 0 - (-1 - (-75)/6). Let t = -10 - d. Is t < z?
False
Let i be (-4)/(-18)*5/(-30). Is 1 > i?
True
Let o = 32 - 32.5. Let u = o - -0.5. Let n = -1 + 0. Do u and n have different values?
True
Let z be (66/4)/(-1)*18/(-45). Is z greater than 6?
True
Let d be (-22)/(-13) - (1 + 1). Let c be (-4)/42*3 - (-10)/35. Which is bigger: c or d?
c
Let a be 320/158 - (-30)/(-15). Which is smaller: a or 0?
0
Let o be (-2)/8 - (-25)/4. Let c(t) = t**3 - 3*t**2 - 10*t + 4. Let n be c(5). Is n not equal to o?
True
Let b be (-5)/(15/(-6)) + -6. Let f(j) = j**3 + 3*j**2 - 5*j - 3. Let x be f(b). Do 0 and x have the same value?
False
Let m = 2 + -6. Let q be 14/4*(-5 - -7). Let a = m + q. Which is greater: 3/2 or a?
a
Suppose x - 6*x + 21 = 3*i, -4*i + 54 = -2*x. Suppose 5*r + i = -3. Is 0.5 greater than r?
True
Suppose 0 = 3*t + z + 4 + 2, -t - 4*z = 2. Let c(j) = j + 2. Let r be c(-4). Let o be (-4 - -2) + r/(-2). Which is greater: o or t?
o
Suppose 4*o = 5*n - 65, 13 = n - 2*o + 5*o. Let l be 2/3 + n/3. Is l < 5?
False
Let a(u) = -9*u - u**3 + 0*u - 7 - 7*u**2 + 2*u. Suppose -13 = 2*f - 1. Let w be a(f). Is -2 at least w?
False
Let r be (3/2*-2)/(-1). Suppose 10 - 1 = r*i. Is i smaller than 1?
False
Suppose 29 + 31 = -4*o. Let p be (-3 + 1)/(o - -4). Which is smaller: p or -1?
-1
Let p(o) = 4*o**2 + o + 6. Let u(a) = 11*a**2 + 2*a + 17. Let r(i) = 8*p(i) - 3*u(i). Let t be r(2). Which is bigger: t or 0?
0
Let d = -3 + 3.3. Let f = -4 - -1. Let k be (f + 1)*1/(-2). Which is smaller: d or k?
d
Let f = 27 + -28. Is f at least -3?
True
Suppose -7 = 4*j - y, j + 2*j + 2*y - 3 = 0. Let o be (-3)/1 + j/(-1). Let g = 1 - 1. Does g = o?
False
Let n = -0.6 + 2.6. Let v = -0.47 + 0.47. Which is smaller: n or v?
v
Let r = 39 + -44. Let x(t) = t**2 - 6*t - 4. Let f be x(6). Do r and f have different values?
True
Let j = -5.4 + 4.4. Does -1/7 = j?
False
Let p = 15.91 + -16. Which is smaller: 1 or p?
p
Let o = 0.2 + 0. Let k = 1 - 3. Let n be 11/3 + 6/k. Which is smaller: n or o?
o
Let l = 28 + -27. Which is smaller: 5 or l?
l
Suppose 4*l + 5*w + 44 = 0, 2*l + 3 = -w - 13. Which is smaller: l or -8?
-8
Let g = 13 - 7. Suppose c - g = -2*c. Suppose -c*n + 4 = -6*n. Is -2 at least n?
False
Suppose -3*i = -3 - 6. Suppose 2*m + i = m. Suppose -10 - 2 = 4*h. Do h and m have the same value?
True
Suppose -4*o = -o - 729. Let h = -2189/9 + o. Is h greater than 0?
False
Let k = -3 + 8. Let v be (-1)/4*(-2 + k). Which is greater: v or -2?
v
Let a be (-1)/(4 + 185/(-45)). Which is greater: 8 or a?
a
Suppose -t = 5 - 2. Suppose 0 = -4*j - 12 - 0. Does j = t?
True
Let i be (-4)/(-10) - (-11)/(-15). Suppose 2*a + a - 9 = 0. Suppose 2*f - 3 = -3*b, -a*b - f - 3*f + 3 = 0. Is b bigger than i?
True
Let w(o) = o**3 + o**2 + o. Let k be w(0). Is -5 less than k?
True
Let f(m) = m**3 + 4*m**2 + 2*m + 1. Let s be f(-3). Suppose 0 = 2*j - s + 6. Let y be (-2)/(-6) + (-69)/261. Is y less than j?
False
Let h be 10/18*2/(-5). Let j be ((-18)/(4 - 1))/(-2). Let n = j - 4. Does h = n?
False
Let i = -1 - 0. Let t(u) = -u**2 - 10*u + 3. Suppose -3*q - 2*y + 5*y = 27, 0 = -2*q + y - 19. Let w be t(q). Which is smaller: i or w?
i
Let g be (-1)/(-2) - 5/2. Which is smaller: -4/5 or g?
g
Let t = -5975 - -24095/4. Let y = t - 47. Is y at most 1?
False
Let u be (1 + 2)*10/3. Let h = 14 - u. Suppose 2*g + 2 = h. Is g bigger than 0?
True
Let o = -1 - -5. Let d = -3.7 + o. Let g = d - 2.3. Which is smaller: 1 or g?
g
Let p = 54874/5209 + 624522299/916784. Let k = 11027/16 - p. Let m = k + 19/8. Which is bigger: m or 1?
1
Let x = -2 - -6. Suppose 0 = -j + 2 - x. Is j at most as big as -1?
True
Suppose -g = 4*h + 24, 2*g - 2*h = -9 - 9. Let p = 12 + g. Which is smaller: 1/6 or p?
p
Suppose 0 = -m - 4*m + 60. Suppose -13 - 3 = 2*u. Let k = m + u. Is k at most 4?
True
Suppose 5*w - 8*x = -3*x - 1855, 5*w + 2*x = -1890. Let f = w - -703/2. Let d = -25 - f. Is d less than or equal to 2?
True
Suppose -4*s + 5 = -51. Is 14 > s?
False
Let f = 22.2 - 22. Which is smaller: f or -29?
-29
Let m = -5 + 2. Let j = m - -4. Let q = -0.3 + 0.4. Which is smaller: q or j?
q
Suppose -4*x = -6*x + 18. Suppose 4*q - 10*q = 30. Let h = x + q. Is h < 4?
False
Let m be 4/(-4)*(3 - 4). Is m >= 2/75?
True
Let j = -0.01 - 5.99. Let c = -2 - j. Let z be (9 - 6) + 7/(-2). Is z not equal to c?
True
Let w = 14 - 2. Let m = -12.5 + w. Which is greater: -0.1 or m?
-0.1
Let y = 2.2 + -3.2. Is -16 at most as big as y?
True
Let q = -2660/11 - -6869/33. Let u = 34 + q. Which is bigger: u or 1?
1
Let j = -1.42 - 0.18. Which is smaller: j or 1/2?
j
Suppose -l - 5*c = -10, -7 = -4*c + 5. Is l smaller than -4?
True
Suppose 7*t - 12 = 6*t. Is 11 at least as big as t?
False
Let a = 0.1 + 0. Let q = -46 + 41. Which is smaller: a or q?
q
Suppose 0 = 4*m + m - 15. Suppose 2*i + 0*i + 4*v - 16 = 0, -2*i - m*v = -11. Which is smaller: 3/2 or i?
i
Let n = -57/2 + 29. Let z(s) = -s**2 + 9*s - 8. Let r be z(8). Suppose -2*k + 7*k - 5 = r. Is n greater than or equal to k?
False
Let i = -2.6 + 2.3. Let m = i - 1.2. Which is greater: -0.1 or m?
-0.1
Let w(c) = 3*c**2 + 10*c + 1. Let y(t) = t**2 + 3*t. Suppose 2*g + 2*g = 8. Let m(x) = g*w(x) - 7*y(x). Let b be m(0). Is 3 less than b?
False
Let b be 4/(-21) + -2 + 2. Which is greater: b or 1?
1
Let p = -41/9 + 163/18. Are p and 5 equal?
False
Let n = -33 + 34. Let p = 15 - 27. Let q be 6/p*1/n. Which is bigger: 2 or q?
2
Let g be 2/(2 + 0 + -3). Is -4/3 less than or equal to g?
False
Let d = -1.08 - -6.27. Let p = -9.2 + d. Let f = 0.01 + p. Which is bigger: -2/5 or f?
-2/5
Let q = -26 + 26.1. Which is greater: q or -1?
q
Suppose -2*o + 5 = -1, o - 9 = -2*n. Let m = n - 3. Suppose -b + 1 = -4*t, 0*b + 4*b - t + 11 = m. Does b = -3?
True
Suppose -z = 2*z. Let t be -1*2 - 130/(-80). Which is greater: t or z?
z
Let o be 1/4 + (-6)/(-8). Suppose 0*p + p = -o. Which is smaller: -2 or p?
-2
Let u be (-2)/(22/(-1))*18. Let n = 61/44 - u. Let l = -6.9 + 7. Which is smaller: n or l?
n
Suppose 4*x + 32 - 9 = -5*i, 22 = -4*i - 5*x. Suppose 3*q - 3*d + 14 + 4 = 0, 6 = 2*d. Is q less than i?
False
Let j be -2 + 0 + 2/1. Let f(n) = -2*n**2 + 48*n + 53. Let u be f(25). Is u at least j?
True
Let p = 3.5 - 4. Let z = -1.5 - p. Let v = 0 - z. Is -0.3 bigger than v?
False
Let q be (-3 - (-2 + 3))/(-1). Let g(o) = -q - 1 - 3*o + 0 + 6. Let u be g(1). Is u <= -2?
True
Let q = 0.1 + 3.9. Let s = -4.01 + q. Let o = -0.01 - s. Which is smaller: o or 1/4?
o
Let i be -2*(-6 - -3)/3. Suppose 5 + 14 = -z + 5*r, -i*r = -5*z - 26. Let s be (-6)/(-9) - z/12. Is s < 3?
True
Let n be (-6 - -8)*(-1)/4. Let j = n - -1/6. Is 0 less than j?
False
Let y be 4/(-6)*9/(-2). Suppose 2*t = b - 7, 0*b = y*t - 3*b + 18. Is t smaller than -4/3?
False
Let i be ((-12)/(-10))/((-1)/5). Let u be 3 + -5 - i/2. Is u smaller than -2/21?
False
Let g(a) = -a + 6. Let k be g(8). Let c be 2*k/16 - -1. Let m = 5 - 3. Is c <= m?
True
Let x(z) = 3*z**2 - 23*z - 8. Let n(m) = -m**2 + 8*m + 3. Let b(i) = -11*n(i) - 4*x(i). Let h be b(4). Which is bigger: h or 0.1?
0.1
Suppose -y - g = -3, -4*y - 5*g = -y - 15. Suppose 5*v - 15 = -3*h - y, 0 = -4*h - 2*v + 6. Suppose h*u + 2*u = 0. Which is smaller: u or 1?
u
Let j = 27 + -32. Which is bigger: -4 or j?
-4
Suppose 3*i - 4*o = -241, -3*o + 234 = -5*i - 153. Let w = -378/5 - i. Which is bigger: w or 0?
0
Suppose 3*s + 4 = s. Let l(k) = k**3 + 2*k**2. Let x be l(0). Which is bigger: s or x?
x
Let c = -10 - -11. Suppose -c = -2*m - 3. Is -2/13 > m?
True
Suppose 2*p + n = -3*p + 10, 0 = 3*n. Suppose -6*d = -8*d. Is d less than p?
True
Let s be 3 - (-1)/((-1)/4). Is 3/8 bigger than s?
True
Let p be 4*4/(-48)*-3. Let w(n) = n**2 - 6*n + 7. Let y be w(5). Is p at least as big as y?
False
Let o(t) = -t + 81. Let z(v) = 16. Let s(w) = -2*o(w) + 11*z(w). Let l be s(-7). Is l at most as big as 3/10?
