ess than 6/5?
False
Let k = -36 - -11. Let s = k - -21. Let b = s - -15. Which is greater: -2/7 or b?
b
Suppose -2*o = -3*o. Suppose -9*g - 6 = 3. Is o <= g?
False
Let z = 21947/1586 - 180/13. Which is smaller: -1 or z?
-1
Let s be (-84)/10*(-140)/5264. Which is greater: 0 or s?
s
Let r(n) = 7*n**2 + 50*n + 10. Let y be r(-7). Which is smaller: y or -45?
-45
Suppose -2*k - 2*n + 47 = 3*n, 3*n = 15. Suppose -8*g = -k*g. Is -110 bigger than g?
False
Suppose -890 = x + 4*x + 2*v, -4*x - 4*v - 712 = 0. Is x greater than -179?
True
Suppose 5*j = 4*j - 9. Let q be (-14)/(-3*3/j). Suppose 3*y + 42 = -2*d, 5*y + 2*d + 2*d + 70 = 0. Do y and q have different values?
False
Let k = 24 + -23. Let y be 220/(-75)*(-50)/(-12). Let b = 112/9 + y. Are b and k non-equal?
True
Let u = 659 - 12518/19. Is u < 1?
True
Let k be ((-266)/(-70) + -4)*(-2)/2. Do k and -72 have different values?
True
Let t be 4/(-6)*(-3)/8. Let q be ((-50)/1710)/(50/60). Is q greater than t?
False
Let q be 3/18 - 25/6. Let m(l) = -l**2 - 4*l + 2. Let f be m(q). Let n be 9 + -7 - 3/f. Which is bigger: 1 or n?
1
Let s = 1.01 - -2. Is s equal to 1?
False
Suppose -5*m = 11 - 31. Let v(o) = -3*o + 12. Let s(u) = -u + 4. Let g(f) = 11*s(f) - 4*v(f). Let w be g(m). Is -1 at most as big as w?
True
Let r(w) = -4*w**2 - w**3 + 11*w + 12*w - 19*w - 2. Let a be r(-5). Suppose 3*x = 4*x - 1. Which is smaller: x or a?
x
Let s(p) = 23*p + 310. Let u be s(-13). Are 11 and u nonequal?
False
Let v = 341.1 + -358. Let d = -23 + 6. Let i = d - v. Is i bigger than 3?
False
Let x be 5/10 + (-42)/4. Suppose -2*p - 25 = 4*a + 15, -3*p + 50 = -4*a. Which is bigger: a or x?
x
Let h be (-1 + 4)/(3/23). Let o be (3 - (3 + 0))/(-1). Does h = o?
False
Suppose 2*h + 8 = 2*x, 6*x + 24 = -5*h + 7*x. Let v(u) = -u**3 - 6*u**2 - 3*u - 1. Let y be v(h). Which is smaller: -15 or y?
-15
Let s = 16 + -11. Let l = 222 - 222. Which is greater: l or s?
s
Let s = 355.9 + -356. Is s != 39?
True
Suppose -2*z - 26 = -5*u - 4*z, 2*u + 1 = 3*z. Let q = u + 20. Let b = q - 11. Are 13 and b nonequal?
False
Let c be (-3 - -2 - -107)/(-1 + -1). Is -54 less than or equal to c?
True
Suppose 2*r = -2*m + 14, -33 = -4*m - 3*r - 7. Suppose -m*k = -2*l + 6*l - 251, -3*l + k + 212 = 0. Which is smaller: l or -1?
-1
Let j = -824 - -883. Which is greater: j or 63?
63
Let s be 2 + (-3)/((-3)/(-2)). Let d = -166 - -169. Suppose -5*z = s, a - 8*z + 4*z + d = 0. Is -1 at most a?
False
Let c = 0.776 - 0.676. Let y = -8.81 + -0.19. Let s = 7 - y. Which is bigger: s or c?
s
Let q be (-5 - -3) + (1 - -2) + -2. Is -19/10 equal to q?
False
Let v = 8.4 - 0.4. Let z = -11 + v. Let n = 94/7 - 13. Which is smaller: n or z?
z
Let m = -1227 - -1216.5. Is 1/3 > m?
True
Suppose 5*g = 4*j - 3*j + 6, -5*j + 5*g + 30 = 0. Suppose -3*w + 2 = 4*c - 3, 3*w - 3*c + j = 0. Is 1/5 at least w?
True
Let s be 1591/(-105) - 95/1995. Which is greater: s or -14?
-14
Let i = -3.62 + 4.62. Is i at least as big as -32?
True
Let b = 6196.929 - 6194. Let z = b + 0.071. Which is bigger: -3 or z?
z
Suppose 5*w - 19 = -44. Let b be (-6)/w - (-3 - 55/(-15)). Are 1 and b equal?
False
Let w be ((-4)/3)/(2/18). Let y = 12 + w. Suppose 0 = -4*i + v + 11 - 83, y = 4*i + 5*v + 48. Is -18 at least as big as i?
False
Let a(p) = 49*p - p**2 - 42*p + 2*p**2. Suppose -l = -0*l + 7. Let n be a(l). Is 2/33 < n?
False
Let z = -0.31 + 0.3. Let b = -0.19 - -0.26. Is z at least b?
False
Let g(h) = 15*h - 51. Let l(m) = -5*m + 18. Let q(k) = -6*g(k) - 17*l(k). Let v = -3 + 5. Let z be q(v). Is z greater than or equal to -10?
True
Let c = -1 + -1. Suppose 6*j - 2 = -2. Is c less than or equal to j?
True
Let n = 152 + -149. Do n and -2.2 have the same value?
False
Suppose -4*c = -16, 0 = -4*i + 3*c + 290 - 82. Let n = 35 - i. Which is bigger: n or -19?
-19
Let x = -0.27 + 0.01. Let v = x + 0.06. Let c = -0.1 - v. Which is greater: 2 or c?
2
Let q = 121 - 120. Are q and 3/19 unequal?
True
Let h = -2197/3 + 733. Is h less than -54/13?
False
Let p be 46/14 + -2 - 0. Let n = -173 + 175. Are n and p equal?
False
Suppose 0 = 3*w + 2*o + 12, -4*w + 3*o = -0*w - 1. Let b be w/(-9)*(-21)/7. Is b at most as big as -0.9?
False
Suppose 190 = 3*v - 4*s, v + 2*s = -v + 150. Let y = v + -68. Let w(n) = -n**3 + 3*n**2 - 2*n + 3. Let d be w(2). Is y not equal to d?
True
Let o = 384732651421/5570 + -69072289. Let u = 2/557 - o. Which is smaller: u or 0?
u
Let d = 14217/11 + -1291. Are 3 and d non-equal?
True
Suppose 4*f = 3*z - 80, -5*f + 0 + 55 = 4*z. Suppose -22*q = -z*q + 2. Which is smaller: -2/25 or q?
q
Let z = -812 + 806. Which is bigger: -114/23 or z?
-114/23
Let a(v) = -92*v**2 + 1. Let d be a(1). Which is smaller: d or -89?
d
Suppose 1689 = 36*o - 2523. Which is bigger: o or 118?
118
Let w = 2.065 + -0.065. Is w <= 3?
True
Suppose 8*l + 160 = -8*l. Which is smaller: l or -7?
l
Let c = -129 - -130. Is c != -0.04?
True
Let l = -10 - -1. Suppose 14*r - 14 = 7*r. Suppose 3 = -k - 2*p, 4*p - r = k + 13. Which is smaller: k or l?
l
Let d = -325 - -681/2. Is 17 < d?
False
Let s = -2 - -2. Suppose 3*j - 44 - 106 = s. Is j > 51?
False
Let i = 0.035 + 27.965. Let s = -1.149 - -29.249. Let j = i - s. Which is bigger: j or -20?
j
Suppose -4*k - k - 4*m - 25 = 0, m = -5. Let w be (2/(-3))/((-2)/99). Let j be w/228 + 3/(-12). Is k at most as big as j?
True
Let o be 0*(-2)/(-4)*-1. Let w be 4588/(-90) + (-36)/162. Let q = -52 - w. Is o bigger than q?
True
Let l = 0.004 - 34.004. Let o = 33.7 + l. Let m = o + 0.4. Which is bigger: 0.04 or m?
m
Let o(h) = -h - 5. Let u be o(-6). Let c = 127 - 143. Let f be (5/(-20))/((-14)/c + -3). Which is bigger: f or u?
u
Let x be (-3)/18*2 + (-8)/3. Let t be 1*4/(-20)*x. Let w = 1 - -1. Is t at most as big as w?
True
Let w(r) = -r**2 - 6*r - 6. Let c be w(-4). Suppose 4*p - 198 = -c*n, 0 = 2*p + 4*n - 30 - 72. Let u be (-1)/(-4) - p/56. Is u >= -1?
True
Let o be 1533/(-27) + 3/3. Is o bigger than -56?
True
Suppose 27*a = -6976 - 24047. Is a at most -1148?
True
Suppose -2*l - 32 - 102 = -2*x, -5*x = 0. Is l != -66?
True
Let f(q) = -q**2 - 9*q - 7. Let o be f(-9). Let c be o/(28/12) + 1. Let y be ((-2)/(-12))/((-1)/4). Is c less than y?
True
Suppose -5*g - 3 = 2*m, 3*m + 4*g + 15 = -0*m. Let i(h) = h**3 + 3*h**2 - 2*h - 2. Let b be i(-4). Which is smaller: b or m?
b
Let g = -6.13 + 6.43. Are g and 12 unequal?
True
Suppose 2*h + 25*h + 567 = 0. Is -24 equal to h?
False
Let v = 0.0084 + 0.0216. Which is smaller: v or 17?
v
Let d = -184 + 198.7. Let h = -14.9 + d. Which is smaller: 1/4 or h?
h
Let l be -6 + 6 + (-158)/8. Let i = 1493/76 + l. Suppose -2*t - 3*t + 20 = -5*o, t = -o + 6. Which is bigger: i or o?
o
Let w be (7/(-2))/((-120)/15). Is w smaller than 0?
False
Suppose t - 4*f = -33, -f = 5*t + 25 + 35. Which is smaller: 3 or t?
t
Let s = -2/11225 - 100973/291850. Are 1 and s equal?
False
Let y = -8.3 - -8. Let h be 8/(-48)*(27/(-6))/(-1). Which is smaller: h or y?
h
Let b(y) = -y**3 + 28*y**2 - 78*y + 33. Let o be b(25). Is o not equal to -41?
True
Let i = 24023/157 - 153. Do i and 1 have the same value?
False
Let y = -3 - -4. Let h be -2 + y + 3 + -42. Is h greater than -40?
False
Suppose -2 = 2*x - 6. Let g be (-102)/4*5/(15/x). Which is smaller: -15 or g?
g
Suppose 36 + 119 = 5*q. Let g = q + -23. Let p be 1 + -1 - (-1 + g). Are p and -5 equal?
False
Let p = -44 - -44. Which is smaller: p or -5/68?
-5/68
Suppose -5*v + 58*c - 56*c = 2149, 2*v - 3*c = -853. Is -863/2 < v?
True
Suppose 0 = 4*u + z - 40 + 3, -4*z = -5*u + 20. Suppose 4*s = u - 4. Let f = 0 - s. Which is bigger: f or 1/3?
1/3
Let y(i) = 27*i + 114. Let h be y(-4). Is -1/20 at most as big as h?
True
Let b be 1*3*6/(-18). Let r(c) = 4*c**2 - 2*c - 1. Let g be r(b). Let i be (1 - 5) + 21/(-245)*-91. Is i at most g?
True
Let n = -31.2 - -32. Let o = 0.58 + 0.12. Let v = n - o. Are 1 and v equal?
False
Let q = 328.4 - 301. Let y = 33 - q. Let c = -6 + y. Is -2/5 smaller than c?
False
Suppose -262*n + 267*n = -15. Do n and 2.42 have the same value?
False
Let d be 48/744 - (21758/(-62) + 2). Which is smaller: 347 or d?
347
Suppose -5*w = 3*s - 0*w - 25, -2*w + 22 = 2*s. Let b = 12 - s. Let v be (2 + 8/b)/1. Which is smaller: v or -5/2?
-5/2
Let r be (((-15)/12)/((-6)/168))/(-1). Is r less than 1?
True
Let a = 5.1 - -16.9. Let h 