bigger: -1 or a?
a
Let u = -73 - -91. Let g(o) = -4*o + 51. Let s be g(u). Let j(n) = -19*n**2 + 2*n + 1. Let q be j(-1). Which is smaller: s or q?
s
Let b = -103 - 13. Let t be 5/(-10) - (-3 + (-294)/b). Which is bigger: t or -0.1?
t
Suppose -3*n = -218 + 14. Which is greater: 67 or n?
n
Let g be (-8)/(-2) - (-3127)/(-795). Which is smaller: 0 or g?
0
Let p = -460 - -460.165. Is p < 2?
True
Suppose -w = 4*c - 8*c + 11, -5 = 5*w + 5*c. Let r(z) = -z - 1. Let o be r(3). Is o < w?
True
Let a(m) = 2*m**3 - 26*m**2 - 29*m - 3. Let y be a(14). Which is bigger: 8 or y?
8
Let i(l) = 303*l + 63. Let d be i(5). Is 1578 smaller than d?
False
Let p = 31/3 - 127/12. Let k = -3.2 + -0.8. Let i = k + 2. Is p >= i?
True
Suppose 0*p - 3*p + 7*p = 0. Which is smaller: p or -1/43?
-1/43
Let u = 1137 + -1137. Is u at least as big as 10/41?
False
Let r = 280.13 + -280. Which is smaller: 3/8 or r?
r
Suppose 3*u + 80 = -5*k, 3*k - 2 - 4 = 0. Let l be (-6)/(0 - 6) + (-2)/(-4)*-58. Is l smaller than u?
False
Let f = 23 + -20. Suppose -11*d = 30 + f. Is -7 bigger than d?
False
Suppose s = -3*s - 16. Let g = s - 0. Let m be 6*(-4)/20 + -2. Is m at least as big as g?
True
Let d = -784 + 785. Is d less than -64?
False
Let d = -11 - -21. Let w be 7/(-8) - (-11 + d). Let f = -0.2 - -0.3. Which is smaller: f or w?
f
Let c = 76 + -72. Suppose 0 = l + 3*l - 4, q - 3 = -c*l. Which is smaller: 1/4 or q?
q
Suppose 3*i = -3*i + 30. Suppose -2*b = -3*b - s + 1, -i*s = -2*b + 16. Which is greater: 7 or b?
7
Let r be ((-38)/(-95))/((-6)/(-195)). Suppose 0 = 2*w + y - 35, 0 = -5*w + 2*w - 2*y + 55. Which is smaller: r or w?
r
Let u(z) = -27*z + 474. Let m be u(17). Is m bigger than 15?
False
Let f be ((-5)/30*0)/3. Are 2/1145 and f equal?
False
Let v = 38.6094 - -0.0306. Let q = v + -1.84. Let b = 38 - q. Which is smaller: 0 or b?
0
Let s = 0.82 + -0.92. Is 11.7 bigger than s?
True
Let c = 1759 + -2264. Is -505 > c?
False
Let r be 3/((-6)/4) - 23. Let t = 28 + r. Is 5 at least t?
True
Suppose -19*d + 6*d - 806 = 0. Is d bigger than -61?
False
Suppose 10 = 8*o - 11*o + 5*q, -5*o = -2*q + 4. Is o smaller than 15/62?
True
Let w be (105/275 - 0) + 4/(-10). Let x = w - -78/55. Is 0 at least x?
False
Let f be ((-1)/4)/((-2)/(-20)). Let c = 26 - 35. Let i = 5 + c. Which is greater: f or i?
f
Let t be (16/(-144)*6)/(8/6). Suppose -5*o + 2*o - 10 = 2*q, -2*q = 2*o + 8. Do o and t have different values?
True
Suppose -3*u - 21 + 6 = 0, -2*g = 5*u + 9. Suppose -l = -6*l. Suppose 3*f - 24 = 4*m, 5*f + 5*m - 4*m - 40 = l. Is g bigger than f?
False
Let m = 20.44 + -6.4. Let g = 0.04 - m. Let j = g - -37. Which is greater: j or 1/2?
j
Let b be 1 + (3 - 4) + -3. Let u(r) be the first derivative of r**3/3 + 2*r**2 + 3*r + 4. Let n be u(b). Which is smaller: -2/13 or n?
-2/13
Let h(n) = 6*n + 2. Let w(p) be the third derivative of 5*p**4/24 + p**3/2 - 5*p**2. Let l(t) = -3*h(t) + 4*w(t). Let k be l(-3). Is 2/9 at least as big as k?
True
Let v = 49 - 55. Let m be (((-4)/v)/1)/5. Let h be ((-1)/(-2))/((-1)/(-2)). Which is smaller: h or m?
m
Let f be (-3)/(2 - 5) - -17. Let s = -38 + f. Is -19 at most s?
False
Let t be (-155)/31 + (-254)/10. Do t and -31 have different values?
True
Let s be 7/49 + 1207/(-21). Is -56 > s?
True
Let h be 4*(-2 + 1) - 1851/(-463). Which is smaller: h or 0?
h
Let f(h) = h**2 - 30*h + 57. Let b be f(28). Suppose a + 5 = -4*a. Is a >= b?
False
Suppose 0 = -2*o - 3 - 17. Let c be (0 - 33/12)*o. Let d = 26 - c. Which is smaller: d or -1?
d
Suppose 7*r - 32 = 11*r. Let c be (2 + r/3)/((-4)/3). Which is bigger: -2 or c?
c
Let q = 6 - 13. Suppose -5*v - 4*t = -2*t - 28, 0 = -2*t + 8. Suppose -3*g - v*z = 44, g = 2*z + 3 - 1. Which is greater: g or q?
q
Let q = 51 + -47. Suppose 4*u = q, j + 0*u + 3*u = 96. Which is smaller: 92 or j?
92
Let v be 2*(-1 + (-2)/(-3)). Let g = -14.2 - -30.27. Let q = -16 + g. Which is smaller: q or v?
v
Suppose 17 + 31 = 8*f. Suppose -65*v - f = -66*v. Is 3 bigger than v?
False
Let q = 0.788 - -18.212. Which is bigger: q or 0.03?
q
Let c = -43 + 223. Is c less than 180?
False
Let f = 167 + 29. Let v be 9/18 - 106/f. Which is smaller: 1 or v?
v
Let w = 5 - 1. Suppose -5*v + w = -1. Let m be (1 - 1)*v/(-1). Is m smaller than 2?
True
Let h = 73.9 - 74.1. Which is smaller: h or 0.3?
h
Suppose 5*b - 32 = -0*i + 3*i, b - 5*i - 2 = 0. Which is bigger: b or 8?
8
Suppose 7*i - 5*h - 1273 = 3*i, -h + 931 = 3*i. Is i equal to 0.1?
False
Let v = 51 + -54. Let b be (v - 42/(-18))/(2/(-3)). Which is bigger: -1/31 or b?
b
Let p = -14075/8 + 1759. Which is smaller: -10 or p?
-10
Suppose -5*q + 115 = 5*z, 5*q + 0*q + 3*z = 117. Suppose -84*j - q = -88*j. Does j = 7?
False
Suppose -18*b = -15*b + 15. Let y = -711/4 - -172. Is b less than y?
False
Suppose -2*w + 2*p - 76 = 0, 2*w + 3*p = -19 - 72. Which is bigger: w or -42?
w
Let j be (-7)/(210/4) + (-28)/(-435). Do 1 and j have the same value?
False
Let w = -17 + 24. Let v = w - 4. Suppose 1 + 3 = 2*t. Which is smaller: v or t?
t
Let c be 1/4 + (-1078)/728. Is -3 less than or equal to c?
True
Let s be 6*9/(-90)*30/(-1467). Let j = 4 + -3. Which is smaller: s or j?
s
Let p = -199/8 + 25. Are p and 2 nonequal?
True
Let d = -20367/7 + 2917. Is d bigger than 7?
True
Suppose -4*l - 9 = -5*b, l - 4*b - 890 = -895. Suppose 3*v - 89 = 8*f - 3*f, -5*v = -3*f - 63. Let r = f - -45. Which is smaller: r or l?
l
Suppose 32655 - 4365 = 69*x. Is 409 > x?
False
Suppose 0 = -4*j + 4. Let b = 220 - 209. Is j < b?
True
Let g be (-2)/(-5)*-1 + 94/10. Suppose 6 - 15 = -g*t. Let k be 32/(-18) - -1 - -1. Which is bigger: k or t?
t
Suppose 5*u = -h + 15, -h - 2 + 7 = 0. Suppose -4*y - 3*r = -6*y + 1, 0 = y - r - 1. Is y greater than u?
False
Let s be 27*21/(1 - -6). Is s < 3?
False
Suppose -5 = -0*a - a. Let c be 0/(a - (-4 - -7)). Is c smaller than 5/6?
True
Suppose 4*a + 160 = 5*m, 9*m = 4*m - a + 160. Let y = 31 - m. Which is smaller: y or -3/22?
y
Let m be (-2 - 70/(-40))*-601. Is 149 greater than or equal to m?
False
Suppose -2*s + 0*m + 7 = -m, 3*m = -5*s + 34. Let d be s/((-1)/3*-3). Let n be 38/12 - 1/(-3). Which is smaller: d or n?
n
Let l = -84.7 + 444.7. Which is bigger: 1 or l?
l
Let z = -23 - -21. Let y be (z - -1)*(-13)/1. Suppose 14*j - 5 = y*j. Is j at most 5?
True
Suppose 0*w + 2*w + 3*c = 19, -5*w - 4*c + 30 = 0. Let v be w/6 + 224/(-60). Which is bigger: v or -3?
-3
Let m(u) = -6*u**2 - 1. Let c be m(-1). Suppose -5*x + 14781 - 14816 = 0. Is x >= c?
True
Let b be (-174)/72 + 8/3. Let c = 2.1 + -2. Which is bigger: c or b?
b
Let d = -1458 + 86038/59. Which is greater: -1 or d?
d
Let s be ((-1)/2 - -1)*(4 + 38). Let k be 20/s + 1 + -2. Are -1 and k equal?
False
Let q = -514 - -577. Which is bigger: 253/4 or q?
253/4
Let f = -3/61 - 55/122. Which is smaller: f or 571?
f
Let n(z) = z**3 - 34*z**2 - 34*z - 84. Let s be n(35). Which is smaller: -37 or s?
s
Let a = 7.731 - 1.731. Let z = -2 + 2.1. Which is smaller: a or z?
z
Let s(k) = -2*k**2 + 55*k - 31. Let v be s(29). Which is smaller: -116 or v?
v
Suppose -5*x = k + 19, -39*x + 1 = -k - 35*x. Is k less than -49/5?
False
Suppose 0 = 7*j - 9*j - 4*j. Which is smaller: -0.0124 or j?
-0.0124
Suppose -15*w - 5 = -a - 10*w, 2*w = 2*a - 26. Is 15 at most a?
True
Let d = -86.6 + 89.6. Is -17/4 greater than d?
False
Let b be (-3)/(-6) + 3214/8. Let t = b - 399. Let y be 7/(-1) - (-2 - (7 - -2)). Are y and t equal?
False
Let f = -32 + 29. Let n be (-6)/9 - (f + 5). Which is smaller: n or -3?
-3
Let i be 6/(-36) + 399/18. Let f = i + -7. Suppose m + 4*m = -f. Is m less than or equal to 0.01?
True
Let b be 8/(-110)*(-10)/4. Let z be (109/(-436) - (-7)/(-4)) + (-6)/(-2). Which is smaller: z or b?
b
Suppose -3 - 5 = -8*l. Let h be (1 - (1 - (l + -1))) + -27. Which is bigger: -26 or h?
-26
Let n(r) = 8*r**2 - 38*r + 9. Let z be n(4). Is 6 at least as big as z?
True
Let o = -6 + 6. Let t be (411/12 + -2)/((-3)/(-8)). Let r = 857/10 - t. Which is smaller: r or o?
r
Let d be 2/18*84/(-4774). Let b = d - 19427/5115. Does b = -5?
False
Let g = -56 - -65. Let k(v) = v**3 - 12*v**2 - 14*v + 22. Let a be k(13). Does a = g?
True
Let s = -85 + 85. Is 0.232 <= s?
False
Suppose 0 = -z - 3*n - 750, -15*n - 1504 = 2*z - 10*n. Is z at least -762?
True
Suppose -4*w + 1 = -3*p, w = -2*p - 0*p + 14. Let n b