7 + 150. Suppose 0 = m - b + 5, m + 15 = z*b. Is m not equal to 11/28?
True
Suppose -2642 = 11*v + 10525. Let p be (v/(-7))/19 + -2*1. Which is smaller: p or -24?
-24
Let s = 38.11 - 38.21. Which is greater: s or 1/328?
1/328
Suppose -78*k + 30*k = 19*k - 3301 - 8357. Let a = 139 + 36. Is k less than a?
True
Let h = 280 + -540. Let z = -260 - h. Which is greater: z or 1/5?
1/5
Let q = -3241 - -3236. Let n = 9 + -9.04. Let l = -0.84 - n. Is q > l?
False
Let c = -559 - -557. Is -48/95 < c?
False
Let k = -307 + 587. Let n = 294 - k. Which is smaller: n or 0.02?
0.02
Let t be ((-171)/5)/(21 + 1056/(-50)). Is t greater than or equal to 252?
True
Let c = 99 - 185. Let s = 0.2566 - -0.0434. Is s >= c?
True
Suppose 0 = 3*l + 17 + 4. Let i be l + 37 + 0 - -3. Which is smaller: i or 17?
17
Let w be -3*(-12)/15*(-15)/18. Let x be -1996 + 6 + w + -3. Let s be (-7)/(x/(-10))*3/(-5). Which is greater: s or 1?
1
Let t = -0.9462 + 0.9199. Which is smaller: t or 2?
t
Suppose -3*r - 8*g - 19053 = -9*g, 0 = 3*r - 4*g + 19035. Is r > -6353?
False
Let y be -1 - ((-15616)/(-5418) + 1). Let k = 2/301 - y. Suppose 175*g = 8*g - 289*g + 2736. Is g at least k?
True
Let q(r) = 6*r**2 + 12*r + 2. Let c be q(-2). Let o be (-4)/(-52)*(69 + -3)/c. Which is bigger: 2 or o?
o
Let a(x) = 3*x**2 - 56*x + 41. Let q be a(18). Let m be 1/((-8 - -2) + q). Which is smaller: 4/25 or m?
m
Let t be ((-112)/6228)/((3/(-39))/(-1)). Let k = t + 2/173. Let j = 0.3 + 1.9. Is k greater than j?
False
Let c(m) = -14*m**2 - 138*m + 21. Let s be c(-10). Which is greater: 25/59 or s?
s
Let m be (-1)/(-1)*4 + 18000/(-4520). Let h = 250 - 249. Is h <= m?
False
Let p be (490/(-14) + 34)/((-2)/(-2364)). Which is greater: p or -1183?
p
Let z be -12*1/4*416/78*4. Which is greater: -20 or z?
-20
Suppose 5*l - 16 = o, -o - 12 = -3*l - 2. Let f be (o - 12*-2) + 4. Suppose -2*y + 1 = -f. Is 11 < y?
True
Let t = 181.3 + -348.3. Which is greater: t or 3/38?
3/38
Let z(p) = -77*p**2 + 25*p**2 + 13*p + 29*p**2 - 12 + 24*p**2. Let r be z(-16). Is 36 != r?
False
Let v = 7463/41 - 182. Let u = -38 + 65. Let r = u + -26. Which is greater: r or v?
r
Let r = -391 - -2341/6. Let u(o) = -4*o**2 + 3*o - 1. Let w be u(1). Which is bigger: r or w?
r
Let s = 3883.5 - 3884. Which is smaller: s or -658?
-658
Let t = -2290923637885/1761 - -1300922063. Let i = t + -2/587. Which is bigger: 65 or i?
i
Let t = 114 - 2169/19. Let u = 299.38 - 298. Let j = -2.38 + u. Which is smaller: j or t?
j
Let c(a) = -a - 7*a + 67*a**2 - 4*a**2 + 9 + 18*a. Let t be c(-1). Which is smaller: t or 59?
59
Let m = -0.4858 - -1.4858. Are m and 3.87 non-equal?
True
Let p(d) be the third derivative of d**5/4 + d**3 + 15*d**2. Let j be p(-2). Is 68 bigger than j?
True
Suppose 1932 = 42*j - 180*j. Do -4 and j have the same value?
False
Let r(l) = -2*l**3 - 34*l**2 + 2*l + 21. Let h be r(-17). Which is smaller: 112 or h?
h
Let w = -3058 + 3447. Which is smaller: -3 or w?
-3
Let t = 73 + -59. Let r = 0.77 + 6.23. Let l = r - 5. Do l and t have different values?
True
Suppose 3*j = -2*p - 105, -3*j + 165 = -4*p + p. Let i be ((-16)/p - -3) + -3. Is i greater than or equal to 0?
True
Suppose -2*z - 15*z + 272 = 0. Let b = z + -12. Let a be (-1 - b/(-28))/(3/42). Which is bigger: a or -13?
a
Let h = 354446845/13 + -27287194. Let i = h - -22065. Are i and 14 equal?
False
Let u be ((-214)/216 + 1)*(-408)/(-54)*-6. Which is smaller: 1 or u?
u
Let g(q) = -q**2 - q + 1. Suppose 0 = -5*n - 20. Let p(a) = 6*a**2 + 9*a + 8. Let c(v) = n*g(v) - p(v). Let k be c(-3). Are -16 and k nonequal?
True
Suppose -5*i + 19 = -2*z, 3*i - 8*i + 7 = 4*z. Suppose v = 2, -3*v + 132 = -i*m - 6*v. Let f be m/(-69) + 55/12. Is 4 >= f?
False
Suppose 1 = -f, 0 = -3*s + 5*f - 1212 + 14. Are s and -392 equal?
False
Suppose 0 = 5*f + 11*f - 3362 + 3378. Is f bigger than 3/2206?
False
Let t be 138/210 + (-2)/(-14). Let w(c) = -c**2 - 8*c + 39. Let i be w(-11). Suppose 0 = -i*z + 10*z. Is t at least z?
True
Suppose 26 = -2*v + y + 23, -3*v - 15 = -5*y. Suppose 8*f - 180 - 36 = v. Which is smaller: 25 or f?
25
Let t be (1*2)/(18/36). Suppose 20 = -5*x, 3 = 5*w - t*x - 8. Which is bigger: 2/447 or w?
2/447
Let p(g) = g**3 - 12*g**2 + 24*g - 16. Let h be p(10). Let v(d) = d**2 - 35*d + 102. Let b be v(h). Which is bigger: b or 2?
2
Let b(h) = -50*h**2 - 2*h + 379. Let a be b(0). Which is bigger: 382 or a?
382
Let i = 6473 + -6473.08. Is i at most as big as 0.529?
True
Let j = -593 - -678. Let u = j + -58. Is u at least 28?
False
Let m(w) = -48*w. Let z be m(-1). Let x be (588/(-245))/(144/30 - 6). Which is smaller: x or z?
x
Suppose 0 = -12*u + 51*u. Is -21/190 equal to u?
False
Let j be (1 - (-3441)/48)/((-8)/(-32)). Is j less than 291?
True
Let m = -31 + 86. Suppose -s - 214 + 44 = -3*d, 5*d - 278 = -s. Which is smaller: m or d?
m
Let q be 4*-1 + (-140)/(-4). Suppose -o + 24 - q = 0. Suppose -2*z = -6, z - 5 = g + 5. Is g not equal to o?
False
Let x = 11933 - 35873/3. Are -0.01 and x equal?
False
Suppose -1761 - 1184 = -12*m + 1123. Is 3713/11 at most m?
True
Let k = 6155977881/265 - 23230222. Let y = k - -583/5. Is y smaller than -1?
False
Let m be 3/5 + (-21039)/35115. Which is smaller: -1 or m?
-1
Let w be -51 + 40 - (-11 - 12163). Is w > 12163?
False
Let v = -21 - -13. Let i = -8 - v. Suppose 25*t - 4*x = 26*t - 5, 4*t - 3*x = 1. Which is bigger: i or t?
t
Let t = -136.7 - -428.7. Does 2/7 = t?
False
Let q = -6.9 + 6.72. Let n = 265 - 249.9. Let i = 15 - n. Is q equal to i?
False
Let o = 9 - 42. Let u be 3*(-2)/o + (-40)/99. Suppose 4*p + 9 = 3*d - 6, 2*p + 1 = -5*d. Which is bigger: u or d?
d
Suppose -3*m - 1395 = -4*d, 2*d = 3*m + 301 + 1088. Let f = 104572 - 105034. Is m less than or equal to f?
False
Let g(b) = -6*b + 69. Let i be g(11). Suppose 11*k = i*k + 21*k. Is -6 at most k?
True
Let g = 1637/21 - 541/7. Is 293 greater than g?
True
Let l = -41 + 67. Let n = l - 25. Let u = -62.24 + 0.24. Which is greater: u or n?
n
Suppose t - x = -3*t + 10, 6 = 4*t + x. Suppose -5*b + t*s + 108 = 0, -s = 3*b - b - 36. Suppose -4*l = -48 - 36. Is l not equal to b?
True
Let m be (-6*(-41)/(-8))/(24/(-256)). Let n = -335 + m. Which is smaller: -8 or n?
-8
Let i = 0 - 0. Suppose -w - 12 = -3*h, h - 3*w - 36 = -24. Let a be (h/(-115))/((-1)/5). Is i smaller than a?
True
Let v = -0.04 - -0.22. Let c = v - 0.25. Let m = -130 - -129.7. Which is smaller: c or m?
m
Let k(r) = r**3 - 3*r**2 - 60*r + 68. Let h be k(10). Is 165 < h?
True
Suppose 31*v - 16*v = -750. Let d be (-16)/(-40)*v/15. Which is smaller: -3 or d?
-3
Suppose 3*s = 3*p + 447, -s + 2*p = 3*s - 600. Suppose -v + s = 168. Are -11 and v equal?
False
Let l = -1176.3 + 1176.5. Let c = -228 + 160. Is l bigger than c?
True
Let z be 1 + 86/(-8) + 141/188. Let t(p) = -7*p - 62. Let o be t(z). Is 18/19 at least o?
False
Let m(q) = 857*q + 52276. Let s be m(-61). Let a be 12/(-10)*10/214. Which is bigger: s or a?
a
Suppose -7*b = -16*b - 9. Let p be (73/81 + b)*(-12)/(-272). Is -1 at least p?
False
Let m be 1 + 2/(134/(-69)). Suppose 16*b = 5*b + 1672. Suppose b*w = 155*w. Which is smaller: m or w?
m
Let u = -2295 + 2371. Is u greater than or equal to 0.07?
True
Suppose 24*a - 27*a = -399. Let m be 6/(-21) + 38/a. Which is smaller: m or 4/43?
m
Let t(z) = -2*z**2 - 6*z - 12. Let i be t(-9). Let j = i + -53. Which is smaller: j or -172?
j
Let y be 3*(55/(-3) + 18). Which is smaller: 13/578 or y?
y
Suppose -9698 = 100*c - 2398. Which is greater: -40 or c?
-40
Let y(k) = -7*k - 128. Let s(o) = 22*o + 74. Let d be s(-4). Let b be y(d). Which is smaller: -115/4 or b?
b
Let s be (-1)/3 + 17/(-3). Let w be (12 - 6) + -9 + 163. Suppose w = -4*v - 12*v. Which is smaller: s or v?
v
Suppose -1018*l - 2*v - 89 = -1015*l, -5*l - 140 = -5*v. Is l less than -453/16?
True
Let x be 4/10*((-12)/6)/716. Let m = x + -5357/11635. Let y = -7 + 7. Is m at least y?
False
Let l be (2 - -642) + 30 + -28. Suppose -31*b + l = -408. Do 31 and b have the same value?
False
Suppose -3*x + 8 = x. Let c = 297 - 314. Is c not equal to x?
True
Let f be 160/15960 + (-4)/(-42). Let x be (-136)/(-14) - 16/(-56). Let p = 11 - x. Which is bigger: f or p?
p
Let s = -367761/4 - -90627. Which is smaller: -1314 or s?
-1314
Let n = -175432 - -4034056/23. Is -37 less than n?
False
Let b = -1