
Let w = 5.3 + -5.34. Let u = 33.96 - 35. Let q = u - w. Do 0 and q have different values?
True
Let q(i) = -i**2 - 5*i - 6. Let b be q(-4). Let k be 0 + (1 - 0 - -5). Let n be 4 + b - 10/k. Which is smaller: 0 or n?
0
Suppose -5*b + 15 = -2*b. Which is smaller: -2/15 or b?
-2/15
Let b = 1.1 - 0.1. Let y = 0.6 - 1.5. Let p = b + y. Is -3/5 at least p?
False
Let c be (15/(-105))/(2/7). Which is smaller: c or -0.17?
c
Let b = 17.7 + -1.7. Let l = 15.9 - b. Let q = -3 + 5. Is l not equal to q?
True
Let i(l) = l - 1. Let s be i(6). Let h be (-37)/(-6) + (-2)/12. Which is greater: s or h?
h
Suppose -2*s + 8 = -2*l, s + s = 5*l + 17. Is l smaller than -18/7?
True
Let b(z) = 6*z**3 + z + 1. Let u be b(-1). Let k be 4/(-2)*9/u. Suppose -3*g = -6 + k. Which is smaller: g or -1/4?
-1/4
Let b = -23 + 22. Do 2/15 and b have the same value?
False
Let t(p) = 0 - p + 2 + 11 - 3. Let n be t(7). Is 1/4 >= n?
False
Let g(k) = 31*k**2 - 3*k + 2. Let l be g(2). Let b = -843/7 + l. Suppose -5*q + 2*h = 3, q - h + 2 = -q. Which is smaller: b or q?
b
Let h = 5 - 5. Let i = 14/17 - 120/187. Is h not equal to i?
True
Let a(w) = w + 12. Let s be a(-11). Let y = s + -2. Which is smaller: -2 or y?
-2
Let b = -5 + 13. Suppose -5*c + c + b = 0. Suppose -3*k = -0*k - 6. Is c bigger than k?
False
Let w = 5 + 1. Suppose o - w*o + 25 = 0. Is 4 > o?
False
Let v = 12/59 - 241/1475. Which is smaller: 0 or v?
0
Let n be 1 - 2*(-2)/(-4). Suppose 0 = -2*b + 25 + 29. Let c be (-9)/b - (-17)/24. Which is greater: n or c?
c
Suppose -2*a = 4*y - 20, 4*a + 3*y - 13 = 12. Which is smaller: a or 15?
a
Let j = 2 - 0. Suppose -3*w = 3*s - 9, -j*w + 3*w - 1 = s. Suppose -3*a + 0*n = w*n - 9, -a - 4 = 3*n. Is 5 bigger than a?
False
Let c = 18.8 - 19. Which is smaller: c or -1?
-1
Let m = -16 + 21. Let y = -2 + 2. Let v(d) = d**2 - d + 6. Let s be v(y). Which is greater: m or s?
s
Let a be 1/(-4) + 15/(-4). Let y = 2 - 5. Let u = y - a. Which is smaller: 0.1 or u?
0.1
Suppose -5*w - 26 = -a, -4*w - 6 = 3*a - 46. Let i = a + -12. Which is greater: 1 or i?
i
Let j = -3 - -2. Let g = 0 + -0.2. Let w = -0.3 - g. Is w greater than j?
True
Suppose -10 + 0 = -5*o. Let u = o + 0. Let p be 0 - -5 - (0 + 2). Which is bigger: u or p?
p
Suppose 0 = 2*f - 4*s + 5 + 5, 0 = 4*f + 5*s + 46. Let v be 35/f + 3 - -1. Suppose x - 2 = -1. Is v equal to x?
False
Let h be 4 - (2 + 14/10). Which is smaller: 1 or h?
h
Suppose 5*a = 2*z - 13, -4*z + 17 = 1. Let t be 2 - (5 + 1)/a. Let c be (12/t)/((-1)/(-2)). Which is bigger: 1 or c?
c
Let y = 5/3 + -17/9. Which is smaller: y or -9?
-9
Let w be ((-10)/90)/(1/(-2)). Which is bigger: w or -1?
w
Let p(v) = -4*v + 7. Let c(j) = 3*j - 6. Let f(b) = 7*c(b) + 6*p(b). Let o be f(-1). Let g be (-2)/o*(-6)/2. Is g at most 2?
True
Let h(k) = 4*k. Let z(l) = 5*l - 1. Let x(b) = -4*h(b) + 3*z(b). Let g be x(-5). Is -1 not equal to g?
True
Suppose 4*i = 3*r - 31, -5*r + 7*i - 2*i = -50. Let z be 316/40 + -3 + 26/10. Which is smaller: z or r?
z
Let d(g) = g**2 + 9*g + 17. Let b be d(-6). Which is greater: b or -1/41?
-1/41
Let s be (-6)/15 - (-163)/(-5). Let b be (22/s)/(4/(-6)). Which is smaller: b or 3/7?
3/7
Let h(p) = -p**3 - 6*p**2 - 5*p + 3. Let l be h(-5). Suppose -3*w = 5*u + 15, -5*w + 0*u - 9 = l*u. Let t = -12/25 - -2/25. Do t and w have the same value?
False
Suppose 0*u = 3*u + 12, 4*y + 5*u = -8. Let w = y + -5. Let k be (4 - w)/((-18)/(-4)). Which is greater: k or -2/5?
k
Let m = -18.8 - -18. Is 0.3 equal to m?
False
Let n = 0.2 - 0.2. Let j = 0.4 - -0.6. Let u = j - n. Is u at most -2?
False
Let f = -1.29 - -0.29. Is f at most as big as -1.7?
False
Let l = -5.05 + 0.15. Let a = -5.09 - -0.09. Let z = a - l. Which is bigger: -1/5 or z?
z
Let v = -7 + 13. Let k = 1.4 + 4.6. Let s = v - k. Which is smaller: 1 or s?
s
Suppose 6*n - 2*n + 12 = 0. Which is greater: -18/7 or n?
-18/7
Suppose 0 = -2*u - 5*g - 4, u + g - 2*g = -9. Let h = -8 - u. Which is smaller: h or 0?
h
Suppose 0 = -j + 4, 107 = 5*k - 0*j - 2*j. Which is bigger: 70/3 or k?
70/3
Let u = -6 - -4. Is u bigger than -16/9?
False
Let t = 45 + -43. Let i = -11/10 - -29/15. Which is smaller: t or i?
i
Let h = -61 - -182/3. Which is bigger: h or -0.23?
-0.23
Let n be 1*(-2 + 0)*-3. Suppose -4*p + n = -14. Suppose -3*h + 8*h + p = 0. Is h equal to 0?
False
Suppose 3*g - 220 + 61 = 0. Let n = 211/4 - g. Is -8 at least as big as n?
False
Suppose 4*a + a - 2*h = 6, -a - 3 = h. Let z be a - -3 - (-2 - -2). Let c be 1/(-4) + 17/4. Does z = c?
False
Let o = 13062/47 - 278. Let w = 125/188 - o. Which is smaller: w or 2/7?
2/7
Let k = 1 + -3. Let y be (-1)/3 + (-1)/1. Is k > y?
False
Let h = -97/6 - -41/2. Which is bigger: 5 or h?
5
Let k = -5 + 8. Suppose 3 = -2*c - 1. Let a = c + k. Which is smaller: a or -1/3?
-1/3
Let z be (-1)/(-4 - -6 - 1). Do 3/10 and z have the same value?
False
Let m = 0.36 + -3.96. Let p = 0.4 - m. Which is smaller: p or 1?
1
Suppose -5*t - 10 = 0, 0 = 4*i - 0*t - 3*t - 34. Let f = -22 + i. Is -15 bigger than f?
False
Suppose -5*i + 9 = -1. Let l = i - 3. Is -1 at most l?
True
Let o = -6 - -4. Let t be 74/(-3)*(1 - -2). Let u = 145/2 + t. Which is bigger: u or o?
u
Let t = 2.94 + -3. Let k = 0.56 + t. Let v = -1.5 + k. Which is greater: v or -0.1?
-0.1
Let c = -74.47 - -85.4. Let d = c + -11. Which is smaller: 0 or d?
d
Let f = 8 - 13. Suppose -5*s - 1 = -2*l + 11, 4*s + 32 = -4*l. Is l bigger than f?
True
Let t = 0.48 + -0.7. Let n = -0.08 + t. Let a = 0.4 + n. Is -3 > a?
False
Let n = -0.25 + -0.01. Let l = n - 0.34. Which is smaller: l or -1?
-1
Let a = -21 - -15. Let s be 1/a - (-2)/(-24). Let u = -0.3 - -0.2. Are s and u non-equal?
True
Let o = 44 - 24. Which is bigger: 22 or o?
22
Let h be 8/3*(5 + 105/(-20)). Let a = 0.4 + -0.4. Is a smaller than h?
False
Let m = 7 + -7. Let w = 0 - -1. Which is smaller: m or w?
m
Suppose 0 = -m - i - 3, -5*m + 4*m = -5*i - 3. Let d = m - -4. Is d < -2/9?
False
Let c = -5 + 7. Suppose -2*g = -0*g - 6. Which is bigger: c or g?
g
Suppose -5*s = -5*q - 35, 0 = q + 4*s - 3*s - 1. Let n(o) = -2*o - 5. Let h be n(q). Which is smaller: 1/3 or h?
1/3
Suppose 0 = -3*m - 10 + 1. Let s = 3 + 2. Let h = s + m. Which is smaller: -1 or h?
-1
Suppose 4*p = 3*p + 1. Let l be 17/12 - (-1)/4. Let i = l + -2. Is p bigger than i?
True
Let o be 6/(-15) - 2/(-5). Suppose o = s + s + 5*z + 26, z + 1 = s. Let q = s + 3. Is q at most 0?
True
Let i be (-1)/2 + (-15)/6. Let y(z) = -z**3 - 4*z**2 - 2*z + 4. Let l be y(i). Which is smaller: 2/7 or l?
2/7
Suppose 26 = -2*g - 10. Let s = g - -13. Which is greater: -6 or s?
s
Let z(i) = i + 5. Let a be z(-6). Let x = 44/3 - 481/33. Which is bigger: a or x?
x
Let p = -0.08 + 0.18. Which is smaller: p or -20?
-20
Let d be (-2)/(-6) + 4/6. Let u be (-24)/10 + 2 + 0. Are d and u non-equal?
True
Let v(x) = -2*x + 3. Let g be v(6). Let w be (-8)/(-36) + 11/g. Let j = 0 - 2. Which is bigger: j or w?
w
Let m be (-2)/(-3)*(-12)/(-2). Suppose r + m = 7. Is 4 <= r?
False
Let c = 0.54 + -2.52. Let u = 0.02 - c. Do u and 2 have different values?
False
Let m(k) be the first derivative of k**3/3 + 3*k**2/2 - 3*k - 1. Let s be m(-4). Are s and -2/7 unequal?
True
Suppose 9*h + 1 = 10*h. Which is smaller: h or 7?
h
Suppose w + 0*m + 10 = 3*m, -3*w - 5*m + 26 = 0. Suppose -5*a = -w*t - 17, 5*t = -3*a + 3*t + 7. Is a >= 2?
True
Let c be (-3)/(-4) - (-10 - -11). Suppose 2*t - 2*f = 5*t + 3, 0 = 4*t - f + 4. Which is smaller: c or t?
t
Let j = -35 + 20. Let w be (18/j)/(4/(-5)). Which is bigger: -1 or w?
w
Suppose -5*f + 6*j = 3*j - 29, -5 = -f + j. Suppose -15 = 4*k - f. Let s = -437/6 - -73. Are k and s unequal?
True
Let c = 15 + -10. Let a be (3 - 2) + -3 + c. Suppose 0 = -a*x - 4*k + 5*k - 4, -12 = x - 3*k. Are 0 and x non-equal?
False
Let y be ((-6)/(-15))/(2/60). Suppose -y = -3*s + 7*s. Let m be (-4)/10 - 36/10. Which is greater: m or s?
s
Suppose -3*r = -2*q + 43, 2*r + 21 = 5*q - 59. Let y be 5/(-7) + (-4)/q. Which is smaller: 2/27 or y?
y
Let h = 113 + -113. Is -7 greater than or equal to h?
False
Suppose -17*z - 8 = -9*z. Which is greater: -4/7 or z?
-4/7
Suppose 2*a - 4*m - 4 = 4*a, -4 = 2*a + 5*m. Is a greater than -3?
True
Let a(y) = -7*y**3 + y**2 + y - 1. Let d be a(-3). Suppose 4*c = 3*c + d. Let u = -1356/7 + c. Are u and -1 nonequal?
True
