 (k - 0) - -2. Suppose 3*n - f + 6 = 6*n, 0 = 2*n + 3*f - 4. Is n > s?
True
Suppose -3*k = -2*h + 9, -10*h + 15*h - 4*k - 12 = 0. Which is smaller: h or -6.2?
-6.2
Let y = 218900 - 2847626/13. Let s = 148 + y. Are s and 1 nonequal?
True
Suppose -13 + 358 = 4*a + 5*v, -4*v = -3*a + 251. Is a <= -2/15?
False
Let f be (-291 - -71)*(2 + -1). Is f at most as big as -222?
False
Suppose 79*b - 77*b + 5 = g, -4*g - 2*b - 10 = 0. Let o(a) = -a**2 - 3*a + 3. Let n be o(-4). Is n at most g?
True
Suppose 0 = -8*m + 3*m + 10. Suppose q + 5*x - 27 = -4, 2*q - 2*x + m = 0. Suppose q*j - 5 + 20 = 0. Is -5 less than or equal to j?
True
Let k(w) = -w**3 + 26*w**2 + 30*w - 81. Let a be k(27). Which is greater: a or -2/395?
a
Let k be 2 - 1179/12 - (-15)/60. Which is smaller: -99 or k?
-99
Suppose 5*d + 2*r - 4 = 0, 9 = -4*r - 3. Let v(l) = -2*l**3 + 2*l**2 - 3*l + 3. Let f be v(d). Is -10 > f?
True
Let f be (12 + -19 - (-3 + 2)) + 450. Which is greater: f or 2/7?
f
Let h(y) = y**2 + 200*y + 1163. Let o be h(-6). Is 1/123 less than o?
False
Let z be 26/3 + (-1 - (-3)/9). Suppose -4*w + 4*b = 6 + 10, 4*b = -2*w - z. Let n = 27 + -51/2. Which is bigger: n or w?
n
Let h be (-2)/4 + (-83)/(-174). Suppose 113 - 101 = -12*k. Is k < h?
True
Let j(b) = b**2 + 3*b + 4. Let d be j(-4). Let n be ((-36)/(-45))/(2/5). Suppose 0*x - 5*x = 4*l + d, 0 = 2*x + n*l + 2. Which is bigger: 1 or x?
1
Let q = 28 - -84. Let k = -111 + q. Which is greater: k or 5/6?
k
Suppose 6*u - u - d = -127, -d + 52 = -2*u. Let z = 6 - u. Let f = 31 - z. Are f and 0.06 non-equal?
True
Let y(f) = 2*f**2 - 3*f**2 + 4*f**2 + 1 - 4*f**2 + 6*f. Let j be y(6). Are j and 1 non-equal?
False
Let p be (0 - 0)/(-2)*1. Suppose b - 5*b = -h + 5, 5*h - 46 = -b. Is h greater than or equal to p?
True
Let w(l) = 2*l**3 + 16*l**2 + 16*l + 14. Let z be w(-7). Which is greater: z or 3/34?
3/34
Let z be (-9458)/3*54/(-212). Let j = z + -803. Which is bigger: 1 or j?
1
Let z(i) = -15*i**2 - 193*i + 27. Let y be z(-13). Which is bigger: 1/1080 or y?
y
Suppose -2*l = 5*i + 690, 0 = -2*l + 3*l. Is i bigger than -137?
False
Let a(n) = 626*n**3 - n**2 - 17*n + 19. Let j be a(1). Is j < 628?
True
Let j be 2 - 3/(27/12). Let z = -3.98 - 0.02. Which is smaller: z or j?
z
Suppose 2*j = 6, 4*j = -3*v + 91 + 29. Which is greater: v or 35?
v
Let j be 462/2285 - (-13)/(-65). Is j at least -1?
True
Let k = 7 - 3. Suppose -3*s + 6 = k*n - n, -n + 22 = 5*s. Is -2 < n?
False
Let g = 67 - -114. Let s = -172.9 + g. Let w = s + -8. Which is smaller: w or -1/13?
-1/13
Let v(x) = 3*x + 2. Let k be v(1). Suppose 15 + k = 5*p. Which is smaller: p or 5?
p
Suppose 0 = g + g + 24. Let t be ((-4)/g)/((-5)/10). Is t less than -1?
False
Suppose s = 2014 + 1238. Let t = 22824/7 - s. Which is smaller: 9 or t?
t
Let w(t) = t**2 + 2*t - 1. Let v(g) = 7*g - 7. Let p(j) = 8*j - 6. Let h(s) = 5*p(s) - 6*v(s). Let d be h(6). Let b be w(d). Is 4 at least b?
True
Let c = -550 + 553. Let i = 201 + -590/3. Do i and c have the same value?
False
Let k(o) = o**2 - 15*o + 5. Let n = 28 + -14. Let w be k(n). Let v = 5 + w. Which is greater: v or -3?
-3
Let i be 2/38 + 5/(-15). Does i = 0?
False
Let h(g) = g**2 + 57*g - 444. Let q be h(-72). Which is smaller: q or 633?
633
Suppose -5*c + 6 = 1. Let n be (1 - c) + (-61)/63 + 1. Do n and 1 have the same value?
False
Suppose -4*l = -4*v + 2 - 38, -l + 5*v + 29 = 0. Suppose 0 = u - 3*u. Let j = u - l. Is j less than -3?
True
Let a be (-4)/(-6) + (-527)/12. Do -44 and a have the same value?
False
Suppose -34*a - 1984 = 940. Which is smaller: -85 or a?
a
Let q = -4/20459 - -120728603/225049. Let d = 537 - q. Is 1 equal to d?
False
Suppose -5*a = 17 - 7. Let t be 2*a/(0 - 2). Suppose -t*b = 3*b - 15. Are 4 and b unequal?
True
Let j be (1 - 2)/((-1)/7). Suppose 2*z - 4*t + 46 = 0, -j*z - 52 = -5*z - 2*t. Which is smaller: -30 or z?
-30
Suppose -827 - 633 = -10*j. Suppose k = 3*g + 42, 0 = 2*k + k + g - j. Which is bigger: k or 49?
49
Let c = -22565/2 - -10959. Which is greater: c or -323?
-323
Suppose -63 = 6*c - 351. Is -1 > c?
False
Suppose 3*f + n + 332 = 0, 3*f - 4*n + 198 = f. Which is bigger: f or -104?
-104
Let m = -28 + -13. Let u = m + 30. Is u bigger than -1?
False
Let x = 39 + -71. Let o = x + 37. Suppose 7*f = 2 + o. Which is smaller: 4/13 or f?
4/13
Let k = -14.1 + 15.45. Let a = 2.35 - k. Which is greater: 24 or a?
24
Let m = -22 + 4. Let w(f) = -f**3 - 18*f**2 - f - 20. Let n be w(m). Is n >= 1?
False
Let l = -1756 + 1716. Do -31 and l have the same value?
False
Let f = -469 + 469.988. Let l = f + 0.012. Are l and 6 unequal?
True
Let o be (28/(-21))/((-2)/(-15)). Let i be (-6 - -7) + o/8. Is 1/4 smaller than i?
False
Let z = 2529493/3507 - 5049/7. Is -1 <= z?
True
Suppose 2*g + 5 = 3*g - 2*d, 0 = -2*d - 6. Let n = 1/110 + -349/2090. Which is bigger: n or g?
n
Suppose 2*r - 27 = -15. Let y(s) = s**3 - 6*s**2 + 2*s - 13. Let q be y(r). Let z be 3/2*2/29. Is q <= z?
True
Let v = -948 + 1077. Is 132 not equal to v?
True
Let u = -234 - -228. Is -0.01 less than u?
False
Suppose 0 = s + 1, 3*n + s = 737 + 6. Let r be n - (-2 + -4)/(-2). Let v be 28/r*(-30)/(-4). Are v and 2 non-equal?
True
Let y = -8 - -13. Let x be 252/(-16) - y/20. Let l be x/(-96)*4/(-6). Which is greater: 1 or l?
1
Let x(t) = 2*t**3 + 3*t**3 - 16*t**2 + 23*t**2 - 6*t**3 + 7*t + 8. Let z be x(8). Which is smaller: 5 or z?
z
Let a(v) = v**3 + 3*v**2 + v - 1. Suppose -2*h - 2*h = -5*h. Let m be a(h). Let k be (-1)/(6/(-1) + 2). Is m at least as big as k?
False
Suppose 3 + 1 = 2*h. Suppose -h*n + 4*b = -26, 37 = 4*n - 0*b - 5*b. Suppose 3*v + 3*j - 3 = n, 4*v - 9 = -3*j. Which is smaller: v or 4?
v
Let f = -1.17 - -1.07. Let x = -53/95 + 3/19. Which is smaller: x or f?
x
Let p = -2868 + 2942. Are 58 and p nonequal?
True
Let t = -2.1 + -12.7. Let y = 3.2 - t. Which is smaller: -1 or y?
-1
Suppose -v + 4*v + 6114 = 3*f, 0 = -5*v - 5. Let s be 4/(-6) - (f/(-9))/(-7). Is s greater than or equal to -63/2?
False
Let q = 162.8752 + 0.1248. Is 3 equal to q?
False
Let j(t) = 3*t**2 - 8. Let p be j(2). Suppose 0 = 3*g + 3*o - 3, -4*g - 2*o + 6 = -0*o. Suppose s = -g*h + p*h - 2, 1 = h - s. Which is smaller: h or 6?
h
Let d be -5 + 3 - 88 - -3. Which is smaller: d or -86?
d
Suppose -131 = -5*c + 349. Let z be ((-27)/(-12))/(9/c). Let x be (z/10)/((-6)/(-20)). Is x at least as big as 9?
False
Let w be (-4)/(-14) - 117/(-252). Is -0.5 > w?
False
Suppose 0*y + 3 = y. Suppose -y*z + 5*z = -48. Is z at most as big as -24?
True
Suppose -3*k - 1 = 2. Suppose 5*u - 108 = 2*u - 3*x, 2*x - 177 = -5*u. Let w be 10/4*u/25. Which is smaller: w or k?
k
Suppose 2*v = -4*m - 6, v - 3*v = -5*m - 12. Let t(u) = -20*u + 1. Let s be t(v). Which is smaller: s or -17?
s
Let n be 320/60*3*-1. Let k be -4 - n - (3 + -4). Which is smaller: 23/2 or k?
23/2
Suppose 6*z + 6*z = -60. Let x be z/(-40)*4*0. Which is greater: -2/25 or x?
x
Let c be -6*(-1)/(5 + 3/(-1)). Suppose -2*m - 16 = -c*m - h, 5*h + 39 = 2*m. Is m at least 2?
True
Let p be (-2)/6 + 20/15. Let c = 2063 + -88711/43. Which is smaller: c or p?
c
Let p(u) = -15*u - 15. Let t be p(-6). Suppose -3*n = 21 + t. Let x = -46 + 15. Which is bigger: x or n?
x
Let f = 16 - 14. Let l = -189/4 + 47. Which is smaller: l or f?
l
Let s(n) = -2*n**3 - 42*n**2 + 15*n + 53. Let y be s(-22). Is 692 equal to y?
False
Suppose -2*a - 127 + 171 = 0. Suppose 3*p = -6, -s - 5*p = -4*s + a. Is 2 equal to s?
False
Let h(g) = -64*g - 1. Let y be h(0). Let s = 309 + -5869/19. Is y > s?
False
Let s be (-5)/(-7 + 2) - -10. Suppose 3*q - 22 = 2*a, 0*a - 4*a - 28 = -4*q. Which is smaller: s or q?
q
Let f be (2/136)/(49/1176). Which is smaller: f or 33?
f
Let f = -92 - -72. Suppose 3*r - 54 = 6*r. Which is smaller: f or r?
f
Let b(s) = -s**2 + 3*s + 2. Let z = -11 + 14. Let k be b(z). Let x be (k/4)/((-2)/20). Which is greater: x or -4?
-4
Suppose 46*a + a = 9*a. Suppose -3*l + 5 = -1. Is a bigger than l?
False
Suppose 5*o - 47 = 33. Suppose o*p - 21*p + 170 = 0. Are p and 34 equal?
True
Suppose 2*b - 82 = -5*i - 110, 4*b = -2*i - 24. Suppose 2*w = 4, 4*z + 3*w - 8 = 2. Which is smaller: z or b?
b
Let t be ((-2)/93)/(96/(-18)). Which is bigger: t or 1?
1
Suppose 8*d = -0*d - 24. Let l be (-3)/(-4 - 5/d). Which is greater: 2 or l?
2
Suppose 3*q - 2*q + 2 