*u/(-15). Are n and -2/5 equal?
False
Let c = -5.6 - -1.6. Let v = c + 7. Which is bigger: v or -2/3?
v
Let p be 4*1 - ((-168)/(-20) + -4). Is 0.03 <= p?
False
Let f be (-1)/(-3) - 272/(-6). Let o = -45 + f. Is o less than -0.01?
False
Suppose -4*w = p + 23, -31 = 2*p - 2*w + 5*w. Let k be 1/p*(-3)/3. Let u be 0/(3 - (-16)/(-4) - 1). Which is greater: u or k?
k
Let u be 1 - -3 - (1 - 3). Suppose -4*h + 9 = -h. Let f = u - h. Which is greater: 2 or f?
f
Let d = 7 + -2. Let q = 10 + -19. Let o = 13 + q. Is d bigger than o?
True
Suppose 3*y - 6*y + 3 = 0. Is y at most as big as 1/41?
False
Let o = 1.2 - -2.8. Let j = -4.1 + o. Which is smaller: 1/6 or j?
j
Suppose 0 = -3*o, -2*a = 3*o - 2*o - 10. Let r = 9 - a. Suppose r*m = 4*h + 8, 4*h + 5*m - 11 = 17. Do h and 2 have different values?
False
Let o(m) be the second derivative of -m**4/12 + 2*m**3/3 + 5*m**2/2 + 3*m. Let d be o(4). Suppose -d*z = -4*z + 6. Are -6 and z unequal?
False
Let d(g) = -g**3 - 6*g**2 - 6*g - 2. Let u be d(-5). Suppose -1 = 4*q + u. Let o be 2/6 + 3/(-9). Is q at most as big as o?
True
Suppose -q - 20 = 3*q - 4*l, -5*l = 20. Is q < -10?
False
Suppose 9 = 3*s - 0. Suppose 21 = -3*z - 3*c + c, -c = s*z + 21. Is z greater than or equal to 0.1?
False
Let d(p) = p - 4. Let x be d(4). Let v be (-1)/(-2) - (-30910)/(-53580). Let m = 4/141 - v. Which is smaller: x or m?
x
Let k = 94 + -66. Which is bigger: 29 or k?
29
Let x = -3 - -2. Let q be (-4)/(-1) + (-170)/3. Let o = q + 52. Is x < o?
True
Suppose -26*l = -21*l + 20. Which is smaller: l or 0?
l
Suppose 8*q - 5*q = -3. Which is smaller: -0.4 or q?
q
Let y = -10 - -9.91. Let j = y + -0.91. Is j < -6/7?
True
Let l = 0.033 + 1.077. Is l at least 1?
True
Let t = 16248/37 + -439. Which is smaller: t or -0.1?
-0.1
Suppose 3*c = 2*c. Suppose 3*q + 5 = -5*t + 2*q, -3*t - 2*q - 10 = c. Let z be 2/(-6) - (-10)/12. Which is bigger: z or t?
z
Suppose 0*q + 4 = -3*q + 5*a, 3*q - 14 = -4*a. Let h(g) = g**3 + 5*g**2 + 4*g + 2. Let c be h(-4). Is q equal to c?
True
Let u = 25 + -26.1. Let k = u + 2.1. Let c = -25/9 - -152/45. Which is smaller: c or k?
c
Let q be (-1 - -13)/4*3. Is 11 bigger than q?
True
Let o(l) = 3*l**2 - 1. Suppose 0 = -4*f - 4. Let z be o(f). Let c = z + -5. Is c <= -2?
True
Suppose 0*q + 18 = -4*u + 2*q, 0 = -4*q - 12. Which is smaller: -5 or u?
u
Let i = -3.3 - -4.3. Which is greater: -17 or i?
i
Let r(b) = -b**2 + 5*b + 2. Let v be r(5). Let l be 0 + 9/(-12)*v. Suppose -n + 5*k - 6*k = 8, 22 = n - 5*k. Which is greater: n or l?
l
Let g = -3 - -2. Let t = 0.72 + -0.62. Which is greater: g or t?
t
Let q be (-6)/18 + (-1)/(-3). Suppose -t + 0*t - 3 = q. Let i = -4 - 0. Do t and i have the same value?
False
Let l = -2/157 + -131/2041. Suppose -c - 4*c = 0. Are l and c equal?
False
Let b = 12 - 56. Is b < 1?
True
Let o = 50 - 47. Which is bigger: o or 1.2?
o
Let o(f) = -f**3 - 5*f**2 + 3. Let q be o(-5). Suppose 5*x = 25, 3*k - q = -3*x - 6. Is k less than -5?
True
Suppose -2 = -r + c, 0*c = 3*r - c - 2. Suppose q - 4*k = -r*k - 16, 0 = -k + 5. Is 3 equal to q?
False
Let c be (-18)/(1 + (0 - 0)). Let v = c - -25. Are -2/7 and v unequal?
True
Let k(x) = 14*x - 4. Let i be k(-4). Let u be 2/3 - i/(-63). Are 0 and u equal?
False
Let r = 38 + -39. Is r smaller than -1/3?
True
Let g = 52394/105 + -499. Is g < 0?
True
Let q = 2 - 5. Is -4 greater than or equal to q?
False
Let x be (13 + 0 + -2)/(-1). Let y = -7 - x. Which is smaller: y or 3?
3
Suppose p + 3*p = -4. Which is greater: 3/8 or p?
3/8
Suppose 3 = p + 5. Let o be -2*p/(-8)*-4. Let u be 3/(-6)*o*3. Is -1 less than u?
False
Let w = 11 - 19. Let v = w + 4. Let k be (-1)/((0 + 1)/1). Is v <= k?
True
Suppose 5*f = 4*o + 10, -f - 4 = -3*f - 4*o. Let p = -0.7 - 2.3. Which is greater: p or f?
f
Let z = -1.7 + -5.3. Let o = z - -6. Which is smaller: 1 or o?
o
Let r(l) = 3*l**3 + 2*l**2 - 2*l + 1. Let a be r(1). Suppose 2*f - a*f = 4. Is -8 != f?
True
Let f = -0.1 + 0.1. Let s = -1 - f. Is s <= -1?
True
Let a = 16.05 + -16. Let m = a + -14.05. Is 1 at least m?
True
Let o = 2 + 16. Suppose -2*a + a - 11 = -3*s, -4*a - o = s. Let g = -3 + 6. Which is greater: s or g?
g
Suppose -4*b - 22 = 5*r, -4*b + 2*r + 3*r = 2. Which is smaller: 2 or b?
b
Let b = -1.98 + -0.02. Let n = 34 + -24. Let m = -11 + n. Are b and m unequal?
True
Suppose -12 = -3*p - 2*l, 0 = 2*p - 4*p + 2*l - 2. Which is smaller: 16/23 or p?
16/23
Let u be 10/(-3)*(-42)/35. Let s(g) = -g**3 + 3*g**2 + g + 2. Let i be s(3). Which is greater: i or u?
i
Let w = 5.3 - 1.3. Which is smaller: w or 1/3?
1/3
Let d = -1/78 - -629/390. Are -1 and d equal?
False
Let t(p) = 3*p + 50. Let k be t(-16). Is k < 2/5?
False
Let d = 23 + -24.5. Let w = 1.6 + d. Is -4 > w?
False
Let w = -8 - -28. Let u = -19 + w. Is 5/11 less than u?
True
Let l = 12 - 22. Suppose 0 = 4*h - 4 + 12. Let o be 5/l - 5/h. Which is smaller: o or -1?
-1
Let l(u) = -u**2 + 2*u - 3. Let h be l(2). Let s = h + -5. Let i be (-9)/(-3) + (0 - 12). Do s and i have the same value?
False
Let t = -28 + 29. Is 2 >= t?
True
Let f(b) = 6*b + 10. Let h be f(-2). Which is smaller: h or -4/7?
h
Suppose -i + 2 = 0, 4*i - 1 + 5 = -3*k. Suppose -2*u + 15 = 5*l, 5*l = -3*u - 2*u + 30. Suppose a = -0*t - t - 3, 1 = t + u*a. Do k and t have the same value?
True
Let u = 13.6 - 14. Which is bigger: 1 or u?
1
Let b = -5 - -5. Let v = b + 5. Is v smaller than 5?
False
Let a = 6.98 - 7. Let r = -0.04 - a. Is r at least 0.1?
False
Let y be ((-18)/(-8))/((-2)/8). Suppose 2*c - c - 7 = 0. Let g = y + c. Which is bigger: g or -2/5?
-2/5
Suppose -4*p = 3*o - 2, o - p = 2*o + 1. Is -7 at least o?
False
Let b = 10.7 - 37.7. Is b less than -1/2?
True
Let h = -311 + 310. Suppose 0 = -5*v - 4*f + 16, 2*v - 8*f = -4*f - 16. Which is smaller: h or v?
h
Let c be (-10)/((-3)/(4 + -1)). Suppose 2*y + c = -18. Let a be 32/y + (3 - 1). Which is bigger: a or -3?
a
Let h = -8 + 11. Suppose h*k = 4 - 1. Which is smaller: 0 or k?
0
Let x = -6 + 3. Is -1/9 <= x?
False
Let n = -11 + 11.01. Let k = -0.11 + n. Do k and 4/7 have the same value?
False
Let k be 0/((-2)/(1 - 0)). Is k != 2?
True
Let u = -4 + 2. Let o = 2.1 - 4. Let b = o - u. Which is smaller: b or -1/3?
-1/3
Let h = 39/188 + 2/47. Is h < 10/9?
True
Suppose -5*w + 30 = -2*i, 3*i + 2*w = -0*i - 26. Let p = i - -16. Let c(x) = -x**3 + 6*x**2 + 1. Let f be c(p). Is -1/6 less than f?
True
Let q = 791 + -4735/6. Let i = -4629 - -138937/30. Let o = q - i. Do 1 and o have the same value?
False
Suppose 0*i + i = 51. Suppose -s - 5*q = -q + 25, -3*s - i = 4*q. Let a be (-10)/25 - s/(-30). Is 0 at least a?
True
Let m = 0.3 + -0.5. Let c be (-10)/(-7)*(-94)/(-235). Is c not equal to m?
True
Let o = 25 + -23. Suppose 0 = o*m + 3*m - 20. Which is smaller: 3 or m?
3
Suppose x + 5*y + 11 = -11, y + 2 = 0. Let o = -8 - x. Suppose 0 = -0*k + o*k. Is k < 1?
True
Let q(m) = -m - 2. Let f be q(-5). Suppose -w = 3*j + 5, -4*j + f*w + 10 = -5. Let t = 113/374 - 2/935. Is j at least t?
False
Let b = 1.5 + -1.7. Which is bigger: 2/21 or b?
2/21
Let o = 0.02 + -0.12. Which is greater: -0.044 or o?
-0.044
Let c = -651/664028 + -2/1523. Let j = c + 1145/218. Is 6 at least as big as j?
True
Let n = 1/168 + -73/168. Is n at least as big as 0?
False
Let t be (-4)/6*(-12)/(-8). Let c = t - -1. Suppose 6*d - d - 20 = c. Is 4 at least as big as d?
True
Suppose -q + 2 = 6. Let t(l) = -l**3 + 10*l**2 - 10*l + 6. Let n be t(9). Let k = n - q. Is k not equal to -2/11?
True
Let j(x) = 3*x**3 + x**2 - x - 1. Let w be j(-1). Let q = 3 - 2. Is w at least q?
False
Let h be 2/(-3) - 3/9. Suppose -6*i + i + 3*u = 2, -u + 14 = 5*i. Suppose -2*s = i*s + 4. Is h at least s?
True
Let g(q) = -3*q - 12. Let x be g(-9). Let i = 9 - x. Let s be -2 - (10/i + -1). Which is greater: 2 or s?
2
Let s = 201/11 - 8687/473. Is s not equal to -1?
True
Let l(q) = -q**3 + 11*q**2 + 5. Let t be l(11). Suppose 4*h - 12 = t*o - 2, -3*o - 6 = -4*h. Suppose h = -b - b. Which is smaller: b or -0.07?
-0.07
Let a = 67 + -60. Is a less than 7?
False
Let h = 0 - -3. Let y = h + -2. Is 2/3 at most as big as y?
True
Let t = -0.02 + 0.42. Let s = 0.5 - 0.8. Let h = s + t. Is 2/3 < h?
False
Let i be 8/(-6) - 8/(-8). Which is bigger: -2/3 or i?
i
Let x = -11.2 - 0.8. Let c = 13 + x. Is c greater than -3/7?
True
Let l be