 y = 4 - 4.2. Which is smaller: y or k?
y
Let u be (-4 + -2)/6*1. Does -1 = u?
True
Suppose -18*v - 260 = 8*v. Is v smaller than -12?
False
Let x = -6.16 - -5.1. Let r = 470 - 469. Let y = r + x. Is -1/3 at least y?
False
Suppose -4*i = -4*x + 40, 6*i - 9*i = -4*x + 37. Suppose 3*r - 2 = x*g - 2*g, g - 4 = 5*r. Is g bigger than 2/129?
False
Let c be (-91)/(-21)*4/(-10). Which is smaller: -1 or c?
c
Let l be ((-4)/(-8))/((-156)/672). Is l less than -2?
True
Let s = 280 + -266. Which is greater: 2 or s?
s
Let i = 112049/5 + -22544. Let y = 141591/1055 + i. Is y > -1?
True
Suppose 5*u - 13 = 4*j + 17, -3*u = j - 1. Let s = -0.043 - -3.043. Which is bigger: s or u?
s
Let j = -309 - -319. Is j smaller than 83/8?
True
Suppose -103 = -4*h - 3*t, 5*h - t - 206 + 82 = 0. Suppose -5 = -5*c, 4*c + h + 1 = -k. Let r be k/9 + (-2)/(-3). Which is smaller: r or -2?
r
Let t be (-10)/(-8)*104/(-13). Let r be t/3*6/14. Is 0 bigger than r?
True
Let n = -117/140 + 11/20. Which is greater: n or 8?
8
Suppose -2*z + 6 = 0, -5*k - 5169 = -2*z - 153. Let w be k/60*(-12)/(-45). Let a = -68/15 - w. Which is smaller: a or 1?
a
Let m = -9 + 1. Let d = 75 - 73. Suppose d*j - 9 = -23. Which is greater: m or j?
j
Let w be 12/(-36) - 4/6. Suppose 0*b - 3*b = -21. Suppose y - 5*f + 3*f = b, 20 = -4*f. Which is smaller: y or w?
y
Let t = 360 - 364. Suppose -54 = -z - z. Let g be -2 - -1*z/12. Are t and g non-equal?
True
Suppose -8*q + 6*q - 242 = 0. Is -121 > q?
False
Let w(l) be the first derivative of 10*l**3/3 + l**2/2 - 2*l + 28. Let q be w(-1). Is 9 less than or equal to q?
False
Let q be -6*(-4)/(-3) - -5. Let g be 15/9 + -1 - 58/q. Is g at most as big as 19?
False
Suppose 2*o + 3*o + 4*g = 19, 0 = -2*o + 2*g + 22. Let y(s) = 2*s**2 + 20*s - o*s**2 - 21*s. Let q be y(-1). Which is smaller: -3 or q?
q
Suppose -3*w - 11*q + 8*q = 12, 3*w - 4 = q. Do -18/41 and w have different values?
True
Let b be (23 - 17)*(4 - 1). Suppose 3*a - 3 = b. Which is greater: a or 6?
a
Let h be (58/(-1015))/(24/(-10)). Suppose 6 = -2*z + 8. Which is greater: z or h?
z
Let s(k) = 2*k - 10. Let z be s(-3). Let m = z + 18. Which is bigger: 1 or m?
m
Let a be (-6)/(-9) - (-4)/(-6). Let g be 10/(-40) - (-86)/(-8). Let s = -7 - g. Which is smaller: a or s?
a
Let a(q) = q**2 - 26*q + 26. Let d be a(16). Is -134 smaller than d?
False
Let o(y) = -y**3 + 9*y**2 + 10*y - 3. Let r be o(10). Let a = -6 - r. Let j be ((-6)/10)/((-3)/(-15)). Do a and j have different values?
False
Let f be (-2 - -2) + 4/94. Suppose -20*c + 21*c = 0. Which is bigger: f or c?
f
Let s be (-6)/4 - -27*2/4. Which is smaller: s or 13?
s
Let t be 0/(1/1 - 0). Let p(n) = n. Let c be p(t). Let h = -0.15 - 0.25. Which is bigger: c or h?
c
Let k = -29 - -43. Let a = 1188 + -1190. Which is smaller: a or k?
a
Let x be (-96)/42 + 2/7 + -2. Which is bigger: x or 1?
1
Suppose 5*j + 33 = 4*r + 13, 2*r = -j + 24. Suppose -6 - 6 = -i. Which is smaller: r or i?
r
Let m = -89/44 + 1583/836. Let y = 1/19 - m. Which is greater: 1 or y?
1
Let v = 93 - 203. Let p be (21772/v)/(12 + -10). Let n = -99 - p. Is n smaller than 1?
True
Let m = -87 + 86.4. Let y = 0.4 - m. Which is smaller: -69 or y?
-69
Let c be (-33)/(-12) - 6/8. Let v = 1.2 + -0.2. Let z = 0.9 - v. Which is smaller: c or z?
z
Suppose 0 = p + 2*p - 9. Suppose p*r + 15 = u, u - r - 9 = -4. Is u bigger than 1?
False
Let i = 9541/30 - 318. Let s(x) = x**2 + x. Suppose 3*y + k + 2 = 0, 2*k + 3 = -4*y + k. Let j be s(y). Is j at least as big as i?
False
Let v be (-62)/(-341) - (0 + (-26)/(-22)). Let q = 516/45271 - -645584447/2218279. Let a = 291 - q. Do a and v have different values?
True
Suppose -7 = 4*t - 3. Let i(v) = 14*v - 6. Let h be i(-6). Let j = -808/9 - h. Which is smaller: t or j?
t
Let u = -0.5 - -0.3. Let o be 1/(1 - 4) - 6/9. Let p be 7/20 + o - 4/(-16). Which is smaller: p or u?
p
Let p = 0.669 + -0.269. Let y = -2 - 7. Is y at least p?
False
Suppose 94 = 4*b + 6*g - 4*g, 5*g = -25. Which is greater: b or 23?
b
Let c = -6.1 + 6.078. Let m = c + -0.058. Is m smaller than -2/7?
False
Let l = 31 - 30.9. Which is smaller: 0.045 or l?
0.045
Let y = -1.46 - -1.52. Is -9 bigger than y?
False
Let o = -4.4 + 19.4. Let r = 13 - -7. Let z = r - o. Is 2 at least as big as z?
False
Suppose 2*g = 3*k - 25, 11*g + 3*k + 59 = 7*g. Is -73/5 greater than or equal to g?
False
Suppose 20*o = -0*o - 21*o. Which is greater: o or 21/19?
21/19
Let y be (-4)/6 + 8/3. Let n = -2 + 23. Suppose -3*l + n = 4*l. Are l and y nonequal?
True
Let d = 15 - 25. Let r = 7 + d. Let b be 65/(-25) + 16/10 + 14/(-10). Which is bigger: r or b?
b
Let l = 1103/14 - 159/2. Let o(z) = -z + 17*z**3 + 0*z + 1 - 18*z**3 + 3*z. Let r be o(-1). Is r less than l?
False
Suppose 10 = -5*w, -17*l - 3*w = -22*l - 4329. Which is smaller: -866 or l?
l
Let u = -3040 - -3041. Is u at least as big as 10/687?
True
Let s = 169 - 311. Are s and 0 equal?
False
Let f be ((-8)/(-1) + -7)/(-557). Which is smaller: f or 0?
f
Let l(d) = -d**3 + 8. Let u be l(0). Let k = 12 - u. Is k at most 2?
False
Let j = 10 + -49/5. Let m = -41/21 - -9/7. Which is smaller: m or j?
m
Let s = -56 - -223/4. Let v = -0.13 + -51.87. Which is smaller: s or v?
v
Suppose -4*c = c + 90. Let f = c - -18. Let x = -58/135 - -16/45. Is f <= x?
False
Suppose 5*v + 23 = -w, 5*w - 1 = v - 12. Let k(x) be the second derivative of x**3/2 + 5*x**2/2 - x + 40. Let a be k(v). Which is smaller: -8 or a?
-8
Let d(f) = -16*f + 9. Let g be ((-21)/(-6))/(-1) - (-2)/4. Let b be d(g). Is b at least as big as 57?
True
Let k = -877 - -944. Is 333/5 smaller than k?
True
Let t = -530 - -528.6. Let s be 29/(-4) - (-6)/(-8). Let w be (2/2)/((-4)/s). Which is greater: t or w?
w
Let l = -56 + 278/5. Let v(r) = 875*r - 876*r - 2 + 5. Let n be v(4). Which is greater: n or l?
l
Let w(c) = c**2 + 9*c + 18. Let x be w(-3). Let y be (6/9)/((-2)/(-12)). Let p be (4/y)/(-1 - 0). Are p and x non-equal?
True
Let o be (7 - 10 - 0)*23/3. Is -16 bigger than o?
True
Let r = -1239 - -1238.5. Do r and 1/31 have different values?
True
Suppose 0 = 3*x - 4*y - 272, 5*x - 240 = -y + 244. Suppose -38*z = -34*z - x. Which is smaller: 20 or z?
20
Let j = 10 - 60. Let h be (-7)/((-924)/j) + 2/(-12). Are -1 and h non-equal?
True
Let o be (6 - 3)/(3/5). Suppose -11 = -d + 2*b, 4*b + 13 = o*d - 12. Which is smaller: d or -2/131?
-2/131
Let w be (-9)/(-15) + 1322/(-70). Let t = w + 383/21. Which is greater: 1 or t?
1
Let v be (-35)/(-294) - 1/(-6). Is 3/82 != v?
True
Let b be (-7 + 9)/((-2)/(-40)). Suppose -30 = b*i - 41*i. Is i bigger than 31?
False
Let d = 355 + 277. Is 631 bigger than d?
False
Let h(z) = z**3 + 6*z**2 - 9*z - 7. Suppose 2*w + 15 = 1. Let o be h(w). Which is bigger: o or 9?
9
Let p be 753/(-630) - (-32)/320. Is p >= 0?
False
Let g = -141 + 140.98. Which is greater: 7 or g?
7
Let r be (2/(-37))/((-2)/(-18982)). Let t = 513 + r. Let g = t - 109/74. Which is smaller: g or -1?
g
Suppose 0 = -10*g + 7*g + 168. Let j be 22/14 + (-32)/g. Which is smaller: -2/9 or j?
-2/9
Let g be 63/(-102) + 6/51. Let t(k) = -k**2 - 8*k - 13. Let f be t(-6). Which is bigger: g or f?
g
Let g(d) = -2*d + 13. Let c be g(6). Let h = -35 + 56. Which is bigger: c or h?
h
Let u = 0.169 + 0.041. Let j = u + -0.21. Suppose 0*m + m = -5. Is m smaller than j?
True
Let d = -25 - -30. Let l be (-12)/(-9) + d/(-15). Which is bigger: l or 8/11?
l
Let s be ((-81)/15)/(-3) + 24. Which is smaller: s or 25?
25
Let s = -35 - -56. Let n = 21.03 - s. Let y = n - -12.97. Which is smaller: 0.1 or y?
0.1
Let o(n) = -122*n - 488. Let k be o(-4). Are -1/295 and k non-equal?
True
Suppose 4*v = 4*d + 8, v - 2*d - d - 4 = 0. Let u be (-1424)/(-426) + 190/(-57). Is u <= v?
True
Let p(b) = 111*b**3 + 3*b**2 - 3*b + 1. Let j be p(1). Is j at least as big as 566/5?
False
Let d = 2/2801 + -7944/3279971. Are d and 1 equal?
False
Let t be -1 - -3 - (-3 + (-182)/(-39)). Let u be 7/(-56) - (1 - 1). Which is bigger: t or u?
t
Suppose -226*g - 2 = -227*g. Which is smaller: g or 24?
g
Let j be (31 - 33) + 1*(-1 + -14). Let n = 41 + -57. Which is smaller: j or n?
j
Let v be (-55)/(-10)*(-2)/39. Do v and -1 have different values?
True
Let o be 2/15 + (4 - 4855/975). Which is smaller: 0 or o?
o
Suppose 12*f - 27 = 15*f. Let r be f*(-2 + (-70)/(-15)). Is -24 equal to 