 0 = -2*z + 2*s - 2, -z - 2*s = -2*z + 3. Is -23/4 < z?
True
Let t be (2/(-1015))/((-66)/(-30) - 2). Which is bigger: t or -1?
t
Let d(n) = -13 - 77*n + 43*n + 36*n. Let r be d(5). Which is smaller: -8 or r?
-8
Suppose -3*y + 3*d = -3, -5*y - 5*d = 18 + 17. Which is smaller: 46 or y?
y
Let p(r) = -25*r**2 - r + 9. Let l be p(1). Let b = 5 - 2. Suppose 9 = 3*x, q = -4*x - b - 2. Is l less than q?
False
Let a be (-1 - (-42)/38)*(-7)/21. Which is greater: a or 1?
1
Suppose 8*w - 6*w = 0. Let q be (w - 3) + 1 - -2. Let m = -1 + -3. Is q smaller than m?
False
Suppose -3*k + 163 = 5*z, 4*k - 194 = 2*z + 32. Suppose 3*h = -23 + k. Which is bigger: h or 7?
h
Let k = -691 - -690.4. Is k != -48?
True
Let v(b) = -b + 11. Let g be v(15). Which is smaller: g or -7?
-7
Suppose -c = r + 8, -4*c - 4 = -2*r - 38. Let u be 8/(-10)*(-49)/(-4). Which is bigger: r or u?
u
Let t = 2 + 0. Let k be 59/(-3)*15/(-10). Let s = k + -28. Is s less than or equal to t?
True
Let p be 5 - 970*(-3)/6. Suppose -p = -7*u - 3*u. Are u and 49 unequal?
False
Suppose -4*w = -11*w - 14. Let b = 0.3 - -0.2. Is b equal to w?
False
Let m be 4 + ((-180)/(-6))/(-6) - -25. Which is bigger: 19 or m?
m
Let r = -31 - -30.72. Let g = 1.72 - r. Which is smaller: -8 or g?
-8
Let v = 296 + -342. Is v less than -46?
False
Let s = 229.98 - 230. Is s equal to 4/13?
False
Let y = 20 + 3. Suppose -2*v - 5*r = -y, 0*v - 3*v - r = -15. Suppose -2*x = v*f - 10, -3*f = 3*x - 7 - 2. Which is bigger: 3 or f?
3
Let d(f) = -7*f**2 - 3*f - 1. Let h be d(-2). Let t be h/6 + 6/(-36). Which is smaller: t or 1/3?
t
Let g(l) = 2*l + 4. Let n be g(6). Let b(r) = -23*r**2 + 2*r - 1. Let p be b(1). Let c be (p/385)/(n/10). Which is smaller: 0 or c?
c
Let f(a) = a + 12. Let o be f(0). Suppose 57*v - 66*v = -117. Which is smaller: o or v?
o
Suppose 0 = -4*c - 194 - 650. Which is greater: c or -213?
c
Suppose 41*t - 49*t + 1720 = 0. Which is smaller: t or 214?
214
Let a(d) = -d**3 + 7*d**2 - 5*d - 6. Let v be a(6). Suppose 3*c - 2*b - 140 = v, 0*b = 5*c + b - 216. Suppose 6 + c = 5*l. Which is greater: l or 11?
11
Let c be 4/(-3)*3/(-2) - -1. Let k be (c/9*3)/(-5). Is 2/11 at most k?
False
Let l(u) = -u**2 + 7*u - 10. Let n be l(7). Let i = -44 - n. Let w be -3 - 132/i - 1. Which is bigger: w or -1?
w
Let a = -1 - -2. Let n = 0.1057 - 0.2457. Is n equal to a?
False
Let j be 4/(-1 + 597)*1. Which is smaller: j or 1?
j
Let u = 7.04 + -6.4. Let l = u + -0.64. Let r = -1049/18 - -117/2. Which is bigger: l or r?
r
Let d be (-77253)/(-231) + 8/14. Which is smaller: d or 336?
d
Let p = 17.263 - 0.163. Does p = -2/5?
False
Let a be (9*(-10)/(-90))/(-453). Are a and -1 unequal?
True
Let v = -6 - -8. Suppose -w = v*w - 6. Suppose 0*k = w*k. Is 1 at most k?
False
Suppose 2*j - 2 = 4*g - 6, 0 = -4*g - 3*j - 16. Let z be 3/(-6)*(0 + g + -21). Is 11 < z?
False
Let n = -12 + -11. Let t = n - -19.5. Let z = t - -2.5. Is 21 less than z?
False
Suppose -3*c = -33 + 138. Let q be (-4456)/c + 6/(-10). Let a = q + -127. Which is smaller: a or 19?
a
Suppose c + 2 = -9. Let m(q) = q**2 + 12*q + 13. Let f be m(c). Let o be ((-16)/(-52))/f - 0. Is 0 at least o?
False
Suppose -638*p - 84 = -632*p. Is 6 greater than or equal to p?
True
Suppose 0*i - 4 = -4*i. Let y be (-8)/273*153/(-204). Is i bigger than y?
True
Let l = 15 - 178. Is l at most as big as -164?
False
Let q = -42 + 54. Suppose -q = 2*a + m, 5*m = -0*a - 4*a - 36. Is -10 < a?
True
Suppose -11*v + x = -14*v - 14, 0 = 4*v - 4*x - 8. Suppose m = 5*m - 28. Let k = 3 - m. Is k not equal to v?
True
Let w = -14 + 19. Let k be (7/28)/(w/(-2)). Which is bigger: k or 1?
1
Let b = 41 + -21. Let g be 8/b + 21/(-30). Let p(z) = z - 17. Let a be p(16). Which is smaller: g or a?
a
Let y(c) = 26*c - 16. Let f(w) = -5*w + 3. Let z(h) = -16*f(h) - 3*y(h). Let v be z(0). Suppose 2*d + v*d = -4. Is d at most -2/3?
True
Let y(j) = 6*j + 269. Let l be y(-41). Let g = -5 - -28. Is l less than g?
False
Let a = -2 - -4. Let x = -47 - -40. Let n = a + x. Is -4 < n?
False
Let z be (105/(-28))/((-6)/(-32)). Let d = 19 + z. Which is smaller: 23 or d?
d
Let o be 1273/(-4829) + (-9)/(-33). Is o at most as big as 0?
False
Let h = -0.7 + 0.3. Let x = h + 23.4. Which is bigger: 1 or x?
x
Let y = -82 - -60. Let m = 75 + -53.1. Let o = y + m. Which is smaller: o or 0.5?
o
Suppose 0 = -2*p + 5*p. Suppose 194 = 12*x - 106. Let k be -12 + 8 + x/6. Is k greater than or equal to p?
True
Let c = -47 + 46.9. Let d = -1.87 + -0.13. Let w = -16 - d. Which is greater: w or c?
c
Let v = -86 + 50. Suppose 10*n + 223 = -87. Let k = v - n. Which is smaller: -4 or k?
k
Let o(s) = 6*s + 61. Let m be o(-10). Let t(v) = -v**2 - 13*v - 4. Let n be t(-13). Is n greater than m?
False
Let n = -227.2 + 30.1. Let o = n - -189. Let m = o + 8. Which is smaller: 1/8 or m?
m
Let w be 0/1 + 9/1. Let u = -14 - -9. Let t be (-2)/(-10) + (-44)/u. Do w and t have different values?
False
Suppose -280*i + 716 = -284*i. Are 1 and i unequal?
True
Suppose -4*u = 143 - 35. Let t be 9/u*(40 + -1). Let m(p) = p**3 + 12*p**2 - 13*p. Let g be m(t). Is -3/10 at most as big as g?
True
Let a be (-4)/(-3)*(-81)/18. Let f = -2 - a. Let z(r) = -r + 4. Let b be z(5). Which is bigger: f or b?
f
Let z = -355/4 - -1453/16. Let w = z - 2. Suppose 5*l + 39 = 34. Are w and l unequal?
True
Let s be ((-6)/20)/((-60)/(-25))*-2. Suppose -2*z + 6*z - 32 = 0. Let i = 8 - z. Which is smaller: i or s?
i
Let d = 7 - 4. Let l = d + -5. Let y = -7 + 8. Which is bigger: l or y?
y
Let q(b) = -7*b - 18. Let l(w) = -6*w - 16. Let n(m) = -4*l(m) + 3*q(m). Let v be n(-3). Is v > -21?
True
Let s = -19 - -33. Let r be (s/8)/(5/(-20)). Let q be (7/(-5))/(10/50). Is r greater than q?
False
Let i(c) = -7*c**2 + 6*c + 26. Let j be i(4). Which is smaller: j or -49?
j
Let h = 49 - 24. Suppose 0 = -3*t - v - v + 41, -3*t + h = -2*v. Let r = -9 + t. Is 3 equal to r?
False
Let p be ((-54)/(-15))/(16/40). Suppose -p = x - 0. Which is greater: x or 1/4?
1/4
Suppose 3*z = 15, -63*x = -64*x - 3*z + 531. Are 514 and x equal?
False
Let v(y) = 120*y**2 - 5*y - 4. Let q be v(-1). Is q at most as big as 121?
True
Let n = -207 + 206. Let u = 6 + -5.9. Which is smaller: n or u?
n
Let v be (3/(-2))/(((-125)/(-10))/25). Is -14 smaller than v?
True
Let w = -367 - 896. Let h = 36609/29 + w. Is h < -1?
False
Suppose 9*f + 30 = 12*f. Let q(m) = f*m**2 - m**3 - 5*m**2 + 3 + 0*m**2 + 0*m**3. Let i be q(5). Is i less than 2?
False
Let l(a) = 13*a + 130. Let h be l(-11). Which is greater: h or -96/7?
h
Let d be 1/5 + (-4)/(-5). Let v be (-6*d)/((-33)/22). Which is smaller: v or -2?
-2
Suppose 2 = 3*c - 4. Suppose 0 = -c*i - 0*i + 10. Suppose -s = -i*s - 20. Is s < -7?
False
Suppose -12*o + 396 = -6*o. Let y be ((-4)/6)/(4/o). Are 0 and y unequal?
True
Let l(w) = -3*w + 3 - 3*w + 5*w - 2. Let z be l(-1). Suppose 3*c - z = 4*c. Are -3 and c non-equal?
True
Suppose 0 = 4*n - n. Let g = -19 - -18.84. Is g greater than n?
False
Let z = 3105 + -3104.9. Is -10.86 >= z?
False
Suppose -4*w = -3*w + 7. Let r = 15 + -15.7. Let q = r + -1.3. Is q at least w?
True
Let y = 920 + -910. Is y less than -34?
False
Let m = -26.2 - -44. Let w = 18 - m. Is -2 < w?
True
Let h be 25 - 5 - (0 + -3). Let d = h - 18. Suppose 18 = q + 4*b, -6*q - d*b + 75 = -q. Is 14 at least as big as q?
True
Suppose -1 = 2*a + 13. Let w = 0.05566 - -0.14434. Is a < w?
True
Let z = 32097/4 + -8025. Let p = 89/6 + -37/3. Which is greater: z or p?
p
Let m(h) = -h**3 + 13*h**2 + 32*h - 99. Let o be m(15). Which is smaller: -68 or o?
o
Suppose -5*v = 37 + 13. Let p be (8/(-60))/(4/v). Let c = 1 + -7. Do c and p have the same value?
False
Suppose 0 = 3*d - 33 + 111. Is -186/7 equal to d?
False
Suppose -19*o - 15 = 42. Suppose d - 4 = -a, -d - 2*d + 3*a = 12. Which is bigger: o or d?
d
Let n(m) = -3*m - 24. Let d be n(-8). Suppose d*f + 3*f = 33. Which is bigger: f or 10?
f
Suppose -8*z + 8 = -4*z. Suppose -2 = -z*l - 2. Is l less than 0?
False
Let s = -37 - -146. Is s equal to 0.1?
False
Let a = -0.22 + -0.08. Let r = 10752 - 118268/11. Which is bigger: r or a?
r
Let d = 72 + -51. Let o = d - 16. Which is smaller: o or 8?
o
Let a = 9 + -9. Let h(y) = -y**3 - y + 2. Let g be h(a). Suppose -14 = -2*z + 2*r, z = -0*z - 4*r - 18. Are g and z nonequal?
False
Let n(r) = -