2/3 or d?
d
Let m = -48.7 - -46. Let b = m - -2.9. Which is bigger: 2/5 or b?
2/5
Let b = 20927.01 - 21024. Let j = b + 97. Do -0.1 and j have different values?
True
Let h be (3 + -5 - -3)/(0 + -1). Let d(x) = -x. Let n be d(2). Is h < n?
False
Let u(h) = h**3 + 3*h**2 + 4*h + 5. Let f be u(-2). Let w = 102 - 108. Is w greater than or equal to f?
False
Let k = 24.9567 - 0.1367. Let n = -25 + k. Do -2/13 and n have different values?
True
Let f = 18 + -15. Suppose -5*y + 28 - f = 0. Suppose -1 + y = -4*s. Which is greater: s or -1/3?
-1/3
Let x = 0.1 - -19.9. Let u = x - 20.6. Let p be (0 + 1)*1/1. Which is smaller: u or p?
u
Let b = 12047/3 + -3970. Which is greater: b or 2?
b
Let q(j) = -j**3 - 9*j**2 - 9*j - 7. Let f be q(-8). Let c = 3544/19371 - 2/1761. Which is smaller: c or f?
c
Let j(d) = d**3 - 5*d**2 - 19*d + 24. Suppose 12*c - 84 = -0*c. Let a be j(c). Which is bigger: a or -9?
-9
Let i be (5/(-10))/((-2)/(-4))*0. Is 0 >= i?
True
Let w be (4/3)/(16/(-24)). Let n(c) = -c**3 - 3*c**2 + 4. Let x be n(w). Let t = -11800/21 - -562. Which is bigger: t or x?
t
Suppose -83 = 6*f - 47. Is -13/2 <= f?
True
Suppose 0 = 4*u - 6 - 10, 3*p + 7 = u. Is p greater than or equal to 3/176?
False
Let t = -1 + 0.8. Let y = -6.55 + 7. Let z = -5.55 - y. Which is smaller: z or t?
z
Let s be (9 - (-12)/(-4))*1685. Let x = s + -50163/5. Let b = -77 + x. Which is bigger: b or 0?
b
Let i = 0 - 4. Let y = -4.524 - -0.424. Let w = y - i. Do w and 1/3 have different values?
True
Let b = 11 + -21. Suppose 0 = 12*u + 27 + 117. Which is smaller: b or u?
u
Let o be ((-20)/(-5))/(20/256). Which is bigger: 51 or o?
o
Let a = -1388 + 1389. Which is bigger: 0.0138 or a?
a
Let l be 10/(-36)*69/(-115). Is 0 less than or equal to l?
True
Let f(k) = 2*k**3 - 2*k - 1. Let t be f(-1). Let m be (-5)/(-30)*1 - (-2 + 219/72). Which is smaller: t or m?
t
Let a be (14 + 4)/(2/(-5)). Let l = a + 58. Which is greater: l or 15?
15
Suppose -3*t + 20 = t - 4*g, -9 = 3*g. Suppose -3*h + 6 = -2*k, -3 = -2*k - t*h + 1. Is k at least -1?
True
Let h = -2.17 + 2.07. Which is smaller: h or 45?
h
Let k = -1.99 - 0.01. Is k bigger than -112?
True
Suppose i + i = -2*j - 32, 0 = j - 3*i + 24. Let c be (1 - 9)/(6/(-47 + -7)). Suppose 4*n = -4*q - c, 28 + 8 = -2*n - 4*q. Is n less than j?
False
Let g be 307/5 + ((-24)/20)/3. Let j = -78 + g. Are j and -16 equal?
False
Let x = 0.118 - 0.018. Which is bigger: -64 or x?
x
Let p = 5 - -3. Let v(c) = 0 + 31*c - 32*c - p. Let i be v(-6). Which is smaller: -7/5 or i?
i
Let h = -13 - -22. Let d(w) = w - 10. Let p(m) = 3*m - 30. Let t(k) = 11*d(k) - 4*p(k). Let r be t(h). Is r at most as big as 1?
True
Let t = 578 + -574. Let o = -4 - -8. Suppose 0 = 2*k - k - o. Is t greater than or equal to k?
True
Let v be (2/(-6))/(4/12). Let m = 7 - 59/9. Is v < m?
True
Let v = -1342 + 1344. Is v <= -1/106?
False
Let p be 1 + (-1)/(3 - (-2 + 4)). Suppose -3*s - 5*s + 248 = p. Is 33 bigger than s?
True
Let v(c) = -c + 8. Let w be v(13). Let t(r) = -r**2 - 5*r + 7. Let x be t(w). Is 7 smaller than x?
False
Suppose -16*t - 32 = -12*t. Let x be (t/4)/(-3*6/(-81)). Let i be 4/10 + (-158)/20. Is x != i?
True
Suppose 0 = l - 16 - 12. Suppose -2*c + 5 + 3 = 0, 4*x - c = l. Is 6 equal to x?
False
Let l = -2.2 + 2.3. Let v = l + -0.12. Let w be 0 - ((-14)/(-8) - 2). Which is smaller: w or v?
v
Let m = 3 + -1. Suppose -2*l - 3*g = 2 + 2, -m*l - 8 = 5*g. Let q = 2.2 + 5.8. Is l <= q?
True
Let r = 217 + -190.2. Let b = r + -24. Let h = b - 3.8. Is -17 >= h?
False
Let r(m) = -3*m + 14. Let b be r(11). Let w = -13 - b. Suppose 2*d = w*d. Is d bigger than 0?
False
Suppose v - d = -3*d - 23, v - d = -38. Let c = v + 33. Is c >= -5/12?
True
Let f(l) = 2*l - 28. Let x be f(0). Is x bigger than -27?
False
Let p(z) = -z**2 + 8. Let j be p(-3). Let l = -265 + 184. Let t be 0 - ((-159)/l + -2). Is t equal to j?
False
Let l = -17.6 - -33.4. Let s = l - 0.8. Let j = 15.04 - s. Which is bigger: j or -0.2?
j
Let w(a) = -6*a**2 - 12*a - 1. Let c be w(-2). Which is bigger: 2/161 or c?
2/161
Let f = -8694/47 + 185. Which is bigger: f or 0?
f
Let q = 11.4 - 18.7. Which is greater: q or 0?
0
Let x(v) = 2*v + 2. Let n be x(2). Let p = 0 + 4. Suppose -3*t - 5*d - 2 = 0, 3*d + 10 = -t + p. Is t greater than n?
False
Let i = 12 - -25. Let k = i + -36.6. Which is greater: k or -1/6?
k
Suppose 4*b = -19 - 13. Let w(h) = h**2 + 7*h - 10. Let t be w(b). Let a = -7 + t. Which is smaller: -8 or a?
a
Let y(r) = 56*r - 452. Let b be y(22). Is 782 less than b?
False
Let q be 0/(8/(-6)*(-36)/24). Let m = -437 + 15292/35. Is q smaller than m?
False
Let z = 5 + -4. Suppose k - 2 - z = 0. Suppose 3*l - x = -1, -l + k*x = -3*l - 8. Which is greater: -2 or l?
l
Let f(p) = p**3 - 4*p**2 - 4*p - 5. Let y be f(5). Let r(b) = b**3 - 5*b**2 + 3*b + 7. Let x be r(4). Let j be 8/12*x/(-5). Is y bigger than j?
True
Let k be (-740)/444 + (-53)/(-42). Is 1 > k?
True
Suppose 4*b + 11 = 3*v, -7*v + 21 = b - 3*v. Which is smaller: b or -2/83?
-2/83
Let y be (665/15)/((-10)/6). Is -28 smaller than y?
True
Suppose 2*r = -3*y - 0*y + 15, 12 = -4*r. Let i(m) = -m**3 + 5*m**2 + 8*m - 5. Suppose -5*h + 33 = g, 3*h - g - 3 = 4*g. Let w be i(h). Is w >= y?
True
Let i = -51125/11 - -4635. Is i at most as big as 2/7?
True
Let h(k) = -k**3 - 3*k**2 + 2*k + 2. Let x be h(-3). Let i = -35636/10689 + 2/3563. Is x bigger than i?
False
Suppose 5*s + 25 = t, -3*s = -5*t + 10 + 27. Let a(n) = n**3 - 4*n**2 - n - 18. Let q be a(t). Which is greater: q or 0?
q
Let h = -2.45 - -0.75. Which is bigger: h or 1.2?
1.2
Let d = -4.3 + 26.3. Let v = 21.3 - d. Which is smaller: 1 or v?
v
Suppose p = 3*t + 10, 3*t + 143 = -p + 123. Suppose -b + 8 = b. Which is smaller: p or b?
p
Let c be 72*(-5)/(-30)*3. Let u(n) = -8*n - 4. Let t be u(-5). Is c less than or equal to t?
True
Let d = 90 + -65. Does 25 = d?
True
Let p be 3 - (-155)/(-55) - (-2)/(-11). Let d(k) = k**3 + 8*k**2 + 6*k - 4. Let u be d(-7). Suppose 3*o = -0 + u. Is o at least as big as p?
True
Let f = 28 - 23. Let h be ((-2)/(-20))/(f/(-20)). Which is bigger: 2 or h?
2
Let i = 1836.9585 - -0.0415. Which is smaller: i or 0.1?
0.1
Let l be 590/2*36/(-60). Which is smaller: -176 or l?
l
Let t be -127*((0 - -3)/3)/(-1). Let r = t - 891/7. Is r greater than 0.02?
False
Let k be 6*(-4)/(-12)*12/(-8). Let b be 35/40 - (-3 - k). Is b at least as big as 2?
False
Suppose 3*n = -t + 6*t + 120, 2*n - 3*t = 79. Which is smaller: 36 or n?
n
Let w = -4 + 12. Suppose 4 = 3*o - w. Which is bigger: o or 5?
5
Suppose 4*h - 5*i = 7, -20*i = 4*h - 21*i + 5. Which is smaller: -31/17 or h?
h
Suppose -18*u - 16 - 20 = 0. Which is smaller: 72 or u?
u
Let t be 0/(-6 + (4 - 0)). Let j be (3 + t/1)/(-7). Let y(n) = n - 7. Let w be y(7). Which is smaller: j or w?
j
Let b(f) = -f**3 + 3*f**2 - 3*f + 13. Let h be b(3). Let o be 1640/375 - h - (-2)/(-6). Are -1 and o equal?
False
Suppose -61*d + 1134 = -d - 846. Suppose -3*g = -0*g - 99. Is d bigger than g?
False
Let v(f) = -5 + 21 + 9 + 4*f. Let g be v(-10). Is 1 greater than or equal to g?
True
Suppose -3*h + 21 = -f, 2*h + 3*f + 15 = 40. Which is bigger: h or 58?
58
Let g = 31 + -31.22. Let x = -1.3 - -1.3. Do g and x have the same value?
False
Let z = -23 + 10. Let o = z - -12. Are o and 2/119 equal?
False
Let u = -636 - -637. Let z be ((-2)/12)/(1/(-2)). Which is smaller: u or z?
z
Let m(c) = c**3 - 10*c**2 - 26*c + 16. Let z be m(12). Let q = 24 - 34. Is q > z?
False
Suppose -3*v = -2*g + v - 142, g = 3*v - 74. Let j = 69 - 133. Is j smaller than g?
False
Suppose -c - 3*t + 18 = -2*t, -3*t - 122 = -5*c. Suppose -5*j - 2*m = c, -3*j - 2*m = -4*m + 26. Is j <= -6?
True
Let r be (-1 - -1)/(-1 - 1). Let w = -40 - -46. Suppose i - w*i = -2*i. Are r and i unequal?
False
Suppose -3*q + 3*f = 36, 5*f + 26 = 6. Suppose 2*w + 27 = -y, 3*w + 60 = -2*w - 4*y. Is q at least w?
True
Suppose -6*j + 184 + 92 = 0. Let m be (62/(-70) + 1)*23/j. Suppose -4 = -h - 3. Which is bigger: h or m?
h
Let j = -575 + 574. Which is bigger: j or -348?
j
Let g = -4943/2 - -2473. Let y = 6 + -4. Is y not equal to g?
True
Suppose z - 32 = 9*z. Let q be -1 + z + -18 + 25. Is 2 greater than q?
False
Let j(x) = x + 2. Let l(b) = b**3 - 6*b**2. Let f be l(6). Let n be j(f). Suppose 0 = -c - 2*c. Is n != c?
True