 (-8)/3. Is q != p?
True
Suppose 29 = 7*q + 57. Let l(m) = 26*m + 62. Let w be l(q). Is w at most as big as 0.04?
True
Let l be (-21)/(-4)*1954/(-2931). Let j(m) = 4 - 2*m - 4*m + 0*m + m**2. Let b be j(4). Which is greater: l or b?
l
Let m = -18741/4 + 4685. Is 5/3 < m?
False
Let t be ((-133)/(-22) - 6)/(2/6). Suppose 5 = -2*o - 3*o, 3*x - 31 = -2*o. Suppose 5*p + x = 6. Which is greater: p or t?
t
Let k = -164.1 + -45.9. Let v = k + 210.1. Which is smaller: 184 or v?
v
Let n be (33/(231/(-70)))/82*(-16)/2980. Are n and 1 nonequal?
True
Suppose 5*q = 5*j + 65, 0 = -2*q - j + 2*j + 28. Suppose 9*o = -2*o + 55. Suppose -2*i + 3*z - 8 - 27 = 0, -o*z + q = 0. Are -13 and i non-equal?
False
Let i be (-16)/(((-3)/(-2))/(11 - -1)). Let f = 62 + i. Suppose 0 = y - 6*y - 330. Does f = y?
True
Let y = 32 + -20. Let r(t) = -t**2 - 10*t + 86. Let m be r(-15). Is m at least y?
False
Let p(i) = i**3 + 7*i**2 + 8*i - 12. Let n be p(-6). Let o be (-3378)/72 - (-2)/n. Let m be (-23)/2*(-1 - -5). Are o and m non-equal?
True
Let c(q) = -3*q**2 - 13*q + 9. Let j be c(-8). Let p = 79 + j. Suppose -5*z - 5*n = 25, p = -2*z - 2*n - n - 15. Which is smaller: 3/31 or z?
z
Let m be 332/28 + 2/14. Let v be (-1170)/m*(-44)/275. Are v and 17 equal?
False
Let s(p) = -2*p**3 - 56*p**2 - 29*p - 108. Let x be s(-27). Which is smaller: x or -1567/2?
-1567/2
Let y = 3/86170 + 413277/9737210. Which is bigger: y or -1?
y
Let s = 17 + -14. Let f(d) = d - 2. Let h be f(s). Suppose -3*i - 2 = h. Is i <= -1/37?
True
Let u be 35/((-23)/12*(-19)/(399/(-28))). Which is smaller: u or -15?
-15
Suppose 5*n - 72*t + 73*t + 2123 = 0, 0 = 4*n - 3*t + 1687. Let u be -32 + 31 - n/418. Is 1 bigger than u?
True
Suppose 2*i + 6 = -3*f, 2*f = i - 6*i + 7. Suppose 0*v - 159 = -i*v. Let p = 53 - v. Do -1 and p have the same value?
False
Let r = 0.982644 - -0.017356. Let h be 2 - (162/26)/3. Is r less than h?
False
Let l = 8056.57 + -8055. Is l at most -2/83?
False
Let x = 7713.99347 - 7714. Which is bigger: 1/4 or x?
1/4
Let n be 4/14 - 33/(-7). Suppose 0 = -2*t - t + 3*g - 51, n*g + 41 = -2*t. Which is bigger: t or -16?
-16
Suppose 0 = 4*s - w - 820, 3*w - 509 = -5*s + 499. Let o be ((-102)/s)/((-2)/(-4)). Which is greater: 1 or o?
1
Suppose -1476 = 5*o - d, 4*o + 3*d - 526 = -1703. Let v be o/(-99) - 24/8. Which is smaller: v or -6?
-6
Let d be (6 - -79) + (2*-1 - 3). Let x be (-64)/d - (1 - (-718)/(-60)). Are 10 and x equal?
False
Let j(t) = -119*t**2 - t + 3. Let x be j(1). Let w be 4/6 - (-546)/x. Let f = -8 - -7. Which is greater: w or f?
f
Suppose -3*o = -29 - 4. Let n(x) = -23*x - 748. Let d be n(-33). Do o and d have the same value?
True
Suppose 0*f + 9912 = -21*f. Let i = -185 - f. Which is smaller: i or 286?
286
Let q = -0.74 + 0.26. Let h = 0.6 + q. Let s = 0.17 - h. Is s at least 2?
False
Let o = -3469/273 + -57/91. Is o equal to 1/3?
False
Let f be (0 - 1/(-2))*-6. Let c be 28*3/12 - (-29025)/(-4185). Which is greater: f or c?
c
Suppose -2866 = 5*c + 4*r, -5*r + 1147 = -2*c - 6*r. Let g = c - -569. Let t be 0 - 2 - (-1 - -1). Which is smaller: g or t?
g
Suppose 3*n - 9 = 0, -2*n = -0*b - 4*b - 6. Let q(v) = 37*v - 16. Let k be q(-5). Let o = -1412/7 - k. Which is smaller: b or o?
o
Let o be (-74)/(-36)*3 + 9/(-54). Suppose -2 = 8*d + o. Which is smaller: 2/247 or d?
d
Let f be (10 + -4)*-2 + 2. Let w be (0 + -1)*f/5. Suppose w*p = -3*c - 2*p - 38, -5*c + 4*p - 106 = 0. Is c != -19?
True
Let t = -66/1867 + 102/636647. Is -1 greater than t?
False
Let b = -586807/66 - -57833/6. Are b and 747 unequal?
True
Let k = -24998 + 26000. Are 1016 and k non-equal?
True
Let g = -3200 - -3200. Let n = -8 - -14. Suppose g = 2*t + n - 18. Is t bigger than 7?
False
Let x be 33/(-4202)*72/(-5238). Are x and -1 unequal?
True
Suppose -2*z - 15*w + 14*w + 1136 = 0, 3*z + w = 1704. Let g = z + -565. Which is smaller: 121 or g?
g
Let x be (19/3)/((-5853617)/12687543). Let s = x + 2/48377. Let u = s + 397/77. Which is smaller: -8 or u?
u
Let q = -29509/35 + 4217/5. Is q at most as big as -2/17?
False
Let m = 217998674377/49396 + -4413286. Let o = -158323/466 - -1359/4. Let d = m - o. Are 0 and d non-equal?
True
Suppose 2*q = 61 - 13. Suppose -20*c = -q*c + 4. Which is smaller: -3/28 or c?
-3/28
Suppose 96*d = -406*d. Which is greater: 79/74 or d?
79/74
Let m = 68 + -73. Suppose -4*x = -4, 4*x = -0*p + p + 4. Is m smaller than p?
True
Let m(y) = y**3 + 3*y**2 + y - 2. Let i be m(-2). Suppose 0 = -f - i*f. Let n be (-4)/80 - 915/(-9300). Is f bigger than n?
False
Let f be (5 + 150/(-6))/(-7). Let b = f - 22/7. Which is greater: b or -2.6?
b
Let i(j) = j**2 - 9*j + 8. Let d be i(6). Suppose -27 = -4*p - 4*o - 7, -2*o + 15 = 3*p. Suppose 2*c = -p*n - 55, n - 4*c + 11 = -8*c. Is d > n?
True
Suppose y = -3*v + 1436, 7*v = 4*v - 2*y + 1432. Let a = v - 481. Let t = -1/6538 + 13241/1078770. Is a at least as big as t?
False
Let u = 40/423 - 72167/7191. Which is bigger: 1 or u?
1
Let u = 324.121 - 327.2. Let y = 0.079 + u. Let m = 173/5 - 35. Is m bigger than y?
True
Let z = -50.33 - -51.6. Is -1.6 at least as big as z?
False
Suppose 6*s + 15*a + 4648 = 16*a, 8 = -4*a. Which is smaller: s or -772?
s
Let f = -0.5 - -3.4. Let z = 3.9 - f. Let h = 3 - 3.6. Are h and z non-equal?
True
Let g be ((-6)/(-21) - (-74)/84)*75/15. Which is smaller: -22 or g?
-22
Let l be 329/(-282)*(-1269)/6. Is 246 bigger than l?
False
Suppose 14*t + t + 39240 = 0. Which is smaller: -2617 or t?
-2617
Let h = 0.7 + -0.4. Let w = 593 - 32616/55. Let m = w - -61/330. Which is smaller: m or h?
m
Let o(b) = 3*b - 25. Let m be o(6). Let f(j) = -j + 29. Let i be f(m). Which is bigger: i or 35?
i
Suppose 0 = 2*q + f - 9, 3*q + 4*f - 13 = 13. Let k(v) = -q*v + 0*v + 26 - v - 30. Let u be k(2). Is u equal to -7?
False
Let m(c) = -c**2 + 2*c + 4. Let d be m(-1). Suppose 8 = 2*z - 4*b, -z - 5*b - 9 = d. Which is smaller: -4 or z?
-4
Let a(d) = 4*d**2 + 157*d - 960. Let h be a(-42). Which is greater: h or -504?
h
Suppose 2*k = -91 - 3. Let a(y) = y + 56. Let s be a(-8). Let h = s + k. Do 1/9 and h have the same value?
False
Suppose 154*z = 266*z + 1006320. Which is smaller: -8986 or z?
-8986
Let u = -10/11457 - -78707/77048325. Are 1 and u unequal?
True
Suppose -3*t = 6, -7 = 2*d - 2*t - 5. Let w be -3*8/(-6) + (-5 - d). Let v be (1 + (-168)/172)*w. Which is smaller: v or 0?
0
Let m = -29536 + 29142. Which is smaller: -365 or m?
m
Let s = -9 + 19. Suppose 0 = -5*j + s + 50. Let n be 92/j + -2*2/(-4). Which is smaller: n or 8?
8
Let t = -0.157 - 144.843. Let s = t + 146. Is s at most 17/7?
True
Let q(z) = -2724*z + 10866. Let w be q(4). Let r = 2.3 + -3. Which is greater: w or r?
r
Let b = 41 - 47. Suppose -2*r - 3 = 1. Let h be (27 - r) + 3 + b. Is 26 != h?
False
Let c(v) = 2501*v**2 - 2502*v**2 + 7*v + 22 + 2. Let w be c(-3). Are w and 15 unequal?
True
Let u be 42/20720*(-6)/(-81). Let t = u + 21301/73260. Are t and 0 non-equal?
True
Let n = -124.26 - -93.26. Is -281 at least n?
False
Let y(l) = l**3 - 22*l**2 - 23*l + 2. Let a be y(23). Suppose -a = -w + 5. Do 3 and w have different values?
True
Suppose 0 = 42*y - 74*y - 7008. Which is smaller: 1/2 or y?
y
Let u = -1141.204 - -1146. Let x = 4.8 - u. Which is bigger: x or -0.1?
x
Let b(m) = m**3 + 8*m**2 + 8*m + 8. Let t be b(-7). Let d be 2 + t - -3*(-32)/(-24). Is d < 29/4?
True
Let b(s) = -608*s**3 - s**2 + 2*s - 3. Let k be b(2). Is k greater than -4869?
True
Let q = 112.99 - 113.08. Let n = -4545.09 + 4521. Let u = n - q. Is u > 1/4?
False
Suppose -4*a + 0*a - 6 = -3*s, -s - 2*a = 8. Do -36/43 and s have the same value?
False
Let j(l) = l**2 + 42*l + 26. Let c be j(-16). Let x = c + 655. Is x less than 531/2?
True
Let s(c) be the third derivative of -2*c**4/3 + 107*c**3/6 - 159*c**2. Let d be s(4). Is 41 at least as big as d?
False
Suppose -a = -0*a + 232. Let b be 1/((-2)/(-4))*(-4)/a. Let k be (-5 + 4)*(2 - 1). Which is bigger: k or b?
b
Let n be (296/296)/((2/6)/(2/6)). Let g(v) be the first derivative of -v**2/2 + 3*v + 5. Let p be g(5). Is n at least as big as p?
True
Let d = -57 - -59. Suppose 0 = -3*u + 5*k - 55, -4*u - u - 133 = d*k. Which is smaller: -26 or u?
-26
Suppose -44*j + 84*j - 47*j + 21 = 0. Which is bigger: j or 1.144?
j
Suppose -4*w - 12*g = -13*g - 257, 0 = -2*w - 5*g + 145. L