an t?
True
Let a(q) = 4*q. Let j be a(-2). Suppose 0 = 3*u + 5*n + 194, 5*n - 156 = 2*u + 3*n. Let o be j/(-12) - u/(-114). Which is smaller: o or 1?
o
Let f(u) = u**3 + 3*u**2 - 4*u - 2. Let l(n) = -n**3 + 16*n**2 - n + 13. Let t be l(16). Let r be f(t). Let m be (-11 + r)/((-5)/2). Is m >= -1?
True
Suppose -3*s + 2*v + 572 = 72, -4*s = -v - 660. Let b = s - 34. Let m be (-240)/b + 3 + -1. Are m and 1 unequal?
True
Let b = 0.01 + 0. Let l = 1.335 + -1.3. Let x = 0.065 + l. Which is smaller: b or x?
b
Let v = 1.95 - 2. Suppose 3*r = 4*y - 0*r - 73, 0 = y - 5*r - 14. Let f = y + -18. Which is smaller: f or v?
v
Let i(b) = -b**2 - 2*b + 3. Let z be i(1). Let m be 1/((-1)/3 - 0). Let q be m + 3 - 1/6. Do q and z have the same value?
False
Let z = 1220 + -1442. Is -223 > z?
False
Let w = 67.431 + 0.569. Which is smaller: 0.7 or w?
0.7
Suppose -u + 5*r = -20, -5*r = 2*u - 13 + 33. Suppose u = 2*m + 2, 4*q + 16 + 36 = 4*m. Let l(h) = h**3 + 13*h**2 - 14*h - 1. Let j be l(q). Is j at most -5?
False
Suppose 3*v = 3*s, -2*v = -5*s + 2 + 10. Let n be 76*12/1952 - 2/v. Do 0 and n have the same value?
False
Suppose 0 = -5*u + 95 + 5. Let r = u + -15. Are r and -0.1 equal?
False
Let s = -898.1 - -898. Let p = 79 + -79.082. Is s equal to p?
False
Let z(m) = -m**2 + 3*m + 4. Let k be z(4). Let l = -482 + 483. Which is greater: k or l?
l
Let d = -81 + 106. Suppose -d*g + 5*g = 160. Which is greater: g or -5?
-5
Let q = 251 - 268. Which is bigger: q or -142/9?
-142/9
Let d(a) = -3*a**2 - 13*a + 23. Let k be d(2). Let w = 2 + -3. Let o be k/(-50)*(1 - w). Which is smaller: 2 or o?
o
Let w be ((6 - 3)/(-3 - -4))/1. Suppose -6 = -w*p + 3*r, -r = 2*p + r + 8. Let l = -6.99 - 0.01. Is l smaller than p?
True
Let g = 314/3 + -4181/39. Let o = -14293 + 14289. Is o smaller than g?
True
Suppose 23 + 13 = -2*j. Let g be 4/(-6) + 6/j. Suppose 11*f = -18 - 15. Does f = g?
False
Let w = 59 - 61. Let t be 1*w/(-6)*0. Is t at least -13/11?
True
Let g be -1 + (0 - -2 - -1). Suppose 0*a + 4*o = -a - 5, -3*o = g*a + 5. Is a >= -1/41?
False
Let x be 3/52*64/(-26). Let w be (1/(-13))/((-208)/32). Let n = w - x. Which is smaller: -1 or n?
-1
Let r be 657/189 + -4 + 2/(-14). Is 8/9 less than or equal to r?
False
Suppose -2*h + 3*o + 11 = 0, -5*h + 50*o - 1 = 52*o. Let z be -1 + (1 - 2 - 15). Let u be (6/(-9))/(z/(-3)). Which is smaller: u or h?
u
Let q(v) = -v**3 - 13*v**2 - 3*v - 45. Let c be q(-13). Let j = -40 + 71. Suppose -5*x = -p + j, 3*p + 0*p - 23 = 5*x. Do x and c have different values?
True
Let x(m) = -31*m - 94. Let z be x(-3). Is z greater than -2/399?
False
Let s = -16.5 + 15.5. Let t = -12.94 - 0.06. Let y = 8 + t. Is y less than or equal to s?
True
Let d = -4 - 3. Let z = 7 + d. Let m = -67 + 602/9. Does m = z?
False
Let d be (-3)/38*(-116)/(-144)*-6. Which is bigger: -1 or d?
d
Suppose 0 = -61*b + 41*b + 20. Let p be (-11429)/(-126) + (-2)/(-9). Let n = -91 + p. Which is smaller: n or b?
n
Let b = -1053 - -1053. Which is greater: 3/1246 or b?
3/1246
Let p = -879 - -878. Let q(u) = -u**2 - u - 3. Let k be q(5). Which is bigger: p or k?
p
Let d be 39/(-6)*-2 + 2. Suppose 0 = -3*l + 3*r - d, -4*l - 23 = -2*r - 3. Which is bigger: l or -9/2?
-9/2
Let j be (25/(-10))/((-1)/2). Suppose -3*d = 4*a + j, 3*d - 4*a + 2*a = -29. Let t be (-54)/d - 2/(-7). Are 8 and t nonequal?
False
Suppose 2*l = -3*v - 0*l - 4, -2 = 3*v + l. Which is greater: 5/589 or v?
5/589
Suppose 0*o + 16 = o. Let x be o/(9/(-15) - -1). Suppose 2*a - x + 0 = 0. Which is smaller: a or 19?
19
Suppose 4*h + h = 10, -3*h + 598 = 2*p. Which is smaller: p or 295?
295
Let n = -807/94103 + -3/1354. Is n greater than 1?
False
Let m = 20 + 47. Let t = 66.7 - m. Is t bigger than -15/7?
True
Let b = 241.1 - 253. Let u = b + 12. Which is smaller: u or -0.07?
-0.07
Let z = 457/2 + -3323/14. Is -10 at most as big as z?
True
Suppose -2*t + 2 - 24 = 0. Let m(u) = -u**3 - 12*u**2 - 12*u + 16. Let q be m(t). Let d be 0 - (-4)/((-12)/q). Is d < -11?
False
Suppose l + 4*h + 72 = 0, 4*l + 3*h + 213 = 2*h. Let f be l/6 + 5/(-15). Is f not equal to -10?
True
Let y(j) = -j**2 + 3*j + 2. Let f be y(3). Let s(w) be the first derivative of 2*w**3/3 + 2*w**2 - 5*w + 7. Let a be s(-3). Which is smaller: f or a?
a
Suppose -4*v - g - 96 = 0, 3*v + 32 = 4*g - 21. Is -23 bigger than v?
False
Let p be 2/(-5)*50/(-30). Let h = 88 - 90. Which is bigger: h or p?
p
Let l = 51 + -60. Let h be (2/l)/((-30)/(-315)). Which is smaller: -1 or h?
h
Let j be 5 - (-2)/((-8)/(-4))*47. Which is smaller: 4 or j?
4
Suppose -2*i - 32 = -78. Let v = -9 + i. Which is smaller: 15 or v?
v
Let m(v) = -v**3 + 6*v**2 - 3*v + 6. Let h be m(6). Let g = -14 + 12. Let j be ((-10)/(-15))/(g/39). Are j and h nonequal?
True
Let j(c) be the second derivative of c**4/12 - 7*c**3/6 + c**2 - c. Let g be j(8). Let b(o) = -o + 5. Let w be b(-6). Is g bigger than w?
False
Let w be (-545)/(-25) + 1/5. Which is bigger: w or 19?
w
Let u = 5 - 1. Suppose 4*g - 120 = -u*g. Is g bigger than 17?
False
Let d be (-4)/16*-4 + -23. Let n = -130 + 65. Let b = n + 64.9. Which is smaller: d or b?
d
Let x(z) = 3*z + 5. Let w be x(5). Let q be ((-1206)/w)/((-24)/100). Let n = 253 - q. Which is bigger: 3 or n?
3
Suppose 4*r - 2*h = 198, -1 = -3*h + 4*h. Let i = r + -24. Suppose 3*a + 0*g = -g - 14, 5*g = -i. Is a > -3?
False
Let z(r) = -r**3 - 5*r**2 + r + 7. Let v be z(-5). Let o be 3 + -4 + 302/v. Let l be ((-2)/(-5))/((-10)/o). Is -5 at least as big as l?
True
Let l(d) = 2*d**2 - 11*d - 1. Let q be l(7). Let m be 2/(-2) + -16 + q/(-10). Which is greater: m or -20?
m
Let f be (-2)/(-4) + (2 - (-49)/(-14)). Which is bigger: f or 0.1374?
0.1374
Suppose -3*p + 10 = -8*p. Let m = -159 - -72. Let j = m - -86.97. Do p and j have different values?
True
Let g = -43 - -27.8. Let f = g - -16. Is f greater than or equal to 1/3?
True
Let u(l) = 5*l**2 - 2*l + 1. Let n be u(1). Let o = n + -6. Let h be (-3 - o)/(-1)*1. Which is smaller: -0.2 or h?
-0.2
Suppose 0 = -34*i + 190 + 388. Is 7 greater than i?
False
Let m = -54.46 - -55. Let d = m - 0.64. Is d less than or equal to 1/5?
True
Let j = 32.9 + -32. Which is smaller: j or 34?
j
Suppose -7*n = -n. Let x(m) = 3*m**3 + 5*m**2. Let a be x(-6). Let v = -7958/17 - a. Is v smaller than n?
True
Let j(v) = -v + 1. Let o be j(-1). Let i be ((-18)/4 + o)*3. Let c(r) = -2*r + 38. Let g be c(23). Is g at least i?
False
Let m(b) = 3*b + 9. Let g be m(-5). Let i be g/(-9)*((-20)/(-8))/(-5). Let w = 3.9 - -0.1. Is w at least i?
True
Let g be -2*3/(-6)*3. Let m be ((-3)/2)/(24/32). Is g equal to m?
False
Let t(m) = m + 2. Let c be t(-2). Let s(p) = -p**2 - 5*p - 6. Suppose 4*l - u + 13 = 0, -2 = 2*l + 2*u + 2. Let h be s(l). Is h bigger than c?
False
Let u = -285 - -284. Do u and 177 have the same value?
False
Let o = -43.17 + 43. Let y = -8.17 - o. Is y <= 0.3?
True
Let f be (-3)/2 - (-94)/4. Let y be 55/f*4/(-25). Which is bigger: 0 or y?
0
Let b = -315/2 - -2211/14. Let k = -4 + 7. Suppose k*q = 5*d - 9 - 14, -3*q - 5*d + 17 = 0. Which is smaller: b or q?
q
Let l = 3.8 + -5. Let c = 0.05 + 1.45. Let a = c + l. Which is smaller: a or 2/5?
a
Let p be ((-2)/(11142/(-3)))/(3/18). Is p greater than 1?
False
Suppose 4*x = -2*o + 40, -20 - 16 = -o + 2*x. Let z be o/(-6)*(-4)/(20/(-15)). Is -13 greater than or equal to z?
True
Suppose 3*r = 3*n + 12, 0 = -n - 3*r + 7*r - 16. Let t be n + (-10)/(-24)*(-4)/(-10). Which is smaller: t or 0?
0
Let p(s) = s + 12. Let a(o) = -o - 13. Let d(r) = 2*a(r) + 3*p(r). Let h be d(-7). Which is greater: 42/11 or h?
42/11
Suppose -4*v + 2*d = -d + 8, 3*v - 3*d + 3 = 0. Which is smaller: v or 78?
v
Suppose -5*b = -44 - 81. Let n be (-1 - 2)/((-42)/4). Is n smaller than b?
True
Let h be 5/886*(-126)/(-105). Is -1 < h?
True
Suppose -3*w = -0*w - 5*v + 30, -2*v + 31 = -5*w. Suppose 296*x = 298*x + 14. Is x greater than or equal to w?
False
Let j = -57 + 65. Suppose j*w - 9*w + 4*l + 57 = 0, -2*l + 39 = w. Is w less than or equal to 44?
False
Let k = -876 + 875. Are k and -2/293 nonequal?
True
Let h = -26211/52 - -504. Which is smaller: h or 1?
h
Suppose 2*v - 7 + 2 = -x, 20 = 4*x + 3*v. Suppose 2*i - 35 = -x*i. Suppose i*b - 3 = -8. Is b greater than or equal to 5?
False
Let w = 5 - -5. Suppose -60 = -y - 0*y. Let g be (3/y)/(4/w). Whic