or 336?
336
Let d be (-3)/8 - (40 + -41). Is d > -0.2?
True
Suppose m - 6 = -y, -m + y = 4 - 0. Let t = -16 + 7. Let o(v) = -v**2 - 9*v + 3. Let w be o(t). Which is bigger: m or w?
w
Let h(y) = 42*y**2 + 3*y - 3. Let q be h(3). Suppose 4*m - 10*g = -6*g - 288, 5*m + 3*g + q = 0. Are m and -75 equal?
True
Let w = -6/1147 - 1/37. Let t be 4 - 14/((-112)/(-40)). Is t smaller than w?
True
Let q = 0.145 + -60.145. Let s = q + 60. Are -0.4 and s equal?
False
Let k(o) = 9*o + 10. Let y be k(12). Let q = 259983/7 + -37258. Let g = q + y. Is -0.4 > g?
False
Let a(p) = -22*p - 33. Let b be a(-9). Do 164 and b have different values?
True
Let f(q) = -92*q - 20. Let p be f(3). Is -295 equal to p?
False
Let l = -0.946 + -1.054. Which is greater: -78.3 or l?
l
Suppose 2*x - 76 = -2*x. Which is greater: 3 or x?
x
Let q(k) = -k**3 + 2*k**2 + 2*k + 4. Let o be q(3). Let f = 1460 + -4057/3. Let j = f + -107. Is j at most as big as o?
True
Let q(m) = -m**3 - 35*m**2 - 96*m - 46. Let n be q(-32). Which is greater: -42 or n?
-42
Let f = -0.1 - -0.2. Let b = 380.1 + -378. Is f less than or equal to b?
True
Let a(z) = -5*z**3 - 2*z**2 - 2*z - 1. Let g be a(-1). Is g smaller than 4?
False
Suppose 2*c = k - 46, -3*c + 0 - 79 = -4*k. Does c = -21?
True
Let y(o) = 2*o - 11. Let w be y(9). Suppose w = -3*m - 4*m. Which is greater: -1/18 or m?
-1/18
Let n = 13.3 + -13.4. Let y = -2 - -1. Let m be (3 - (y + -1))*-1. Is n at most as big as m?
False
Let v = 1042 - 1044. Is v bigger than 1.91?
False
Suppose -i = 4*w - 95, -3*i = 2*w + 10 - 45. Is 5 not equal to w?
True
Suppose -18 = -2*g - g. Suppose -2*n + g - 57 = -5*t, 2*n - t + 39 = 0. Let b be 4/n - (-24)/(-378). Is 0 less than or equal to b?
False
Let o = -98 + 102. Suppose o*r + 0*d = -3*d + 130, 5*r - 163 = -4*d. Is 31 < r?
False
Suppose 3*h - 12 = 0, -17 = 3*d - 2*h - 0. Let o(u) = u**2 + 10*u - 2. Let i be o(-10). Let z be -4 - (d - -9)/i. Is z > 1/14?
False
Let d(b) = -b + 11. Let o be d(8). Suppose 5*u = -5*r - 15, o = 3*u - 4*r + 3*r. Which is greater: 1/35 or u?
1/35
Let t = 259 + -257.24. Which is greater: 0.1 or t?
t
Let h = 113 + -197. Let s be (-2262)/27 - (17/9 - 70/42). Is s at least as big as h?
True
Let r be 2/(7 + -3)*0. Let w = -4046 + 113275/28. Let u = 2/7 - w. Which is smaller: r or u?
r
Let y be -1 + 0*(-2)/10. Let j be -1*(-5 + 3) - y. Is j at least as big as 4?
False
Let x = -25021/2 - -12776. Which is smaller: x or 267?
x
Let y be (-94)/(-104) + 68/(-442). Is y >= 1/43?
True
Let b(f) = f - 14. Let i be b(-7). Let v be 70/i*(-6)/4. Let a be (-3)/v - 18/45. Which is smaller: -2/49 or a?
a
Let t(g) = -3*g**2 - 8*g - 2. Let a be t(-6). Let r = a - -127/2. Suppose 4*v - 304 + 300 = 0. Are r and v nonequal?
True
Let p = 10/3 + -56/15. Let n = -0.2 + 0.3. Let b = n + 0. Which is smaller: b or p?
p
Let n = -92.5 - 5.5. Let r = n - -98. Which is smaller: -43 or r?
-43
Suppose 0*f - 40 = -3*y + 5*f, -4*y = f - 15. Suppose 10*k - y*k - 50 = 0. Let m be ((-12)/k)/(6/(-20)). Do 5 and m have the same value?
False
Let b = 0.432 + -0.332. Which is bigger: b or 59?
59
Let y be -2 - (-10)/4 - 732. Let q = y + 707. Let s = q - -25. Which is smaller: 0 or s?
0
Let u = 320 + -322.7. Is 5 at least u?
True
Suppose l = 3*a + 16, 3*a + 22 = 2*l - a. Suppose 8 = 6*j - 10*j. Let m be (-4)/j + 5/35. Is l greater than m?
False
Let k(t) = 684*t**2 - 8 - 9*t - 339*t**2 - 340*t**2 + t**3. Let x be k(-6). Let u = 1 - 1. Are u and x non-equal?
True
Let g(a) = a**2 - 12*a + 3. Let n be g(12). Let j = -9 - -9. Suppose j = 4*c - 3*h - 4 + 8, -2*c - 2*h + 12 = 0. Which is smaller: n or c?
c
Let k be (-76)/133 + (-105)/(-98). Let p = 2 + 1. Suppose -r + 4 = p*r. Which is smaller: r or k?
k
Let o(h) = h**3 - 11*h**2 + 9*h + 7. Suppose -18 = -c - 2*i, i = -2*c - i + 28. Let y be o(c). Let u = 0.161 + -0.061. Which is smaller: u or y?
y
Let v = -78 + 130. Let l = 60 - v. Is l > 9?
False
Let q be (0/(-1))/(3 - 1). Let x = 2663/234 + -267/26. Does x = q?
False
Let o(c) = 6*c - 19. Let a be o(3). Which is bigger: a or -1/691?
-1/691
Let u be 45/6*4/(-5) + -2. Which is greater: -61/9 or u?
-61/9
Let q be (-9)/(-24) + 82*(-4)/1728. Which is smaller: 1 or q?
q
Suppose 26*o - 110 = 31*o. Let g = 0 + o. Is g at most -21?
True
Let p(x) = -x**2 + 2*x + 16. Let n be p(0). Let u be ((-4)/n*1)/((-6)/232). Which is smaller: u or 11?
u
Let p = 5638/13 + -434. Let l = -1 + 2. Which is smaller: l or p?
p
Let y be (4 + 513/(-126))*(-4)/(-27). Which is smaller: -1 or y?
-1
Let w = -34/31 - 645/62. Let f be (43 - 41)*(-3 + -2 + -1). Which is smaller: w or f?
f
Let o be 2*((-384)/100 - -4). Let n(j) = j**3 + 16*j**2 + 7*j + 113. Let f be n(-16). Which is greater: o or f?
f
Suppose 2 = 5*d + 27, -g + 4*d = -20. Suppose g*k = 4*k. Suppose k = -t + 4*t + 3. Which is greater: t or 3?
3
Suppose 5*q = -5*d - 25, -4*q + 2*q = -4*d - 8. Which is smaller: -1/55 or d?
d
Let m = 120523/106 - 1137. Which is smaller: 0 or m?
0
Let g = -14 - -19. Suppose -g*m - 24 = 4*p + 9, 0 = 5*p + m + 36. Which is greater: -11 or p?
p
Let q be (-3 - -2)*(-35)/7. Suppose 4*j - x - 118 - 13 = 0, -x + 166 = q*j. Let b = -62 + j. Is b >= -30?
True
Let b(f) = f**3 - 12*f**2 + 12*f - 5. Let s be b(11). Let x = 2 + 4. Is s != x?
False
Let w be ((-4)/(-50))/(60/(-75) - -1). Let o(t) = -t**3 - t**2 + 3*t + 1. Let n be o(-2). Does w = n?
False
Let b = 0.449 - 0.549. Which is smaller: 8 or b?
b
Let m = 1.7 - -12.3. Let b = -13.8 + m. Do -17 and b have the same value?
False
Let o be -1 - 14/(-9) - 0. Let i be 3/9 - (212/(-3) - -1). Let g = i + -68. Which is greater: g or o?
g
Let d = 11601/17 + -683. Is d <= 0?
True
Let h = 244546/137 + -1785. Which is greater: h or 0?
h
Let y be (0 - (3 + -1)*-1)*-1. Let p = -15 + 9. Let h be ((-30)/16)/(p/(-8)). Which is smaller: y or h?
h
Let i = -319.475 + -0.525. Which is bigger: i or -0.1?
-0.1
Let s(z) be the second derivative of z**3/3 - 2*z**2 - 3*z. Let n be s(7). Let q = -73 - -82. Which is greater: n or q?
n
Let w = 286 - 332. Which is bigger: -0.04 or w?
-0.04
Suppose 3*s = 6*s + a - 135, 5*a - 77 = -2*s. Is 47 > s?
True
Suppose -s = -2*f + 3, 4*f - 5 + 4 = -3*s. Which is smaller: f or 2/861?
2/861
Let z = 372 + -411. Is z less than or equal to -37?
True
Let n(y) = -y - 8. Let z be n(8). Let p(k) = 2*k**3 - 1. Let b(q) = q**2 - 4*q + 2. Let g be b(2). Let u be p(g). Which is greater: z or u?
z
Let k(i) = 4*i - 21. Let x be k(6). Suppose -5*u - 3*b + 0 = 7, 3*b = -x*u - 3. Which is smaller: 2 or u?
u
Let f = 43 + -50. Is f greater than or equal to 0.04?
False
Suppose 0 = 4*w + 4*r - 12, -4*r = r - 10. Let x be 3108/770 + w + -5. Is 1 < x?
False
Let k = 6 + -4. Suppose 8893*m + 35 = 8898*m. Does m = k?
False
Suppose 0 = 3*q + 2*q - 120. Suppose 0 = -0*l + 2*l + 4, -2*w = -l + q. Is -13 greater than or equal to w?
True
Let x be 36/4 + -4 + -4. Suppose 3*k - 10 = k. Let o = k + -36/7. Which is smaller: o or x?
o
Suppose -4*o + 175 = -45. Which is smaller: 56 or o?
o
Let r be 1 + (5 + 4)/(-3). Suppose -q = -2*o - 3*q + 8, 5*o + q - 12 = 0. Is r at least o?
False
Let j be -10 + 9 + (-3)/(-1). Let n be 2/20*(j + -10). Is n greater than or equal to -1?
True
Let w = 0.09 - 0.126. Let h = w - 0.064. Is -0.6 bigger than h?
False
Let z be (-1064)/5 + 1/(-5). Let v = z - -2341/11. Suppose 31 = -4*p - 3*w + 15, p = -4*w - 17. Which is smaller: v or p?
p
Suppose 6 = 5*n - 14. Suppose n*j + 1 - 57 = 0. Let w(c) = c**3 + 4*c**2 - 4*c - 2. Let i be w(-4). Is j >= i?
True
Let t = 2.82 - 3.12. Which is smaller: -1/73 or t?
t
Let c be (-52)/((3/(-6))/(2/(-4))). Which is smaller: c or -50?
c
Suppose 0 = 8*p - 14 - 2. Let m be (p/3)/(2/36). Which is smaller: m or 13?
m
Let w = -2048 + 2027. Are -41 and w unequal?
True
Let s = -1/83 + -145/1743. Suppose u - 3*u - 8 = 0, -8 = -4*l + u. Which is bigger: l or s?
l
Let v = -174 - -518. Which is smaller: v or 343?
343
Let k(a) = 2*a**3 + 5 - a**3 - 1 - 7*a**2 - a**2. Let j be k(8). Suppose 2*q = 2 - j. Is q greater than or equal to -2/7?
False
Let u = 163.6 - 163.4. Which is bigger: u or -32?
u
Let j be ((0 + 2)/2)/(7/21). Is 0 smaller than j?
True
Let b = -513/16 - -32. Let i = -135 - -406/3. Is b at most as big as i?
True
Let t = -0.097 + -79.903. Let a = 46 + t. Let y = a - -33. Which is smaller: -9 or y?
-9
Let j = -5 -