8 + q = -3*k. Suppose 5*x = -k*o + 2, -3*o + 7*o + 5*x + 6 = 0. Which is smaller: -2 or o?
o
Let y = -17 - -20. Suppose 4*c + 5 = y*c - 2*h, -5*h = 2*c + 13. Let v = -150370/127 + 1184. Which is greater: v or c?
c
Let v = -4960 - -4961. Let r = -45.844 - -42. Let w = -0.056 + r. Which is greater: v or w?
v
Let c be (2*10)/(49/(-6370)). Which is smaller: c or 1/3?
c
Suppose 202*o - 196*o = 1356. Suppose 5 = 21*h - o. Which is smaller: 7 or h?
7
Let c = 1296 - 7112/5. Is -127 at most as big as c?
True
Let o = -1.1243 - -1.9243. Is o greater than -210?
True
Suppose -17 = -c + 2*v, -7*c = -4*c - v - 66. Suppose -5*w + c*w = -126. Are w and -6 nonequal?
True
Suppose -5*i - 226 = -281. Let h be ((-2)/(-8))/(-12 + i). Which is bigger: -1/6 or h?
-1/6
Let k(p) = -p**3 - 16*p**2 + 829*p - 263. Let s be k(-38). Let r(b) = -b**3 - 9*b**2 + 10*b + 9. Let c be r(-10). Let m be c/(-4)*(-6)/(-9). Is s at most m?
False
Let h = -100 - -54. Let o = -79 - h. Let b = 29 + o. Which is bigger: b or -3?
-3
Let c = 29/80 + -19589/54480. Let j be (72/72)/((3 + -2)*-1). Are c and j equal?
False
Let z = -13.8 - -275.7. Let g = 262 - z. Is g smaller than 42?
True
Let p(b) = b**3 - 5*b**2 - 10*b - 16. Suppose 29 = -l + 36. Let s be p(l). Let f be s/9*(-9)/132*-2. Which is greater: f or -1?
f
Let g be 13 + (-44672)/2352 - -6. Let u(o) = -o**2 - 6*o - 4. Let r be u(-5). Which is smaller: g or r?
g
Suppose 5*w + 2*z = 3675 - 301, -2653 = -4*w + 5*z. Is w at most 672?
True
Let i = -73327/57043 + -2/8149. Which is greater: i or -29?
i
Suppose 209*a = 33*a + 2417360. Which is smaller: 13736 or a?
a
Suppose 0 = -0*t - 2*t - 32. Let l be 6200/32 + (-3)/(-8 - 4). Suppose 0 = 16*g - l + 482. Is t greater than or equal to g?
True
Let i(r) = -r**3 - 2*r**2 - 2*r + 2. Let l be i(-3). Let x(f) = -4*f**3 - 4*f**2 - 31*f - 59. Let z be x(-2). Which is bigger: z or l?
z
Let p = -306 + 291. Let g = p + 6. Which is smaller: g or -14?
-14
Let h(s) = 4*s**3 + 351*s**2 - 91*s - 263. Let x be h(-88). Does x = -8/1185?
False
Let o(j) = 2*j**3 + 15*j**2 + 2*j + 73. Let a be o(-8). Suppose -23 = -4*m - 5*v - 65, 0 = 2*m + 2*v + 20. Let c be (10/(-6))/(m/(-36)). Is a >= c?
True
Suppose 5*p - 1788 = -10038. Is -1 < p?
False
Suppose 3*f + 46*m - 5926 = 51*m, -5*m = -5*f + 9860. Suppose 18*p + f = -1075. Which is greater: p or -168?
-168
Let y = -5.12 - -0.12. Let m = -2.874803 - 0.125197. Which is bigger: y or m?
m
Let o be ((-90389)/(-1105))/(2/18). Which is bigger: o or 737?
737
Suppose 0 = -4*i + 4 - 0. Let k = -37 - -21. Let g = -16 - k. Is g at least as big as i?
False
Let q be 6 - (85/(-3))/(-5). Let h = 2059/4 - 10447/20. Let k = 352/45 + h. Which is bigger: q or k?
q
Let x = 3694 + -3695. Which is smaller: x or 4/169?
x
Let m = 162725/10894 + -387/26. Let v = -64195/1676 + m. Let u = v + 38. Does u = 2.6?
False
Let a = -19813.41 + 20124. Let i = a - 310. Are -1 and i unequal?
True
Let w(n) be the first derivative of 1/2*n**2 + 2*n - n**3 - 3. Let c be w(2). Which is bigger: c or -7?
-7
Suppose -4*x = -2*u + 14486, -21675 = -9*u + 6*u - 3*x. Which is bigger: 7230 or u?
u
Let q be (-1)/((2/(-2))/(5/1)). Suppose -8 = -2*j + 2*z, -q*j = 3*z - 14 - 6. Suppose -j*l = -12*l. Which is greater: 3/4 or l?
3/4
Suppose -4 = 5*i + 4*d, i - 3*d = -3*i + 3. Let t be 8/(-36)*3*-12. Let a be (-5)/4*t/(-20). Which is smaller: i or a?
i
Let u be 3/(3/(-3)) + 9. Let g(z) = -2*z + 2. Let q be g(u). Let f be (-18 - -19)*-5 - (-7)/(-1). Does q = f?
False
Let h(x) = -101*x - 1214. Let i be h(-16). Does i = 398?
False
Let c(k) = -93*k**2 + 145*k - 302. Let l be c(2). Which is smaller: -390 or l?
-390
Let o = -17478 - -51346/3. Let l = o - -362. Suppose -3*q = -5*f - 4 + 44, -4*q - 15 = f. Is l <= q?
False
Let f(k) = -2*k**2 - 26*k - 5. Let c be f(-8). Do 67 and c have different values?
True
Let o be (-8)/(-2) - (-13202)/(-3311). Suppose 5*m - 18 = 2*p - 18, 2*p = -4*m. Which is bigger: o or m?
o
Let h be (-2 + 48/28)*(-168126)/24*-6. Which is smaller: h or -12010?
-12010
Let f be 9/21 + 4161/42. Suppose 8*j = 12*j - 396. Let i = j - f. Is i at most as big as -0.1?
True
Let o be (-8899464)/(-684572) + -21 + 8. Is 0 greater than or equal to o?
False
Suppose -2*n + j + 35 = -0*n, -2*n - 5*j = -17. Suppose -10*x = -104 - 76. Which is bigger: n or x?
x
Let y be 4*(1 - 2) - -54. Let x = y + -46. Suppose -5*m + 5*q = -50, -x*m - q + 38 = -m. Is 11 greater than m?
False
Let z = 4.162 + -2.162. Which is smaller: 2/239 or z?
2/239
Let l(h) = 2*h + 0*h + 3*h + 26. Let a(b) = -7*b + 2. Let o be a(1). Let g be l(o). Is 3/25 less than g?
True
Let n(x) = x**3 - 2*x - 9. Suppose -6*w + 50 = 8. Suppose 0 = w*k - 8*k. Let d be n(k). Is -10 less than d?
True
Let o(n) = n**3 + 2*n**2 + 5*n + 6. Let x = -75 + 73. Let i be o(x). Let t be 15/(-25)*i/(-20). Which is greater: -1 or t?
t
Let u(v) = -v**2 + 11*v + 37. Let q be u(14). Let g be (-8)/q + 2*(-3)/(-15). Suppose -20 = 3*o + o - 4*d, 4*d = g*o + 20. Which is bigger: 6/17 or o?
6/17
Let n be (6/(-3))/(-1 + 11/10). Let k be (7/((-35)/n))/(-2). Let b = 2924/7 - 419. Which is smaller: k or b?
k
Let t = 15 - 9. Let y be -1*(2 - 4)/t. Let w = -113.1 - -113. Is w bigger than y?
False
Let w = 81 + -83. Let l be (2/(-12))/(w/16*-8). Is l bigger than 2?
False
Let p(d) = -82*d - 9. Let z be p(-9). Suppose 6*f = -237 + z. Which is smaller: f or 84?
f
Let a = 2.387 - 2.69. Let u = a + 0.373. Let t = 14 - 22. Which is smaller: t or u?
t
Let o be 2 - -1 - 0 - 1. Suppose -2 = -0*k - o*k. Let g = -410 + 412. Is g < k?
False
Suppose 0 = -2148*j + 2135*j. Do 35/37 and j have the same value?
False
Let p = -33.83 + -0.17. Let x = -35 - p. Is 0.13 at least as big as x?
True
Let w be (-18)/(-60) - (14384/480 - 7). Let m be (-291)/12 - (-2)/8. Is w bigger than m?
True
Let m = -20.2 + 17.2. Let t be 180/22 - (-10)/(-55). Let s be 1 + t/(-6) + 0. Are s and m nonequal?
True
Let z = 0 - -1.2. Let a = 28.9 - z. Let i = 28 - a. Are -1 and i nonequal?
True
Let c = 10510 + -10510.02. Is c not equal to 815?
True
Let y(p) = -p**2 + 27*p + 6. Let v be y(13). Suppose 11*a + v = 661. Let o = 41 - a. Is o at least -7/12?
False
Let t be 8580/18*(-213)/(-355). Is t equal to 16?
False
Let v = -29.73 - 0.27. Let t = v - -43. Let h = -0.09 + -0.91. Which is greater: h or t?
t
Let m = -28431/107753 + 90/389. Are -0.07 and m equal?
False
Suppose 291*d - 3673 = 292*d + p, -3*d = 5*p + 11009. Which is bigger: -3677 or d?
-3677
Let s = -3752 - -3751. Which is smaller: s or -2/4235?
s
Let p = 21156/19 - 1114. Which is greater: 0 or p?
0
Let c = -286 + 332.75. Let p = 45 - c. Let r = -0.75 - p. Is r at least as big as -3?
True
Let m = 1.72 + -22.72. Let u = -13 + 12. Which is smaller: m or u?
m
Let b be 309387/1352 + (-24)/52. Is b less than -1?
False
Let j be 160/(-45)*(-8)/(-992). Which is greater: 1 or j?
1
Suppose -3*s + 20 - 5 = 0. Suppose 0 = 3*t + s*b + 130, 4*b = -14 + 6. Let w = 41 + t. Is w less than or equal to -2?
False
Let h(x) = 2*x + 7. Suppose 2*l + 0*l - z = 0, l = -5*z. Let r be h(l). Is r less than or equal to 3?
False
Let m = -4 + 31. Suppose 3*b - 6 = -m. Let s be -10*(5/(-20))/(1/(-2)). Which is smaller: s or b?
b
Let m be (-40)/(-50)*85/(-2). Suppose -r = 3*p + 13 - 37, p - 129 = -4*r. Let a = m + r. Does 2/7 = a?
False
Suppose 0 = t + 3*t - 340. Let u = 215 + -322. Let j = u + t. Is j at least as big as -21?
False
Suppose 59*t = 140*t - 54*t - 5481. Is 118 at least as big as t?
False
Let z = -1750 + 1750.083. Which is smaller: 5 or z?
z
Suppose 6 = 4*k - 2*l, 0 = -k + l - 0*l. Suppose 5*f + 6*a - k*a = 5, 0 = 3*f + 3*a + 3. Let w = -2743.9 - -2744. Is f less than w?
False
Let z be (12 - 4)*(-10)/(-4). Let j = z - 19. Suppose -4*o = -3 - j. Which is bigger: -1 or o?
o
Let i be -9*(-6 - 39/(-9)). Suppose i*z - 18*z = 225. Which is smaller: -73 or z?
z
Let r(q) = 9*q + 2 + 2*q**2 + 5 + 4 - 43*q. Let o be r(18). Suppose -77 = 2*j - o. Is -31/2 greater than or equal to j?
False
Let s = 72 + -20. Let r be 2 + (s/286 - (-3396)/(-1738)). Are 1 and r unequal?
True
Suppose u + 3*d - 5 = 0, -5*u + 6*d - 11 = 3*d. Is u < 1/205?
True
Let i = 145.622 - 6.622. Which is greater: -5 or i?
i
Let s = -1324406071/10218 + 129615. Let y = -1808593/71526 - s. Is -26 >= y?
False
Let f = -76981 + 72054103/936. Let v = f + 1/104.