Is a at most as big as -1?
False
Suppose 16 = 4*u - 12. Let q = u + -8. Is -1 smaller than q?
False
Let k be (-4)/28*4/2. Let x be -30*(-6)/8 + 1. Let h = 24 - x. Are h and k unequal?
True
Suppose -2*u + 11 = -3. Suppose 3 = -5*a - u. Is a at most as big as -1?
True
Let a = 4.1 + -4. Let x = -0.189 + 0.009. Is x smaller than a?
True
Let j = -8 + 7.4. Let f = j - -4.6. Are 1 and f non-equal?
True
Let l = -56 - -79. Which is bigger: 1 or l?
l
Let b = 1 + 3. Suppose 0 = 3*h + b*n + 12, 13 = 5*n + 28. Are h and 24 non-equal?
True
Suppose -207 + 31 = -2*f. Do 1 and f have the same value?
False
Let k = -0.185 - 0.015. Is 17 < k?
False
Let j(y) = y**2 - 4*y + 4. Let p be j(3). Which is smaller: p or -1/33?
-1/33
Suppose -3*r + 14 = 4*t, 0 = 2*t + 5*r - 10 - 4. Suppose 3*p - t*p = -1. Suppose -2*q + 0 = 2. Is p smaller than q?
False
Let f = 0.703 - 0.003. Let h = -8.1 + 8. Is h smaller than f?
True
Let l = -56 + 8. Which is bigger: l or -49?
l
Let s = -11 - -12. Is 0 at most as big as s?
True
Suppose 3*o - 5*c = 8, 2*o + 2*o = 5*c + 4. Let k(b) = b**3 - 3*b + 3. Let h be k(2). Let f = h + o. Are f and 1 non-equal?
False
Suppose -7 = -2*i + 2*r + 5, 0 = 4*i - 2*r - 18. Is i >= 1?
True
Let p be ((-8)/12)/(1/(-3)). Suppose p*y - 4*x - 5 = 3, 0 = y - 5*x - 7. Which is smaller: -0.1 or y?
-0.1
Let g be 32/8 - (21 - -2). Is g != -23?
True
Suppose -5*j - 19 = -3*p + 3, 0 = 3*j + p + 2. Let k = j + 0. Let g = k + 3. Is g >= 2?
False
Let p be (3 - 136/46)/((-4)/8). Let t be -1 - (-2)/4*0. Which is bigger: t or p?
p
Let b be (2/(-6))/(1/(-45)). Which is smaller: 14 or b?
14
Let o(c) = 3*c - 28. Let j(d) = 2*d - 19. Let x(z) = 7*j(z) - 5*o(z). Let t be x(7). Let p = -62/5 + 123/10. Which is greater: t or p?
t
Let m = -0.03 + -0.17. Which is greater: m or -4?
m
Suppose -4*v = -5*i - 25, -5*v + 4*i + 44 = 2*i. Suppose -w - 4*w + 5*j = -v, 4*w = -3*j - 13. Is w bigger than 2/5?
False
Let c be (-155)/25*(-1 + 2). Is -5 bigger than c?
True
Let j(g) = -g**2 + 2*g - 4. Let r be j(4). Let x be (-4)/(-6) - r/(-27). Is 0 at most x?
True
Let d = -0.2 - 0.1. Let f be (-6)/(-10) - 14/(-10). Suppose -5*l = -2*c - 2, 0*l + 5*l = -2*c - f. Which is smaller: c or d?
c
Suppose 16*z + 7 = -9. Does z = -4/7?
False
Let m(f) = -f**2 - 14*f - 23. Let t be m(-12). Are t and 2/57 non-equal?
True
Let g be ((-2)/7)/(3/(-21)). Let y be 5/5 - g/(-2). Is 1 not equal to y?
True
Let n(u) be the first derivative of u**2/2 + 4*u + 1. Let m be n(-4). Let x be (-6)/9 - (-2)/(-24). Which is greater: m or x?
m
Let b be 15/(-17)*441/(-4212). Let v = b + -2/221. Which is bigger: v or 0.1?
0.1
Let n be 4 + (-1 + 0)*1. Let k be (-346)/(-60) - (-6)/15. Let i = -14/3 + k. Is n greater than or equal to i?
True
Let y = -23 - -24. Which is smaller: -19 or y?
-19
Let j = 1.3 + 0.7. Is j at most 27?
True
Let f be (-4)/(-238)*(-196)/42. Which is smaller: 0 or f?
f
Let m = 16 + -17. Let u = -30 - -148/5. Let h = u + 17/55. Which is smaller: m or h?
m
Let d = 2 - 1.99. Let w = 2.01 - d. Let o = 3 + -4. Which is smaller: w or o?
o
Suppose 0*d + d + 4 = 0. Which is smaller: d or -27/5?
-27/5
Let c = -8 + 13. Suppose -2*o + 2 = 0, 3*j - 6 = 2*j - c*o. Suppose 5*v = 4*v + j. Which is smaller: v or -1/3?
-1/3
Suppose 2*t - t = 4. Let l = -5 + t. Is -1/11 bigger than l?
True
Let p = -16.6 - -17. Are p and 5 non-equal?
True
Suppose 4*q = q. Which is greater: 1 or q?
1
Let i be 3 + 20/(-12)*3. Are i and -4/3 unequal?
True
Let i = 54 - 269/5. Suppose -4*a - 4*h = -4, 0*h + 1 = -h. Let y(w) = w**2 - 2*w. Let u be y(a). Are i and u nonequal?
True
Let o = -80.3 - -80. Are o and 1.7 nonequal?
True
Suppose 2*z + 3*f = 47, 0*z + 2*f - 63 = -3*z. Which is bigger: 4 or z?
z
Let r(k) = -k - 3. Suppose -1 = 5*l - 5*j - 6, -2*l - 3*j + 17 = 0. Let y be r(l). Is -6 greater than y?
True
Let h be (-23)/(-34)*(-26)/215. Let o = h + 3/85. Which is greater: -1 or o?
o
Let m be ((-8)/25)/(36/30). Which is bigger: -1 or m?
m
Suppose 5*i + 0 + 5 = 3*j, -5 = 5*i + j. Let r = i - -3. Is r at least 2?
True
Let b be 1/(-22)*1*-2. Suppose 0 = -0*d - d - 1. Which is greater: b or d?
b
Let y = -7 + 4. Let b = -52 - -69. Let u be (y/b)/(6/(-4)). Which is bigger: u or 1?
1
Let i = 460 + -27142/59. Which is bigger: i or 1?
1
Let i(z) = -z**2 - 8*z - 26. Let c be i(-6). Which is greater: c or -13?
-13
Let t = -11 + 11. Which is bigger: 2/3 or t?
2/3
Suppose -79 = -3*w - 67. Is w at most 5?
True
Suppose 0 = -4*n - 0*n + 8. Suppose 4*u - 21 = -3*i - n*i, 3*i = u + 16. Let r be (3 + u)/(7 + -1). Which is smaller: r or -1?
-1
Suppose 5*d = n, 2*n - 4*d - 6 = -0*d. Let w(z) = 3*z - 7. Let c be w(n). Suppose 0 = 4*p + 4*h + c, -5*h - 10 = 2*p - 5*p. Which is smaller: p or 2/5?
p
Let a(b) = -2*b**2 + 6*b - 19. Let u be a(6). Which is bigger: u or -56?
u
Let b be (-8)/(-28) - 1/7. Suppose 24 = -q - 5*x, 2*q - 2*x - 8 - 4 = 0. Which is bigger: b or q?
q
Let u be (-4)/(1 - (3 - 0)). Let g = 94.2 + -106. Let k = g + 12. Which is smaller: k or u?
k
Let l = -93 + 81. Which is greater: l or -11?
-11
Let x(u) = -u**2 + 4*u + 3. Let s be x(5). Do s and -7/12 have the same value?
False
Let l = -0.2 + 0.3. Let w = -46 - -43.3. Let i = w + 3. Which is smaller: i or l?
l
Let i(q) = -q**2 - 14*q - 3. Let u be i(-14). Let d be u*8/(-84) + 0. Which is bigger: 12 or d?
12
Suppose 4*i - t = -15 - 2, -5*t + 16 = 3*i. Which is bigger: -2 or i?
-2
Suppose m = 3*p - 141, -3*m - 55 = -3*p + 2*p. Is p less than 46?
False
Suppose 4*n = 4*f, 0 = 3*f - 0*f + 3. Let p = 191 + -1341/7. Which is greater: p or n?
p
Let f be ((-4)/10)/((-2)/10). Suppose 15 = 5*m - 4*k, f*m - 11 = -2*m + 3*k. Which is greater: m or 2/25?
2/25
Let r = -8.8 - -8.41. Let g = -0.4 - r. Let o = g - -0.01. Is -1 > o?
False
Let c be (2/(-2))/1 + 5. Let a(v) = -v**2 + v + 2. Let n be a(0). Let m = n - 0. Which is smaller: c or m?
m
Let z = 3 + -1. Let n = -3 + z. Let g be (-2 + 26/10)/n. Which is greater: 0 or g?
0
Suppose -3*q + 23 = -4. Suppose -3 + 5 = h. Let f = q - h. Do 6 and f have the same value?
False
Let x(k) = k**2 + 7*k + 4. Let m(p) = 2*p**2 + 15*p + 9. Let l(s) = -2*m(s) + 5*x(s). Let c be l(-4). Let v be 2/(-5) + (-2)/(-5). Which is greater: v or c?
v
Suppose -2*n + o - 3 = -0*n, -4*n + 3*o - 9 = 0. Is 3 > n?
True
Suppose -z = 2*z. Let u be 3/(-42) + (-1)/2. Which is smaller: z or u?
u
Let f = -8 + 10. Suppose f*v - 4*v = 2. Does v = -1/17?
False
Suppose -4*n + 7*n = 0. Which is smaller: -1 or n?
-1
Suppose -7*p + 0 = -7. Which is greater: 17 or p?
17
Let o(w) = w**2 - 5*w - 3. Let k be o(6). Let g(a) be the second derivative of a**4/12 - a**3/3 - 3*a**2/2 - 6*a. Let u be g(k). Which is greater: u or 3?
3
Suppose 4*y - 2*y = 0. Which is smaller: -0.1 or y?
-0.1
Let s(b) = -b**3 + 4*b**2 + 5*b + 1. Let l = -12 - -17. Let g be s(l). Is g > 0?
True
Suppose 0 = 6*l - 2*l + 4. Which is smaller: -29 or l?
-29
Let b = -73 + 71. Which is smaller: -15 or b?
-15
Let a be (-6)/27*3 - (-79)/24. Is 2 < a?
True
Let u be 14/6 + (-2)/6. Let o = u + 0. Suppose 0 = -o*l - 0*l + 4. Is 2 greater than or equal to l?
True
Let u = -28 - -36. Let x(q) = -9 + 6*q**2 + q**3 + 8*q - 15*q**2 + q. Let v be x(u). Are 3 and v non-equal?
True
Let a be -1*3 + (-1 - -3). Let y = 2/51 - 55/102. Are a and y unequal?
True
Let c = 614/35 - 87/5. Is -1 not equal to c?
True
Let g be (5/2)/(6/12). Suppose g*n - 80 = -5*u, 3*u + 5*n - 6 = 36. Which is smaller: 18 or u?
18
Let b = 0.7 + -0.4. Let v = -0.5 + b. Which is greater: -2 or v?
v
Let t be 0/1 + 1 + -2. Let k = 10 - 10. Is k greater than t?
True
Suppose -t - 3*y = -2*t + 9, 2*t - y = 3. Let x = 2596970/17275401 - 1910/5629. Let g = -2/279 - x. Is g bigger than t?
True
Let s = 0 + 2. Let h be 4/(-3)*6/s. Let d be 1/1 - (h + 5). Is 0 less than d?
False
Let r = -22 - -24. Let u(l) = l**3 - l**2 + 1. Let t be u(-1). Which is smaller: t or r?
t
Let s be 14/(-3)*(-34)/(-133). Let r = -39359/19 - -2071. Let q = r - s. Is q at most as big as 2?
True
Let w be (-2 + 0 - 0) + 3. Suppose 0 = -4*l - 2*h + 14, 2*l = 5*l - 3*h - 6. Suppose -4*k = -l*k - w. Which is smaller: 2/5 or k?
2/5
Suppose -2*a - 3*y = -0*y + 6, 3*a + y + 9 = 0. Which is smaller: -2 or a?
a
Let v = 4 + -12. Let r be (-105)/(-20) - (-2)/v. Suppose r*o = 2*g + 4, o - 4*g - 8 = -0*g. Which is smaller: o or 0.5?
o
Suppose x + 