l?
True
Let i = 2511 - 2517. Which is greater: i or 5?
5
Let w = 0.83 - -38.17. Let b = 64.8 - w. Let s = b + -26. Are 3 and s nonequal?
True
Suppose -240 = 80*q - 0. Which is smaller: -37 or q?
-37
Let b = 79 - 59. Let u = -18 + b. Which is smaller: 5/8 or u?
5/8
Let l be 2/5 + 1216/(-3515). Does -1 = l?
False
Suppose 0 = -6*h + 3*h + 21. Let n(g) = 3*g - 2*g**2 + g**2 - 2*g - 6 + 7*g. Let q be n(h). Is 4/3 greater than q?
True
Let q(l) = -3*l**2 - 3*l + 41. Let t be q(-6). Does -46 = t?
False
Let y = 475 - 476. Let r = 0.1 - -0.1. Is y greater than r?
False
Let j be (-7 + (-6 - -12))/((-1)/(-38)). Is j smaller than -43?
False
Let z(y) = -y + 3. Let w be z(4). Let s be 6/(-4) - 1922/(-1612). Is w not equal to s?
True
Let y = -10548 + 73522/7. Is 1/2 at most y?
False
Let r = 2584 + -3539. Are r and -953 equal?
False
Let w = 34 - 21. Let i = w + -13. Let v be (-1)/(0 + (-1 - i)). Is v less than or equal to 6/11?
False
Let h = -47 + 61.1. Are h and 0.1 equal?
False
Let l = 564.03 - 560. Let w = -4 + l. Let y = w + 0.07. Which is greater: y or -2/13?
y
Let c = 59 + 5. Let r be (0/1 + 0)*-1 - -65. Is r at most c?
False
Let z = 147 + -208. Let t = 245/4 + z. Is -0.1 at most as big as t?
True
Let d be (-4 + -6)*4/(-10). Let x be -1*-4*(-6)/d. Let z(n) = n**3 + 7*n**2 + 6*n - 7. Let j be z(x). Which is smaller: j or -6?
j
Let d = -3925/3 + 1288. Are -19 and d equal?
False
Let y(i) = -6*i**2 - 2*i - 1. Let g be y(-1). Let x(q) be the first derivative of q**2 + 10*q + 27. Let c be x(-6). Is g greater than c?
False
Let y(i) = -i**3 - 9*i**2 - 2*i + 7. Let z be y(-7). Let m be (202/z)/(4 - 1). Let o = -10/33 - m. Are o and -1 equal?
False
Suppose 0 = -0*i + 3*i - 84. Let k = 34 - i. Which is greater: 4 or k?
k
Let w = 522 + -895. Is w <= 1?
True
Let k be -3 - (39/(-12) + -4). Let z(g) = g + 14. Let i be z(-10). Which is smaller: k or i?
i
Let v = 0.0816 - -31.4184. Is -0.3 greater than v?
False
Let g = -1.1 - -1. Let m(o) = o**3 + 9*o**2 + 9*o + 11. Let l be m(-8). Suppose 0 = l*f - 9*f - 12. Are g and f equal?
False
Let y be ((-1)/3)/(1/(-18)). Let b(a) = -a + 3. Let n be b(-3). Let h = 13 - n. Which is greater: h or y?
h
Let o = -0.0325 + 62.0325. Is o <= -4/3?
False
Suppose 15 = -6*r + 27. Let d be (92 - r)*40/(-50). Which is bigger: d or -71?
-71
Let j be 228018/(-290) - 4/(-20). Let c = 786 + j. Let g = 1 - 2. Is c greater than or equal to g?
True
Let a = -44 - -76. Let u be (5/20 - 1)*a. Is -24 at most u?
True
Let u = -6 - -17. Let x = 13 - u. Suppose k + x - 4 = 0. Do 3 and k have different values?
True
Let s(r) = -r**3 - 2*r - 41 + 37 + 2*r - 9*r**2. Let g be s(-9). Is -2 greater than or equal to g?
True
Suppose -5*w - 6 = -3*p, -3*w + 0 + 6 = 3*p. Let y be (-18)/((-3)/p*(-20)/(-15)). Is y at most 9?
True
Let j = -441 + 442. Which is smaller: 329 or j?
j
Let h = -73 - -88. Let c(g) = -g**2 + 7*g + 34. Let p be c(9). Which is smaller: p or h?
h
Let c = -86 - -601/7. Which is bigger: 1.3 or c?
1.3
Let p(s) = -s. Let k be p(-3). Suppose 8*v - k*v = 0. Which is smaller: v or -1?
-1
Suppose o = -112 + 136. Which is greater: 99/4 or o?
99/4
Let s = 24 - 47/2. Let q = 6/7 + -17/28. Let u = 7/12 - q. Is s at least as big as u?
True
Let j(n) = n**2 + 4*n. Let v be j(-4). Let h = 33 - 33. Suppose k = 3*i - h*i - 9, i = 4. Are v and k equal?
False
Let t(m) be the first derivative of m**3/3 + 11*m**2/2 - 28*m - 11. Let o be t(-13). Is o at least -2?
True
Let x = -6 - 11. Suppose 0*t - 4*d - 2 = -t, -3*t - 5 = -d. Which is smaller: x or t?
x
Let z = 0.014 + -0.614. Is -0.28 at least as big as z?
True
Suppose w - 2*w - 13 = 0. Let y = w + 11. Is y <= -1?
True
Suppose -13*a + 80 - 288 = 0. Which is greater: a or -37?
a
Let w = -47 - -102. Let s = w + -54.8. Which is smaller: -0.14 or s?
-0.14
Suppose -d = 6*d + 7. Let z = 2495/13 - 192. Is z <= d?
False
Suppose 5*k - 5*r + 5 = 0, 2*r = 1 + 1. Let t be -3 + (-82)/(-26) + k. Let c(p) = -p**3 + 11*p**2 + 12*p. Let b be c(12). Which is bigger: b or t?
t
Let y = 14.5 - 15. Let q = y - 1.5. Let u = q + 1.9. Do u and 0.4 have different values?
True
Suppose 3*w - w + 3*m = 1, -2*w - 5*m + 7 = 0. Let k be ((-4)/8 - 1)*w/(-24). Is 4 at most as big as k?
False
Suppose 7 - 1 = 2*g. Let p(l) be the first derivative of l**3/3 - 5*l**2/2 + 7*l - 17. Let m be p(g). Is m <= 2/19?
False
Let c be -4 - -12 - -2 - -1313. Is c > 0?
True
Let y = -817 + 815. Do -45/31 and y have the same value?
False
Let m = 1373.6 - 1373. Let g(z) = z**3 + 6*z**2 + 5*z + 4. Let s be g(-5). Are s and m non-equal?
True
Let z = -5228/474165 + 32855637463/3063580065. Let o = 2/2769 + z. Which is greater: 12 or o?
12
Suppose -2*r + r = -1, 0 = 2*g + 5*r + 11. Is g < -74/11?
True
Let j be -14*10/(-210) - 364/6. Is j at most -54?
True
Let y(a) = a**3 + 5*a**2 + 12*a + 4. Let l be y(-6). Is -104 at least as big as l?
True
Let j = -70 + 37. Let m = 36 + j. Which is bigger: 21/5 or m?
21/5
Let a be (-5)/5*(-180)/(-6). Is -31 greater than a?
False
Let z be ((9/(-6))/3)/(-1). Let h be -1 - (-7 + (-1 - -6)). Is z at most h?
True
Let n(h) be the third derivative of -h**6/120 - h**4/12 - 17*h**3/6 - 22*h**2. Let r be n(0). Which is smaller: r or -1/4?
r
Let m be (20/(-9) + 2)*(-36)/(-120). Let s(c) = -20*c - 45. Let w(q) = 7*q + 15. Let f(k) = -6*s(k) - 17*w(k). Let v be f(-15). Is v bigger than m?
True
Let p = 15012016/849 - 17682. Is 1 greater than p?
True
Let n = -8.5 + -2. Let r = 1026 - 1027. Are n and r nonequal?
True
Let q be -4 - (-3 - (-7050)/(-36)). Is q at least as big as 195?
False
Let f(c) = c**2 + 4*c - 3. Let s be f(-6). Suppose 4 = -u + s. Suppose -u*m = 4*r + 11, -4*r - 3*m = m + 8. Is r greater than or equal to 4?
False
Let m(n) be the second derivative of n**5/20 - n**4/6 - n**3/2 - 2*n**2 + 27*n. Let h be (-6)/(-4)*(3 - 1). Let k be m(h). Which is smaller: k or -5?
-5
Let x be (5/5 - 3)/(2/36). Let a = x + 39. Is a less than 4?
True
Let x = -24 - -16. Let v = 26 + x. Let l = -8 + v. Which is smaller: 1/2 or l?
1/2
Suppose 3*a + 4*y = -86 - 26, 109 = -3*a - y. Which is greater: a or -37?
a
Let v = 64 - 60.1. Let k = -3.6 + v. Let l = -3 - -5. Which is smaller: k or l?
k
Suppose -41*q + 43*q + 3*y = 1691, -2*q - 4*y + 1692 = 0. Which is smaller: 843 or q?
843
Let p = -16 - -10. Is -7 != p?
True
Suppose 0 = 22*g - 19*g - 51. Let m = -184 - -124. Let b be 3*-4*(-2)/m. Which is greater: b or g?
g
Let s = -4852 + 80. Let i = s - -400853/84. Let f = i + 1/12. Is f smaller than -1?
False
Let v = 75 + -77. Are 0.08 and v equal?
False
Let f = 7 + -6.7. Let v(h) = 2*h**2 - 2*h. Let z be v(2). Suppose 4*j - 6*y + 16 = -2*y, -j = z*y - 16. Which is smaller: j or f?
j
Let v be (-4)/(-14) - 40/(-7). Suppose 0 = -4*m + v*m - i - 10, -5*i + 2 = 3*m. Suppose -3*r - 10 = -5*r. Which is greater: r or m?
r
Let y = 106 - 168. Which is bigger: y or -2?
-2
Let k = -70200/853 + 1273091444/15494745. Let o = -2/1211 - k. Which is smaller: o or 7?
o
Let o be 22/6 - (-19)/(228/(-8)). Which is smaller: o or 0?
0
Let r(k) = 36*k. Let h be r(-3). Let x be h/39 + (2 - -2). Is x >= 1?
True
Let t(o) = o - 30. Let l be t(0). Let c be (-1 - 5)*-6*(-266)/(-315). Let p = c + l. Is -0.4 smaller than p?
True
Let n be (-36)/(-126) + 20*3/(-14). Let u be -46*n/32 + -5. Which is greater: 1 or u?
1
Let x be ((-6)/9 + 0)/((-16)/(-10992)). Is -457 less than or equal to x?
False
Suppose -5*x + 19 = 2*m - 3*m, -5 = -3*x - m. Let q = x + -2. Let u be q/(-3) + (-4)/6. Is u <= 0.7?
True
Let r(b) = -b - 4. Let w be r(-3). Let g(l) = -l**2 - 9*l + 9. Let v be g(6). Let c = v + 402/5. Which is smaller: w or c?
w
Let j be (3484/872 - 4)*-4. Which is greater: 1 or j?
1
Let l = -20 - -41. Let v be 1 + l - (-7 + 5). Let a be 8/20 + v/15. Is 2/3 equal to a?
False
Suppose 0 = -17*b - 298 + 315. Do 28/25 and b have the same value?
False
Let g be ((-3)/(-2))/((-8)/(-16)). Let u be (-12)/18 + 4/(-3). Let v = g - u. Is 5 != v?
False
Suppose 738 = -7*j + 13*j. Let r = -124 + j. Is -1 greater than r?
False
Let a be (-260)/(-32) + 2/(-16). Suppose 1 = 9*l - a*l. Let v = 0.1 + 0. Which is smaller: l or v?
v
Let w(k) = k**2 + 10*k + 19. Let x be w(-7). Let b be 2/x*2 - -10. Are 9 and b equal?
False
Suppose -439 = -4*q + u, -156 - 374 = -5*q - 5*u. Which is greater: q or 111?
111
Let a = 34 + -1. Suppose -37*k