 - 18 = -4*b - 0. Is 1/5 != x?
True
Let i = -55 + 56. Which is smaller: 2/145 or i?
2/145
Let n = 13 + -9. Let y = n - 2. Which is smaller: -5 or y?
-5
Let q(r) = -r**3. Let d = -1 - 0. Let b be q(d). Let y be ((-9)/(-78))/((-9)/12). Do b and y have the same value?
False
Suppose j - 4 = -1. Suppose 12 = 11*i + i. Which is smaller: j or i?
i
Let t = -22 + 21. Which is smaller: t or -2/3?
t
Let z = 0.45 + -0.15. Let s = 0.1 - 0.1. Which is bigger: s or z?
z
Let s be 3 + (-1 - (-85)/15). Is s <= 7?
False
Let x(z) = -z**3 + 10*z**2 - 26*z + 4. Let q be x(5). Is 8/41 less than or equal to q?
False
Let h(j) = -j**2 - 4*j + 7. Let t be h(-4). Let w(d) = -d**2 + 9*d - 10. Let z be w(t). Is z smaller than 3?
False
Let z(a) = -a**2 - 5*a - 2. Let o be z(-3). Is 0.01 less than or equal to o?
True
Suppose 0 = -2*x - 2*x - u - 4, -4*u - 2 = 2*x. Are 2/3 and x equal?
False
Let m be (10/(-5))/((468/(-8))/(-3)). Which is smaller: -1 or m?
-1
Let p = 781/30 + -79/3. Suppose 0*m - 3*m = -3. Is p > m?
False
Let v(x) = -4*x**3 + 2*x**2 - 1. Let d be v(-1). Let c = d - 4. Which is smaller: 0 or c?
0
Let u = 67/4 - 69/4. Is u <= 0.4?
True
Let f = -12.8 - -11. Let l = f + -0.2. Let b = l + 3. Is -2/5 at least b?
False
Let p(s) = s**3 - 3*s**2 + s + 6. Let n be p(3). Are n and 8 nonequal?
True
Let c = -9 + 9.1. Let d(m) = -m + 4. Let s be d(3). Is s <= c?
False
Let u be 1 - 2 - (-1 - 2). Which is smaller: u or 2/3?
2/3
Let d(w) be the third derivative of w**4/24 + w**3/6 + 8*w**2. Let k be d(-2). Which is smaller: 2/21 or k?
k
Let b = 73 + -73.2. Which is smaller: -1.6 or b?
-1.6
Suppose 4 = -2*v + 6*v. Let x be (-7)/4 + v/4. Which is bigger: x or -3?
x
Suppose -5*y + 0*y + 25 = 0. Let c = y + 2. Which is smaller: 6 or c?
6
Let x = -4 - 4. Let v = 0.133 - -0.067. Is v less than x?
False
Suppose -12 = 5*g + 13, 4*x - 1 = g. Do x and -1/12 have the same value?
False
Suppose 0*r + 32 = 8*r. Which is bigger: r or -3/4?
r
Let k = 0.1 - 0. Let x = -16 + 10. Let y = 6 + x. Which is smaller: k or y?
y
Suppose -10 + 10 = -2*x. Let m be 2 - ((-18)/(-22) + 1). Is m greater than x?
True
Suppose -2*a + 4*d = 12, d = 4*a + 6*d + 24. Let j = a + 20. Let l = j + -43/3. Which is smaller: l or 0?
l
Let i = 13 - 18. Let k = i + 4. Let d = 0.2 - 0.2. Are k and d equal?
False
Let p = -2 + 4. Let m be (7/63)/((-2)/(-15)). Does m = p?
False
Let d = 4 + -5. Let u be d*10*5/(-2). Let k be 55/u - 2/10. Which is smaller: 2/3 or k?
2/3
Let h = 1 - -4. Let x be (2 - 9/2)*-2. Suppose -d + 16 = x*y, -3*d - 4 = -3*y + h*y. Which is smaller: 1 or d?
d
Let x(t) = -t**2 - 4*t - 3. Let g be x(-2). Suppose -v + 18 = -4*p + 4, 5 = v - p. Suppose -2*j = -v, -2*b = -5*b + 2*j + g. Is -3 at least b?
False
Suppose -d = -3*d - 10, 0 = 2*j - 4*d - 28. Suppose 0*w - j*w + 12 = 0. Suppose -1 - 3 = -z. Which is bigger: w or z?
z
Let z = -75/7 - -11. Let u(q) = -q**3 - 5*q**2 - 3*q + 3. Let g be u(-4). Let s = -1 - g. Which is greater: s or z?
z
Let u(o) = -o + 4. Let b be u(6). Let z(a) = 3*a - 1. Let m be z(1). Let g = m + b. Does g = 0?
True
Let s = -0.3 - 1.7. Let f = 0.6 - 0.69. Let b = 1.09 + f. Is s bigger than b?
False
Let z = -141 + 283/2. Is z > -1/29?
True
Let q be 4/(-24)*14 + 2. Which is smaller: q or -1.7?
-1.7
Suppose -4*i = -6*i + 4. Let p = -4 - -6. Let z = p - i. Is 2 != z?
True
Suppose -3*u = -u - 4. Let k(n) = -5*n + 7*n**2 + 6 - n - n**3 - n. Let x be k(6). Is x greater than u?
False
Let n = 22 - 22.1. Is -35 greater than n?
False
Let u = 1 - -5. Let z be 4/(((-8)/u)/(-2)). Which is bigger: 7 or z?
7
Let w be (-4)/(-18) + (-103)/423. Which is smaller: 1 or w?
w
Let o(y) = y**3 - 4*y**2 - 6*y + 6. Let h be o(5). Let g = -1 + 2. Does h = g?
True
Suppose 5*v + 0*q - 2*q = -20, 3*q = -4*v - 16. Which is smaller: -7 or v?
-7
Let t(a) = a**2 - 7*a - 10. Let d be t(7). Let j be 22/((-3)/1 + 1). Which is bigger: d or j?
d
Suppose 3*q + q = 36. Let u be (q/(-30))/(6/65). Let l = -15/4 - u. Is 0 less than or equal to l?
False
Let f be (-44)/(-10) + (-8)/20. Suppose 2*z = g + 3*g - 10, -f*z + 5*g = 8. Which is bigger: z or 6?
6
Let r = -1 - -1.2. Are r and -1 equal?
False
Let q = -11 - -15. Suppose 4*o + 12 = q. Let a = 8 - 37/4. Which is bigger: o or a?
a
Let m be 12/20 + (-82)/(-5). Is 1 < m?
True
Suppose 0*v + 5*v = 5. Let k be (v/(-4))/((-2)/8). Is k smaller than 2?
True
Let a = 2655169/1165320 - -4/11205. Let w = a + -28/13. Which is bigger: 0 or w?
w
Suppose -k + 4*m + 10 = k, -5*k = -3*m - 25. Which is smaller: k or 23/4?
k
Suppose x + 0*x - 3 = 0, -3*x + 27 = -2*z. Let v = -8 - z. Do v and 1/28 have the same value?
False
Let b be 4 - (186/18 - 0). Which is smaller: b or -6?
b
Let b be (-5)/(-15) - (-3)/(-9). Let m(y) = -y**3 + 3*y**2 + 6*y - 2. Let x be m(4). Let w be (-2)/x + 11/15. Which is greater: w or b?
w
Let z be 2/(-4)*3/6. Suppose -5*q + 12 = -2*q. Let i be q/6*24/(-16). Which is smaller: i or z?
i
Let x = -0.2 + 0.18. Let r = x + 2.02. Let u = 29.1 + -29. Does u = r?
False
Let d be (-4)/(-14) + (-29422)/126. Let b be -3 - -14*17 - 2. Let p = b + d. Is -1 at least p?
False
Let g(c) = -c - 3. Let i be g(-5). Suppose 4*n - 17 = -2*p + 7, -n - 2*p = 0. Suppose -4*l + n = 4*a - 2*l, l = 0. Is a greater than or equal to i?
True
Suppose 0*h + 48 = 4*h. Suppose 3*n - h = n. Suppose 0 = -c - 2*c - n. Is -6/5 less than or equal to c?
False
Suppose -4*i = -i + 6. Let t be (i + -3 + 5)/(-2). Let g be t/2 - (-12)/(-8). Is g greater than or equal to -3?
True
Suppose 0 = 5*l - 13*l + 48. Which is smaller: l or 5?
5
Let n = -8.08 + 0.08. Let l = -2 - n. Let v = l - 6.1. Is v smaller than -1/2?
False
Let u = -0.48 + -0.02. Let i = -0.5 + u. Let x = -2.5 + 0.5. Are i and x equal?
False
Let h be 55/44 - -2*(-1)/8. Let j be (8/(-22))/(-3 + 1). Are j and h nonequal?
True
Let d = -13 + 8. Is d greater than or equal to -2/3?
False
Let x = -43 - -39. Are -4 and x non-equal?
False
Let n = 0.01 + 1.99. Let h = 2 - n. Is 3/2 greater than h?
True
Let q be 16/14 - 4/2. Let z be -2 + 0/(3 - 5). Which is bigger: q or z?
q
Let j be (-4)/6*(-42)/28. Which is bigger: 2 or j?
2
Let c = -0.374 - 0.006. Which is bigger: 1 or c?
1
Let v = -15 + 9. Let l = -3 - v. Let k be 5/(105/(-6)) - 0. Which is bigger: k or l?
l
Let s = 29 - 24. Is 2 >= s?
False
Let l = 17.81 - -0.19. Let a = -17.96 + l. Let j = -1 - 0. Which is smaller: a or j?
j
Let v be (-4)/10 + 828/(-5). Let w = v + 1167/7. Which is greater: w or 2?
2
Let t = -0.048 + -1.352. Is t > -4?
True
Let u be (-42)/49 - (-1)/(-7). Are -3 and u equal?
False
Suppose -y - 2*y - 2*b + 45 = 0, 0 = y - 4*b - 29. Is y <= 21?
True
Let v be -30*-3*32/36. Let o = v + -157/2. Which is smaller: 2 or o?
o
Suppose 3*m - b = b + 26, 0 = -3*m + b + 22. Is m at most 6?
True
Let t = -19 + 20. Suppose -5*k - 23 = -3*h, 0 = -h - 2*k - 6 - t. Which is smaller: 2/17 or h?
2/17
Let r = 0 + -2. Is r smaller than 0?
True
Let l be 14/(-3)*3/(-2). Let c = -2 + l. Suppose -2*j - 7*j = -54. Which is greater: c or j?
j
Let v be 1 + -46*1/22. Suppose 5*y = -g - 8 - 1, -4*y + 4*g - 12 = 0. Are y and v nonequal?
True
Let v = 17 + -12. Let y be (-2)/5*v/3. Let h(s) = s**2 + 4*s + 3. Let r be h(-2). Is r bigger than y?
False
Let l = -0.1 + -1.9. Let n(x) = -x**2 + 5*x - 5. Let z be n(5). Which is smaller: z or l?
z
Let o = 35 + -46. Which is greater: -12 or o?
o
Suppose 12 = -5*o + 3*q, -o + q = 3*o + 11. Is -0.01 bigger than o?
True
Let d be (-3)/(-9)*6/4. Let u = -19 + 28. Let m = u + -8. Is d less than m?
True
Let l = -0.01 - -0.01. Which is bigger: 17 or l?
17
Let t be ((-1)/2)/(12/(-8)). Let g = 4 + -4.3. Let v = g - -0.2. Which is smaller: t or v?
v
Let t = 0.02 + -0.05. Let c = t + -0.37. Do -1 and c have different values?
True
Let u be 30*(2 + (-48)/20). Which is bigger: -11 or u?
-11
Let i(y) = 2*y + 3*y + 9 - y - 5*y. Let w be i(8). Which is smaller: w or 1/8?
1/8
Suppose 3*n + 2*w - 9 = -0, 3*w = 5*n - 34. Suppose n*k = -8 - 12. Is 0 <= k?
False
Let j = -179 + 179.1. Is j less than or equal to 154?
True
Let k(n) = -16*n**2 - 5*n - 2. Let d be k(6). Let o = d - -24930/41. Is o smaller than -1?
False
Suppose -3*o + 5*h + 102 + 39 = 0, -3*o - 2*h = -120. Suppose 0 = 5*r + 4*k - o, -2*r - 3*k - 5 = -26. Let f be ((-5)/(-20))/(r/8). Which is smaller: 1 or f?
f
Let z = 7503/2570 + -5/257. Let u = z