r d?
d
Let x = -14 - -7. Let w = -3 - x. Suppose -4*m - 5*j + 4 = 0, -w*j = -2*m + 5*m - 3. Is m > 1?
False
Let d be (-1 - -5)*(-42)/56. Is 1 < d?
False
Suppose -n = -3*f - 20, -16 + 1 = 5*f. Which is smaller: 12 or n?
n
Suppose -14 = -4*h + 10. Let u(s) be the first derivative of -s**3/3 + 7*s**2/2 - 8*s - 4. Let q be u(h). Is q at least -1?
False
Let x = -3/115 - 17/230. Let a = -9.02 + 9. Let s = -0.08 + a. Is s <= x?
True
Let n = 76 - 47. Let c = 117/4 - n. Which is smaller: c or -0.05?
-0.05
Let d(g) = -g**3 - 6*g**2 - 4*g - 12. Let n be d(-6). Is n at least 12?
True
Let q = -2.2 + 1.4. Let w = q + -0.2. Are -3 and w non-equal?
True
Let v = 2 + -3/2. Let d = 35 - 34.9. Which is smaller: v or d?
d
Let n = 164 + -2130/13. Does -0.1 = n?
False
Let a = -0.295 + -0.035. Let o = a + 0.13. Is o > -2?
True
Let n = -2698/15 - -180. Let j = -115 - -114. Which is bigger: j or n?
n
Let t = -47.2 + 41. Let f = 6 + t. Which is smaller: 0.2 or f?
f
Suppose -4*m + 4 = -3*y, 8*y - 12*y + 3 = 3*m. Which is smaller: y or -1/3?
-1/3
Let k be (-6)/4 + (-55)/(-22). Is 4 equal to k?
False
Suppose 5*a - 39 = 21. Suppose -3*f + 6 = -a. Suppose q + 20 = f*q. Is 4 <= q?
True
Let n(x) = -x + 6. Let o be n(5). Let p be 1 + (o - (-328)/(-163)). Let k = p - 320/489. Is 0 > k?
True
Suppose 0*q = q - 12. Let j = q - 20. Is -8 != j?
False
Let r = 1.9 - 1.7. Are -0.7 and r equal?
False
Let f be 4/6*24/(-16). Which is smaller: -9 or f?
-9
Let a(z) = -z**3 - 6*z**2 - 6*z - 5. Let i be a(-5). Suppose -5*c + 4*c - 1 = 0. Is i less than c?
False
Let f(d) = d**3 + 4*d**2 - 5*d - 2. Let m be f(-5). Let h(n) = n**2 - 4*n + 4. Let j be h(3). Which is greater: j or m?
j
Let y be 0 + -1 - (-15 - 1). Suppose 5*t = 10 + y. Does t = 4?
False
Let i be 4/10 + 140/(-100). Is i > -2/75?
False
Suppose -5*o - 14 = 4*f, 0 = -4*f + o + o - 28. Which is bigger: f or 0.2?
0.2
Let r(o) = o + 7. Let q be r(-8). Let v = 20327/29 + -701. Which is greater: q or v?
v
Suppose -n = -2*n + 2. Suppose 5*q - 3*d - 31 = d, -n*q = 4*d - 18. Let j = q + -2. Which is smaller: 0.1 or j?
0.1
Suppose 0 = -8*f + 5*f. Which is smaller: f or 3/14?
f
Suppose -v - v = -100. Let n be (6/(-5))/((-3)/v). Suppose 0*j + 3*s - 12 = 4*j, -n = j - 5*s. Which is smaller: j or 1/9?
j
Let l = 1036583/16924 + 3/4231. Suppose 2*j - 94 = 28. Let d = l - j. Is d less than or equal to -1?
False
Let n(w) = w**3 + 9*w**2 + 7*w - 1. Let a be n(-8). Suppose -5*h + a = -d, 0 = 4*d + d - 15. Let s be -2*h/(-8)*1. Do s and -4 have the same value?
False
Let p(o) = 3 - 4*o**2 + 3*o**2 - 2 - o**3. Let t be p(0). Let r be 5/25*(0 - t). Which is smaller: r or 1?
r
Let p = -9797/10 + 982. Let k = -97/15 + 14/3. Let i = p + k. Is 1/2 smaller than i?
False
Let t = -142470/7 - -161133143/7917. Let c = t - 2/87. Which is smaller: 0 or c?
c
Let k = 53.18 - 53. Is -0.2 less than or equal to k?
True
Let d be ((-9)/(-9))/((-10)/4). Which is smaller: d or -2/7?
d
Let p = 492 + -490. Let s = 0.3 + -0.5. Let l = s + 0.3. Which is greater: l or p?
p
Let j(o) be the first derivative of o**4/4 - 2*o**3/3 - o**2/2 - 4*o + 1. Let v be j(3). Let h = 13 - 12. Is h less than or equal to v?
True
Suppose i - 2 = 5*n, n - 2*i + 4 = -0. Is n > -1/2?
True
Let r = 48.5 - 48. Is -14 not equal to r?
True
Let f = 7.984 - 8. Is f bigger than -1?
True
Let v be (2400/(-1218) + 2)/(9/14). Which is smaller: v or 1?
v
Let l = 15 + -15. Is l at most as big as -19?
False
Let d = -2.99 + 0.19. Let s = d - -3. Let i = 0 + s. Which is smaller: i or 1?
i
Suppose 0 = -5*r + 3*q - 8 + 47, 5*q + 45 = 5*r. Which is bigger: r or 5?
r
Let u = 8 - -19. Let k = 27.4 - u. Which is smaller: k or -1?
-1
Let m = 0.1 + -1.9. Let x = -10.8 - m. Let o = 5 + x. Which is bigger: o or -0.2?
-0.2
Suppose 20 = 2*t + 3*t, -3 = -l - t. Are 2/239 and l non-equal?
True
Let o = -0.17 - 9.83. Let d = 7 + o. Let k = d + 4. Is 1 >= k?
True
Let c = -89 - -91. Is c bigger than 25?
False
Let k be (130/28)/((-6)/(-4)). Let u = 31/7 - k. Is 2 at most u?
False
Suppose 0 = -4*m + 5*y - 26, 3*m - 2*y + 3*y = -10. Let d(b) = -b + 1. Let q(h) = -h + 2. Let w(n) = 6*d(n) - 5*q(n). Let s be w(m). Is -2 greater than s?
False
Let z be 1*(-3)/3 - -1. Let t be (2 - (2 + 15))*-1. Let c be (12/16)/(t/(-8)). Which is smaller: c or z?
c
Let d = 21 + -21. Let y = 658/3965 - 12/61. Which is smaller: d or y?
y
Suppose -4*y - 2*i = 18, 2*y - y = -4*i - 22. Which is smaller: y or -5/3?
y
Let i = -10 - -8. Which is smaller: i or 2?
i
Let i be (-12)/1554 + (1 - (1 + 0)). Which is bigger: 1 or i?
1
Let y = -4.1 + 4.1. Which is bigger: 14 or y?
14
Let b = -2.2 - -2.1. Let z(o) = o + 2. Let k be z(-1). Is k at most as big as b?
False
Suppose -3*u + 6 + 18 = 0. Suppose 0 = 2*z + 3*v - u, -2*z - 2*v + 3 + 3 = 0. Which is smaller: z or 1/5?
1/5
Suppose 2*w = 3*w. Suppose 6*y - 2*y = w. Let q be y/(-2 + 0 + 1). Is q greater than or equal to 0?
True
Let t = -1.1 + 1. Let f = 0.1 - 1. Let m = t + f. Which is smaller: 1/3 or m?
m
Suppose 0 = -5*i + 4*n - 5, -3*i - n - 2 = -i. Is i equal to 164?
False
Let l = 40.5 + -40. Is l > 2/9?
True
Let r(z) = -z - 2. Let v be r(-4). Suppose 0 = -2*p + v. Let s = 24 + -26. Which is smaller: p or s?
s
Let z = -13 - -25. Suppose z*f + 4 = 14*f. Do 8/7 and f have the same value?
False
Suppose -5*u + 25 = 0, -3*w = u - 1 - 7. Does 2/39 = w?
False
Suppose -3 = -4*b + 5*b. Let f be (2/(-1))/(5 + b). Which is smaller: f or 1?
f
Let d(s) = -s**3 - 6*s**2 + 7*s. Let k be d(-7). Let q = 4 + k. Is q > 4?
False
Let x(p) = p - 6. Let h be x(6). Do -1/90 and h have different values?
True
Let j(z) = 2*z - 21. Let v be j(13). Which is smaller: 17/4 or v?
17/4
Let a = -221/336 - -15/112. Is -1 > a?
False
Let b = -20.1 + 20. Which is smaller: b or 3?
b
Let n = -23.8 + 24. Let h be ((-9)/(-6))/(42/(-8)). Is n > h?
True
Let t be 3 + (530/(-34))/5. Suppose -q = 5*o - 0*q + 1, 0 = -o - q - 1. Is o bigger than t?
True
Let t(v) = -v**3 - 9*v**2 + 10*v + 4. Let x be t(-10). Is 2 less than x?
True
Let j = 28.1 - 23.1. Let y = 2 - 3. Which is smaller: j or y?
y
Let q = 0.1 + 0.9. Let k = 0 + q. Let p = 75 - 74. Are k and p equal?
True
Let j = 648 - 3218/5. Is 4 at most as big as j?
True
Let i = -7 - -1. Are -6 and i nonequal?
False
Let n be 44/55 - 158/210. Are n and -1 equal?
False
Let z = -13 - -21. Let d be (0 - 1)/(-1) - 9. Let k = d + z. Which is greater: k or -2/3?
k
Let b = 57 + -58. Which is bigger: 2 or b?
2
Let y = 2 + 0. Let x(k) = -k**2 + 2*k - 2. Let b be x(1). Is y > b?
True
Let v = 30 + -32. Let o = -112640912/542661 + -1/77523. Let t = o - -207. Are t and v unequal?
True
Let h = 9 - -6. Suppose 0 = 5*n - 3*z - 9, -5*n + 2*z + h = -3*z. Which is smaller: 4/7 or n?
n
Let i be (10/(-3))/((-6)/(-9)). Let n be (-2 - 1)/(i/15). Which is bigger: n or 8?
n
Let x = -9.99 - -10. Let l = 0.09 + x. Let d = -6 - -9. Is l bigger than d?
False
Suppose 5*z = 4*v + 25, 4*z - 20 = -4*v - 0*z. Suppose 0 = 3*t - v*t. Let q = -1/52 + 109/260. Which is greater: t or q?
q
Suppose -2*a = x + x + 126, -2*x - 4*a - 116 = 0. Is x at most -67?
True
Let q = 3874880/469 - 8262. Let s = -1858/4221 - q. Which is greater: s or 0?
0
Let a be (2 - 20/3) + 4. Let o be (0*1/(-2))/(-2). Is o <= a?
False
Let m(f) = f + 5. Let u be m(-5). Is u < 0?
False
Let d = 7 - 0. Let l = 5 - d. Let k be (-2)/(-1)*5/(-40). Is l < k?
True
Suppose -2*g + 0*g + 10 = 0. Let o = -8 + g. Let w be (o/(-2))/(54/48). Is w greater than or equal to 0?
True
Suppose 2*x = i - 2*x - 5, 23 = -5*i - 4*x. Which is smaller: i or -22/13?
i
Let p be (-27)/(-5) - 18/45. Suppose -4*b - p = -9*b. Let t be b*-1 - (-6 + 5). Which is smaller: 1/2 or t?
t
Suppose 0 = 4*m + 2*l - 3*l - 7, -2*l = -3*m + 9. Is -1/37 at least m?
False
Let w = 1 - 1. Let a = 0.086 - 3.086. Are a and w non-equal?
True
Suppose -4 = -5*t + 11, -3*t + 11 = -2*d. Which is greater: d or 2/81?
2/81
Let h(l) = -3*l**3 + l. Let o be h(1). Let c be ((-3)/(-6))/(o/(-12)). Suppose 0 = -c*j - j + 4. Is j at most as big as 1?
True
Let i be 1/(-2) - (-410)/(-20). Let t be 468/i*(-22)/8. Let s = t - 61. Which is bigger: 1 or s?
1
Let i be 2 + 0 + (-3)/1. Let a(l) = -l - 5. Let k be a(-7). Let b = 3 - k. Which is greater: i or b?
b
Suppose -3*g = -15, 2*g = 3*b + 3*g - 11. Which is greater: b or 3?
3
Let g be 2/15 - (-12)/(-90). Is g 