. Is n less than or equal to -4/421?
True
Let n be (-4)/(-36) - (-32)/36. Suppose -c + 4 = -4*a, -c + 3*c + n = -a. Which is smaller: c or 1?
c
Suppose 4*z + 576 = 3*k, -402 + 11 = -2*k + 5*z. Which is greater: 189 or k?
189
Let w(l) = 440*l - 6420. Let m be w(-21). Is -15661 smaller than m?
True
Suppose -3*j - 3*h - 643 = -j, -3*h - 329 = j. Suppose -2*s - 3*w = 619, s + w + 305 = -2*w. Is s at least as big as j?
True
Suppose -65 = 2*g + 11*u - 6*u, 3*g + 70 = -2*u. Let z = 41 - 37. Suppose i = -2*p - 2*p - 11, z*p = i + 27. Which is smaller: g or i?
g
Let h = 34.67 - 165.67. Which is smaller: -1/4 or h?
h
Let m(n) = -19*n**2 + 50*n - 42. Let d be m(6). Is 6 < d?
False
Let n be (17/(-33))/((-4)/172). Let k = n + -141/11. Let l be -27*(0 + (-3)/9). Are k and l equal?
False
Let y be -11 + 12 + -4*1. Let o be (18/(-6))/(y + 2). Suppose -x = p - 0*p - 30, -p = -o*x + 82. Is x bigger than 27?
True
Suppose 100*o - 88 = 56*o. Suppose -57 = 4*n + 7*f - 10*f, o*f + 6 = -n. Suppose -2*h - h = 33. Is n < h?
True
Let z = -41 - -68. Let u(j) = j**3 + j**2 + 2*j - 3. Let t be u(0). Let x be (49/14)/(t/(-24)). Is z != x?
True
Let y = 27099/77 + -2510/7. Let w = 3939 + -7879/2. Which is smaller: w or y?
y
Suppose 0 = o + 5*j - 18, 1620*j = 4*o + 1624*j - 56. Which is bigger: 354/25 or o?
354/25
Let f(o) = o + 106. Let v be f(5). Suppose 2*k = n + 18, 3*k + 2*n + v = 124. Is 1.6 greater than k?
False
Let g = 327 + -323. Let t be ((-5 - 3) + 0)*(-61)/4. Let f be (-12)/4 - t/(-18). Is f < g?
True
Suppose 12*i - 21*i + 2*y = 2882, 957 = -3*i - 3*y. Are i and -0.2 nonequal?
True
Suppose -1 = -3*u + 8. Suppose -p + 43 = -4*q, -p - 26 = 3*q - u*p. Which is bigger: q or -11?
-11
Let a be -607*1/4 - 1*(-15)/(-60). Is -148 < a?
False
Suppose 17 = 5*b + 55*k - 53*k, 0 = 2*b + 2*k - 14. Which is greater: b or 14/5035?
b
Let y = 6341 - 6302. Is -7.8 less than y?
True
Suppose -9 = -z + 2. Let h = -2/25965 + 302927/25965. Is z equal to h?
False
Let v(g) = 315*g + 7178. Let t be v(-26). Which is greater: -1007 or t?
-1007
Let u(y) = 10*y**2 + 9*y + 16. Let f be u(-4). Let t(w) = -w - 152 + f + 3*w. Let d be t(5). Are -0.09 and d non-equal?
True
Let i = -61 + 65. Suppose 0*h = -i*h. Let c(q) = q**2 - 6*q - 7. Let m be c(6). Is h > m?
True
Let p = 195.75 - 26.15. Which is greater: 0.1 or p?
p
Suppose 3*m + 28*l - 2 = 27*l, 0 = 4*l + 4. Is m <= -2061?
False
Let a = 433 - 432.75. Let v = -0.06 + 0.21. Let y = a - v. Is y at most as big as 0.2?
True
Let o(v) = -12*v + 61. Let x be o(6). Let f be x/(((-4)/10)/(32/(-10))). Which is smaller: -89 or f?
-89
Suppose 4*s - 28 = -5*k, 5*s - 2*s = 2*k + 44. Let b be 4/s + 4/(-6). Let i be -2*21/525 + 3*(-436)/525. Which is bigger: i or b?
b
Suppose 85019 = -76*q + 45548 + 311475. Is 3580 less than q?
False
Let q(x) = x**2 - 22*x + 32. Let k be q(22). Suppose 107 - k = -15*m. Is m <= -51/8?
False
Suppose c = -1 - 4. Let o(q) = -q**3 - 2*q**2 + 4*q - 8. Let m be o(c). Suppose -m*g + 43*g - 4 = 0. Which is greater: g or 1/2?
1/2
Suppose 286 = 3*x + v, 5*x = 18*v - 15*v + 486. Is x greater than 90?
True
Suppose -2*w + 5*u = 2, 5*w - 5*u + 13 = 8. Is w >= -4/6981?
False
Let g be (225/125)/((-1)/(-15)). Suppose -26*n = -25*n - g. Suppose 0 = -2*d - d + n. Which is smaller: d or 31/4?
31/4
Suppose -3*i - i - 20 = 0. Let r = i + 1. Let n be 1596/(-441) + (-4)/6. Which is smaller: r or n?
n
Let k(c) = -5*c**2 - 5*c + 4. Let t be k(3). Suppose 12*d + 68 = 164. Let i be (2/d)/(14/t). Is i at least -0.055?
False
Suppose 22*h + 3656 + 1163 = -351. Are -237 and h unequal?
True
Let f(g) = 77*g - 10156. Let n be f(132). Let a(r) = -r - 7. Suppose 0 = 2*s - 0 + 10. Let d be a(s). Which is greater: n or d?
n
Let f(m) = 4*m**3 + 137*m**2 - 104*m + 53. Let o be f(-35). Let h = -8 - -11. Suppose i - 2*s + 19 = 2*i, -h*s = i - 20. Is o at least i?
True
Suppose 3*n - 4*j = -10, n + 2*j + 7 = -13. Suppose 0 = -2*w - 3 - 3. Let l be (-75)/50*n/w. Is l > -16/3?
True
Let o be (-34)/13 + (-3 - -1). Suppose 13*i - 1702 - 248 = 0. Let n be i/(-35) + 2/7. Which is smaller: o or n?
o
Suppose -1464 = -0*n - 3*n. Let x = n + -3370/7. Let q be -6*(5/(-6) + 22/(-44)). Which is smaller: q or x?
x
Let k = -7 - -4. Let f be -3 + k/1 + 4. Let p = -17.07593 - -0.07593. Which is smaller: p or f?
p
Let q = -17010 + 12416. Is q < -4594?
False
Let v = -6086 - -6124. Is -0.049 at most as big as v?
True
Suppose 2*f - 776 = 5*u, -4*f + 460 = -11*u + 8*u. Let d = u - -181. Which is smaller: 31 or d?
d
Let a(q) = -q**2 + 2*q + 19. Let s be a(5). Suppose 0*g + s*g = 1164. Let b be (g/6 + -2)/3. Which is greater: 16 or b?
16
Let j be (-2)/(-5) - (19 - 309881/16660). Is 0 smaller than j?
True
Let j = -17 + 17.2. Let b be (220/70)/((-417)/(-492)). Let a = b - -6/973. Is j greater than a?
False
Let g = 23109 - 23110. Which is smaller: -264 or g?
-264
Let c(w) = -w**3 - 2*w**2 + 5*w - 9. Let k be c(-4). Let r be (-32 - 6) + k*(-1)/(-1). Is r less than -35?
False
Suppose -2*j - 7 = -1. Suppose 18*s = -119*s + 411. Is s < j?
False
Let c = -4603/5 + 202427/220. Which is bigger: c or 0?
0
Let r = 63 + -59. Suppose -3*q + 2*q - 21 = -a, -5*a + r*q = -101. Suppose -20*h + a*h = -6. Which is smaller: h or 4/3?
4/3
Let v = 0.678 - 28.778. Let n = 0.102 + -13.202. Let h = v - n. Is 2 greater than h?
True
Suppose -9*k - 208 + 1126 = 0. Suppose 0 = -5*s - k - 153. Is -52 greater than s?
False
Let k = 3686 + -3619. Is 3/5 less than or equal to k?
True
Let h = 827.1 - 829.1. Are h and 107.2 unequal?
True
Let x = 11284 + -45137/4. Which is smaller: 71 or x?
x
Let g = -607 + 624. Suppose 2*d + 2 = 3*m, -7 = 5*m - g. Which is greater: 14 or d?
14
Let f = 1883.01 - 1943. Let b = 60 + f. Let c(v) = v**3 + v + 4. Let q be c(0). Is b > q?
False
Suppose 0*d = 5*d + 2*c - 761, 2*c = d - 145. Are 151 and d non-equal?
False
Let n be (-34)/289 + 72/34 - 2. Suppose 0 = 5*x + 5. Which is smaller: n or x?
x
Suppose -8*r + 3*r + 5*x = 80, 0 = -4*r - 4*x - 80. Suppose -388 = -5*s + 3*v - v, -2*s + 4*v + 168 = 0. Suppose -f = 3*f + s. Which is bigger: r or f?
r
Let b = -9029 + 9138. Which is greater: b or 115?
115
Let q(h) = h**2 - 88*h + 1851. Let l be q(53). Which is smaller: l or -26?
-26
Let w(b) = 2*b**3 - 6*b**2 - 6*b + 6. Let c be w(-2). Let t = 38 - 61. Are t and c nonequal?
True
Let x = 2 - 1. Let c = 454559/378708 + 423/6644. Let d = c - -1/114. Is x less than or equal to d?
True
Suppose -8*u - 7 - 1 = 0. Let j be 0 + -2 + (-5 - -375). Let i = j - 1481/4. Which is greater: i or u?
u
Suppose 21263 = -3*n - 5*j, -n + 359*j = 361*j + 7088. Is -7087 smaller than n?
True
Let g = -2142 - 950. Is -3091 greater than or equal to g?
True
Suppose -w = 6*z - 5*z - 5691, 0 = -3*z + w + 17105. Is 5698 greater than or equal to z?
False
Let k be 3/5*1 + 5536/(-1760). Let a = -599/231 - k. Is a equal to 0.8?
False
Suppose 5*g + 1057 = -3*v, -2*g + 2*v + 2*v - 428 = 0. Let d = 204 + g. Is d at most as big as 3?
True
Suppose -387168 = 37*m - 14*m + 88*m. Which is smaller: -6973/2 or m?
m
Let s be 11/(220/1016) - 2/(-10). Let b = s + -49. Suppose 0 = b*w - 8*w + 24. Is 8 not equal to w?
True
Suppose -29*h + 33*h - 8 = 0. Suppose 5*f + 5*j = -15, -f + h*j = -6 - 0. Let w be (0 - 2/(-12))*2*f. Is w >= -2/49?
True
Let d = 2/27343 + -30165/38580973. Is d at most as big as -1?
False
Let n be 14/4 - 2 - (-2)/4. Let l be (n - 3) + (-1 - -2). Suppose l = 9*g - 448 + 133. Which is bigger: g or 33?
g
Let t(i) = -2*i + 14. Let b be t(6). Suppose -2*v + 116 = g, -3*v + 91 = 2*g - 81. Let a = 61 - v. Is a at most as big as b?
True
Let c = 0.059 + -0.559. Let z = -5 - -5.24. Let d = z + -0.44. Which is bigger: d or c?
d
Let a be -9 + (3 - (0 - (-2420)/50)). Which is bigger: -55 or a?
a
Suppose 588 = -34*o + 40*o. Suppose 0 = 93*n - o*n. Is -4/63 less than n?
True
Let r = 68 - -8. Suppose v - 2*y = -4, -12*y - 9 = -3*v - 13*y. Is v smaller than r?
True
Let w be 2/10 - 5590574/27969170. Which is smaller: -1 or w?
-1
Let x be (105/5)/((-15)/20). Let t be x/16*1/(-91). Is t != -1?
True
Let s(y) = y**2 + 40*y + 71. Let g be s(0). Which is greater: -44 or g?
g
Suppose 3*s - 4*h = 5 - 2, 0 = -3*h. Suppose -4*k + 4*u - 44 = 0, -17 = 3*k - 0*u + u. Let x be (33/(-77))/(8/k). Is s less than or equal to x?
False
Suppose -p = 8*p - 630. Suppose -4*b = -