z)/((-25)/(-10)). Which is greater: 0.1 or w?
0.1
Let y be ((-8)/(-216))/(2/426) + -3. Which is smaller: y or 6?
y
Let w(q) = -2*q**2 - 11*q - 3. Let y(s) = -4*s**2 - 2*s + 1. Let k be y(1). Let t be w(k). Suppose n + 2*n - m - 2 = 0, -2 = t*n + m. Is n <= 3/11?
True
Suppose 0 = 9*b - 7*b + 28. Let q be ((-4)/b)/((-135)/(-63)). Let w(l) = -l**3 + 3*l**2 - 4*l + 3. Let z be w(2). Is q greater than z?
True
Suppose 0 = -o + 3 + 8. Let q = -31 + o. Let y be (-4)/q - 3/(-135). Is -6 at least y?
False
Let q = -553.36 + 553. Which is smaller: 11 or q?
q
Let x = -573 - -572. Which is greater: -49/25 or x?
x
Let v be 192/(-23)*42/(-84). Are v and 5 equal?
False
Let y = -79 - -25. Let r = y + 54.21. Which is smaller: r or -2?
-2
Let r = -98.59 - -98. Which is smaller: -2 or r?
-2
Suppose -j = -6*j - r + 12, j + 4 = 3*r. Is j equal to 13/4?
False
Let a(b) = 15*b + 3. Let z(l) = -2*l + 1. Let y(r) = -a(r) + 4*z(r). Let v be y(4). Is v smaller than -91?
False
Let m = -4.61 - -4.58. Which is smaller: 0.6 or m?
m
Let z be 2/(-11) + (-6)/(-33). Let r be 2 + 1/(44/(-84)). Which is smaller: r or z?
z
Let n = -11 + 7. Let c = 7 + n. Let b = -0.1 + 1.1. Is c less than b?
False
Suppose 0 = 5*q - 77 - 48. Is q < 25?
False
Let c be (-57 + -9)/22 + -1 + 4. Let l be 2*((-1)/(-21) - 0). Which is smaller: c or l?
c
Suppose 2*t - 3*t = -3. Suppose -j + 40 = -t*j. Let b be j/18 + -1 + 3. Is 1 <= b?
False
Suppose -36 = -4*n + 8. Let q = n - 11. Let i(x) = -2*x**2 - x - 9. Let v be i(q). Are v and -8 nonequal?
True
Let i(o) = 3*o**3 - o**2 - 3*o - 3. Let q(d) = -d**3 + d + 1. Let y(f) = -i(f) - 2*q(f). Let z be y(2). Which is smaller: -15/8 or z?
-15/8
Let s = 1928 + -21108/11. Is 10 less than s?
False
Let g = -2 - -2.1. Let k = 56.8 - 4.8. Let v = 51.98 - k. Is g greater than or equal to v?
True
Let u be 30/(-180)*4/3. Let q = 18 + -13. Let h = q + -3. Which is smaller: h or u?
u
Suppose 5*u + 107*s = 111*s - 80, -3*s = u + 16. Suppose 3*b + 3*w - 6*w + 30 = 0, -86 = 5*b + 4*w. Are b and u nonequal?
True
Let p be ((-167)/3 + -3)*99/(-6). Which is smaller: 970 or p?
p
Suppose 5*x + 33 = -s + 10*x, -86 = 4*s + 3*x. Do s and -23 have the same value?
True
Let a(q) = -5*q - 15. Let w be a(-3). Let y(o) = o**3 + 3*o**2 + 3. Let s be y(-3). Suppose 2*i + 6 = -i - c, 5*i + s*c = -14. Which is bigger: w or i?
w
Suppose 3*d = i - 3429, -2*d = -0*i + 3*i - 10320. Let j be (i/105)/(1/(-5)). Let q = j + 164. Which is smaller: q or 0?
0
Let w(x) = 2*x + 3*x**2 - 5*x + 9*x - 2*x**2 - 13. Let y be w(-9). Let t = -15 + y. Which is smaller: t or 16?
t
Let v = -67.7 - -66.7. Which is smaller: v or -35?
-35
Let n be (-8)/2 + -4 + (-155)/(-19). Suppose 1 = 2*g + 3. Is g greater than n?
False
Let v = 964 + 79. Let f = 1037.93 - v. Let b = f + 0.07. Is b >= -2?
False
Let p = -17 + 33. Suppose -4*c - p = 0, j + 2*c = -c - 8. Let b be (j/96)/(2/3). Which is smaller: 1 or b?
b
Let x(k) = 2*k**3 - k**2 - k - 1. Let j be x(-1). Let q(i) = 8*i + 42. Let z be q(-6). Let l = z + j. Are -17/2 and l equal?
False
Let l be 24/(-56) + (-274)/14. Let n = l + 39/2. Is n at least as big as 2/9?
False
Let s(y) = y**3 - 4*y**2 - 4*y - 3. Let h be s(5). Suppose 4*c - 2 = h. Let d = -99 + 99.03. Which is smaller: d or c?
d
Suppose -60*t + 30 = -45*t. Which is smaller: 66/35 or t?
66/35
Suppose -z + 109 - 32 = 0. Which is smaller: z or 76?
76
Let i(h) = -h + 1. Let j be i(-6). Suppose -f + 3*m + 1 = -j, 0 = m + 2. Let g be -5 + f + (-189)/(-66). Is 0 less than or equal to g?
False
Let q = 24.05 + -24.023. Is -2 >= q?
False
Let l(k) be the second derivative of 0 + 1/12*k**4 - k**3 - 3/2*k**2 + 4*k. Let j be l(7). Do -1 and j have the same value?
False
Let y = 59 + -88. Let m = y + 18. Suppose 3*n + 34 = -2*h, -3*n = 4*h + 30 + 2. Is m not equal to n?
True
Let t = -87 - -198. Let s = t - 103. Suppose g + 0*g = 7. Which is greater: g or s?
s
Let h = 4.1 + -6.1. Is 1/1034 >= h?
True
Let o = 12 - -10. Let c = o + -9. Let h = -15 + c. Which is greater: 0.1 or h?
0.1
Let f = 7845 + -384435/49. Let j = f + 627/784. Which is smaller: j or -1?
-1
Let z(x) = -x**3 + 3*x**2 + x + 2. Let y be z(2). Suppose -w = -y + 4. Let h = -3 + 5. Is h >= w?
False
Let l = -35.69 - 0.31. Let p = -36.1 - l. Let d be 3/(-15) + 8/90. Which is smaller: d or p?
d
Let j(a) = -a**3 - 7*a**2 - 3*a + 4. Let m be j(-5). Let q = m + 67/2. Let d = -7376 - -7378. Is d != q?
True
Let m = 423 + -558. Is m <= -134?
True
Let z be (2 - 3 - (0 - 0))/1. Are -108 and z nonequal?
True
Let y(a) = -a**2 - 13*a - 11. Let m = 19 + -31. Let x be y(m). Which is smaller: -1/45 or x?
-1/45
Let j be 39/(-78)*(-4)/5. Does 37 = j?
False
Suppose 3*u = -o - 2, 5*u - 4*o - 8 + 0 = 0. Suppose u = p - 2*j - 3 + 21, -5*p - 2*j = 102. Which is smaller: p or -21?
-21
Let i(n) = -n**3 + 15*n**2 + 36*n - 38. Let j be i(17). Which is greater: j or 6?
6
Suppose 52 = -0*k + 4*k. Suppose -12*i + 96 = -20*i. Let c = i + k. Which is bigger: -5 or c?
c
Let v = 0.24 - -0.37. Let u = v + -0.5. Which is smaller: u or -0.2?
-0.2
Let d = -155 + 297. Let v = -134 + d. Is 10 > v?
True
Suppose 0 = 5*d + 3*r - 0*r - 20, -4*r + 17 = -3*d. Which is smaller: d or -3/10?
-3/10
Let q = 1.676 - 9.076. Which is bigger: -2/5 or q?
-2/5
Let a = 4562 - 2510. Let t be 6/4 - a/24. Are -83 and t equal?
False
Let v = -178.2 + 178.1. Let q be (-4)/42 - 3/9. Is q at least as big as v?
False
Let p be 2/4 + 10/(-4). Suppose 13 + 1 = -7*z. Let d be 16/6*3/z. Is d < p?
True
Let h = -0.64 + -26.36. Let t = -44 - h. Let o = 17 + t. Is -8/7 greater than o?
False
Let z be (-5)/25 + (-12)/(-10). Let s be 0/(z*(-4 - -2)). Suppose -f + 20 = -4*j, -2*f - 4*j = -7*f + 20. Do f and s have the same value?
True
Suppose -5*j + 23 = 4*g, -4*g = -3*g - 3*j + 7. Suppose -2*h + g = -4. Suppose 0 = -h*d - 3. Do d and 6/23 have different values?
True
Suppose -3*r = f + 3, 3*r - 4*f - 12 = -r. Suppose r = -5*n - 99 + 4. Let c = n + 20. Is c greater than or equal to 1/25?
True
Let w(b) = 15*b**3 - b**2 + 4*b - 4. Let n be w(3). Let k = -2823/7 + n. Which is smaller: k or 2?
k
Let s(o) = 14*o**2 - 2*o - 4. Let m be s(-3). Is m at least as big as 129?
False
Suppose k = 2 - 0. Suppose 0*i - 2*i = -k*y, 3*y = 3. Let x = -0.193 + 0.093. Is i at most as big as x?
False
Let l be (-8)/(-52) + -4 + 154/13. Let n be (-24)/56 - 316/14. Let i = -16 - n. Do i and l have different values?
True
Let l be (-25 + 1)/(252/672). Is l less than or equal to 4?
True
Let k = 0.0731 - -0.0109. Which is smaller: -0.3 or k?
-0.3
Suppose 4*i - 5*c = -0 - 24, 3*c = 4*i + 24. Let t be i/2*(-3)/(-9). Is t at least as big as 1/71?
False
Suppose 21*n + 14 = 7*n. Which is bigger: -33/14 or n?
n
Let x = 1 - 1. Let z = 331/18 + -307/18. Is x bigger than z?
False
Let q = -1242 - -1252. Which is bigger: 178/17 or q?
178/17
Let r = 11/20 + -4/5. Let i = -5.8 + 1.8. Which is greater: i or r?
r
Let o = 392 + -452. Does 0.1 = o?
False
Let v be (-228 + 12)/((-10)/3). Let a = -65 + v. Suppose -5*h = -k + 2*k + 10, 0 = -2*h - 4. Which is bigger: a or k?
k
Let l be (-129)/12*(-10 + -6). Let h be (-4)/22 - (l/22 - 2). Is h != -3?
True
Let a = -3/41 + -32/123. Which is greater: 2 or a?
2
Suppose -k = 10 - 3. Let c = k - -6. Let r(s) = -10*s - 1. Let p be r(c). Is p at least as big as 9?
True
Suppose 14*z - 23*z = -324. Which is bigger: z or 35?
z
Let h(p) = 4*p + 3. Let w be h(0). Suppose 0 = w*i - 8*i + 120. Which is smaller: i or 26?
i
Let q = 239.1 - 273.1. Let x = 0.2 + 0.8. Is x at least q?
True
Let u = -236 - -41. Let f be 1/7*-1*1367. Let h = f - u. Is h <= -1?
False
Let j(s) = s**3 + s**2 + 4. Let b be j(0). Let x be 0 + 0 + (b - 0). Let o be x/6*(-39)/26. Which is smaller: o or -3/7?
o
Suppose 54 = w - 2*h, w + 5*h - 11 = 8. Which is bigger: 29 or w?
w
Let v = 0.5321 + -0.6321. Suppose -27 + 111 = -4*c. Let l be (-43)/c + 2/7. Is l smaller than v?
False
Let h be (-344)/(-58) + 44/(-22) + -4. Let p(n) = -n**2 + 2*n. Let c be p(2). Is h at least as big as c?
False
Suppose 0 = 3*g + 933 + 261. Let c be (-24)/(-56) - g/(-14). Which is smaller: 0.1 or c?
c
Suppose -3*g - 3*r - 6 = 0, 0 = 4*r - r - 12. Let d = -1 + 1. Let j be (1 + d)*g - -1. Which is smaller: 1 or j?
j
Let l = -173 + 166. Which is bigger: l or 1/5?
1/5
Let b = 728.9 - 732. Which is greater: 0 or b?
0
Let i be (-