 Let v be t(0). Suppose -63*n = -v*n + 24. Is n greater than or equal to -227?
True
Let k(q) = -2*q**2 + 37*q - 116. Let g be k(4). Is g equal to -24/19?
False
Let d = -197.23 + 198.23. Is d greater than -4152?
True
Let m be (90/120)/(4/(-80)). Which is smaller: -23 or m?
-23
Let t(w) = -w**2 - 34*w + 23. Suppose 15 = 4*b + 91. Let a be t(b). Is a <= 307?
False
Let h(n) = 15*n + 121. Let z be h(9). Let q = z - 270. Is q at most as big as -12?
True
Let s = -1.72 - -122.82. Let k = 121.1491 - s. Which is smaller: 1 or k?
k
Let m = 1535 + -32237/21. Is m > -4/43?
False
Suppose 2228 = -n - 4*s, -2*n - 13*s + 12*s = 4498. Which is greater: n or -2?
-2
Let j = 5015 - 5053. Which is smaller: j or -480/13?
j
Let t = -429 + 396. Let c be (0/t)/(1 - 0). Which is greater: c or 84?
84
Let f = -265 - -274. Let k(v) = 5*v + 8. Let b be k(6). Suppose -2 = -5*n + b. Is n <= f?
True
Let n be (99/(-24))/11 - 3631/(-9768). Which is smaller: -1 or n?
-1
Let h(b) be the second derivative of -b**4/6 - 7*b**3/6 + 2*b**2 - 14*b - 1. Let t be h(-6). Do -27 and t have the same value?
False
Suppose 2*o + 4*f = -1108, -462*o + 465*o = -5*f - 1663. Do o and -556 have the same value?
True
Suppose -5*k + 88*j = 93*j - 20, 4*k + 3*j - 14 = 0. Let v be (-27)/(-12) + (-2)/8. Suppose -2*g = k*q - 62, 3*g = -5*q + v*g + 155. Is 1 > q?
False
Suppose -9 = -3*d, -5*l + 5*d - 51 = -9*l. Suppose -79 - 128 = l*c. Which is smaller: c or 5/3?
c
Suppose -19*x + 51478 = -141771. Let j be 6/27 - x/(-630)*4. Which is bigger: 64 or j?
j
Let s(d) = 84*d**2 - 936*d - 937. Let l be s(-1). Suppose -2*m = m - 249. Is m greater than or equal to l?
True
Let p = -5303 + 5304. Is p bigger than 3.961?
False
Let w = 244 - 57. Let j = w - 150. Do j and 38 have the same value?
False
Let j be ((-17934)/(-1498) + -12)*-1. Which is smaller: 5 or j?
j
Let o(w) = -2*w**3 + 2*w**2 - 2*w + 1. Let v be o(1). Let y be (2*1/(-10))/(1340/(-300)). Which is smaller: v or y?
v
Let d = -2 - 15. Let c(k) = -k**3 + 13*k**2 + 14*k + 2. Let t be c(14). Suppose h = 3*f - 21 + t, -5*f - 43 = 3*h. Are d and h nonequal?
True
Suppose -5*a + 115 = 5*j, -a + 11 = -4*j + j. Suppose -1072*f + 1063*f + 1035 = 0. Let m be 8/a - 66/f. Which is bigger: 1 or m?
1
Suppose -5*d - 2*i + 6038 = -2117, 3*d - 4907 = -4*i. Which is smaller: 1631 or d?
d
Let f be (11/7 - 2) + 2387/539. Let q be (-9)/(-3) - f - (175 - -6). Is q greater than or equal to -183?
True
Let b(q) = 20*q**2 - 29. Let m be b(-7). Suppose -2338 - m = 13*r. Do r and -252 have the same value?
False
Suppose 12*f + 2163 = -1233. Which is bigger: -563/2 or f?
-563/2
Let t = -7961 + 533389/67. Let r = 3.11 + -0.11. Which is greater: t or r?
r
Suppose 7*n - 5053 - 4362 = 0. Suppose 3*r = -431 - n. Let p = r - -21906/37. Is p <= 0?
False
Suppose 0 = 6*b + 30*b - 3744. Suppose -b + 104 = 7*c. Which is smaller: -322 or c?
-322
Let y be (-4)/(-34) + 196/68 - 653. Let r = y + 650. Do 1/247 and r have the same value?
False
Let q(t) = -t**2 + 11*t + 89. Let i be q(14). Let m = 1.49 - 3.49. Which is smaller: i or m?
m
Let d be (8 + -1)/(5/(-595)). Let x = 19997/24 + d. Which is smaller: x or -1?
-1
Let t = -2 - -3. Let r = -64.89 + 65.03. Which is bigger: r or t?
t
Let r = 587 - 411. Let a = -176 + r. Let k = -123 - -88. Is k at most as big as a?
True
Suppose 2*z + f + f = 0, 0 = 4*z + 2*f - 4. Suppose z*l - r = 35, -5*l = 5*r - 36 - 14. Let t be l/(-8) - (-16 + 13). Are 2 and t nonequal?
True
Let s(l) be the third derivative of 0*l + 20*l**2 + 1/24*l**4 + 0 - 3/2*l**3. Let y be s(8). Which is bigger: y or 1/76?
1/76
Let l = 149 + -151. Let u be l/(-17) - ((-1643)/(-238) + -7). Which is greater: u or 0.2?
u
Let w = -232 - -235. Let z be 9/81 - 199/9. Let b(i) = 2*i + 45. Let u be b(z). Is w at most u?
False
Let c(n) = 34*n**2 - 82*n - 48. Let r be c(3). Which is greater: r or -385?
r
Let o = -5991 + 5996. Is o >= 240/49?
True
Let s(f) = -10*f**2 + 13. Let o be s(-3). Let n be (16/(-42) + 22/o)*3. Is 15 not equal to n?
True
Let b be 22/(1056/120)*((-24)/10 + 2). Does b = 2/25351?
False
Let d = 71/784 + -15/98. Is 0.06 at least as big as d?
True
Let y = -6372/13 + 84842/195. Which is greater: y or -54?
-54
Let f = -15645 + 312907/20. Which is bigger: f or 17?
17
Let b = -1234 - -1255. Suppose -2*s = -s - 20. Is s equal to b?
False
Let g = -14269 + 14047. Is -1559/7 <= g?
True
Suppose 3*i + 2*h = -2*i - 18, 3*h = -3*i - 9. Let r be i + (-1048)/(-72) + 7. Is r <= 18?
True
Let x be (-4)/(-46) + (77800/96876)/(-10). Is x > 0?
True
Let g = 33 - 40. Let s(y) = -y**3 - 7*y**2 + 5*y - 3. Let h be s(g). Let n = h - -112/3. Which is smaller: n or -1?
-1
Let f = 0.1994 + 0.0692. Let w = -0.0314 - f. Is w not equal to -95?
True
Let q = -7 - -52. Suppose 2*k + 7*k = -q. Let u be -1*1 - k/3. Is u at most 5/2?
True
Suppose -3*y + 2*a - 7*a + 308 = 0, 12 = 3*a. Suppose 2*w = -5*q - 0*w - 160, -5*w = -3*q - y. Let i = -31 - q. Which is smaller: 1/96 or i?
1/96
Let q = -4/3579 - -4026/44141. Let y = -1779 + 1779. Which is smaller: q or y?
y
Suppose 3*f - 1157 = -u, 2*u + 1142 = 3*f - 0*f. Suppose 3*k = -9*k - f. Are -33 and k equal?
False
Let j be -1*2/(5 + (-15)/5). Let x be (-38 + j)/((-30)/(-20)). Is x not equal to -26?
False
Let d(b) = -104*b - 4471. Let l be d(-43). Let a = 79/2 + -2303/58. Which is bigger: l or a?
l
Let q(m) = 22*m**2 - 189*m + 119. Let k be q(9). Is 200 at most k?
True
Let z be 2 + 2 - (-276)/1. Suppose -20*c - 20*c - 2055 + 13295 = 0. Are c and z equal?
False
Let m(a) = a**3 + 2*a**2 + 2*a + 1. Let z be m(-1). Let n be (2 - (-15609)/27)/1. Let w = n + -579. Which is bigger: w or z?
w
Suppose 2*c - 26 = 2*z - 28, -1 = -3*c + z. Is -4/313 at most as big as c?
True
Let g = 298 - 302.48. Let l = 10.48 + g. Is l greater than -25?
True
Let c = -859/78 - -154859/14430. Is c at least as big as -1?
True
Let w be (3/189)/(6/3 - 110/66). Is w greater than or equal to 131?
False
Let d = 93 + -92. Let w be ((-45)/25 - -2) + d. Which is greater: w or -2/23?
w
Suppose -2*h = o - 1 + 3, -10 = 2*h + 5*o. Which is bigger: -5/1056 or h?
h
Let r(v) = v**3 + 7*v**2 - 19*v - 19. Let o be r(-9). Let g be o/(-2)*10/(-175). Suppose l = -4*s - 15, -5*l + 5*s + 23 + 2 = 0. Are l and g nonequal?
True
Let v = 689/105 - 45/7. Which is bigger: v or -2/569?
v
Suppose -m + 162 = -4*u + 6*u, -m - 5*u = -162. Let b be ((-70)/10 - 20)*(-1)/(-3). Let d be ((-36)/m)/(2/b). Which is greater: -2/37 or d?
d
Let l be ((-9)/(-6))/(3/4). Let u = -134 + 171. Suppose u*k = -11*k - 144. Is k >= l?
False
Let k = -1349.1 + 1350. Which is bigger: 24 or k?
24
Let v = 4242/5 - 19013/20. Let c = 101 + v. Is c less than 1/2?
True
Suppose 2*d - d = 2. Suppose -3*a - 71 = -0*a + d*s, -2*s - 17 = a. Let n be (-2)/((-14)/(-35)) + 2. Is a equal to n?
False
Let p(o) = -o**3 + 15*o**2 - 19*o + 37. Let x be p(14). Let u be (26/364)/(x/(-4)). Which is smaller: 0 or u?
0
Let f = -365 + 1213. Are 0.1 and f non-equal?
True
Let g = 15417 + -15415. Is -582/5 at most g?
True
Suppose 0 = -52*i + 11*i - 13*i. Is 21/86 < i?
False
Let t(d) = 2*d**3 + 8*d**2 + 6*d - 10. Let w be t(-4). Suppose -9*x = -12*x - 3. Let o be (-4)/(8/(-68)*x). Is o greater than w?
False
Suppose 33*a + 9308 = 49238. Let u = 56868/47 - a. Is u > 0?
False
Let f be (285 + -284)/(-2 - 135/(-68)). Which is smaller: f or -551/8?
-551/8
Suppose 163*t + 1935 = 166*t - 4*q, -3*t + 1908 = -q. Which is smaller: 628 or t?
628
Let s = -86 - -46. Let h be s/(-42) - 4/14. Let z = 2675 + -2675. Which is smaller: z or h?
z
Let f = -3636711/29 + 125391. Let t = -7466/261 - f. Which is bigger: t or -16?
t
Let f be 1 - -4 - 0 - 655872/(-854). Which is greater: 5420/7 or f?
5420/7
Let p = 55 + -23. Suppose 0 = -p*q + 237 - 45. Is 19 greater than q?
True
Let g = 20 - -30. Let p = 21 - g. Let s = p - -28.9. Which is bigger: s or -2/43?
-2/43
Let w = -39 + 39. Suppose -3*d + 12 = t, 2*t + w*t + 5*d - 21 = 0. Suppose 0 = t*g + f - 4*f, 0 = -f + 1. Is -4 at least g?
False
Let m = -59 + 61. Suppose 0 = -3*r + n + 14, r + 3*r - 2 = -m*n. Let z be 7/(35/(-21)*r/(-1)). Which is smaller: z or 0.3?
0.3
Let v be -3*(0 - 1) - 3. Suppose -5*o - d = -4*d + 157, o - 4*d + 28 = v. Let x = o + 0. Is -31 < x?
False
Suppose 4*a - 4*i = 7648, a = 5*a - 5*i - 7653. Is a bigger than 1907?
False
Let c be (8 + 91/(-2))