 d or -1?
-1
Let r = -6.2 + 3.5. Let u = -2.37 - r. Let l = -0.03 + u. Which is smaller: l or 0.2?
0.2
Let p be ((-45)/2)/(2/(-4)). Let o = -79 + p. Let s = 169/5 + o. Which is smaller: s or 0?
s
Let b = -62 - -2. Let c be (-118)/b - (-8)/(-4). Is c smaller than 1?
True
Suppose -24 = 13*x - 5*x. Suppose -1 = 3*f - 5*z, -f + 7 = -3*f - 3*z. Which is greater: f or x?
f
Let v(y) = y**3 - 2*y**2 + y - 1. Let w be v(4). Suppose -5*f - w = p, f - 29 = 5*f + p. Is f less than -4?
True
Let y = -502/5 - -100. Suppose 4 = 5*r - 3*r. Suppose -1 = -w - r. Is w bigger than y?
False
Let b = -169/22 + 68/11. Suppose z = 3*z + 2. Which is smaller: z or b?
b
Let j be 30/4*(-8)/(-6). Suppose -4*n = -4*w - 16, -j + 4 = -3*w - 3*n. Which is smaller: w or -1/5?
w
Let a = 2.1 - 2.2. Is a at most as big as -18?
False
Let p be 2 + (-76)/12 + 3. Let j = p - -26/15. Let f = 1 + -1. Are f and j non-equal?
True
Let p = 6/97 - -346/679. Suppose 2 = 2*v + o, v - o + 1 - 2 = 0. Is v at least p?
True
Let q = -18 - -18. Which is bigger: q or 2/23?
2/23
Suppose -j = 4*j. Suppose j = -k + 3*k. Let a be (-1 + k)*(1 + -1). Is a smaller than 7?
True
Let d(g) = -2*g - 1. Let c be d(-1). Let s be c - 1/((-2)/(-4)). Let a be 4/(-20) + 6*(-3)/(-165). Which is greater: s or a?
a
Let h = 6/25 - 34/225. Is h less than or equal to 1?
True
Let w be 6/(-21)*1*-4. Which is bigger: 2 or w?
2
Suppose -4 = 6*i + 2. Let m be (-5)/2*1/5. Which is smaller: m or i?
i
Let k = -13 - -40/3. Let w = 8 + -10. Let v = 1 + w. Does k = v?
False
Let w be (-1)/(-2) - 2/4. Suppose -1 = 5*n + 4. Which is smaller: n or w?
n
Suppose 4*s + 5*k - 4 = 0, 23 = -5*s + 4*k - 13. Let t(j) = -j**2 - 6*j - 6. Let u be t(s). Let v = 11 - 10. Is v less than or equal to u?
True
Let h be (-4 - -5) + (-23 - -10). Let o be (3/(-18))/((-2)/(-4)). Which is smaller: h or o?
h
Let k = -24 + 18. Let t be (4/k)/((-2)/(-3)). Let i be (1 + 0)/((-1)/1). Is t not equal to i?
False
Let n = -15.5 + 8.5. Which is bigger: n or -1/4?
-1/4
Let f be 1*(2 - 1 - 0)/(-1). Is -1/24 > f?
True
Let h = 24 + -44. Which is bigger: h or -0.1?
-0.1
Let h(p) = p**2 + 3*p - 7. Suppose a - 5*a - 20 = 0. Let y be h(a). Suppose -y*k - 3 = -6*k. Is -3/8 equal to k?
False
Let q = 5 + 21. Let o be (-1)/(-14)*q - 2. Is o at most 1?
True
Let v = -7.1 - -7. Which is bigger: v or -10?
v
Suppose y - 20 = 6*y. Let p = 7 - 3. Suppose -2*f - v = 6 + p, -4*v = -5*f - 12. Is f at least as big as y?
True
Let w be (12/4 + -3)/(1/(-1)). Let n(o) = -2*o + 3. Let h be n(3). Let t be (1/6)/((-1)/h). Which is bigger: t or w?
t
Suppose 2*b - 9*b = 35. Is -8 at most b?
True
Suppose 0 = -5*j - m - 91, 0 = j + 4*m + 24 - 2. Let r(w) = w**3 - 8*w**2 + 2*w + 7. Let s be r(5). Let y be 6*(3 - s/j). Which is greater: y or -1?
-1
Let q = 5/2 + -9/4. Let j = 12.9 - 14. Let k = j - -0.1. Is q smaller than k?
False
Let d = -2/53 + 61/212. Let t = -7.4 + 8. Let n = -0.4 - t. Do d and n have the same value?
False
Suppose 13 = 2*r - 5*w - 8, -3*r - 4*w - 3 = 0. Suppose -r*q = -3*m + m + 5, q = 3*m + 3. Is 0 > q?
True
Let n = 7 + -5. Let c(b) = -2*b**3 + 0*b**3 + 4*b**n - 4 - b + b**3. Let p be c(3). Are 2/5 and p nonequal?
True
Suppose 3*s + 4*z = -s + 24, 0 = -3*s - 4*z + 19. Suppose 0*p - s*f = -3*p - 43, -3*f = 3*p + 3. Let w be 2 - 0 - (-16)/p. Which is smaller: w or -2?
-2
Let b(c) = 3*c - 15. Let q be b(-9). Which is smaller: q or -41?
q
Let k = 58 + -59. Which is smaller: k or -68?
-68
Let k = -0.4 - -0.4. Let z = 16 + -81/5. Which is bigger: k or z?
k
Let t = 0.6 - -1.4. Let p = 45 - 44.9. Which is bigger: p or t?
t
Let r = -0.4 + 0.6. Let k = 0.4 + -2.4. Is r at most as big as k?
False
Let x be 1/(((-9)/3)/6). Let j be (-3)/(0 + (-2 - -1)). Let a be j + 2*x - -2. Which is smaller: 2/5 or a?
2/5
Let a = 14 + -13. Let g(t) = t**3 + 3*t**2 + t + 4. Let f be g(-3). Let m = 1 + f. Which is smaller: m or a?
a
Suppose 5*q = 4*k + 3, 2*q - 5*q - k + 12 = 0. Suppose 2*h = -2*o + 4 + 8, o - q*h = -2. Suppose 2*i - o*i = 2. Is i at most as big as -1?
True
Let t be 2 + (-5 - -4 - 2). Is t >= -1?
True
Let p = -48 + 43. Which is bigger: p or -3?
-3
Let o = -1.2 + 3.1. Let j = -0.1 - o. Let d = j + 0. Which is smaller: d or -1?
d
Let v be (1 - 0) + (1 - 1). Let w = 3 - 2.95. Let k = w - 2.05. Which is greater: v or k?
v
Suppose 7 = -5*s + 37. Suppose -2*y - 3*q + s*q - 1 = 0, 2*y - 5 = -3*q. Let w = -5 - -16/3. Is w bigger than y?
False
Let j = -88 + 53. Is j at least as big as 0.1?
False
Let x = -13 - -17. Is 4 equal to x?
True
Suppose 0 = n + 3 + 16. Let o = n - -92/5. Which is greater: 0 or o?
0
Let n be (-4)/14 + 2/7. Let r = n + 1. Which is bigger: 0 or r?
r
Let u = 2/85 + -8/51. Let r(x) = x**2 - 1. Let o be r(1). Are o and u unequal?
True
Let k be 54/(-70) - 3/(-15). Let r = k - -6/35. Which is smaller: -1 or r?
-1
Suppose -r + 3*l - 198 = -6*r, 0 = -4*r + 2*l + 154. Let d be r/33 - (-4)/(-22). Let j be (-2 - d)/(-2 - -9). Which is greater: j or -1?
j
Let p be ((-6)/(-16))/(9/6). Let z(x) = 1 + x - 1 + 2. Let h be z(-2). Is h not equal to p?
True
Let x(c) = -c**2 + 8*c + 34. Let z be x(-3). Suppose 0 = -2*u - 3*o + 21, 0*u + 23 = u + 4*o. Is z bigger than u?
False
Let v be 0/(-4 + (-4 - -6)). Which is bigger: v or -3?
v
Suppose -4*l - k = -2*k - 64, 2*l - 18 = -3*k. Which is greater: 16 or l?
16
Suppose -2*a + 572 = -2*q, 2*q = 6*a - 2*a - 576. Let l = -3122/11 - q. Is 0 bigger than l?
False
Suppose -v = -0*v + x + 138, 2*v = -3*x - 276. Let j be v/180 - 1/(-6). Which is smaller: 0 or j?
j
Let r(c) = c**3 - 3*c**2 + 3*c - 3. Suppose -3*j - 28 = -4*d, d + 2*j + 4 = -0*d. Let t be (-14)/(-8) - (-1)/d. Let p be r(t). Which is smaller: p or -2?
-2
Let k(j) = -j**3 + 6*j**2 - 3*j - 1. Let z be k(5). Suppose z + 5 = f. Suppose -f - 6 = -4*x. Which is greater: x or 4?
x
Suppose 3*c - 6*c = 0. Which is greater: 6/7 or c?
6/7
Let f be (-2)/(-160)*2*6. Let u(l) = -l + 6. Let n be u(5). Which is bigger: f or n?
n
Let h = -32 + 33. Is 0.06 at most h?
True
Let z = 14 - 10. Which is smaller: z or -4?
-4
Let v(f) = 9*f + 8 - 2*f**2 + 3*f**2 - 5*f + 5*f. Let c be v(-8). Are c and -1/5 equal?
False
Suppose 0*l - 2*l + 12 = 0. Suppose 0 = l*p - 9*p - 12. Let d be 2/(-1) + 2 + -3. Is p at least as big as d?
False
Suppose -m = 2*m + 4*t - 1, -20 = -5*t. Let v = m - -17/3. Is -14 less than v?
True
Let j(x) = x**3 - 10*x**2 + 10*x - 11. Let o be j(9). Is -4/5 greater than or equal to o?
True
Let u = -25 + 16. Let h = u - -8.9. Is h less than 0.04?
True
Let c be (-16)/(-33) - (-12)/66. Is c at most -2/7?
False
Let h be ((-8)/2 - -3) + -9. Let f = -7 - h. Let m be ((-3)/f + 2)*0. Which is bigger: m or -1/3?
m
Let i be (-8)/14 - (-117)/364. Which is smaller: -21 or i?
-21
Let b(t) = 2*t + 5. Let s be b(0). Suppose 0*z + 80 = -s*z. Is -16 less than z?
False
Let b be -1 + 3/(-12) - 9/(-36). Does -26 = b?
False
Let s = -3720548/217 - -17145. Let u = s + 3/31. Suppose 4*k + 5 = -k - 5*i, i - 5 = 5*k. Is k bigger than u?
False
Suppose 2*f + 9 = v, -v + 2*v - 23 = 4*f. Let y = f + -4. Which is smaller: -12 or y?
-12
Let b(q) = q - 5. Let v be b(5). Let x = -4 - -4. Let l be 2/(-5) - -1 - x. Which is smaller: v or l?
v
Let x = -19 + 28. Let h = x + -9. Are h and 10 nonequal?
True
Let p = 33 + -1. Let x = 159/5 - p. Is x smaller than 1?
True
Suppose 0 = g - 25 + 3. Suppose -g = -4*q + 10. Which is smaller: 7 or q?
7
Suppose -2 = -3*a + 2*a. Let h be 0*(4 - 9/2). Which is smaller: h or a?
h
Let h be 2/(-16)*4/106. Is h less than or equal to -1?
False
Let k be 4/18 - 156/459. Is 1 at least as big as k?
True
Let k(f) be the second derivative of f**3/6 + f**2/2 - 2*f. Let h be k(7). Is h >= 7?
True
Let b(d) = -d**3 - 3*d**2 - 4*d - 1. Let o be b(-2). Suppose c + 0*c = 3*h + 2, -4 = -2*h + 2*c. Let q = 1 - h. Is q bigger than o?
False
Let d = -4.1 - 7.9. Which is greater: 0.2 or d?
0.2
Suppose 2*h = 3*h + g + 1, 2*g + 10 = 0. Does h = 15?
False
Let n = -8 - -6. Let t be (4/(-3))/(2/12). Let r be n + (-30)/t + -2. Are r and -1 non-equal?
True
Let g(x) = 2*x. Let i be g(0). Which is smaller: 3/32 or i?
i
Let g = -0.21 - -0.23. Let k = -1.02 + g. Let p = 1 - 1.1. Which is smaller: p or k?
k
Let f = -11293046/165 + 68443. Let h = 1441 - 79253/55. Let j = f + h. Which is greater: j or -1?
j
Suppose 9*b + 2 = 8*b. Which is greater