876 - 701.9124. Let b = x + 696.2. Which is greater: u or b?
u
Let f be (2 - 0 - 3)/(-29 + (-3099432)/(-106876)). Which is bigger: -2 or f?
-2
Suppose 115*h + 912795 = -80*h. Which is smaller: -4680 or h?
h
Let y = -13 + 19. Let m be (-6)/(-4) + y/(-4). Which is smaller: -1/72 or m?
-1/72
Suppose -260 = g + 5*c, 0 = 2*g - 17*c + 12*c + 505. Which is greater: g or -16?
-16
Suppose -3*p + 4*d - 22 = 18, -4*d + 8 = p. Let t be 8/(-24) - (-136)/(-15). Is p at most t?
False
Let z be 52*(-17)/(-4278)*(4 - 1). Let u = 15/23 - z. Which is bigger: 0 or u?
u
Let t be (-7)/((-105)/10) - (-552)/36. Is t at most as big as -1/8?
False
Let f be (-9)/(-15) - 243/(-20). Suppose 0 = 1123*y - 1128*y + 70. Which is smaller: y or f?
f
Suppose 0 = z - 20 + 17, 0 = 5*j - 5*z - 12735. Is j > 2552?
False
Suppose -2861 = 123*c - 40622. Do 249 and c have the same value?
False
Let v = -278112/7 + 834329/21. Suppose -5*r + 5 = -0*r. Let n be (1 - 4/2)/r. Is v at most n?
False
Suppose -13846*s + 13910*s = -86400. Is -1350 less than s?
False
Let y be 132/22 + (360/25)/((-2)/650). Does -4674 = y?
True
Let p be ((-21)/16471)/((-2)/13). Which is smaller: p or -1?
-1
Let f be (-810)/945 + (12/14 - 1). Suppose 10 = 2*g - 0. Which is smaller: g or f?
f
Let d be (-2992)/51*(-5)/(7930/(-42)). Let x = 46/61 - d. Is 2 <= x?
True
Let t be 572/(-55) + 9 - 14/(-10). Is t greater than 5/154?
False
Let i = -221.571 + -0.429. Let u = -222.2 - i. Are u and 76 unequal?
True
Let v be (-1)/5 + 88/1265. Let a = 29/46 + v. Let l(z) = 28*z - 50. Let k be l(2). Which is smaller: a or k?
a
Let z = -155 - -303/2. Let y = 357.7 + -343. Let h = 15 - y. Is z at most as big as h?
True
Let r = -2/6265 - -6359/294455. Is r less than or equal to -2/5?
False
Let a = -16025 + 18353. Is a less than 2327?
False
Let s = 5585 + -5586. Which is bigger: s or 9/533?
9/533
Let g(w) = w**3 - w**2 - 60. Let q be g(0). Let s(n) = 78*n - 142. Let i be s(2). Let r be i/q - 6/36. Is -0.16 != r?
True
Let m = 67 + -57. Let q(r) = 12 + 2*r**2 - m - 3*r + 10*r. Let c be q(-3). Is c at most as big as 1/40?
True
Let g be (-252)/280*10/(-6) + 22/(-20). Suppose -4*s = 20 - 4. Let f = s + 4. Which is smaller: f or g?
f
Suppose 52*q - 3 = -h + 53*q, 2*h + 2*q = -6. Which is bigger: -17/14 or h?
h
Let d = 509 + -481. Let c(b) = 11*b - 1. Let n be c(-1). Let w be ((-3)/n + d/(-16))/(-3). Which is smaller: 0 or w?
0
Suppose 0 = -11*k - 207 + 42. Let a be (57/k - 1/5)*21. Suppose -250 = 3*l - r, 2*l = -0*l - 4*r - 190. Is l less than or equal to a?
True
Let q(w) = -9*w**2 + 1433*w + 83. Let m be q(171). Which is smaller: m or 0?
m
Suppose 6175 = 5*s + 5*b, 5*b - 17 = -7. Are s and 1231 equal?
False
Let l(a) = a**3 - 67*a**2 + 104*a - 2608. Let p be l(68). Is 9089 less than p?
False
Let m(u) = -4*u**3 + 2*u**2 + 6*u + 3. Let f be m(-1). Suppose -3*h = -t + 48, -h - 34*t + 30*t = f. Is h less than or equal to -13?
True
Let y = 571 + -574. Let w(h) = h**3 + h**2 - 7*h + 7. Let j be w(y). Is -2 at least as big as j?
False
Let r(b) = -10*b**3 - 17*b**2 - 9*b - 4. Let z be r(4). Which is bigger: z or -951?
-951
Suppose 20*x = -158 - 602. Let h be ((-19)/x)/((-11)/(-6) + -2). Let l = 12327/88 + -1141/8. Is l > h?
True
Let y = 60 - 50. Let z(g) = 6*g - 79. Let i be z(y). Let t(l) = -l**2 + 2*l + 7. Let r be t(-4). Is i greater than or equal to r?
False
Suppose 3*i - 8 = 28. Suppose -r - 3*r = -i. Suppose -34 = -95*v + 38 + 23. Do v and r have the same value?
False
Let x = 1.1196 + -0.0496. Let c = -0.024 + -0.986. Let t = c + x. Which is bigger: -0.01 or t?
t
Let z = 1209 + -10862/9. Let q = 23 + -22. Does q = z?
False
Let p be ((-6916)/(-665))/(4/410). Which is greater: -0.1 or p?
p
Let d(b) = 2*b**3 - b**2 - 2*b - 2. Let k be d(-1). Let j be 6*(-15)/27 + k. Is -5 <= j?
False
Suppose 3*c + 0*c = 3*i - 45, 5*c + 35 = i. Suppose 7*j - 5*j - 2*u = i, 20 = -2*j - 4*u. Which is bigger: 0.113 or j?
0.113
Suppose 391 + 202 = -5*n + u, -4*u = 4*n + 484. Which is smaller: -79 or n?
n
Let x = 3246 + -3247. Let p = 1022 - 11260/11. Is x greater than p?
True
Let m = -91529.691 - -91575. Let c = m + -45.3. Which is smaller: c or -4?
-4
Let g = -14.206 + 16.206. Which is smaller: 2/7671 or g?
2/7671
Suppose -4*x - 107 = c - 91, 2*c = -4*x - 12. Which is smaller: 33 or x?
x
Suppose -3152*h + 3150*h = 184. Is -76 at most h?
False
Let h(g) = 127*g - 3174. Let k be h(25). Is -15/1699 smaller than k?
True
Suppose -80*a = -81*a - 4*h + 71, 0 = 5*a + 4*h - 339. Is 65 <= a?
True
Let c = -76200/13 - -5862. Is -1.3 less than c?
True
Suppose -4*i - 12 = -3*i. Let n be 32/i*(-79)/(-20). Let g = n - -56/5. Is g greater than 0?
True
Let v = -153.7 - -153.027. Let o = v - -0.043. Let s = o - -0.53. Is 44 greater than s?
True
Let r = 32194 + -32232. Is -1015/27 at least r?
True
Let k be 48 + -59 + (-44)/(-4). Which is smaller: k or -135/172?
-135/172
Let r = -72 + 110. Let s = -62.63 + 23.63. Let i = r + s. Is -13 != i?
True
Let j = 6473 - 11083. Which is greater: -4609 or j?
-4609
Let r be 8 + -10 - (2 + (4 - 5) - 2). Which is greater: r or -6.95?
r
Suppose -g = 551 - 555. Suppose 5*w - g*m = -284, 3*m = -5*w - 108 - 204. Is -61 greater than w?
False
Let a = -16105/33 + 488. Suppose 2*y - 24 = 4*u, -u = -2*y - 2*y + 13. Suppose 0*x + y*x = 0. Which is smaller: x or a?
a
Let g = -13507 + 972479/72. Which is greater: g or 0?
0
Let z = -417222/671 - -6859/11. Is z <= 3?
True
Let z = -15 + 21. Let k = 181 - 173. Let w be (z/(-4))/(6/k). Which is greater: w or -15/8?
-15/8
Let z(g) = g + 4. Let a be z(-2). Suppose 4*n - 3*h = -102, 7*h = -2*n + a*h - 38. Let f be 1158/(-48) - 3/n. Is f > -24?
False
Let l be -3 - (328/(-7) - 16/112). Which is smaller: l or 72?
l
Suppose -4*x + y - 1 + 10 = 0, 0 = -5*x - 3*y - 10. Suppose -19 = 5*z + 2*m + x, 24 = -2*z - 4*m. Let s be z - (1 - 172/60). Is -3 != s?
True
Let b = 9434 - 9431. Which is smaller: -574 or b?
-574
Let j = -1449.3 + 1449.7. Let o = -24 - -36. Do j and o have different values?
True
Let g(s) = -2*s - 20. Let o be g(0). Let v = -64 - o. Let c = -38 - v. Is 5 bigger than c?
False
Let p = 86.1 - 15.1. Let z = 121 - p. Let j = 16 - z. Is j bigger than 0.1?
False
Let y = 117 + -130. Let s(h) be the first derivative of -h**4/4 + 2*h**3/3 - 3*h**2/2 + 4*h + 4. Let b be s(3). Is b at least as big as y?
False
Let s(t) = -24*t + 13 + 21*t + 4. Let y be s(10). Which is smaller: -14 or y?
-14
Suppose 11*n + 0*n + 231 = 0. Let w be 9/n - (-7510)/(-35). Do w and -215 have the same value?
True
Let w = 993808/35 - 28397. Is -3 < w?
True
Suppose 5040 = -82*f + 52*f. Let q(i) = 22*i - 15. Let j be q(-7). Which is smaller: j or f?
j
Suppose 79*n = 19*n + 36300. Which is greater: 3028/5 or n?
3028/5
Let l = -2 + 3. Let r = -3/26437 + -52853/185059. Is l > r?
True
Let r be ((0 - -1) + 6)/(3/(-6)). Are r and -33 equal?
False
Let c be 346/30*88/(-232) + 4. Let s = c + 7/29. Is -3 greater than or equal to s?
False
Let q(p) = 320*p**2 + p + 16. Let b be q(3). Let x = 23135/8 - b. Which is bigger: x or -7?
-7
Let w(y) = -4*y - 1. Let a(v) = v**2 - 11*v - 23. Let o(s) = -2*a(s) + 18*w(s). Let q be o(-25). Let j(t) = -27*t**3 + t**2 - t - 1. Let m be j(-1). Is q <= m?
True
Let q be ((-282)/(-54) - 3) + (-2)/9. Suppose -2*l - 3*j = -18, -6*l + 5*j + 58 = -q*l. Let t(y) = y**3 + 7*y**2 + 11. Let r be t(-7). Is l greater than r?
True
Let x = 1535 + -1517.98. Let n = 17 - x. Let k = -97/5 - -19. Which is bigger: k or n?
n
Let u = 939 + -941. Is u greater than -2568?
True
Let k = 24559 + -23922.92. Let x = k + -636. Let n = 0.1 - -3.9. Which is smaller: x or n?
x
Suppose 8*x - 11*x = -109014. Let f be x/150 - (-28)/(-21). Let j = 241 - f. Does 0 = j?
False
Suppose 3*q - 5*g + 105 = 0, -3*q - 5*g - 49 = 56. Let r = q + 68. Suppose 4*z = z - r. Is z greater than -10?
False
Let d = 79.0179 - 0.0179. Let m = -9.1 + 89. Let a = m - d. Is a smaller than 1?
True
Let l(m) = -m**2 + 5*m - 425. Let b be l(24). Which is smaller: b or 0.3?
b
Let y be (182/(-28))/((-12)/824)*15 - 7. Which is smaller: y or 6690?
y
Let k = -161 + 241. Suppose 44*l + k = 49*l. Suppose 4*p + 3*a - 65 = 0, 2*p - 12 = p - 5*a. Is p >= l?
True
Let i = 3964/125145 + -11/243. Which is smaller: i or -1?
-1
Let l be 1/(15/(-1657)) + 30 + -31. Which is greater: l or -112?
l
Suppose 0 = 4*y 