 -1?
k
Suppose 5*n - 56 = -3*k - 19, -41 = -5*k + 2*n. Which is smaller: 10 or k?
k
Let u = -10 + 5. Let r be (u/((-30)/4))/(-3). Let m be (-4)/4 + (0 - 0). Which is greater: r or m?
r
Let b(j) = 2*j + 1. Let s be b(8). Let f = -23 + s. Is -5 <= f?
False
Let q = -1 - -0.96. Let d = q + -0.16. Is d >= -3?
True
Let q = 16 + -16. Let c be (0 + -1)*1/(-4). Which is smaller: q or c?
q
Let z be 0 - (3 - 0) - 0. Let c = z - -4. Which is greater: c or 2/29?
c
Let s be (0 - (1 + -3)) + 3. Let r = 14 - 10. Is s greater than r?
True
Let x be 2*2*1/2. Let o be (x - 3)*(-2)/(-6). Does o = 2/3?
False
Suppose 6 = 5*t + 1. Let r be t - -2 - (-164)/(-52). Which is smaller: -1 or r?
-1
Let d be (20/25)/(2/5) + 2. Which is greater: d or 5?
5
Suppose 2 + 3 = s. Let p be (1/6)/(s/15). Let x(y) = y - 7. Let d be x(6). Which is smaller: d or p?
d
Let s = 6 - 4. Let q be (-5)/s*12/(-75). Let j = 26 - 26.2. Which is greater: q or j?
q
Let c be ((-117)/21 - -4) + -1. Which is smaller: -2 or c?
c
Let o(b) = 2 - 5*b**2 + 6*b**2 - 3 + b + b**2. Let f be o(1). Suppose -4 = -2*j - 0. Is f greater than j?
False
Let n = 73 - 72. Is 2/85 equal to n?
False
Suppose -10 = 5*r + 3*o, -5*r - 3*o - 12 = -2*r. Let s = 23 - 53. Let m be 26/s + 2/3. Which is greater: m or r?
r
Let f be (-321)/(-273) + 4/(-14). Let v = 6/13 - f. Let z be 1/(2 + (-6)/2). Which is bigger: z or v?
v
Suppose 3 + 5 = n. Let z(j) = 7*j**2 - 8*j - 8. Let o(s) = 20*s**2 - 24*s - 23. Let x(d) = 6*o(d) - 17*z(d). Let r be x(n). Is -3/2 > r?
True
Suppose v - 8 = -4*a - 3*v, 2*v = 3*a - 6. Let l be (-1)/a*(-8)/(-6). Let i = 0 + -0.1. Does i = l?
False
Let j be ((-8)/(-372))/((-2)/6). Is j at most 1?
True
Let w be (-1 - -4) + 0 + 0. Suppose u = -w*u. Which is smaller: 2/13 or u?
u
Let y = 0.2 + 0. Let r = 0.2 + y. Let x = -0.6 - r. Which is bigger: x or 2/7?
2/7
Let b(o) = -o**2 - 13*o + 12. Let i be b(-13). Is 12 bigger than i?
False
Let d be (45/24)/(3 - (-3)/(-4)). Which is greater: 0 or d?
d
Let n be (-9)/(-2)*8/(-150). Is n > 1?
False
Let g = 78.9 - 79. Are -4.9 and g non-equal?
True
Suppose 3*i = 2*i. Suppose 21 = -2*o - i*o - 5*v, v - 6 = 3*o. Let a be 4/18 + (-38)/9. Is a at least o?
False
Let n be ((-39)/(-52))/(38 - -1). Is -1 at least n?
False
Let a(y) = y**2 + 2*y + 3. Let t be a(-2). Let i = -5 + 9. Which is smaller: i or t?
t
Let n = -13 + 23. Let s be 66/n*4/12. Which is smaller: s or 3?
s
Suppose 2*u + 63 = 2*x - 79, -334 = -5*x - 2*u. Is 68 at least x?
True
Let f be 0*(2 + (-14)/6). Let a = 3 - 4. Let h = -2 - a. Which is greater: f or h?
f
Let h(c) = 6*c**3. Let s be h(-1). Let f = s - -6. Let p be ((-9)/(-60))/(6/(-5)). Is f smaller than p?
False
Let x(u) = -u - 13. Let h be x(-15). Which is bigger: 18/7 or h?
18/7
Suppose 5*j + 10 = -2*r, 3*r - 5*j + 3 + 12 = 0. Let w be 1/5*r/6. Suppose -3*z - 3 + 0 = 0. Is z smaller than w?
True
Let k = -319/3 - -104. Which is bigger: -0.1 or k?
-0.1
Let g be -2*(6/4)/3. Let v be (6/(-20))/((-8)/10). Is g less than v?
True
Let k = 579/20 - 29. Which is bigger: k or 0?
0
Let w = 10 + -11. Which is smaller: 1/31 or w?
w
Let d be 1722/(-639) + (4 - 1). Let t = -2/71 - d. Let i = 0.3 + -0.1. Is t bigger than i?
False
Let n = 3 + 2. Suppose 5*w + d + n = -d, d - 4 = 4*w. Let c be w/(-4) - 1/(-4). Is 1 not equal to c?
True
Suppose 10*g - 6*g = -56. Is g at least -14?
True
Let b be (-2)/2 + -8 + 0. Let f = 22.4 - 22.4. Which is smaller: f or b?
b
Let s(j) = -j**2 + 8*j - 5. Let c be s(6). Let a = c + -6. Is a equal to 5?
False
Let g = 1/35 - -943/70. Let i = 13 - g. Which is bigger: i or 6/7?
6/7
Let z = 0.4 + -0.2. Let b = -0.3 + z. Let u = -20 + 83/4. Are b and u nonequal?
True
Let g = -30 - -27.9. Let m = 0.1 + g. Is m <= -4?
False
Suppose -5*y + v = -29, -2*y + y - 7 = 3*v. Suppose -223 = 3*d + o, -3*d + 0*d - 215 = y*o. Let a = -522/7 - d. Is -1 > a?
False
Suppose -2*r + 25 = -5. Let y be 21/r*(-18)/(-21). Is y > 0?
True
Let w = -14 + 14.1. Are 1/3 and w nonequal?
True
Suppose 4*w = 5*p - 82, -p - 47 = -5*p - 3*w. Which is greater: p or 4?
p
Let f = 44 - 44. Let l = -3060/7 + 438. Is f less than l?
True
Let v = -88 - -39. Let c = -197/4 - v. Let o be 6/2*4/(-42). Which is smaller: o or c?
o
Let b(a) = a - 1. Suppose 2*f = 2*r + 8, 2*f + 5*r + 5 = -8. Let p be b(f). Let y be 0 - (-2 - -2 - p). Does y = 4/5?
False
Suppose -2*b - 2*u - 4 = 2, 5*u = 2*b - 8. Do 3 and b have different values?
True
Let z be 1/3*(-9 - 3). Let j be 7*-2 - z*1. Is -11 at most as big as j?
True
Suppose 0 = -4*a - p + 16, -2 = -2*a + 4*a - 2*p. Let n = 2 - a. Is n > 0?
False
Suppose 4*k + 125 = -p, -3*p - 20 = k + 3. Let x be ((-1)/(-2))/(4072/k). Let u = x - 940/19851. Which is smaller: -1 or u?
-1
Let s = 14.7 + -39.7. Which is greater: 2/3 or s?
2/3
Suppose 2*s - 17 = -1. Suppose -3*x - 10 = s. Which is bigger: -5 or x?
-5
Let t be (-252)/(-655) + (34/(-10) - -3). Is t <= 1?
True
Suppose 6*c - 150 = -0*c. Is c equal to 25?
True
Let g = -11 - -18. Is g smaller than -0.1?
False
Let p(n) = n**3 + 5*n**2 - 7*n + 2. Let l be p(-6). Let i = 3/35 + 449/70. Which is greater: i or l?
l
Suppose -5*p + 4*f + 27 = 0, -5*p - 29 = -8*p - 4*f. Let z(u) = -u + 5. Let w be z(0). Are p and w equal?
False
Suppose -j = -5*b + 1, -j - 5*b = -b + 1. Let d = 3 + -3. Suppose -4*z = -d*z. Which is bigger: j or z?
z
Let z = 12 + -12.17. Is -0.1 less than or equal to z?
False
Let f = -3 - -5. Let y = -46 + 46. Is f equal to y?
False
Suppose 66*w + 5 = 61*w. Are w and 8/5 non-equal?
True
Let m be (-1)/(14/6 - 12/9). Which is smaller: m or -3/29?
m
Suppose 6*j = j - 45. Let u be (-6)/j*(-6)/(-2). Is u != -2?
True
Suppose -3*u = 10 + 26. Let v be (1/(-2))/(9/234). Which is smaller: v or u?
v
Suppose -a = 1 - 6. Suppose 3*n + 0*i - 11 = 5*i, 4*n + a*i = 3. Is 11/4 < n?
False
Suppose 3 = -4*n - 5. Suppose -5*c - 4*j = -8, -5*c - 3*j = -1 - 5. Suppose -4*z - t = 3, c + 3 = 4*z - t. Which is bigger: n or z?
z
Let n be 1/4 + 140/16. Let r = n + -4. Suppose -5*l + r = -5. Which is bigger: 0 or l?
l
Let d = -19 + 58. Suppose -4*f + 0*l - 3*l = 15, -4*f + 5*l = d. Let w be -5*((-2 - -3) + 0). Which is bigger: w or f?
w
Let t(f) = -f**3 - 8*f**2 + 9*f + 5. Let v be t(-9). Let k be (-1 + -14)*(-2)/v. Suppose -k*u = -u + 5. Is -1/15 bigger than u?
True
Let j = 0.6 - 2.6. Which is smaller: j or 19?
j
Let g = 248 - 250.02. Let f = g - -2. Is f less than 1?
True
Let n be (-6)/8 + 14/(-56). Which is bigger: -4/77 or n?
-4/77
Let a = 0.038 + 0.162. Suppose -3*c + 4 = c. Which is greater: a or c?
c
Let a = 6 - 4. Let m = -8 + a. Is m smaller than 1/3?
True
Suppose -2*n = -0 - 6. Let b be 0 - (n + -2 - 2). Let u be 0 + 3/5 - b. Which is smaller: u or -1?
-1
Let j = -371987 + 12187410083/32763. Let o = -23982506/163815 - j. Let u = 147 + o. Which is smaller: u or 0?
0
Let s be (-424)/64*(2 + -1). Let c = s - -7. Are c and 0 equal?
False
Let k = 0.13 + 0.17. Let h = -0.02 + 0.42. Let j = k - h. Is j < 0?
True
Let i(q) = -q**2 + 5*q - 4. Let k be i(4). Let x be (2/7)/((-22)/(-14)). Is k bigger than x?
False
Let a be 8/44 - (-224)/(-22). Let j be 15/a + 1/2. Which is smaller: j or 1/13?
j
Suppose 42*a + 105 = 27*a. Let d(h) = h. Let q be d(-5). Which is greater: a or q?
q
Let m = -8 + 9. Let z = 79/105 + -3/35. Are m and z equal?
False
Let q be (-19)/((-8)/(-24) - 5/6). Is 38 greater than q?
False
Let r = 0.5 - 0.8. Let w(a) = 4*a + 5. Let o(x) = -x. Let q(l) = 3*o(l) + w(l). Let d be q(-6). Is r < d?
False
Let h = -91/804 + 2/67. Which is smaller: h or 0?
h
Let g = 47 - 612/13. Let t(o) = -o**2 + 6*o - 1. Let y be t(6). Is y <= g?
True
Let p(w) = -1. Let o(f) = -f - 10. Let h(a) = -o(a) + p(a). Let b be h(-10). Is b >= -2/11?
False
Let c = -16 + 17. Which is smaller: -4/15 or c?
-4/15
Let i(s) = s**3 + 7*s**2 - 2*s - 10. Let q be i(-7). Let z be (-4)/6 - q/(-6). Suppose 3*k - v - 1 = 0, 2*k + 2 = -3*v + 5*v. Is z greater than k?
False
Let v = -1.2 + 1. Is 1/9 at most as big as v?
False
Let i be 3/(-4) + (-4)/16. Let y(m) = -m**3 + 2*m**2 - m - 2. Let c be y(2). Let v = 4 + c. Which is bigger: v or i?
v
Let k(s) = 27*s**3 + 2*s**2 - 2*s + 1. Let d be k(1). Suppose 4*v - 4*c = -d, 0*v = -2*v + 5*c - 20. Is v not equal to -4?
True
Let v = 1 + -2. Let f be 2/(-3) - v/(-3). Is -3 at most as big as f?
True
Let k(c) = 60*c**2 + 1. Let b be