)/(-50). Is z at most -0.9?
False
Let b = -91.3 + 92.3. Is 597 >= b?
True
Let x be (-2)/(-16) - (-18)/((-2448)/(-70295)). Is 518 greater than or equal to x?
True
Let s be 2/8 + (-3)/4*23. Let a be 11 + 0 + 13 + s. Which is bigger: a or 4?
a
Let v be (-14)/1888*303/707. Which is smaller: v or 0?
v
Let a = -0.66 - -0.46. Let n = -0.08 + -7.12. Let v = a - n. Is v < 2/3?
False
Suppose -36*t + 20 = -34*t - 4*d, -5*t = -3*d - 15. Is t smaller than -3/1274?
False
Let w(i) be the second derivative of i**3/2 - 9*i**2/2 + 3*i. Let d be w(4). Suppose 14 = 2*o - l - l, 2*l + 29 = 5*o. Is o at least d?
True
Let o = -6730 + 6730. Let h = -2 - -3. Which is bigger: o or h?
h
Let i = 4154/3 + -1384. Which is bigger: 49/37 or i?
49/37
Let s = -1/1219 + 1286/81673. Which is smaller: s or 0?
0
Let t = 0.6 + 1.4. Is 4 not equal to t?
True
Let u(m) = -35*m - 298. Let z be u(-20). Is z smaller than 402?
False
Suppose 4*g = 4*r + 40, -2 + 0 = 3*r + 4*g. Let s = 12 + 9. Suppose -4*z + s = -7*z. Which is smaller: z or r?
z
Let z be 132/(-231) + ((-222)/812 - -1). Does z = -1?
False
Let d = -319 - -308. Let j = -557/2 - -268. Is j != d?
True
Let c = -3 + 4. Suppose 5*u + 6 = 7*u. Suppose 2*o = -n - c, 2*n - u*o = -2*n - 15. Is n != -2?
True
Let d(i) = -2*i + 1. Let z = 46 - 28. Let c be d(z). Which is bigger: c or -34?
-34
Let p = -28390 + 28389. Let w = -0.15 + -1.8. Let i = 0.05 - w. Which is bigger: i or p?
i
Let w = 5333 + -37259/7. Is 9 bigger than w?
False
Let b be 52/(-3) - 4/6. Let a be (-32)/(-912)*b/(-4). Suppose -f = -2*f. Is f >= a?
False
Let l(r) = r**2 + 11*r + 29. Let g be l(-4). Which is greater: -2/1003 or g?
g
Suppose 0 = f + 2*z + 7, 185*f - z - 2 = 184*f. Which is smaller: -2/1347 or f?
f
Suppose -4*g - o + 30 = 10, 5*g + 4*o - 36 = 0. Which is smaller: 19/5 or g?
19/5
Let t = 1946 + -1955. Is t at least as big as -2/119?
False
Let i = -0.051 - 0.249. Let d = -41 + 38. Which is greater: d or i?
i
Suppose 4*b = 4*q - 1724, 4*b - b = 5*q - 2151. Suppose 0 = 4*a - a - q. Let m be (-4)/2*(-39)/a. Is m less than 1?
True
Let y = 25 + -22. Suppose -2*b = -5*s + 21, -5*b = -s + 5*s + y. Let r be 1/3 + (-2)/s. Which is bigger: r or -1?
r
Let u = -4.31 - 0.79. Let h = 5.2 + u. Is h != -19?
True
Suppose -12*r + 304 = 4*r. Is r < 33?
True
Let g = 706 - 745. Is g at most 1?
True
Let n = 43 + -38. Suppose n = -2*z - 11. Is -5 > z?
True
Let z = -77.03 - -0.03. Is z at most as big as -3?
True
Suppose 0 = 5*n - 2*y - 0*y - 262, -n - 2*y = -50. Suppose -3*b + 8 = 3*m - 154, 0 = -m - 2*b + 57. Is n greater than m?
True
Let l = -293 - -116. Is l greater than or equal to -178?
True
Let s(o) = o**2 - 5*o + 9. Let w be 1 + 3 + (2 - 3). Suppose -11 - 1 = -w*q. Let g be s(q). Which is smaller: 4 or g?
4
Let p = -1.9 - -1.8. Is p at most as big as -3.12?
False
Let a = -11.52 + 0.52. Let z = -0.5 - -5.5. Let d = a + z. Is -2/5 bigger than d?
True
Suppose 0*t - 2*t + 3*r = 1, t + 11 = 5*r. Suppose -20 = t*u, -6*g + 79 = -3*g - 2*u. Which is smaller: 21 or g?
21
Let t = -499 - -999/2. Which is bigger: 1.35 or t?
1.35
Let s = 13 - 11. Suppose s*r + 4*g = 18, 3*r - 2*r + 15 = 4*g. Is r at least 5?
False
Let f = 0.0145 - 31.0145. Is 1/2 at most as big as f?
False
Suppose 30 = 2*w + 10. Let l = -16.7 + -44.3. Let i = l + 61.1. Which is bigger: w or i?
w
Let n be 2/(-5) - (-806)/1690. Is n greater than 2?
False
Let b be 6/9 + (-564)/9. Is -61 less than b?
False
Let v be ((-2)/4)/((-28)/112). Suppose v*i + 88 = 3*s, i + s + 20 = -24. Is -45 at most as big as i?
True
Let j(v) = 68*v + 273. Let p be j(-4). Which is smaller: p or -11.2?
-11.2
Let y = -0.139 + 0.096. Let s = y + -1.457. Which is greater: 2 or s?
2
Let k be (-12795)/(-3120) - 2*2. Let h = -1/16 + k. Which is smaller: h or 0.3?
h
Let b = -50 + 148/3. Let n = -6.2 - 4.8. Let y = 11 + n. Which is smaller: y or b?
b
Let l = 11 - 12. Suppose 0 = j - 3*j + 4*y - 18, 5*y = 5. Let u = j - -6. Are u and l unequal?
False
Let b = 7.7 + -8. Let f be 4*(5/4 + -2). Is b at least f?
True
Let m = 1071447/16 + -66942. Is m smaller than 23?
False
Let u(r) = r**2 + 2*r + 8. Let z be u(0). Suppose -3*w + 11 = z. Which is smaller: w or 3?
w
Let i = -2339/52 + 45. Which is greater: i or 0?
i
Let p = -0.866 - -0.966. Let g = 1038/13 - 80. Which is smaller: p or g?
g
Let j(d) = 6*d + 1. Suppose 2*z - 1 = 1. Let n be j(z). Let o be (-12)/(-32)*88/6. Which is greater: n or o?
n
Let p = 0 + -0.3. Let c = 35 - 26. Let w = 8.8 - c. Which is greater: p or w?
w
Suppose -4*k + s = -0*k + 63, 75 = -5*k + 5*s. Let l(h) = h**3 + 15*h**2 - 15*h + 20. Let x be l(k). Let y be 4/(-6) - 8/(-3). Which is smaller: x or y?
y
Suppose -4*z = -4*a - 152, 0 = -2*z + 5*a + 25 + 66. Suppose 4*b = -11 - z. Let l = b + 10. Is l greater than -3?
True
Suppose 5*z + 20 + 3 = -2*l, l = z - 1. Let o be l/22 - (-143)/121. Are -2/25 and o equal?
False
Let q = 17 + -18. Let r be 1/(-12)*-4 - (-22)/(-54). Which is greater: r or q?
r
Suppose -b - 5*r = -1, -2*b + 43 = -4*b - r. Is -2 equal to b?
False
Let n = -1042 + 1074. Is -0.2 at most n?
True
Let m be (52 - 48) + 314/(-16)*-2. Let b = 43 - m. Let g = 0.3 - 0.35. Is b at most g?
True
Let n = 6779 + -6788. Suppose -6 = 2*a + 2*t, 5*a + 13 = -t - 10. Which is smaller: a or n?
n
Let c(o) = -13*o**3 - 2*o + 1. Let f be c(1). Which is greater: -15 or f?
f
Let i be ((-55)/418)/((-138)/(-12)). Is i not equal to 1?
True
Let a be 22/121 - (-130)/11. Let k = 10 - a. Which is greater: -7/5 or k?
-7/5
Suppose 5*j - 235 = 5*b, -3*j = -0*j - 9. Which is smaller: b or -42?
b
Let p = 121/16 + -131495/17392. Which is bigger: 1 or p?
1
Let b = 32 - 31.86. Let r = b + -0.04. Which is smaller: r or -0.6?
-0.6
Suppose -2*f - 53 = -3*d, 4*f - 37 = -3*d + 2*f. Let i = -31 + d. Which is greater: i or -17?
i
Let y(t) = -t**3 + 9*t**2 + t + 2. Let s be y(9). Suppose -5*c + 2*j + s = 0, 2*c + 1 = 4*j - 1. Suppose 0 = 4*r - c*r + 12. Which is smaller: r or 1/3?
r
Suppose 5*w = -3*q - 3, q - 13 = -14. Is -9/187 greater than w?
False
Let b(k) = k**3 + 6*k**2 + 9*k + 6. Let l = 18 - 22. Let t be b(l). Let z be ((-2)/2)/(-1 + 0). Is z less than or equal to t?
True
Suppose 0 = 2*i + 8, 5*g - g - 364 = 3*i. Suppose -g*w = -90*w + 2. Is 1/214 smaller than w?
True
Suppose 0 = -4*m + 3*u + 2*u - 209, u + 283 = -5*m. Let h be -1 - 2/m - (-2 - -1). Is h != 0?
True
Suppose -3*r = 3*b + 69, -185 = 5*r - 3*b - 38. Let a be 4*2/12 - (-72)/r. Is a at least as big as -2?
True
Suppose -2*h - 2*h - 5*o - 167 = 0, -3*o - 9 = 0. Which is smaller: h or -39?
-39
Let r = -298 - -317. Which is bigger: 5/4 or r?
r
Let y(n) = -11*n**3 - n**2 - n + 1. Let s be (23 - 25)*(-2)/4. Let k be y(s). Let p be -6*(-1)/(8/k). Is -8 less than p?
False
Suppose 6*f + 7*f = 5*f. Is -2/835 >= f?
False
Suppose 3*b - 6 = 5*b. Let k(w) be the second derivative of w**3/6 - 2*w**2 - 3*w. Let a be k(b). Which is smaller: a or 1?
a
Let x = 470/3 + -157. Let l = 3 - 4. Which is greater: x or l?
x
Let d(m) = -4*m. Let p be d(6). Let f be ((-3105)/p)/(-3) - -1. Let c = f + 42. Which is greater: -1 or c?
c
Let y = -2157/17 + 127. Is y greater than or equal to 1?
False
Let h(s) = -2*s**3 + 13*s**2 - 20*s + 24. Let v be h(5). Is -0.035 >= v?
True
Suppose -2*i - 3*s = -12, 3*i - 27 = -4*s - 11. Suppose 2*r - 10 = -2*d, -d + 3*r - 4 = 3. Do i and d have the same value?
False
Suppose -b + 2*z + 6 = 0, b - 4*z - z - 15 = 0. Let i be -1*(3/2 + -1). Which is smaller: i or b?
i
Let z = 1426 - 11423/8. Is z < -2?
False
Suppose 70*y = 43*y + 108. Which is smaller: y or -2/59?
-2/59
Let j = 17 + -80. Let x be (j/69 - 3) + 4. Does x = 0?
False
Suppose -5*m - 186 + 636 = 0. Which is smaller: 87 or m?
87
Suppose 0 = t + 3*t - 8. Suppose 0 = t*f - 3 - 3. Suppose 2*r = -4*a + 8, -f*r + 0 + 4 = 2*a. Is -1/13 at most as big as r?
True
Suppose 4*l = 3*l + 4. Let a be l/(0 + 2) - 7. Which is smaller: -3 or a?
a
Let z = -21.736 - 0.164. Let b = -20.6 + -0.4. Let a = b - z. Which is smaller: 0 or a?
0
Suppose 27 = -4*s + 27. Is s < -6/263?
False
Let v(o) = -o**2 + o + 4. Let j be v(0). Suppose -2*t - 4 = -j*t. Let b = 1.006 - 0.006. Which is smaller: b or t?
b
Let v = -156 + 168. Let h(g) = -g + 7. Let z be h(5). Are v and z equal?
False
Let t = -0.7 + 0.86. Let w = t - 0.26. Is w less than 2?
True
Let k = 21.011 + -0.011. Let