t k be ((-11)/10)/((-24)/(-16)). Let j = -2/5 - k. Let q be 2/(-4) + (-1)/(-2). Which is smaller: j or q?
q
Let h(g) = -g**2 - 3*g + 1. Let a be h(-3). Let n be 3/15 - (-12)/15. Is a greater than n?
False
Let o(a) = a**3 + 2*a**2 - 4*a - 1. Let f be o(-3). Suppose -g = -2*g + f. Suppose g*l = -3*l - 5. Is -1 > l?
False
Let k(u) = u**3 + 5*u**2 + 5*u + 1. Let r be k(-4). Let y = -11 + 18. Let w = y + r. Is w at least as big as 4?
True
Suppose -4*u + 9 = -7. Suppose -w = u*t + 10, -w + 1 + 7 = -2*t. Is t equal to -2?
False
Suppose -s = -2*p - 82, 4*p = -5*s + p + 436. Let r = s - 428/5. Is r smaller than 1?
True
Let y = 8 + -7.7. Let o = y + -0.5. Let a = o - -1.2. Which is bigger: -2/3 or a?
a
Let n = -14 + 8. Let t = -31 - -25. Is t greater than or equal to n?
True
Let v be (((-60)/8)/(-1))/(-4). Which is bigger: -2 or v?
v
Let p(c) = -c + 6. Let u(t) = t + 9. Let y be u(-4). Let f be p(y). Let z be (19/(-5) + (-18)/(-6))/2. Is z greater than f?
False
Let h = -20 - -24. Is h greater than -1?
True
Let c = 10 + 4. Suppose 2*x - 8 = -3*i + 3*x, 5*i - x = c. Suppose 5*y - 2 = i. Is -2/5 greater than y?
False
Let h = 0.8 - -2.6. Let z = 4 - h. Let j = z + 0.4. Is j less than 0.3?
False
Let n(h) = h**2 + 4*h + 4. Let i be n(-4). Suppose c = 2*v - 11, i*v = -9*c + 4*c + 1. Let w = v + -7. Which is bigger: -4 or w?
w
Let y = 0.381 - 55.281. Let f = -59 - y. Let o = f - -1.1. Does 2/5 = o?
False
Let x be (-1*1)/(5/(-70)). Suppose -c + 2*c = 4*q - x, -2*q + 4*c = -14. Does q = 3/2?
False
Let h be (4/(-6)*-18)/(-1). Let v be h/2*4/6. Let w be 7/9 + v/(-18). Are w and 2/15 equal?
False
Let q = -77 - -383/5. Is q at most as big as 0.2?
True
Let i be 10/(-10)*(0 - 3). Suppose -i = -2*v + 1. Which is smaller: v or 3/4?
3/4
Let t(o) = o**3 - 6*o**2 - 7. Suppose 2*n - 6*n + 24 = 0. Let j be t(n). Which is smaller: -8 or j?
-8
Suppose a - 2*a - 28 = -2*m, 0 = -a + 3*m - 30. Let t = a + 23. Is t less than 1?
True
Let k = -33 + 54. Let l be (-1)/k - 6/21. Suppose 0 = -4*a - 1 + 5. Which is greater: l or a?
a
Let a = -10.9 + 11. Let b = -1.1 + a. Let m = 0 - -0.1. Does b = m?
False
Let p = -2 + 18. Let h be -3 + 0 - (-2 - p). Is 15 less than or equal to h?
True
Let v(j) = -j + 1 + 3 - 1. Let n be v(3). Let p = -25/2 - -173/14. Is p at most n?
True
Let f = 2 + 8. Let a = f + -6. Suppose 0 = -3*h - h - a. Which is bigger: h or -2?
h
Suppose -5*u + 26 = -4*r, -4*r - 20 = -3*u - u. Let o(w) = -w**3 + 7*w**2 - 7*w + 5. Let g be o(u). Are g and -3/5 non-equal?
True
Suppose g = i - 4, g + 4*i - 4 = 3*g. Which is smaller: -11/2 or g?
g
Let y be 11/3 + 8/(-12). Let i be y/(-9)*(-12)/(-16). Which is greater: i or 0?
0
Suppose -1 = -5*h - 6. Let r be (42/(-35))/(h/(-20)). Let l be ((-6)/(-7))/(r/(-42)). Which is bigger: l or -1?
l
Let w = -3 + 7/2. Suppose -18 = -4*f + 3*z + 1, 3*z - 9 = -3*f. Do f and w have different values?
True
Let o = 60 + -298/5. Let r(x) = x + 10. Let m be r(-10). Suppose k - 2 = -m. Which is smaller: k or o?
o
Let v = 0.05 + -1.85. Let b = v + 1.4. Does -1 = b?
False
Suppose d = 4 - 2. Let a = 95/3 - 31. Are d and a equal?
False
Let c(d) = d**2 + 4*d + 14. Let g(j) = -j + 1. Let y(r) = c(r) - 5*g(r). Let k be y(-8). Which is greater: k or 3?
3
Let b = -17672/777 + 20/259. Let d = 19 + -42. Let s = d - b. Is s at most -0.1?
True
Let c = 0.55 - 0.55. Is c greater than 0.06?
False
Let f = -7.8 + 8. Let u be (-44)/10 + 30/(-50). Are f and u non-equal?
True
Let q be 16/(-10) - (-36)/60. Is -5 < q?
True
Let b(m) = -m - 2. Let r be b(-2). Suppose 0 = 3*s - 0*s - 9. Let k = s - 2. Is r greater than or equal to k?
False
Let b be (1 - (-9)/(-6))*6/3. Let p = -450 + 4046/9. Is p equal to b?
False
Let a = 4 + 2. Let j = -63 - -69.1. Let d = a - j. Which is smaller: d or 2?
d
Let v be 136/(-546) + (-26)/(-169). Is 0 < v?
False
Let b = 55 + -54. Let t be ((-1)/6)/(6/(-12)). Which is bigger: b or t?
b
Let z = -204 - -206. Is z greater than -0.14?
True
Let h be 21/(-2 - 17/(-10)). Let b be (1/2)/(7/h). Let g = 5 + b. Is g < 0?
False
Suppose 2*f - 8 = -2*g, 5*g + 0*g + 30 = 5*f. Let c = -3.2 - -0.1. Let n = c + 3. Is n bigger than g?
True
Let r(h) = h**3 - 4*h**2 + 1. Let s be r(4). Let d = -13/33 + 8/11. Does s = d?
False
Let d(p) = p**3 - 7*p**2 + 7*p - 4. Let g be d(6). Let n be 12 + -9 + 1 + g. Is n at least 6?
True
Suppose -4*w + 24 = -0*w. Suppose 0 = -v + 2*g - w*g + 22, -4*g + 10 = -5*v. Suppose 2*r - 3*r + v = 0. Which is smaller: r or 1?
1
Let c(n) = -n**3 - 5*n**2 + 6*n + 2. Let a be c(-6). Let p be (-5)/3*a/(-5). Which is smaller: -0.3 or p?
-0.3
Suppose -5*j + 3*b = 31, -4*b = 3*j - 2*b + 11. Let a = -3 - j. Let c = 3 - a. Is c greater than 1?
False
Let n = 1 - -1. Suppose -n*k + 1 = 9. Let l be (-9 - k) + 2 + -1. Is l <= -5?
False
Let p = -6 - -10. Let c be (-116)/10 + 4/(-10). Let w be p/c - 10/6. Is -2 >= w?
True
Let a = 89/1560 + -1/65. Do 1 and a have different values?
True
Let r = -4 + 10. Let f(o) = -4*o + 35. Let u(j) = 5*j - 36. Let b(t) = 3*f(t) + 2*u(t). Let i be b(14). Is r bigger than i?
True
Let l = -20 - -17. Which is bigger: -0.1 or l?
-0.1
Let c = -48 + 48.024. Which is smaller: -0.1 or c?
-0.1
Let u = 4 - 2. Suppose -6*p + 3*p = 0. Suppose -u*c - c = p. Which is bigger: -1/8 or c?
c
Let d = -1 - 0. Suppose -40 = -0*m + 5*m. Let n be (3/(-4))/(15/m). Is n at most as big as d?
False
Let g = 331.1 - 313. Let i = 18 - g. Is i bigger than 2/3?
False
Let w be (-30)/9 + 6/(-9). Let o be (-19)/9 - (-6 - w). Which is smaller: 1 or o?
o
Suppose -2 = -a - 6. Let r be (-33)/(-12) + (a - -1). Is r greater than or equal to -1/4?
True
Let u = 0.4 + -1.4. Let h = u + 1. Let n = -3/4 - -1/4. Which is smaller: n or h?
n
Let s = -0.6 + 0.8. Let r = 0.3 + s. Are r and 0 non-equal?
True
Let f be (12/77)/(-1)*126/(-36). Which is greater: 1 or f?
1
Suppose -7*q = -2*q - 2*q. Which is bigger: q or -3/10?
q
Let a = -5 - -5. Which is greater: 1 or a?
1
Suppose -3*h + 12 = -4*h. Is h bigger than -12?
False
Let t = 44/45 + -7/9. Is 0 greater than t?
False
Suppose 2*n - 7*n = 70. Which is smaller: n or -13?
n
Suppose 0*x = -2*x - 2. Let h be 58/60 - (-2)/(-3). Which is smaller: x or h?
x
Let j be (2/116)/((-3)/(-70284)). Let l = j - 404. Is 1 at least l?
True
Suppose -4*f = p - 23, 0*f + 5*f - 40 = -2*p. Suppose -3*z = -0*z + p. Let x = z - -2. Are -5/3 and x non-equal?
True
Let m(t) = 2*t + 3*t - 3*t - 9. Let p be m(7). Suppose -2 = -p*i + 8. Is 2 at least i?
True
Suppose 4*p - 17 = c, 5*p - 25 - 3 = -c. Let o = 7 - p. Let m be (-2)/5 - 14/(-10). Do m and o have different values?
True
Let u = 24 + -21. Which is greater: -1 or u?
u
Suppose -5 = 2*k + 11. Let d = 12 + k. Suppose -u - 12 = d*l + 3*u, -3 = -3*l + 3*u. Is l bigger than -2?
True
Let z(m) = 3*m - 12. Let c be z(10). Suppose -5*u + b = -2 - 16, 3*b + c = 3*u. Which is bigger: u or 3/2?
u
Let t = 1.1 - 1.2. Which is smaller: 3/4 or t?
t
Let a = 0.2 - -0.8. Let f = -0.131 - -0.031. Is f < a?
True
Let m = -24 + 27. Which is smaller: m or -1/4?
-1/4
Let n be 0/2 + 4 + -5. Which is bigger: -3/7 or n?
-3/7
Let z = 0.48 - 0.18. Which is greater: z or -1?
z
Let o = -0.4 + -1. Let b = -5 + 5.4. Let v = b + o. Are v and 5 equal?
False
Let h(b) = b**2 + 88. Let p be h(0). Let n = -94193/9 + 10378. Let l = n + p. Which is greater: -1 or l?
l
Let g = 10.2 + -10. Is -0.1 at most as big as g?
True
Let t(q) = -q**2 + 2*q + 4. Suppose 2*y + 3*y = 10. Suppose -b - 3 = -2*w, 7 = -w + 4*b - y. Let o be t(w). Is o at most as big as 2?
True
Let n(y) = 2*y - 13. Let c be n(0). Is c >= -13?
True
Let q = -288 + 3742/13. Is -5/4 at least q?
False
Let a(d) = d + 3*d + d**3 + 1 - 7*d**2 + 2*d. Let o be a(6). Is 0 greater than or equal to o?
False
Let l be (5/5)/((-1)/(-3)) + 27. Is l less than or equal to 30?
True
Suppose -5 = -t + 2. Is t at least 20/3?
True
Suppose -c + 206 = -5*c + 2*k, 0 = -2*c + 2*k - 108. Is c > -48?
False
Suppose 5*m = 2*m. Which is bigger: m or 1?
1
Suppose 2*w = 3*w - 3. Suppose 0 = 4*l + 8, -4*b + 4*l + 40 = 8. Let z be w/15 + b/(-5). Are z and -1 equal?
True
Let x be -1 - 1*(-1 + 0). Let l(n) = n**3 + 8*n**2 + 3*n + 7. Let c be l(-6). Let v = -307/5 + c. Is x bigger than v?
True
Suppose 12 = 4*n - 0. Let o be n*-1 + (-95)/(-35). Does -1 = o?
False
Let p = -10 - -6. Let b = 0.34 + -0.14. Is b greater 