233. Suppose f*r - 172*r + 6 = 0. Does -2/2277 = r?
False
Suppose -2*x - 4 = 4*z - 8, -x = -4. Let b be 1 - 1 - (716/36 + z). Let d = 1262/63 + b. Which is greater: d or 2?
2
Suppose 0 = 25*n - 28*n + 702. Let v be 60 - (n/(-42) + 4/7). Is 64 at most v?
True
Suppose -5*p = -f - 51 + 17, 19 = 3*p - 2*f. Suppose 4*l + 2*o = -2, o + 1 + 6 = l. Let k be (l/(-2) - 9)*37/(-74). Do p and k have the same value?
False
Let f = -23479/669907605 - -5/35473. Let t = -79307/94425 - f. Which is greater: t or -1?
t
Let j be (0 - (-12)/(-28))*-7. Which is bigger: j or 39/25?
j
Suppose w - 6 + 3 = 0, -j + 3*w = -81. Let z be (-18)/(-12) + (-65)/j + 1. Which is bigger: z or -4?
z
Let n(p) be the second derivative of p**3/6 + 3*p**2/2 + 30*p. Let w be n(-2). Let r be ((-1)/2)/w*(-59 + 11). Is r not equal to 25?
True
Let a = 26 - 14. Let l be (-40)/10 - (-3 + -10). Which is smaller: l or a?
l
Let o = -39.2903 + 39.3. Let b = -0.9903 - o. Let v = 3/13 - 59/143. Which is bigger: v or b?
v
Let z = 3371.3 + -5029.11. Let s = z - -1615. Let t = s - -43. Which is greater: t or -0.2?
t
Let h = 0.1803 + -4.7803. Is h at least 15/7?
False
Suppose 36400 = 256*g - 71*g + 12165. Which is smaller: g or -7?
-7
Suppose -45791 = -53*n + 76148 - 31362. Which is greater: n or 1708?
n
Let h = -1145.3 + 1145.3. Let f = -0.3 - -0.3. Let n = f + -0.1. Which is greater: n or h?
h
Let v = 6/115 - -624/1265. Let q = 313 + -289. Suppose -26*j = -q*j - 2. Which is smaller: j or v?
v
Let f(d) = 7*d - 6. Let x be f(1). Let w be (1 + x - 3)*1. Let a = -47/2 + 283/12. Is w at most as big as a?
True
Let g = -228 - -31. Let b = -212 - g. Which is smaller: b or 4?
b
Let l = 20170 + -20174. Does l = -358/109?
False
Let y be ((18/(-4))/3)/((-90)/111840). Let u = 383985/206 - y. Are -1 and u unequal?
True
Let z = 18792 - 18822.9. Which is greater: -0.12 or z?
-0.12
Let d be (-2)/(-3) - (-128)/(-3). Let s = -2877 + 2913. Let g = s + d. Is g <= -50/7?
False
Let x be ((15 - 8) + 4 - 9)*-1*85. Which is greater: -163 or x?
-163
Let n = -8855 - -8842. Which is smaller: -10.6 or n?
n
Let s be (-3)/8 - ((-783)/(-232))/((-1)/529). Which is greater: 1787 or s?
1787
Let w be ((-6)/15 - 135/(-150))*(-1)/(-3502). Are w and 0 non-equal?
True
Let f = -387.6 + 185.6. Let a = f - -198. Let l(g) = -g**3 - g**2 - g + 1. Let h be l(0). Is h not equal to a?
True
Let q(d) = -d**3 + d**2 + 6. Let z be q(2). Suppose 2*s = -0*s - 4*g + 18, -z*g + 7 = 3*s. Let x be s/1 - 40/(-32). Which is smaller: 28 or x?
x
Suppose -18 = -7*z - 39. Let j be 3/((3 + 2 + z)/2). Suppose 108 = j*s + s. Is 27 >= s?
True
Let s(o) be the third derivative of o**6/120 + 2*o**5/15 + o**4/3 + 3*o**3/2 - 44*o**2. Let g be s(-7). Which is greater: 3 or g?
3
Let p be 4 - 0*(9/(-6) + 2). Suppose 0 = -11*h - 4*h - 390. Let z be (h/(-39))/(p/(-78)). Which is bigger: -8 or z?
-8
Let u(b) = -5*b**3 + b**2 - 1. Let x be u(-1). Suppose -3*i - 64 = -x*i. Let f = i + -28. Are f and 6 unequal?
True
Let i be 1/(-1 + (-24)/(-27)). Let d be 1655/(-15) - 3/i. Let y = d + 105. Is -2 < y?
False
Suppose -192*w = 135797 - 548021. Which is smaller: w or 2146?
2146
Let o(c) = -484*c - 3387. Let l be o(-7). Which is smaller: l or -20/1711?
-20/1711
Let k = 2885 + -2887. Is 480 at most k?
False
Let g = 15896/19 - 834. Which is bigger: g or 3?
3
Suppose 258*f - 253*f + 2*w - 1100 = 0, 2*f - 424 = -4*w. Is f greater than or equal to 44?
True
Let w(p) = 3*p + 5. Let d be w(-6). Let i(t) = -358*t + 19. Let b be i(1). Let u = 326 + b. Is d at most as big as u?
True
Let b be 16600 + (11 - 17 - -17). Is b at least 1?
True
Let j = 24443807/899 - 27190. Which is smaller: j or -1?
-1
Let r be ((-68)/(-28))/((-6)/(-7)). Let l be 2/(6 + (-2640)/438). Let n = l + 76. Which is greater: r or n?
n
Let s be 2/(-48134)*(-11 + (16 - (5 - 1))). Is s at most as big as 1?
True
Let i = -1497.8 + 2406.5. Which is smaller: i or 2/3?
2/3
Let m = -22281 - -22422.91. Let w = -142 + m. Is w greater than or equal to -0.09?
True
Suppose -130*x - 10331 = 91849. Is -786 < x?
False
Suppose 3*g = 5*w + 2*g + 602, 0 = 3*w + 3*g + 372. Let k = w - -118. Let u be (-4)/14 - 25/7. Which is greater: k or u?
k
Let j(b) = -165*b**2 + 6*b - 3. Let p be j(1). Let a = 128 - 289. Which is smaller: a or p?
p
Suppose -4*o = 7 + 13. Suppose 5*p - 12*v - 1975 = -11*v, 4*p = -v + 1589. Let y = -408 + p. Is o bigger than y?
True
Let b = 33005 - 726109/22. Let q(m) = m + 4. Let w be q(0). Are w and b non-equal?
True
Let c be (-344)/570438*(-18)/4. Which is smaller: c or -1?
-1
Let t = 4984 - 3576. Is t less than or equal to 1410?
True
Let b = -1.948 + -0.052. Let u = -152 - -297. Is u greater than b?
True
Let y = -199.0058 + 199. Let i = y + -0.0442. Which is bigger: i or -1/19?
i
Let i be ((-34)/(-51))/((-2)/(-3)) + 733. Let a = i + -733. Which is greater: 3/47 or a?
a
Let j = 12.2 - 6.9. Let u = j + -5.4. Let r = 4 + -40. Which is smaller: r or u?
r
Suppose -9*t + 3*a = -5*t - 62, 0 = -5*a - 10. Let w be (7*t/245)/(10/(-4)). Is 0 at least w?
True
Let w = -11/8 + 35/24. Let u = 0.016 - 80.016. Let j = -81 - u. Is w at most as big as j?
False
Let n(a) = -a**3 - 99*a**2 + 3*a + 621. Let g be n(-99). Which is greater: 371 or g?
371
Let h = 1741.85 - 1768.1. Is h at least as big as -1/4?
False
Suppose 406*v - 409*v - 15 = 0, 2*c - 4*v = 4048. Do c and 2014 have the same value?
True
Let i = -122 + 152. Let g = -16 + 38. Let h be g + 5 - (3 + -5). Are i and h unequal?
True
Let p = 11195 + -11183.562. Let i = p - 11.2. Let a = i - 0.038. Which is bigger: a or -2?
a
Let i(s) = -s - 115 + 6*s + 4*s + 119. Let x be i(3). Let y = 27 - x. Which is smaller: -8 or y?
-8
Suppose -2731 = 3*g - 2728. Is 6/9661 at most g?
False
Let v(i) = -i**2 + 86*i - 403. Let g be v(5). Which is smaller: g or 21/22?
21/22
Let g be 4/14 + (-235)/847. Let r = -377950 - -377950. Which is smaller: r or g?
r
Let v = -306 - -322. Suppose 4*m - 19 = -5*j, -v*j = -14*j - 6. Are -1/38 and m equal?
False
Suppose 5*k + 11 = 2*d, -169 = -4*d - 177. Is k not equal to -248/59?
True
Let s = 8268 - 587035/71. Which is smaller: 8/9 or s?
s
Let o(u) be the third derivative of -19*u**4/24 - u**3/6 - 30*u**2. Let v be o(0). Which is smaller: -4/113 or v?
v
Let k(c) = -2*c**3 - c**2 + 2*c - 4. Let r be k(-3). Let w be (9 - 228/36)/((-280)/30 + 10). Which is smaller: w or r?
w
Let q = -33.0664 - -33. Let o = q + 0.0364. Does 3.5 = o?
False
Let z = 322 + -319. Suppose z*u - 85 = -14*u. Is u at least 4?
True
Let v = 203948/9 - 22170. Which is smaller: 490 or v?
490
Let q = -44.92 + -0.08. Let c = 0.282 - 13.282. Let v = c - q. Is v less than -0.1?
False
Let z(a) = -a + 63. Let d be z(8). Let x be (3 - 2)*1232/d. Is 22 less than or equal to x?
True
Let q = -5411 + 5336. Is -0.083 equal to q?
False
Let l = 17160 + -16432. Is l at most as big as 6556/9?
True
Let r(x) = 19*x**2 - 163*x - 1116. Let f be r(-7). Do -0.04 and f have the same value?
False
Let v = -728 - -686. Is v equal to -4?
False
Let s = -9021 - -9024. Which is smaller: 4/101 or s?
4/101
Let c(q) = -75*q + 1388. Let b be c(23). Do -338 and b have the same value?
False
Let j(i) = i + 4. Let f be j(5). Let p be f/21*-2 + 0. Let u = -42.528 - -42.728. Is u at least p?
True
Suppose 0 = -2*u + 4*i + 27 - 113, -4*u - 2*i = 202. Let m = -65 - -15. Which is greater: u or m?
u
Let d be (609/(-28) - -7)/(7/252*-4). Which is greater: -1/3 or d?
d
Let y be ((-495)/(-12))/(23/(305624/(-33))). Which is smaller: -16609 or y?
y
Let y = 7.943 - -0.057. Let v be 6/12*8*9/(-198). Which is bigger: y or v?
y
Suppose 69*q + 1 - 1 = 94*q. Are q and 6/23 nonequal?
True
Let h = 54904897/457644 - 45/13868. Let c = h - 358/3. Is -1/2 less than or equal to c?
True
Let p be ((-16)/(-28))/2 - 813885/203. Which is bigger: -4010 or p?
p
Let c(y) = -668*y + 2672. Let v be c(4). Is v at most as big as 29/285?
True
Let v(z) = z**3 + 2*z**2 - 2*z - 1. Suppose 2 = -3*g - 13. Let i be v(g). Let h be i/(-328) + (-1 - 9/(-12)). Which is smaller: h or 1?
h
Let t be (-1 - 3) + (4 + 1 - 2). Let s = 49 + -54. Let d(g) = -2*g**2 - 10*g - 4. Let c be d(s). Is c < t?
True
Let t = 26.49 - 28.3. Let o = 0.93 - t. Let s = o - 2.5. Which is smaller: s or 1?
s
Suppose 0 = -5*s + p + 20, -4*p + 31 = 3*s - 4. Let w be ((-15)/9)/(-1 - s/3). Let g = 1.1 + -0.1. Is g small