
Let h = -1.9 - -2. Let t = 0.29 - 0.48. Let k = t - 0.01. Is h equal to k?
False
Suppose 5*g = 0, 2*d = d + 4*g - 171. Let n = d - -2908/17. Is 0 less than n?
True
Let t be ((-62)/(-26) - 0)*(-26 + -226). Let f = -602 - t. Which is smaller: 0 or f?
f
Suppose -4*j = -8*j - 12. Let k = j + 2. Which is smaller: -6/5 or k?
-6/5
Let p be 0*(-7 - (-60)/9). Is -14/409 bigger than p?
False
Let u = 0.3 + -0.38. Let l = 0.1 - 0.08. Let o = u - l. Which is smaller: o or -8?
-8
Suppose 803*t - 8730 = 813*t. Is t smaller than -872?
True
Suppose -x + 5*x + k = -12, 0 = 3*x + 2*k + 4. Let b be (8/(-12) + 0)*-15. Let r = -13 + b. Do x and r have the same value?
False
Let q be (-72)/180 - (-448)/1095. Is 2/9 bigger than q?
True
Let l be 29/((-754)/(-585))*(-3)/2. Is l >= -35?
True
Let h = 25850/31 + -834. Which is bigger: h or 0?
0
Let f be 68/(-6)*(-23)/(-2). Let i = 127 + f. Do i and 0 have the same value?
False
Let q = -1811/2872 - -2/359. Let w = q + 7/4. Is w at most as big as -2/3?
False
Let h be (84/(-18))/((-2)/(-9)). Let r(q) = q**3 - 10*q**2 - 3*q + 8. Let l be r(10). Let m = h - l. Are 14/9 and m non-equal?
True
Let f = -11 - -12. Let p be f - (3 + 3)/(-2). Suppose -2*o = -p, -3*o - 2*o = m. Is m greater than -10?
False
Let g be (240/42 + -6)*1. Is g < -6?
False
Let f be 6*4 + (-10 - -8). Let o = 22 - f. Which is bigger: 41 or o?
41
Let k be 380/55 - (5 - 1). Let d = k + -63/22. Is 0 >= d?
False
Let g(z) be the first derivative of -z**3/3 + 25*z**2/2 - 43*z - 4. Let s be g(23). Which is smaller: s or 30/13?
30/13
Suppose -3*h + 15 + 0 = 0, 5*x - 3*h - 1160 = 0. Which is greater: x or 236?
236
Let w = 6 + -11. Let i = -3.909 - 0.191. Let r = i + 4. Is r bigger than w?
True
Let i be (-2044)/(-40) + (-2)/4. Let s = 51 - i. Let h = 157 + -158.5. Is h less than s?
True
Let r = 181/5 + -11393/315. Let p be 1/(-2) + (-1174)/(-1260). Let m = r - p. Which is smaller: -5 or m?
-5
Suppose 6*f - 2*f + 3 = -3*m, -3*f - 4*m - 11 = 0. Let d be (18/48)/(f/2). Let a(g) = 2*g + 10. Let j be a(-5). Which is greater: j or d?
d
Let d be 3*(-291052)/642 - 4. Let o = 1364 + d. Let f = 73/3210 + o. Which is greater: 0 or f?
0
Let o = 1/113 - 913/1017. Let y = 3 + -3. Which is smaller: o or y?
o
Let z = -1615 + 1849. Is 933/4 at least z?
False
Let l = -21620 + 30813. Let u = 3428991/373 - l. Which is greater: 0 or u?
u
Let m be 28/(-15) - (-24)/(-180). Let b be (-1)/((-2)/(0 + m)). Let s be b/(0 + 1) - 13. Which is smaller: -13 or s?
s
Let t = 1094 - 1093.9. Is 0.0319 less than or equal to t?
True
Let x(h) = -h**3 + 9*h**2 + 8*h - 6. Let m be x(9). Let l = 46 - m. Let u be l/(-270)*(1 + -4). Which is bigger: -1 or u?
u
Let c = -4138771/822 + 5035. Let v = c + -591/2192. Let o = v - -1/48. Do o and 1 have the same value?
False
Let d be (-10)/(4 - (5 - -1)). Suppose 5*b - 3 = -3*w, -d = -b - 3*w - 2. Which is bigger: 2/55 or b?
2/55
Let y = -12 + 3. Which is bigger: y or -0.045?
-0.045
Let p = 6698/3 - 475504/213. Is p smaller than 1?
True
Let l = 101 - 98. Let c be (l/8)/((-37)/4). Is -1 bigger than c?
False
Let d = 6.96 - 7. Let b = d + 7.04. Does 3 = b?
False
Let f(h) = 2*h**3 + 1 + 6 + 7*h - h**3 + 7*h**2. Let w = 1034 - 1040. Let c be f(w). Is c equal to 5/11?
False
Suppose -7*p = -9*p + 72. Let c be (p/(-27))/((-4)/(-18)). Is c less than -7?
False
Let v be 7/(-44) + 4/22. Suppose 64*x = -f + 68*x + 17, -5*f = -5*x - 25. Which is greater: f or v?
f
Let i = 169 - 619. Let x be 2/(-7) + i/42. Let o = 14 + x. Are 3 and o unequal?
False
Let s be -1 + ((-16)/24)/((-10)/57). Let m = -51/20 + s. Let k = 8.03 + -0.03. Which is smaller: m or k?
m
Let v be 8*((-12)/(-8))/3. Let f be (0 - (3 + -1)) + v. Let w be f + -2 - (1 - 1). Is w at least as big as -2/21?
True
Let m be 120231/(-244)*(-8)/6. Is m bigger than 656?
True
Suppose -44 = -11*j + 15*j. Let v be (3/14)/((-9)/12). Is j at most v?
True
Let v = -2 - -1.96. Let q = 31 - 113. Let m = q - -83. Is m smaller than v?
False
Suppose 0 = 4*h - 4*v - 16, 2*h - v = -3*h. Which is bigger: -4 or h?
h
Let v be (3/3 - -1) + 0. Suppose 0 = h + 4*o - 15, 0*o + o = v*h + 6. Let y = -1193/4 + 296. Which is smaller: y or h?
y
Suppose 4*l = -5*t - 2 - 14, -2*l + 3*t = -14. Let x = -1/35 + 57/35. Which is smaller: l or x?
l
Suppose 7 = -51*g + 50*g. Let o = g - -6. Which is smaller: 1.5 or o?
o
Let a = 678.08 - -18.92. Are -0.1 and a non-equal?
True
Let o(h) = h**3 - h**2 - 3*h + 3. Let g be o(3). Suppose 2*f + 12 = -a - 0*a, -4*f + 4*a = g. Let n be 12 + -12 - f/(-7). Which is smaller: -2 or n?
-2
Let l be 17/4 - (-6)/(-24). Let u(f) = 0 + 4*f + 1 - f - l*f. Let a be u(2). Is a > -1/3?
False
Let f = 6 + 0. Let a be ((-2)/f)/((-10)/150). Suppose -3*k + 8*k = a. Is k != 0?
True
Let l be 1/9*2 + 612/(-567). Which is greater: -1 or l?
l
Let f(j) = -j**3 + 11*j**2 - 10*j + 1. Let r = -1 - -11. Let p be f(r). Which is bigger: 21 or p?
21
Let f = -525/4 + 133. Let p = -18 - -19. Is f equal to p?
False
Let n = -1.7 - -1.63. Let g = -750 + 750.3. Which is greater: g or n?
g
Let d = -113.8 - -114. Are d and -72 nonequal?
True
Let p be 118/(-70) - (384/(-56))/24. Is -1 smaller than p?
False
Let f = -331 + 336. Let q = 15 + -9. Which is smaller: f or q?
f
Let g(i) = i. Let t be g(3). Suppose -3*y - 18 = -t*q, -4*y + q + 6 = -9*y. Let o be y/7 - 363/(-21). Which is greater: 1 or o?
o
Let q = 105 - 104. Let v = -107 + 1069/10. Which is smaller: q or v?
v
Let k be (-1 - -2)*(-288)/(4/1). Which is greater: -70 or k?
-70
Let q = -46 + 47.8. Let p = 3.6 + -10.8. Let g = p - q. Which is smaller: -1 or g?
g
Let j(i) be the first derivative of -i**2 - 7*i - 1/3*i**3 + 4. Let o be j(0). Is 0 > o?
True
Let n = -12 - -15. Suppose -j - 12 - n = 0. Let u be ((-4)/10)/(24/j). Which is smaller: u or -1?
-1
Let y = 5.32 - 1.32. Is 0 not equal to y?
True
Let q(f) = -20*f**2 - 11*f - 4. Let y be q(-2). Which is bigger: y or -61?
-61
Suppose 0 = 4*f - 18 - 2. Let a = 4 + -2. Suppose 0*t = a*t - 12. Which is greater: t or f?
t
Suppose 5*l - 10 = 5*h, h = -2*h + 5*l - 10. Let j = -17 + 35. Let c be (12/j)/((-5)/3). Is c < h?
True
Let u = 17697 - 300729/17. Is 8 less than or equal to u?
False
Let n be -945*11/(2805/130). Let p = n - -482. Let l(x) = -x**2 - x + 1. Let d be l(-2). Is d less than p?
True
Suppose 4*x - 2598 = 2*w, -x - 7*w + 5*w + 642 = 0. Which is bigger: 1 or x?
x
Let p(x) = -56*x - 112. Let i be p(-2). Is -40/37 != i?
True
Let y(q) = 18 + 12*q - q**2 - 18 + 0*q. Let p be y(12). Which is smaller: 2/23 or p?
p
Let v = -14 + 24. Suppose 0 = -30*u + 25*u + 55. Is u equal to v?
False
Suppose -33*v + 75 = -8*v. Suppose -w + 5*h + 10 = 0, -29 = 3*w - 8*w + 4*h. Which is bigger: v or w?
w
Let u = 975 + -1025. Is -55 at most as big as u?
True
Let r(j) = -j**3 + 7*j**2 + 18*j - 139. Let t be r(6). Are t and 5 unequal?
False
Suppose -3*g + 19*g = -2752. Which is smaller: g or -173?
-173
Let s(g) = 27*g - 6. Let f be s(-2). Is -61 less than f?
True
Let a be -4 - -16*130/510. Which is bigger: -1 or a?
a
Let l = -255 + 248. Does l = -4?
False
Let h = 0.0721 + -0.1721. Are -11 and h unequal?
True
Let g(p) = -p**3 + 5*p**2 + 2. Let i be g(5). Suppose -5*c + 3 = 4*m, 4*c - 3*m = -6*m + i. Let z = -67/3 - -865/39. Is z bigger than c?
True
Let p = 49 + -47. Let v = -1 + 2. Let k = v + -1. Which is smaller: p or k?
k
Let n = 440 + -439. Which is smaller: 22.9 or n?
n
Suppose -2*t + 0*t + 1 = -l, -3*l - 2 = -5*t. Is t equal to 41?
False
Let u be (-43)/2*12/22 + 3. Is u > -8?
False
Let z = 0.0197 - -0.0803. Are z and -13/6 unequal?
True
Let q be (-21)/(-3)*(360/14)/6. Suppose 0 = -12*w + q*w - 36. Which is smaller: 0.12 or w?
0.12
Let r = -528 - -529. Is 1/47 smaller than r?
True
Let g be (-4)/3*(-15)/(-5). Let z be (21/28)/3*(-2)/g. Which is smaller: 1/3 or z?
z
Let m = -2263/9 - -27719/99. Is 29 less than m?
False
Suppose 4*h - 18 = 9*y - 11*y, 5*h - 3*y = -5. Which is greater: 78 or h?
78
Let g = -204 - -183. Are g and -106/5 nonequal?
True
Let u be ((-9)/12)/(36/(-32)). Let s = -2.4 + -13.6. Is u at least s?
True
Let x(g) = -2*g**2 + 3*g + 4. Let j be x(5). Let u = -30 - j. Let f = 472 - 31622/67. Is f equal to u?
False
Let d(u) = 2*u - 21. Let k be d(10). Let v(i) = -i**3 - 6*i**2 - 3*i + 2. Let z be v(-4). Let w be -6 - -3 - 14/z. Which is smaller: k or w?
w
Let q = 84 