 + (-21)/(-2433)*(-14495)/45. Let j = f + b. Which is bigger: -0.4 or j?
j
Let f = 72 + -66. Let h be -2*((0 - 3) + 1). Suppose f*u + 2 = -h. Which is bigger: u or 1/3?
1/3
Let m = -15597/12236 + 42/437. Do -1 and m have the same value?
False
Let a = -16 - -21. Suppose -a*d - 4 = -3*d. Which is smaller: 0 or d?
d
Suppose 80*i = 75*i - 430. Let p = 85 + i. Is 1/26 at most p?
False
Suppose 3*c - 31 = 2*c. Let f = c - 31. Suppose 0 = -2*n, f = -m - 5*n + 5 + 7. Are 12 and m nonequal?
False
Let n(h) = -24*h - 1. Suppose 5 = 4*t - 3. Let d be n(t). Let l be d/21 - 2/(-6). Is l at least -0.1?
False
Suppose 15*z - 16*z + 2*r = 239, 3*z + 709 = -2*r. Which is smaller: -239 or z?
-239
Let n = -38 + 57. Suppose 2*x = 3*y - n - 9, -4*y = 3*x - 43. Which is smaller: 11 or y?
y
Let b = -0.9 - 0.1. Let w = 235627/125 - 1885. Let f = w - -361/875. Is b > f?
False
Let u = -1/825 + -3287/10725. Suppose -3*a - 15 = -4*o, -5*o + 18 = -a - 2*a. Suppose -g - o*c = -2*g, g - 5*c = 0. Which is bigger: g or u?
g
Suppose -4*q = a + 2, 4*q = 2*a + 3*a - 14. Which is smaller: -2/727 or q?
q
Let h be 133/2*(-20)/(-2). Let u be (-5)/(-4)*7/h. Which is smaller: 1/4 or u?
u
Let j be 2/(-8) + (-4)/(-8). Are 3/29 and j equal?
False
Let q be 8/(-6)*-2*(-81)/36. Which is bigger: q or -5?
-5
Suppose -m - x = m - 27, m = -2*x + 15. Let q = m + -13. Which is smaller: -14/11 or q?
-14/11
Let t = 2.37 - 2.27. Which is bigger: 162 or t?
162
Let m(c) = -6*c. Let f be m(-7). Let r = -59 + f. Is -15 smaller than r?
False
Let y be 6/(9/(-45)*(-30)/4). Suppose 8 = -y*b - 4*s, -s - 2 = -b - 4. Are -2/3 and b non-equal?
True
Suppose 26*u = 9*u + 7684. Does 452 = u?
True
Suppose -4*m = 3*t - 22 + 1882, -m + 5*t - 465 = 0. Let q be 6/m*15/(-3). Which is greater: q or -1?
q
Let o(s) = 4*s + 19. Let j be o(11). Let d be (-42)/j + (-8)/(-3). Let n = -2 - -2. Is d at most n?
False
Let r(u) = 37*u + 297. Let s be r(-8). Which is smaller: s or 27?
s
Suppose -4065 = 5*d + 5*m, -3*d - 2434 = -130*m + 128*m. Are d and -810 non-equal?
True
Let f(c) = c - 2. Suppose 2*b = -3*b - 15. Let i be f(b). Let r = -4 - i. Is 1 at most r?
True
Let c be ((-34)/4 + 3)*-1. Let u = 6 - c. Is u at least 4?
False
Let u = -1551 - -1553. Is u equal to -101?
False
Let w = 230 - 144. Let c = w - 84. Is c at most as big as 18/7?
True
Let t(b) = b**3 - 14*b**2 - 2. Suppose -28 = -5*q + 3*q. Let n be t(q). Let f be n + -2 - (-21)/6. Is f at least 2?
False
Let s(f) = -2*f**3 + f**2 + f. Let b be s(-1). Suppose t + 11 = -b*o + 5*o, 5*o - 15 = t. Let c be o/(-14) + 30/63. Does 0.06 = c?
False
Let c = -3 + 0. Let r = 223/35 - 44/5. Are r and c equal?
False
Let f be (-1 + (-34)/4)/((-4)/(-76)). Is -182 not equal to f?
True
Let o(u) = u**3 - 6*u**2 + 2*u - 8. Let n be o(6). Let t be n*-1 - (-2 - -1). Let k = -1712/5 + 340. Which is greater: k or t?
k
Let s = -10.996 + -0.004. Is -23 at most s?
True
Let g(b) be the third derivative of -b**4/8 + 3*b**3 + 27*b**2. Let w be g(6). Do -1/14 and w have different values?
True
Let j = 15.3 + -2.7. Let w = j - 10.6. Which is smaller: -0.02 or w?
-0.02
Let p(l) = -3*l + 9. Let y be p(5). Let q be (91/39)/((-2)/y). Suppose 4*f - q = -3*v, -5*f - 7*v + 3*v = -10. Do f and -3/4 have different values?
True
Let q = -358 + 1072/3. Which is greater: -240 or q?
q
Let u = -1.585 - -1.585. Is u at most as big as 165?
True
Let o = -1/254 - 4823/762. Let u(s) = s**3 + 7*s**2 + 6*s - 6. Let d = -14 - -8. Let c be u(d). Is c at least o?
True
Let p = 43.5 + 40.5. Do p and 0.2 have different values?
True
Suppose 6*r = -5*q + 4*r + 18, 6 = -5*q + 4*r. Suppose 19 = g + 3*g - 5*n, 5*n = -q*g + 17. Let m = 68 + -60. Is m > g?
True
Let f(y) = -y**3 + 6*y**2 + 4*y - 3. Let l be f(5). Let n be (-59)/3 - 14/l. Which is smaller: n or -22?
-22
Let z(d) = d**3 - 14*d**2 + 13*d - 16. Let p be z(13). Let g = p - -14. Let n be 1*(1 + g)*1. Which is smaller: -3/8 or n?
n
Let d(k) = -4*k**2 - k**3 + 3*k**2 + 3*k**2 + 4*k - 2. Suppose -6 - 2 = 4*u, w = -5*u - 7. Let f be d(w). Is f greater than 0.2?
True
Let o = 5 + -10. Let h = o + -3. Let c = h - -12. Which is smaller: c or 1/2?
1/2
Let y(n) = -n**2 - 5*n + 2. Let i be y(-5). Let b be i/10 - (-123)/(-15). Let r be -2 - (-2 - b/(-4)). Is r > 0?
True
Let p = -3.96 + 4.06. Let b be 1/(-41*(0 - -1)). Is p at most as big as b?
False
Let h = -2998.5 + 2999. Let n = 10.2 - 4.8. Let x = -5 + n. Which is smaller: h or x?
x
Let m(r) = 5*r**3 + r**2 - 15*r + 15. Let a(n) = -4*n**3 - 2*n**2 + 14*n - 15. Let q(i) = -6*a(i) - 5*m(i). Let l be q(6). Which is bigger: l or 3?
3
Let t be -1*(-4 - (-4 + (-2)/54)). Let d be 12*(-1 + (-1)/4). Let m be (-6)/d - (-4)/(-10). Which is smaller: m or t?
t
Let t = -782 + 862.2. Let d = 97 - t. Let j = d - 17. Which is greater: -2/5 or j?
j
Let g be 4/(-22) + 24/(-110). Let r = 11/15 + g. Let d(w) = -w**3 - 9*w**2 - 9*w - 8. Let j be d(-8). Which is smaller: j or r?
j
Let n = 49 - 45. Suppose 3*j = n*j + 74. Do -74 and j have different values?
False
Suppose -5*q + 80 = -0*q + 4*k, 4*q - 64 = 3*k. Let j = 194 + -178. Is q not equal to j?
False
Let g = -38.56723 - -0.03723. Let s = -0.47 + g. Is 0.1 < s?
False
Let l = -435081 + 16080978/37. Let x = l - -460. Which is greater: x or -0.1?
x
Suppose -16 - 9 = -5*r. Let z be (r/2)/((-60)/(-16) - 1). Which is smaller: 2/9 or z?
2/9
Let t = 966028/173 + -5584. Which is smaller: t or -1?
-1
Let i(c) = -c. Let r be i(-6). Suppose -r*q - 25 = -b - q, -2*b + 3*q = -15. Is -1/14 at most as big as b?
True
Suppose 4*t - 15 + 7 = 0. Suppose 3*m + 48 = -m. Let l be m/10 + (0 - -2). Which is smaller: t or l?
l
Let v(p) = -p**2 + 9*p - 2. Let i be v(8). Let l be (-3)/i*2/11. Which is greater: l or 1?
1
Suppose -4*h + 11 = 3*x, 7*x - 13 = -5*h + 4*x. Suppose -4*v = 11 - 3, -h*w - 2*v = 6. Is -1/44 smaller than w?
False
Let v = 3.3 + 0.2. Let n = v + -3.6. Which is smaller: 15 or n?
n
Let o = 36.3 - 36. Which is smaller: -7 or o?
-7
Let h = 26 - 54. Is 11 <= h?
False
Let a = -6 - -7. Let p be (-2 + -1 + 2)/a. Let g = 20/63 - 16/21. Is p <= g?
True
Let p(l) = 3*l - 2*l - 7 + 2*l - l. Let y be p(9). Let n be 57/y - 4/22. Is 4 at least n?
False
Let h be 2/(-3)*(-60)/(-5). Suppose 35 = -6*z + z. Which is smaller: z or h?
h
Let o = 2.96 + -3. Let t = -116.5 - -115.522. Let x = t + -0.022. Is x bigger than o?
False
Let v(b) = -95*b**2 + 5*b + 3. Let g be v(-1). Which is smaller: g or -98?
-98
Let z = 63/4 + -31/2. Which is smaller: z or -59?
-59
Suppose -5*f = 3*h + 34 - 293, 3*f = 4*h - 297. Which is greater: 73 or h?
h
Let l be (12 - 3)/(12/8). Let u(x) = 2*x - 13. Let f be u(l). Which is smaller: 24 or f?
f
Let n be ((-4)/(-3))/((-156)/(-2457)). Is n at most as big as 23?
True
Let t = 34 + -34.4. Let h = t + 0.35. Is h > -0.1?
True
Let s(l) = -l**3 - 4*l**2 - 2*l + 2. Let a be s(-7). Suppose o - 3*q = 4*o - 114, 0 = 5*o - 4*q - a. Is 35 at most as big as o?
True
Let j(s) = -5*s**3 - s**2 + 5*s + 24. Let z(l) = -l**3 + l + 6. Let i(k) = 2*j(k) - 9*z(k). Let h be i(-4). Let r = 31 - h. Is r greater than 6?
True
Let n be 512/6*(-3)/2. Let b = n - -126. Which is greater: b or 1?
1
Suppose -4*h + 3*m = -1, -2*h + 6*h + 4 = 4*m. Let z(c) = -4 - 2*c + c**2 - 4*c + 2*c. Let n be z(h). Are -7/2 and n non-equal?
True
Let h be (28/7)/((-44)/370). Let b = -12917/385 - h. Let u(k) = k**2 - k. Let p be u(1). Which is bigger: b or p?
b
Let u(b) = -4*b + 11. Let g be u(6). Let p be 12/48*(-4)/g. Suppose 0 = 2*z - 1 - 1. Is z less than p?
False
Let d = 2.9497 + 0.0503. Is -12 less than or equal to d?
True
Let u(t) = -33*t**2 + 3. Let l be u(0). Is l < -5?
False
Suppose 2*x - 5*x - 5*y - 13 = 0, -5*x - 4*y = 0. Let a be ((-4)/(-5))/(-5 - (-135)/25). Let h be a/(-8)*(-8 + x). Which is smaller: h or 4?
h
Let a = -0.9 + 0.6. Let x = a + 0.8. Let v = 201 + -201. Do x and v have the same value?
False
Let a(m) = 2*m**2 + 4. Suppose 5*k + 3*q - 25 = 0, 2*q + 0 - 10 = 0. Let t be a(k). Which is greater: t or 40/3?
40/3
Let w = 786 - 785. Is 1/3 greater than or equal to w?
False
Let p = 65.011 + -0.011. Let x = p - 65.02. Which is smaller: x or 5?
x
Let z(f) = f + 30. Let l be z(-25). Is 6 smaller than l?
False
Let a = -593/2 + 295. Which is smaller: -2 or a?
-2
Let f = 25.51 - 0.51. Let p = 13 - f. Is -2 != p?
True
Let u = 22/373 - 24377/2238. L