 Let s be (r - 6/u) + 3. Are 0 and s equal?
False
Suppose 0*s - 3*s = -54. Suppose 155 = -5*w + 155. Suppose -y - y - s = -4*p, w = -2*y + p - 6. Are -1/5 and y unequal?
True
Let k = 1121 + -1122. Which is bigger: k or -4/215?
-4/215
Let b = -3091 - -15536/5. Let i be (1/21)/((-4)/8) + 2872/168. Which is bigger: i or b?
i
Let r be (-32)/10*(-200)/(-180). Which is smaller: 0 or r?
r
Let d = 32 + -30. Suppose -10 = -3*r - 0*z + d*z, -3*z - 15 = -4*r. Which is smaller: -2/7 or r?
-2/7
Let z = 119341/5 + -23767. Let o = z - 102. Let w = -8 - -7.9. Is w greater than o?
True
Let s(q) = -3*q**2 - 5 + 2*q**2 + q**3 + 4*q**2 + 4*q - 3*q**3. Let x be s(4). Is x < 0?
True
Let x(t) = -11*t - 244. Let i be x(-28). Is i at most as big as 63?
False
Let y = -30.8 - -29. Is y less than 1/9?
True
Let m be 4/12*(-3)/(-9)*0. Let t = 66/5 + -1929/145. Are m and t nonequal?
True
Let b(t) = t**3 + 3*t**2 - 2. Let l be b(-1). Is -4/31 at least l?
False
Let b(s) = 4 - 2 + s - 9. Let q be b(19). Is q bigger than 7?
True
Let n be 20/30 - (-2)/1. Let o be -2 - (12/(-4) + (0 - 1)). Which is smaller: n or o?
o
Let z = 64 - 207. Is -142 less than z?
False
Let u(o) = 14*o - 22. Let d be u(-2). Which is bigger: d or 0.02?
0.02
Suppose 15*p - 20*p + 10 = 0. Let j = 12 + -10. Let v = j - 3. Which is greater: p or v?
p
Suppose -45*p - 2*n - 506 = -48*p, 3*p - 4*n - 514 = 0. Which is greater: 163 or p?
p
Suppose 2*r = -35*i + 33*i - 6, -i = 2. Which is smaller: r or -9/19?
r
Let h = -9/5 + 13/10. Let b = -0.0713 - -3.0713. Is b <= h?
False
Let k(v) = -v**2 + 8*v - 11. Let d be k(5). Let n be 2 + (-3 - 0 - -1). Suppose 4*p - 15 + 3 = n. Which is smaller: d or p?
p
Let p(c) = -c + 11. Let s(d) = d - 11. Let g(w) = 4*p(w) + 3*s(w). Let b be g(10). Let m = -1081/9 - -120. Is b less than or equal to m?
False
Let o = -221 - -229. Let n(z) = z**3 - 6*z**2 - 6*z + 2. Let u be n(7). Is o at least u?
False
Suppose 72 = 2*b - 5*b. Let u be -17 - -1 - b/(-12). Let j be (-4)/u*6/2. Is -1 at least j?
False
Let r = -117 - -120.92. Let t = 0.08 + r. Let n = t + -4.05. Is n bigger than 0.2?
False
Let y = -208 - -207.4. Which is smaller: -2 or y?
-2
Let f(t) = 1137*t**2 + 3*t + 5. Let d be f(-1). Let k = d + -96816/85. Which is smaller: k or 0?
k
Let z = -5.2242 + 0.2242. Which is smaller: -14 or z?
-14
Let g = 516 - 522.59. Let c = -0.41 + g. Is 2 less than or equal to c?
False
Suppose 0 = -t + 4*l - 6*l - 5, t = 2*l + 3. Let m = -7/3 - -5/6. Let j = 13/8 + m. Is j at least t?
True
Let y = 22/15 - 2/15. Is y greater than -2/7?
True
Suppose -3*n = -3*y + 3, 0 = -n + 2*y - 0 - 2. Suppose p - 4 = -2*u, n = 5*u - 0*u - 4*p + 16. Suppose -5*l + 0*l = -5. Which is smaller: u or l?
u
Let v = -0.023 + -23.977. Let g = -23.97 - v. Which is greater: -2 or g?
g
Let j be 1152/3885 + 4/(-14). Let u = 220388 + -40771889/185. Let h = u - j. Is h > -2?
True
Let q = -13 + 18. Suppose 0 = 4*x + 14 + 6. Let y be (4/x)/(27/30 - 1). Is y greater than q?
True
Let g be 1 - 888/1168 - 1/4. Is g >= 1?
False
Suppose -12*b + 839 = 227. Which is greater: 5 or b?
b
Let s be (-8 - -1)*2/8. Let u be (-9)/6*(5/3 + -1). Which is bigger: s or u?
u
Let s = 23 - 45. Is -18 not equal to s?
True
Let q = 2337/5 + -466. Let c(o) = -53*o - 52. Let b be c(-1). Is b at least as big as q?
False
Suppose -2*p - 43 = -2*i - 3*p, i + 5*p - 26 = 0. Suppose 3*h = i - 0. Suppose 4*m + h + 5 = 0. Is m equal to -7/4?
False
Suppose 3 = 4*z - 25. Let d(n) = n**3 - 7*n**2 - 3*n - 12. Let p be d(8). Let x be (p/84)/((-1)/42*-2). Does x = z?
True
Let p = -6.223 - -0.023. Let f = -6.4 - p. Is -0.2 at most f?
True
Let g = 10560 + -1330571/126. Are g and 0 unequal?
True
Let c = -109 + 57. Let z = -51.979 - c. Which is smaller: z or 0.1?
z
Let h(o) = 5*o**2 + 3 - 2*o**2 - o**3 + 11*o - 4*o. Let s(l) = l**3 - 3*l**2 - 6*l - 2. Let z(g) = -4*h(g) - 5*s(g). Let t be z(4). Which is smaller: -11 or t?
-11
Let f be -2 + 4 - (-7 - -2). Let i(r) = -3*r + 2. Let w be i(2). Let k be w/10 + f/5. Which is bigger: k or 2?
2
Let f be 6/21 - 32/14. Let h be (3/f)/(12/(-160)). Suppose -3*i + h = -2*i - 4*r, -2*i = 3*r + 15. Do i and -2/65 have different values?
True
Let a be 4 + (-566)/60 - -4. Let s = a + 1/10. Let m = 1 - 1. Which is greater: m or s?
m
Let g = -1/1017 + 3059/8136. Is g smaller than 2/21?
False
Let s be (-14)/(-35)*5*(-20 + -3). Which is smaller: -45 or s?
s
Let v(c) = c**3 - 6*c**2 - 16*c - 16. Let g be v(8). Is g at most as big as -21?
False
Let r = -130 + 102. Let o = -36 - r. Does 0 = o?
False
Let f = -8377 + 8378. Let a be 4/302*(-1 - 0). Which is greater: f or a?
f
Suppose -25*v = -20*v - 330. Suppose 7*i = 135 + 334. Which is greater: v or i?
i
Let b = 534 + -534. Is b equal to 1.96?
False
Let x = 25 - 3. Let r = 23.5 - x. Which is greater: -1/3 or r?
r
Let f = -33/7 + 32/7. Let l = -0.078 - -0.178. Is f at most as big as l?
True
Let l be -12*1 - 76857/(-6919). Is l < -2?
False
Let w = 0.1 + 0. Let p = -1221/7 - -174. Which is smaller: w or p?
p
Let d = -3 - -4. Suppose -3*y + 13 - d = 0. Let w be (-2)/y*(1 + -1). Which is greater: w or 1/4?
1/4
Let s = 107975828456/3519 + -30683668. Let x = s + 2/391. Which is bigger: x or 2?
2
Let i = 17 - 16.3. Let j = i - -0.3. Let v be 3 + -2 + 780/(-572). Which is smaller: j or v?
v
Let q = -42 + 34. Let u be (-18)/(-12)*q/6. Which is smaller: u or -4?
-4
Let q(f) = f**2 - 3*f. Suppose 0*o - 3 = b + 2*o, o + 12 = 3*b. Let h be q(b). Which is smaller: -1/6 or h?
-1/6
Let i = 104.018 + -0.018. Is 0.2 at least as big as i?
False
Let w be (-1 - 1)/(-6) - 10/(-6). Suppose 5*c = -4*i + 54, -5*i = w*c - 114 + 38. Is 17 at most as big as i?
False
Suppose 0 = 10*v - 14*v + 20. Suppose -v*p - 11 = 19. Is 5 > p?
True
Suppose -3*a = 11*a + 5*a. Which is smaller: -13/115 or a?
-13/115
Let j be 862/(-72) + 124/558. Which is greater: -12 or j?
j
Let d be 0/2 - (6 + 1 - 124). Which is smaller: 118 or d?
d
Suppose 3 + 13 = 8*a. Suppose 2*b = -a*b + 4. Which is smaller: 2/21 or b?
2/21
Suppose 14 = -3*n + 4*w, -n - 5*w = -6*n - 15. Suppose -18 = -3*v - 5*i, i = 3*v - n*i - 42. Is v less than 13?
True
Let t = -4 - -4. Suppose 3 = y - 5*i - 3, -5*y = -5*i + 10. Let x be (y/(-50))/(7/70). Which is greater: t or x?
x
Let g = 330 + -226. Which is smaller: g or 103?
103
Let r = -7 + 11. Let g = r + 1. Let h = -31528 - -31533. Do h and g have different values?
False
Let t be (75/3 - 0) + -4. Let m be t/3*(-1)/(-1). Suppose -m = -5*a + 73. Is 16 < a?
False
Let u = 7.5 - 7.346. Let h = u - 0.054. Let l be (-2)/(-56) + 8/(-28). Which is smaller: l or h?
l
Let v be ((-6)/(-9))/((-2)/(-3)). Let b be (-1 - 1)*(-2 + 4). Let j be ((-6)/b)/((-429)/52). Which is smaller: j or v?
j
Suppose 7*t + 140 = 3*t. Let a = -29 - t. Is a < 10?
True
Let q be (-1768)/180 + 24/108. Which is greater: 2/3 or q?
2/3
Let d = -256 - -264.4. Which is bigger: 2 or d?
d
Let a = 9 - 2. Suppose 5*q + a = -o - 3, -20 = -5*q + 5*o. Let g be (-2)/5 - 4/(-10). Which is smaller: g or q?
q
Let q = 30 + -36. Let f = q - -5.9. Which is bigger: f or 2?
2
Let p = -6 - -19. Let i = -12.9 + p. Which is smaller: i or -2/11?
-2/11
Suppose -2*x + 16 = -0*x. Let r(w) = -w**2 + 5*w + 6. Let m be r(x). Are m and -17 nonequal?
True
Let y(b) = -b**3 - 8*b**2 + b + 1. Let k be y(-8). Is -1 smaller than k?
False
Suppose -b = 2681 - 2682. Let q = 7541/41 - 184. Which is greater: q or b?
b
Let m = 146 + -147.94. Let c = 6.94 - 7. Let r = m + c. Which is bigger: r or -3?
r
Suppose -195 = -42*f + 47*f. Which is bigger: f or -41?
f
Suppose -61 + 85 = 8*t. Which is greater: t or 52/23?
t
Let o be (-162)/(-28)*48/(-1224). Which is smaller: 0 or o?
o
Suppose 59 - 19 = 4*k. Suppose -k = -r + 2*r + 2*a, 5 = 4*r - a. Is -2/93 < r?
True
Suppose -3*w + 11*w = 80. Suppose 5*i - 14 = 4*p + w, 3*p - 13 = -4*i. Is i < 3?
False
Suppose -2*j = -0 - 6. Suppose 4*a - 2*m - 6 = 0, -6*a = -2*a + m - 9. Which is bigger: a or j?
j
Let f = -10065.29 - -9873. Let z = 207.3 + f. Let x = -15 + z. Which is greater: -0.2 or x?
x
Suppose -31037 = 24*t + 3403. Is t equal to -1436?
False
Suppose 10*b + 119 = -111. Let v(y) = 2*y**3 + 3*y**2 - y. Let s be v(-3). Is s at least b?
False
Suppose 3*x + 735 = -3*w, 3*x - 446 = w - 1181. Which is smaller: -246 or x?
-246
Let s(r) = r**2 - 5*r + 15. Let j be s(-7). Let t = -