(-26). Is x greater than 18?
True
Let r(o) = -o**3 - 9*o**2 + 3*o + 35. Let p be r(-9). Is 0.07 at most as big as p?
True
Let g(a) = -3*a**3 + 78*a**2 + 31*a + 34. Let y be g(27). Is y <= -1317?
False
Suppose 3*a = -m + 7, -2*a - 5 = m - 7. Are -8 and m non-equal?
False
Let q = -49 + 110. Let z = 43 - q. Let a = z + 17. Which is smaller: -1/14 or a?
a
Let o be 3 - 1 - -4 - -2. Let q be o/2 + -2 + 2. Is q at most -5?
False
Let k(u) = u**2 + 2*u + 1. Let s be k(-3). Which is smaller: s or 44/9?
s
Let j be 7/(-2)*28/49. Let u = -7511/9 - -833. Which is greater: u or j?
u
Let h(w) = 2*w + 31. Let a be h(-10). Let x(m) = -5*m - 3. Let c be x(-3). Let u = a - c. Is -5/6 at most u?
False
Let o be 84/(-30) + ((-12)/(-5))/3. Which is bigger: o or -3?
o
Let r = -0.116 + -4.684. Is r smaller than -2/9?
True
Let k(t) = -t**3 - 12*t**2 - 11*t. Let a be k(-11). Let z = 9359/39 - 240. Is a equal to z?
False
Let t = -1529/805 + 45/23. Suppose 0 = -2*z - 2*z. Suppose -4*i - 2 - 2 = z. Which is smaller: t or i?
i
Let j be (-868 + 8)*6/6265. Let l = -6/179 + j. Which is greater: -1 or l?
l
Let a be 32/18*2/(-4). Let r = -5 - -20. Suppose -16 - 14 = r*c. Which is bigger: a or c?
a
Suppose 35*m - 34*m = 140. Let t be m/(-8)*(-8)/(-10). Which is smaller: -16 or t?
-16
Let x be (2 + 3 + -4)*5. Let g be ((-49)/(-35))/(1/x). Is 6 equal to g?
False
Let g(f) = f**3 - 2*f**2 + 3*f - 1. Let h be g(2). Suppose 28 = l - 3*q, q + 80 = 4*l - 3*q. Let x be (l/(-6))/((-6)/9). Which is smaller: x or h?
x
Let o(y) = -y**3 - 5*y**2 + 2*y + 23. Let k be o(-4). Which is bigger: k or 3/41?
3/41
Let h = -12 + -10. Let w(i) = -i**2 - 2*i - 6. Let z = -21 - -16. Let d be w(z). Which is smaller: h or d?
h
Suppose 0 = 3*n + 4*n - 42. Suppose -n*v + 6 = -0*v. Which is smaller: -6/17 or v?
-6/17
Let v be 1*-1*(36/6)/6. Do -0.295 and v have the same value?
False
Let h be 142715/(-17848) - (-8 + 0). Which is bigger: h or 0?
h
Let r = -3.8 + 4. Let m = -42/37 - -590/259. Let o = -23/14 + m. Is o greater than or equal to r?
False
Let v = -0.437 + 0.437. Is v less than or equal to 2?
True
Let x = 2.79 - 0.29. Let u = -2.4 + x. Which is bigger: -2/5 or u?
u
Let c = -229 - -137. Which is bigger: c or -0.1?
-0.1
Let i = -0.015 - -0.121. Let q = 0.006 - i. Let w be (-2)/4*-2*-1. Is q > w?
True
Let z(n) be the first derivative of 15*n + 9 - 3/2*n**2. Let h be z(0). Is 15 smaller than h?
False
Let h = 832826/213 - 3910. Which is greater: h or -2/7?
h
Suppose 4*y = p + 27, -25*y + 30*y - 40 = -5*p. Is y != 50/9?
True
Let s be 14/12 + 4/(-24). Let b be 6/(-18) - (-2 + (-336)/(-207)). Is s < b?
False
Let m = -0.134 - -0.024. Let w = m - -2.11. Is w greater than or equal to -1?
True
Suppose 0 = y - 4 - 7. Let f = 34 + -32. Suppose f*c - 60 = -3*c. Which is bigger: c or y?
c
Let c be (2 - (-4)/(-4))*181. Do 181 and c have the same value?
True
Let o = -40 - -42. Let l = o + -13. Suppose 3*d = -5*k - 0*d - 41, 5*k + 4*d = -38. Is l at most k?
True
Suppose 7 = 9*w - 20. Let b be 88/(-14) - 4/(-14). Let n be (-2)/w*b/1. Is 4 > n?
False
Let p = 16873325/44153 + 4530/659. Let s = p + -389. Which is greater: 0 or s?
s
Suppose 3*m = -4*l, 2*m - 7 = 15*l - 20*l. Let n(w) = -w**3 + 6*w**2 - 5*w - 6. Let q be n(5). Let y be (q/(-1))/((-3)/2). Is m at most as big as y?
True
Let n be (-66 + 65)*3/(6/32). Which is greater: n or -22?
n
Suppose -126 - 6 = -3*w. Let c = -0.1 - -0.1. Does w = c?
False
Let h(v) = -v**3 + 2*v**2 + 2*v + 3. Let c be h(3). Let m be 3/(3/2) + -4. Let x be 2/(-78)*(-6)/m. Are x and c equal?
False
Let p(k) = -2 - 2 - 4*k + 5 + 2*k**2 + 6*k. Let s be p(-3). Suppose -g + s = -2*g. Which is smaller: g or -12?
g
Let b(j) = -j**2 + j - 52. Let i be b(0). Let p be i/(-65) - (-24)/(-5). Let u be (-1 - p) + (-351)/99. Is u greater than or equal to 2?
False
Let y be (-10)/(-6) - (1 - 2). Let t = -769 - -771. Is y < t?
False
Let o(v) = -v**3 + v**2 + 2*v + 42. Let j be o(0). Let x = j + -208/5. Which is smaller: x or -15/2?
-15/2
Let u be (36/12)/((-3)/20). Let f = -32 - u. Which is bigger: -13 or f?
f
Let w = 3 + -1. Suppose -w*m + 15 = 3*m. Let q be -3 + m + (-36)/(-16). Which is greater: q or 3?
3
Let v(b) = b**2 + b + 0*b**2 + 2*b - 16 + 17*b. Let n be v(-21). Is 5 less than or equal to n?
True
Let n = 61.1 + -62.1. Which is bigger: 395 or n?
395
Let f = 5.24 + -0.24. Is 21 not equal to f?
True
Let g = 0.2235 + 3.7765. Is -7 greater than or equal to g?
False
Let c = 27.5 + -25.5. Which is smaller: -58 or c?
-58
Let p(z) = z**3 - 8*z**2 + 9. Let w be p(8). Let i(y) = -y**2 + 6*y + 19. Let a be i(w). Let l be (-4*1)/(21 + a). Are 1 and l non-equal?
True
Let l be -2*(30/3)/(1/(-3)). Suppose 5*f + 5*f = -l. Which is smaller: -7 or f?
-7
Let c be (-1)/(-9) - 1528/(-180). Which is bigger: c or 10?
10
Suppose -c = -4*c + 9, 0 = 2*u - c + 13. Let g be ((-40)/650)/((-1)/u). Which is bigger: 0 or g?
0
Let y(q) = -q**2 + 16*q - 1. Let o be y(9). Let h be o/3 - (65/(-15) - -4). Is h smaller than 21?
False
Let f be (-4)/38*(7 - 9). Suppose 24*k = 11*k. Is f <= k?
False
Let c(l) = -53*l**3 + 4*l**2 - 3*l + 8. Let g be c(3). Let y = g + 34888/25. Which is greater: y or 1?
1
Let r = -91/44 - -9/4. Suppose 3 = b - 4*b. Let h be b + -1 + (-18)/(-9). Which is smaller: r or h?
h
Let t(w) = 12*w + w**2 + w**3 - 15*w**2 + 2 + 14. Let m be t(13). Is -1 at least as big as m?
False
Suppose -36 = 10*k - 4*k. Let m be (k - 2) + -1 + 2. Let i be (63/2)/m - -1. Which is bigger: i or -3?
-3
Suppose -19 - 11 = 3*u. Let l be 5*-2 - u/(-5). Let g be 2/(-8) + l/16. Is g <= 12?
True
Let h(b) be the first derivative of b**4/4 + 14*b**3/3 - b**2/2 - 8*b + 2. Let a be h(-14). Let d be (-9)/a*(-2)/3. Is -2/7 greater than d?
False
Suppose 3*k - 4*g = 240, -12*k = -8*k + 2*g - 298. Are k and 77 nonequal?
True
Let t be (-50)/12*6/(-328). Let n be 125/(-41) + (-36)/(-12). Let a = t - n. Are a and -1 unequal?
True
Let s(w) = w**3 + 18*w**2 - 19*w - 8. Let y be s(-19). Let a be y/6 + (-4)/(-12). Which is bigger: -2/111 or a?
-2/111
Suppose -123*q + 120*q - 348 = 0. Which is smaller: -115 or q?
q
Suppose -2*o = -6*q + 3*q - 10, -q + 5*o - 12 = 0. Let k be q/(-15)*(-84)/56. Is k > 6?
False
Let q = -43 - -87. Let i = -2 + q. Suppose -5*c - 4 + 55 = -4*v, i = -5*v - c. Is v at least -9?
True
Let u = 11 - 8.4. Let g = u + -3. Let d = g - -0.1. Do d and 0.1 have different values?
True
Let b(p) = -p**3 - 9*p**2 - 10*p - 14. Let a be b(-8). Suppose 6*k - k - 5 = 0. Suppose -2*y + 1 = -k, -2*l - 3*y = -7. Do a and l have different values?
False
Let s be 76/176 + (-1)/4. Let y = 11 + -4. Is y greater than or equal to s?
True
Let g be (-45)/63 + (-4)/14. Let h = -2 + g. Which is bigger: h or -4?
h
Let u be 5/(-10)*(-85)/(-867). Which is smaller: u or 1?
u
Let d(x) = 27*x**3 + x + 1. Let b be (2/(-2))/(6/(0 - -6)). Let s be d(b). Which is smaller: s or -28?
-28
Let c = -15.52 + 0.02. Let o = -16 - c. Let q = -69 - -68.9. Is q >= o?
True
Let n = 1040887/9 - 115537. Let m = -117 + n. Let z be (0 - 0)/(-5 - -2). Is z not equal to m?
True
Let u = 110341 - 771066/7. Let o = u + -189. Let l be (2 + 12)*(-2)/4. Is o not equal to l?
True
Let z be (-2*6/8)/(1/76). Let m = 572/5 + z. Which is smaller: 12 or m?
m
Let o = -8731 + 61244/7. Let z = o - 18. Is z < 0?
False
Suppose 2*u - 9 = -u. Let k be 20*(44/(-16) + 2). Let z = k - -16. Which is smaller: z or u?
z
Let s be (-16)/(-20) - 1 - 3/(-15). Is s equal to -9/80?
False
Let l = 28 + -16. Let c = 14 - l. Suppose 5*f - 5*j = -2*j + 20, -5*f + c*j = -20. Is 4 at least f?
True
Let c(s) be the first derivative of s**2/2 - 5*s + 13. Let u be c(5). Which is bigger: 2/51 or u?
2/51
Suppose 0 = -0*o - 2*o + 6. Suppose -24 = o*z - z. Suppose -4*d = -3*m + 56, -4*d = d + 3*m + 43. Which is smaller: d or z?
z
Suppose 3*h - 8 = -23. Let v be h*(2 + 1)/(-15). Let g = 0.17 - 0.07. Is g greater than v?
False
Suppose -3*g + 50 = 4*j, 5*j + 4 = -g + 2*g. Which is smaller: 29/2 or g?
g
Let d = -4.8 + 21.9. Let m = 20 + -36. Let v = m + d. Which is bigger: v or -1/4?
v
Let a(v) = v - 6. Let f be a(4). Let z(t) = -2*t**2 + t + 2. Let w be z(-1). Which is bigger: w or f?
w
Let g = 0.08 + -0.22. Let b = g - -2.14. Which is bigger: b or 7/2?
7/2
Let b = 11268/7 - 1607. Is b greater than 2?
True
Let z be (-78)/(-16) - (-6)/48. Let y be