t q = 10.6 - -0.3. Let j = -9 + -2. Let g = j + q. Is -2/17 less than g?
True
Let w be (8 - (-177 + 5)) + -1 + 1. Are 178 and w non-equal?
True
Suppose 0*i - 4*i + 125 = 5*w, -4*w = -20. Let h be i/(((-13)/52)/((-2)/(-4))). Is -49 less than or equal to h?
False
Let l(u) be the second derivative of -u**4/12 + 2*u**3/3 - u**2/2 + 3*u. Let b be l(4). Let o = -344/13 + 30642/1157. Do o and b have the same value?
False
Let a = 28 + -31. Let r = -4 - a. Is r equal to -5/6?
False
Let u = 163/48 - 1/16. Suppose -11*k = k - 636. Let q = k + -51. Is q bigger than u?
False
Suppose -q = 2*q. Let d be -7 + 4 - (-7 - (-513)/126). Does d = q?
False
Let l be (-18)/5*440/264. Which is bigger: -31 or l?
l
Let n(t) = t - 1. Let v be n(6). Let u(l) = -l**3 + 5*l**2 + 2*l - 5. Let o be u(v). Suppose 0 + 5 = -o*m. Is 1/6 greater than m?
True
Let h = -0.1 - -1. Let d = -0.66 + h. Let r = -0.04 + d. Is -2/5 < r?
True
Let u be 6/(-14) + (-78)/14. Suppose -5*o = -0*o + 5*j - 5, -5*j - 15 = 0. Suppose i = -o*i + 5*d - 35, 0 = 4*d. Is u less than i?
False
Let a = -7 - -12. Suppose 0 = -i + f + 4, -2*f = -i + a*i - 22. Suppose -5*u - d = -26, 0 = 2*u - 5*d - 0*d - i. Is u at least 5?
True
Let r(g) = 13*g**2 - 1. Let t be r(-1). Let s = 664 - 659. Is t < s?
False
Suppose -3679 = -2*p - 359. Is -0.1 at least as big as p?
False
Suppose f - 18 = 5*k, 0*f + 3*f - 3*k = 18. Let j be (f - (-329)/(-105))*(-25)/4. Are 0.2 and j nonequal?
True
Let o = 53 + -74. Let s = 100.7 - 80. Let l = s + o. Is l less than -0.5?
False
Let j(g) = g**2 + g - 2. Let l be j(-3). Suppose l*m - 3*m + 11 = 3*o, -2*m - 34 = -3*o. Is m at most as big as -25?
False
Suppose -3*h - 2*h = -10. Suppose 0 = -0*k - 4*k - 16, -5*l + 4*k + 36 = 0. Let z = 4 - l. Is z smaller than h?
True
Suppose 2*a = 5*i - 1 + 13, 4*i = -3*a - 5. Suppose -q + 2*q - 79 = 5*x, 0 = -5*x - 3*q - 83. Let g = -16 - x. Which is smaller: i or g?
i
Let t = -208 - -267. Are 59 and t nonequal?
False
Suppose -3*w - 108 = 9*c - 8*c, -4*w + 389 = -3*c. Are -124 and c equal?
False
Suppose -4*r + o - 120 = -519, -5 = -5*o. Which is greater: 102 or r?
102
Let f = -2/193 - 569/965. Suppose -2 = 4*r - 5*r. Suppose v - r = -3. Is v smaller than f?
True
Suppose -4*c + 2*x = 6*x + 8, 0 = 3*x + 12. Let k(g) = 2*g. Let b be k(1). Suppose -2*n = -3*n - 5*h - c, 3*h = -b*n + 3. Is -4 <= n?
True
Let z = -95/58 - -22589/13862. Is -1 at most z?
True
Let q = 3.96 + -0.16. Let c = q + -3.82. Which is smaller: -5 or c?
-5
Let l = -117 + 89. Let f be (4/l)/((4 - 5)/(-3)). Is f > -17?
True
Let d(s) = s**2 - 19*s + 35. Suppose 0 = -2*g + 2*r - 3*r + 31, -2*r + 45 = 3*g. Let o be d(g). Is o at least as big as -1/9?
True
Let j = -0.05 - -0.125. Let p = -361 - -362. Which is greater: p or j?
p
Let a(w) = w - 1. Let u be a(-2). Let v = -30.9 + 4.9. Is u smaller than v?
False
Let r be (-1 + (-2)/(-3))/((-3)/45). Suppose 4*z = r*z - 24. Is 26 less than z?
False
Let z(u) = u**2 - u - 1. Let v be z(3). Suppose -s - 3*x + 5 = -x, 0 = 2*s + v*x - 13. Let c = 8 + -11. Do s and c have different values?
True
Let a = -524.98 - -520. Let t = 0.02 - a. Which is bigger: t or -0.1?
t
Let i = 0.007 - 50.007. Let b = i + 35. Which is greater: -0.2 or b?
-0.2
Let u be 28/6 - 24/36. Let x = 1152/245 + -5/49. Which is smaller: x or u?
u
Suppose -20 = -j + 5*j. Let p be (j/10)/(3/(-18)). Suppose 5*n = 20, -8 = 4*v - 0*v - p*n. Which is smaller: v or 3?
v
Let v = 182 - 98. Which is smaller: 82 or v?
82
Let f = -5432 - -255334/47. Is f at least 2?
False
Suppose 0 = 2*h + 2 + 4. Let c be 1/(3/(-9)*h). Is 13/6 at least as big as c?
True
Let n = 10400.87 + -10356. Let m = n - 45. Which is smaller: m or -0.1?
m
Let d = 169 - 137. Is d at least as big as 30?
True
Suppose 5*d + 30 = 4*x, -2 = -d - 5*x - 8. Let t be 4/30*(-1)/(50/d). Which is greater: 1 or t?
1
Let i = 13.44 - 0.04. Let n = i - -4.6. Let t = n + -19. Is -0.01 greater than t?
True
Let b = -110/23 - -1371/253. Is 0 less than b?
True
Let p be 0 + (-4)/6 - 28/(-24). Which is smaller: 1/5 or p?
1/5
Let p be 2/18*12/(-8). Let w = p - -10/51. Which is smaller: 0 or w?
0
Suppose 2*m - 3*u = 81, -4*m - 5*u + 140 - 11 = 0. Which is bigger: m or 104/3?
m
Let v(p) = -p**3 - 6*p**2 - 12*p + 2. Let y be v(-7). Let t be 54/y - 134/10. Which is smaller: -6 or t?
t
Let h = 0.9 - -4.1. Let x = 0 + h. Let f = -5.2 + x. Which is smaller: -1 or f?
-1
Suppose 0 = 4*r + 3*n - 1128, 2*n = 2*r - 537 - 13. Is 279 less than r?
False
Suppose -6*y = 6 - 30. Suppose -p = -y*p - 3. Which is smaller: 1 or p?
p
Let r be 3 + (39/22)/(31/(-62)). Is r < -0.6?
False
Let q = -34.797 - 0.203. Let y = 6.8 + 31.2. Let l = y + q. Which is smaller: 8/7 or l?
8/7
Let c = 18 + -6. Let p(w) = c + 2*w - 4*w + 10. Let h be p(9). Is 10/3 at least as big as h?
False
Let b(p) = p**3 - 6*p**2 + 5*p - 5. Let d be b(6). Suppose 0*l - d = -5*l. Let r be 460/(-50) - (-1)/l. Is r greater than or equal to -9?
True
Let c = -15/31 - 1/62. Let p(l) be the second derivative of -l**3/6 + 6*l. Let n be p(5). Which is bigger: n or c?
c
Suppose -147 = 13*q + 8*q. Are q and 5 equal?
False
Let p = 25 + 10. Suppose g - p = -3*r, 2*g - 2 = -r + 3. Which is greater: 12 or r?
r
Let w = -82 + 91. Let r(y) = y**2 - 11*y + 33. Let z be r(w). Which is greater: z or 16?
16
Let j = 16 - 1. Let r = 33 + -38. Let f(t) = t**2 - t - 14. Let d be f(r). Is d smaller than j?
False
Let j be 4 + -2 - 9/4. Let s = 15.1 + -13.1. Which is smaller: j or s?
j
Let c be ((-1)/3)/((-170)/84 - -2). Suppose -8*f = -6*f + c. Is -7 > f?
False
Let w be ((-26)/3)/((-6)/9). Let h be 9/3 + w/(-8). Let r = h + -47/40. Are r and 0 non-equal?
True
Let o be ((-6)/(-4))/((-24)/(-32)). Suppose -t + 3 = 3*m - 12, -2*m + o = -2*t. Which is bigger: 7 or m?
7
Let b(q) = q**2 - 7*q - 9. Suppose -9 = -3*l - 5*o, l - 6*l = -o - 43. Let r be b(l). Let n be (-15)/6*-1*(-4)/(-5). Is r less than or equal to n?
True
Suppose -5*f = -5, -g + 5*f = g + 1. Let b be (8/g)/12 + (-12)/63. Which is greater: -1 or b?
b
Let a be (-193)/(-5 + -7 + 13). Which is smaller: -190 or a?
a
Let z = 223/6 + -37. Suppose 2*i + 9 = 5*i. Suppose -l - 2*l = i. Which is bigger: l or z?
z
Let m = -53 - -53.05. Let t = -1.05 - -1. Let p = t + m. Which is smaller: 2 or p?
p
Suppose 77*h = 80*h + 9. Are 106 and h equal?
False
Let v = 1264 - 50557/40. Is 0 smaller than v?
True
Let o = 498/5 - -36/5. Which is greater: 108 or o?
108
Suppose 0 = -3*b + 15 + 3. Suppose -2*o = 125 - 135. Which is greater: o or b?
b
Let l = -36 + 8. Let z(j) = -2*j**2 + 12*j + 116. Let r be z(-6). Is l at least r?
True
Let p(t) = -5*t - 2. Let b(k) = -14*k - 5. Let g(l) = 6*b(l) - 17*p(l). Let i be 1/((1/(-3))/1). Let h be g(i). Which is smaller: h or 2?
h
Let a(g) = 11*g**2 - g. Let m be a(-1). Let q be 6/10*15/m. Let b = -2542 + 2542.1. Which is greater: q or b?
q
Let f = -7 + 4. Let n be (f - -3)/(-1 - 0). Let p = 3555/17 + -209. Which is greater: p or n?
p
Suppose 70*g = 72*g - 6. Suppose 0 = t + 4*h + h - 1, 0 = -g*t - 3*h + 3. Is -1/90 at most as big as t?
True
Let r = -89.7 - -86. Let a = -6.7 - r. Is -2/49 > a?
True
Suppose 3*x + 2*w = -2, -5*x + 17*w - 13*w - 40 = 0. Let g = -2651 - -13952/5. Let z = g + -142. Is x less than z?
True
Let m(j) = 3*j**2 + 35*j + 11. Let q be m(-8). Are -77 and q equal?
True
Suppose 182 = 2*k - 16*k. Which is bigger: -15 or k?
k
Let a = 3.1 + 105.9. Let y = a + -109.036. Do y and -1 have the same value?
False
Let u = 2392 - 2389.978. Let b = -0.022 + u. Is b at least as big as -12?
True
Let y be ((-6)/(-952))/(2/8*-1). Which is greater: 0 or y?
0
Let m be 3*1 + 2*-1. Let x be ((-1)/(-10) - 0)*-86. Let j = -124/15 - x. Which is smaller: m or j?
j
Let m be (2 - 24/20)/((-10)/25). Let p be m + -2 + (-17)/(-1). Which is greater: p or 14?
14
Let d(v) = -3*v**3 + 14*v**2 - 5*v - 12. Let k be d(4). Is 1/1693 greater than or equal to k?
True
Let b = 36 + -39. Do -3 and b have the same value?
True
Suppose 0*m - 8 = y - 2*m, 2*m - 10 = 0. Is 22/23 at most y?
True
Let n(c) = -c**2 + 26*c - 101. Let q be n(5). Let r = 914/315 - 2/45. Which is bigger: r or q?
q
Suppose 4*n + 246 = -234. Let p = 124 + n. Which is bigger: p or 2?
p
Let d = 2764.8 - 2767. Is d >= 0.23?
False
Let m = 13 - 12. Let g = -23 + 19.7. Let u = -2.8 - g. Which is smaller: m or u?
u
Let l(s) = s**