/((-6)/c). Which is smaller: d or -1/43?
-1/43
Let r be (-4167 - -4) + (10/(-6))/(80/96). Which is smaller: r or -4164?
r
Suppose 5*d - 10 = 0, -11 + 25 = 4*m + 3*d. Suppose m*c + 0*l + 3 = l, -4*l + 12 = -5*c. Let i(f) = f**3 - 2*f**2 + 2*f + 2. Let n be i(c). Is n < 1?
False
Let w = 14317.29 + -14326. Is -3 equal to w?
False
Let i = 5/8 + 1/24. Let a = 864 + -859.93. Let o = a - 3.67. Which is smaller: o or i?
o
Let s be (17/(-44))/(5/2 - 3). Suppose 0*k + 14*k - 14 = 0. Does s = k?
False
Let k be 9/5*(-25)/(-3). Suppose 27*g - 12 = k. Is 61 <= g?
False
Suppose 5*r = -8*r + 3*r. Suppose 2*f = -g, -2*g + 1 - 1 = r. Which is smaller: 49.2 or f?
f
Let l = 5486.425 + -5485. Is l at least as big as 1/3?
True
Suppose 16718 = -5*v + j, -4*v + 48*j = 53*j + 13415. Which is greater: v or -3347?
v
Suppose 21*f - 22*f = -35. Let k(h) = -2*h + 71. Let d be k(f). Does 5/71 = d?
False
Suppose 5*q = 2*m + 20, -71*m + 67*m + 12 = 3*q. Let g = 345 - 7931/23. Which is smaller: g or m?
m
Let d be (89232/(-6435))/((-2)/(-170)) - 4/3. Which is smaller: d or -1177?
d
Let y(b) = 2*b**3 - 7*b**2 + 3*b - 2. Suppose -27*r + 15 = -24*r. Let u be y(r). Let s = u - 46. Are 41 and s equal?
False
Suppose j = 4*w + 3 + 1, 3*j - 4*w = 12. Let b be j/7 + 168/49. Let k be 285/(-40) + b - -2. Which is bigger: -1 or k?
-1
Let r = -4/3909 + -830/37787. Which is bigger: r or 0?
0
Let y = -4 + 38. Suppose 6*d - 10 = -y. Let t be (-7)/(-2) - d*(-3)/24. Is t at most as big as 17/9?
False
Let q = 1365.8 + -1366.5. Is q at most -26?
False
Let u(n) = -173*n - 10465. Let g be u(-64). Is g equal to 11?
False
Let h = -80 - -84. Suppose h*s + 15 = -201. Let w = -704/13 - s. Is w equal to 1?
False
Let k be -116*(12 - (-329)/(-28)). Suppose -87 = 2*i + i. Are i and k unequal?
False
Let y(s) = 463*s + 2317. Let n be y(-5). Suppose -2*u = -5 - 1. Suppose -5 = u*i - 14. Is i at most as big as n?
False
Suppose -2*d - 5*c = 3*d + 180, 3*c = 0. Let w = d - -40. Let l be 32/56*10/2. Which is bigger: w or l?
w
Let i = -48036/37 + 1298. Suppose -17*f - 113*f = 0. Which is smaller: i or f?
i
Let n = 1690/3 + -570. Let d = -254 + 257. Suppose 0 = -d*o + 4*a - 36, -a - 10 = 5*o + 27. Is o <= n?
True
Suppose 21*r - 101276 - 161683 = -16*r. Which is smaller: r or 7105?
7105
Let n = 21595 - 21586. Let w be (1/2)/((-2)/(-37)). Is w smaller than n?
False
Let f be (3/9)/((-4)/1084) + 5. Which is smaller: -85 or f?
f
Let n = 181 + -180.9. Is -2603 equal to n?
False
Let r be 3/9 + (-3884)/(-12). Let b = r + -179. Suppose 0*v - 102 = 4*a - 2*v, 0 = 5*a + v + b. Is a at most as big as -29?
False
Let u = -3169 + 3133. Which is smaller: u or 31?
u
Let r = -23785 - -23538. Is r < -6?
True
Suppose -5*c = -3*m - 0 - 1, 0 = -4*c - 3*m + 17. Let v be 262/1703 - 11/(-13). Which is smaller: c or v?
v
Let w(z) = 2*z**2 - 2 - 2 - 4 - 2*z + z. Let d be w(4). Suppose -d = 2*n + 3*b, 30 = -3*n + 3*b - b. Which is smaller: n or -12?
-12
Suppose f - 4*k - 21 + 102 = 0, -339 = 5*f + 2*k. Let a be (-4)/35*5 - (-577)/(-7). Let j = f - a. Which is smaller: j or 15?
j
Let b = 0.2 + -0.3. Let z(p) = -2*p + 18. Let w be z(2). Let i be (3 + (-37)/w)*16/(-860). Which is bigger: b or i?
i
Let b = 360.9777 - 361. Let i = b + -0.3177. Which is greater: i or 6?
6
Suppose 899 = 10*w + 3739. Let b = 285 + w. Which is bigger: b or -2/2559?
b
Let y = -4412.9 + 4182. Let t = y + 231. Which is smaller: t or -1/5?
-1/5
Suppose -7064 = -5*n + f + f, 1410 = n + f. Let k = n + -18334/13. Let a = 157/39 - k. Which is smaller: a or 1?
1
Let i = 4.951 - 5.181. Which is smaller: -24 or i?
-24
Let t(s) = -2*s + 5. Let o be t(4). Let q(x) = -x**2 - 3*x + 5. Let u be q(o). Let n be u + 12*(5 - 6). Which is smaller: -6 or n?
n
Let n = 3874.27 - 328.27. Which is greater: n or -1?
n
Let v(l) = -l**3 + 72*l**2 - 273*l - 142. Let k be v(68). Which is smaller: k or -177?
k
Let i(x) = -x + 0 + 10 + 0 + 0. Let m be i(-6). Let v be (30/m)/(12 + -9). Which is bigger: v or 2?
2
Let y be (1/22)/(2/(-8)). Let k = -118 + 123. Suppose 4*p = 0, k*c - 5 = -0*c - 3*p. Is y bigger than c?
False
Let y = 7246 - 7242. Suppose 2*n - 2*d = 0, 2*n = -0*d - 2*d + 20. Is y equal to n?
False
Let v(b) = b**2 + 6*b - 156. Let w be v(-16). Let a(r) = 3*r**3 - 4*r**2 + 12*r - 26. Let t be a(w). Is t at least 0?
True
Let b = -40446 + 40466. Which is smaller: b or 21?
b
Let n(m) = -m - 8. Suppose -2 = -d - 4*b, -6 = 2*d + b + 4. Let i be n(d). Let t = 70212 - 280859/4. Is i less than or equal to t?
False
Suppose 3*i - 150 = -36. Let f be (-2 + 15)*9/3. Let b = i - f. Is -3 less than or equal to b?
True
Suppose 0*f + 4*c = -5*f - 15, -2*f - 3*c - 13 = 0. Let u be (-4)/10 - (-14092)/14905. Which is greater: u or f?
f
Let z = -284/155 + 63/31. Let x = -1.14 - -0.14. Is x < z?
True
Let o = 965 - 989. Let b be (48/(-20))/(2 + o/15). Is b smaller than -4?
True
Suppose -95 - 51 = 2*t. Let g(u) = -3*u**2 + 25*u - 81. Let a be g(8). Let n = t - a. Which is bigger: -3/13 or n?
n
Let c(a) = 2*a**3 - 12*a**2 + 3*a. Let q be c(6). Let v(h) = -h**2 + 19*h + 22. Let t be v(15). Suppose -t*y = -85*y + 51. Which is smaller: y or q?
y
Let s(p) = -p - 10. Suppose 3*n - y = 1 + 5, -y = -3. Suppose 0 = n*r - 2 + 44. Let o be s(r). Which is smaller: o or 17/4?
o
Let h(w) = -w**2 - 18*w - 48. Let n be h(-14). Suppose 58 + 48 = 39*j - 50. Which is bigger: j or n?
n
Let b = -8 + 5. Suppose -11152*r + o - 29 = -11153*r, -o = 3*r - 41. Is b at most as big as r?
True
Let h(i) be the first derivative of 17*i**2/2 - 308*i - 220. Let t be h(18). Which is greater: t or -5/7?
-5/7
Suppose 6 = -2*k + g, -11*g = -5*k - 10*g - 9. Which is greater: k or -2/9043?
-2/9043
Suppose -100*p = -101*p. Suppose -4*w + 5 = 13, p = -5*a + 3*w - 619. Let i = -141 - a. Which is smaller: i or -17?
-17
Suppose -73*q - 32*q = -24*q - 24867. Which is smaller: q or 1837/6?
1837/6
Let b be ((-3)/36)/((-9)/(-20)). Let w = b - -178/1107. Suppose 82*d + 71 = -52 + 123. Is d at most w?
False
Let q = 0.75 - -3.95. Let s = 0.7 - q. Let y = 4.1 + s. Which is bigger: y or -27?
y
Suppose 4*h + 32 = 6*h. Let y be (-12)/h*(-5 + 1). Suppose -4*l = -y*l - 5, 4*l = -2*c + 10. Which is smaller: -6 or c?
-6
Suppose 0 = -4*g - 3*y + 9736, -19*g = -15*g + y - 9752. Are g and 2438 equal?
False
Suppose -2*c - 1056 = -8*c. Let j be (-550)/c*13/5. Let x = 1869/232 + j. Is -1 less than or equal to x?
True
Let l = -558.36 + -6.64. Let t = 566.9 + l. Which is greater: t or 9?
9
Let c = 15 + -15. Suppose -130 = -c*w - 5*w. Suppose -3*t = w + 28. Which is greater: 0.2 or t?
0.2
Let p(q) = 5*q**2 + 2*q + 33. Let v be p(9). Let n = v - 452. Let h = -1065/2 + 4281/8. Which is smaller: h or n?
h
Suppose -18*c + 20*c = -2584. Is c at most as big as -1293?
False
Let m = -21919059 - -6926402495/316. Let j = m - -255/4. Is j <= -0.1?
False
Let h = -287 + 301. Let v be (-42)/h*69/(-9) - 2. Which is smaller: 23 or v?
v
Let m = -2812/107 + 41701853/1586810. Are m and -1 nonequal?
True
Let u = 37.2 - 37. Let n = 17 + -20. Let p = n - -13. Is u smaller than p?
True
Suppose -3*m = -i + 139, 124 = i - m - 13. Let o be i/(-12) + (-4)/6. Suppose 4*k + 36 = -4*b, 0 = 2*k - 5*b + 52 - 13. Is o less than k?
False
Let m = -22957 - -25764. Do -1 and m have different values?
True
Let z be (-72)/(-1 + 10) - (-24)/3. Do 17/189 and z have the same value?
False
Let h be -20*(-5)/(100/85). Let w be 3 - 10/h*3359. Let o = w - -392. Is 1 greater than o?
True
Suppose -2*n + 4*m - 24 = 0, 9*n - 6 = 7*n - m. Are -1/14340 and n equal?
False
Let o = -1322.8001 + 1322.8. Which is greater: o or -0.03?
o
Let u = -385.6 - -372.9. Which is smaller: u or 5?
u
Let c(i) = 1347*i + 12033. Let l be c(-5). Which is smaller: 5299 or l?
l
Let l = -16 - -29. Let v = 33 - l. Let a(m) = m**2 - 21*m + 28. Let s be a(v). Is s at least as big as 8?
True
Let y be 131*91092*(-2)/(-51). Let r = y - 468333. Let b = -370 - r. Are b and -1 non-equal?
True
Let w(m) = 75*m + 1. Let o be w(0). Which is smaller: -2/4467 or o?
-2/4467
Suppose 109 = 7*l + 1222. Let w = l + 173. Are w and 13 unequal?
True
Let i = -3/25474 - -48163/841584538. Which is bigger: i or 0?
0
Let d = -5568 + 5567.6. Is d smaller than -227?
False
Let x = 198.92 + -198.5. Is 4 less than x?
False
Suppose -2*u + 4*z - 6 = 0, -z + 1 = u + z. Let t = -330/37 + 989