 j = 1 + x. Let q be -3*3*(-4)/(-90). Is q smaller than j?
True
Let g = 12/11 - -19/33. Suppose 0*p - p = 5*c - 16, -5*c + 14 = -p. Which is smaller: c or g?
g
Let y be (-22)/9 + ((-4)/6)/1. Is -2 <= y?
False
Let s = -7 - -12. Suppose -4*i + 4*h + s = 3*h, 2*h = -i + 8. Which is bigger: i or 6/11?
i
Let d(v) = 1 + 2 + v + 0. Let y be d(3). Let w = -7 + y. Is w > 2/21?
False
Let w be -3 - (-1)/1 - -1. Suppose -7*u + 5*u - 2 = 0. Is w at most as big as u?
True
Let r = 5.1 + -6. Let z = -1.1 - r. Let b = -0.1 - -0.2. Is z <= b?
True
Let h = 5.9 - 6.2. Is h greater than -0.1?
False
Let v = -20780/19 + 1094. Is 0 bigger than v?
False
Let i(b) = -b**2 - b - 1. Let f be i(-3). Do 1 and f have the same value?
False
Let t = -11.1 + 1.1. Is 0 bigger than t?
True
Suppose -43 = 5*j - 8. Which is smaller: 0.2 or j?
j
Let a(l) = 28*l**2 - 16*l**2 + 5*l + 0 - 13*l**2 - 4. Let d(f) = 3*f**2 + f. Let q be d(1). Let h be a(q). Is h bigger than 0?
False
Let y = 0.056 - 0.186. Let g = 3 + -2.9. Which is greater: g or y?
g
Suppose -2*n - 2*b = 12, 0 = 2*b + b + 15. Let z be -3 - (0 - (4 + n)). Which is greater: -2 or z?
z
Let l(c) = -c**2 - 12*c - 4. Let g be l(-11). Let z = -6 + g. Let y = 0.7 - -3.3. Are y and z non-equal?
True
Let m = -348/5 + 70. Let a = 13 - 25/2. Which is bigger: a or m?
a
Let v = -11 - -23. Is v smaller than 12?
False
Let l = 7 - 16. Let a = -7 - l. Suppose -4 = b - 5*b - 3*q, -8 = a*q. Is b less than -1/2?
False
Let u = -6 + 8. Suppose 0*i = 2*i + u. Are i and 0 non-equal?
True
Suppose s + 3*i = 0, -3*s - 7 = -i + 23. Let v = -4 - s. Suppose 31 = v*g + 1. Is g greater than or equal to 6?
True
Suppose 0 = -2*m + 5*g + 21, 0*m + 3*g = -2*m + 13. Suppose -m*l + 3*l - 45 = 0. Is -10 greater than or equal to l?
False
Let j = 23 + -18. Which is greater: j or -2/3?
j
Suppose 5*x = -5*d + 15, 0*d = 2*x + d - 4. Is x less than -1?
False
Let d(i) = -i + 10. Let j be d(9). Suppose 4*l = 5*p + 5, 0*p + l + j = -p. Are p and 1/6 equal?
False
Let c = -17 + 18. Which is greater: c or 2/19?
c
Let w be (12/14)/(6/28). Suppose 5*s + 10 = -m, 2*s = -0*s - 4*m - w. Which is greater: 0 or s?
0
Let c(v) be the third derivative of -v**6/120 + 3*v**5/20 + v**4/24 - 2*v**3 + v**2. Let l be c(9). Let f = l - -5. Is 0 smaller than f?
True
Let l = -50 - -48. Which is smaller: l or 0.03?
l
Let h = 7.67 - 8.1. Let n = h + 0.03. Is -2/5 smaller than n?
False
Let j = -4 - -6. Suppose 5*p = -2*s + 10, -j*p = 3*s + 3*p - 10. Which is bigger: s or -1/5?
s
Let r = 0 - 0. Let h = r - -0.1. Let c = 166/909 - -4/101. Which is smaller: c or h?
h
Let g be 1/4*8/11. Is 0 not equal to g?
True
Let i(k) = k - 8. Let m(w) = 1. Let r(n) = i(n) + 4*m(n). Let b be r(11). Suppose b - 3 = -2*f. Which is greater: f or -3/2?
-3/2
Let h(r) = r**3 + 4*r**2 + 2*r + 2. Let x be h(-3). Which is smaller: x or 3?
3
Suppose -11 = -5*f + 2*r, 0 = 4*f - 5*r - 19. Let t be (-3)/((-3)/(-4)) - 0. Let v = -3 - t. Is f at least as big as v?
True
Let h = -2 - -6. Suppose 0 = h*p - 2*v - 4 - 14, -3*p - 14 = 4*v. Let i = -2 - -3. Which is smaller: i or p?
i
Suppose -14 = 3*r - g + 1, 3*r - 2*g + 15 = 0. Which is smaller: r or -4?
r
Let o be 0/5*3/6. Let h = -13 + 6. Let b(w) = -w - 8. Let s be b(h). Is o greater than s?
True
Let f = -3 - -6. Let p be f/(2 - -88)*-10684. Let j = -356 - p. Which is bigger: j or 1?
1
Let y = 29 - 28.9. Is 8/19 bigger than y?
True
Let p be (-5 + (-1 - -1))*16/10. Which is smaller: p or -6?
p
Let q = 1656 + -16579/10. Let c = q - -207/130. Which is smaller: c or 0?
c
Suppose 3 + 3 = -2*x. Let r be (-3)/(4/(8/x)). Are r and 1 unequal?
True
Suppose i = -4*i - 3*q + 66, 4*q + 87 = 5*i. Let h be 9/(-15) - (-24)/i. Is -3 != h?
True
Suppose 2*o + 1 + 0 = -3*y, 2*o - 1 = -y. Let h be -1 + (-176)/(-58) - 2. Is o at most as big as h?
False
Let i be 9/36 - (-286)/8. Does i = 2/9?
False
Let t be (-1 + 2 - 1) + 1. Suppose 2 = 3*z - z + 3*u, 0 = 2*z + 4*u - 2. Is t > z?
False
Let w be 1 - (3 + 12/(-9)). Is w not equal to 10?
True
Let m = 56 - 36. Is m at least as big as 19?
True
Let v be 2/(-3) - (-93)/9. Let t = v + -28/3. Suppose -5*m - 2 = -4*k - 12, 2*k = m - 2. Is t equal to k?
False
Let h = 28/73 - 5426/14527. Are h and 1 non-equal?
True
Let b be 198888/315 + (-6)/(-9). Let o = b - 632. Let p(s) = -s**2 + 1. Let c be p(0). Is o != c?
True
Let u = 0.96 + 0.04. Let p = -3 + 4. Let t = u + p. Does t = 3?
False
Let s be (-346)/60 - 76/190. Is -6 smaller than s?
False
Let q = -83/5 - -1919/115. Is q at least 0?
True
Let s = 6.6 - -1.4. Which is greater: 2/3 or s?
s
Let s = -1 - 0. Let b be (9/(-276))/(3/(-14)). Let g = 1/69 + b. Is g less than s?
False
Suppose -3*u - 56 = -4*z + u, 0 = 2*u + 10. Let r = -2 + z. Is r at most 7?
True
Let j(x) = -x**2 - 26*x + 57. Let m be j(-29). Do m and -30 have different values?
False
Let f(w) = 3*w**2 - w. Let r be f(2). Suppose -j = -5*h - r, 2*h - 8 = -j - j. Is 0 at least as big as h?
True
Let p = 0.62 - -5.28. Let s = 6 - p. Which is greater: 0.5 or s?
0.5
Let f = 0.65 - -0.15. Which is smaller: f or 2?
f
Let n be 4/(-10) - (-693)/45. Which is smaller: n or 1/3?
1/3
Let g(q) = -q**2 + 8*q + 7. Let x be g(8). Suppose 5*p - 34 = 3*s, s = -0*s - 2*p + x. Are s and 3 equal?
False
Let a(q) = q**2 + 2*q - 10. Let g be a(-5). Which is bigger: 6 or g?
6
Suppose -2*o + 4*j = -o + 14, 2*o = 3*j - 13. Which is smaller: 7 or o?
o
Let r = 56 - 51. Which is smaller: r or -1?
-1
Suppose -s = 7 - 6. Let d = -2 + -1. Let u be (1 - s)/(d - -1). Do u and -4/7 have the same value?
False
Let b be (-65)/26*1/(-2). Which is smaller: 0 or b?
0
Let g(s) = 3*s**3 + 2*s**2 - 1. Let h be g(-1). Is h greater than -5?
True
Let g = -409 + 849/2. Let c = -16 + g. Is 0.2 greater than c?
True
Let t = 2 - 2. Let y = -47 + 12. Let v be 10/y + 12/(-7). Which is greater: t or v?
t
Let h = -2 + 9. Let m(j) = j**2 + 4*j + 3. Let g be m(-5). Which is smaller: h or g?
h
Let y = 0.1 + -0.2. Let s = -19.91 - -20. Let o = -0.1 + s. Are y and o nonequal?
True
Let p = -71.9 - -72. Do p and -23 have the same value?
False
Suppose -3*d = -0*d + 6, 4*b - 180 = 4*d. Which is smaller: 42 or b?
42
Let h be 2/4*-3*4. Let a = 17 + h. Is 12 greater than or equal to a?
True
Let q be (20 - 19)*1/1. Which is smaller: 43/2 or q?
q
Let z = -44 + 47. Is 4 at most as big as z?
False
Suppose -3*b + 0*y = y + 13, y + 4 = 0. Is -3 greater than b?
False
Let c(s) = -2*s + 2. Let u be c(-6). Let b be (-8)/12 + u/(-6). Let r be (6/b + 2)/(-1). Is r less than or equal to -3/11?
False
Let d = 4107 - 164309/40. Let q = 9/8 + d. Which is greater: 0 or q?
q
Let p = 0.024 + 0.026. Is 4 not equal to p?
True
Let n(s) = -s**2 - 6*s - 3. Let a be n(-5). Let d = a + 0. Let l be (1/(-5))/(4/(-10)). Which is bigger: l or d?
d
Let c(x) = -x**3 - 7*x**2 - 4*x + 3. Let z be c(-6). Let h be 2/z - (-44)/36. Let w be ((-6)/(-14))/((-4)/(-14)). Is h at least as big as w?
False
Let l(t) = t**2 - 9*t + 2. Let y be l(0). Is y equal to 10/19?
False
Let n = -9.6 + 12. Let i = -0.6 - n. Which is greater: i or 4?
4
Let y = 3183891/23864080 - -556/7495. Let z = y + -4/199. Which is bigger: z or 1/4?
1/4
Let y = -14126/15275 - -2/1175. Is y at most as big as -1?
False
Suppose -4*y + 4 = 4*i - 0, 12 = 4*y. Let l(h) = -h**3 + 3*h**2 - 6*h + 3. Let f be l(2). Is f >= i?
False
Suppose 4*y - 2*s - 7 = 1, y - 3*s + 3 = 0. Suppose 8*w - y*w = 0. Does 3 = w?
False
Let v = -9 - -1. Is -6 greater than v?
True
Let o(w) = -w**2 - 13 - 6*w + 13. Let d be o(-5). Let f = d - 4. Which is greater: f or 2?
2
Let q = 12 - 8. Suppose -4 = 4*o, q*o = 4*f - o - 9. Let h = f + -1. Is -4/7 <= h?
True
Let o(a) = -a - 15. Let s be o(-29). Is 15 equal to s?
False
Suppose -3*g - 1 = -10. Suppose 4*o - 1 = 15. Which is greater: o or g?
o
Let c(v) = v**2 + 9*v - 10. Let l be c(-14). Let t be ((-5)/(-3))/((-20)/l). Is -6 less than t?
True
Let r = -55.13 + 53. Let p = r - -0.13. Which is smaller: -0.9 or p?
p
Let h = -3 + 6. Let k(a) = 7*a + 41. Let w be k(-6). Let v = w + h. Is 3 greater than or equal to v?
True
Suppose 0*d + 15 = d. Suppose 0 = -5*f + d - 0. Suppose -3*p + 0*k - k + 7 = 0, -f*p - 3*k = -15. Is -1/7 less than or equal to p?
True
Let m(c) be the third derivative of -c**4/24 - 4*c**3/3 + 2*c**2. Let s be m(-6). Is -2/3 at least as big as s?
True
Let c(m) = 3 + 3