 298.6. Which is smaller: n or 0.01?
0.01
Let y(n) = n**3 + 5*n**2 - 4*n + 1. Let m be y(-5). Let r be (1 - 6316/16) + 3. Let u = r + 411. Is u > m?
False
Let z = 1299 - 1300. Is -15/23 < z?
False
Let f = 58048 - 58050. Let v = 76 + -39. Do f and v have the same value?
False
Let u = -1.7981 + 1.7671. Is -228 smaller than u?
True
Let a = -952 + 1281. Which is smaller: 8 or a?
8
Suppose -6*j = -9*j - 513. Suppose -20*c + 17*c + 5*h - 540 = 0, 6*h - 206 = c. Are j and c unequal?
True
Let u(q) = 4*q + 10. Let b be 224/(-70)*10/(-4). Let z be u(b). Let j = z - 36. Is 7 at least j?
True
Let f = 1.34 + -0.22. Let k = -0.62 + f. Which is bigger: 12 or k?
12
Let t = 4889 + -9777/2. Which is bigger: t or 19?
19
Let k = -34 - -3.925. Let q = k - -0.075. Let u = q + 38. Is u >= -2/7?
True
Let u be ((-6)/(-21))/((-10)/(-35)). Let o be (-2)/20 + 4/8. Which is smaller: o or u?
o
Let k = 8877 - 8854. Let i be (-4)/(-3) + (2 - 3). Is k bigger than i?
True
Let h be (-4147)/(-169) - 6/(-13). Suppose 0 = -f + 3*f - 8. Suppose 0*t + 111 = f*t + 3*l, -3*t - 2*l = -82. Which is smaller: t or h?
t
Let z(o) = -2*o**3 - 3*o**2 - 5. Let v be z(5). Let n(u) = -u**2 - 497*u - 47803. Let d be n(-129). Which is greater: d or v?
v
Let f = 105328 - 1307225806/12411. Which is smaller: f or -2/7?
-2/7
Let l(y) = 2*y**3 - y**2 + y. Let c be l(-2). Let u(r) = -r**2 - 23*r + 3. Let j be u(c). Suppose 4*t + s - 95 = 0, -4*t = -5*t + 5*s + 50. Is j at least t?
True
Suppose -54 = 12*l - 16*l - 2*v, 0 = l - 2*v - 16. Suppose 3*t - 18 = t - 4*b, -21 = -4*t - 5*b. Let k be (-1 + 12/l)*t. Which is greater: 1 or k?
1
Let x = 13110 - 13100. Is 35 at most as big as x?
False
Suppose -46*p - 4 = 6 + 36. Which is greater: 1/7962 or p?
1/7962
Let p(q) = 12*q**3 - 5*q**2 - 2*q + 6. Let x be p(4). Let c = 7574/11 - x. Which is greater: 1/3 or c?
c
Let w be 801/66*(-9210)/(-45531). Let x = 2/5059 - w. Are x and -1 unequal?
True
Let w = 305 + -221. Let i be -2 - -2 - w/343. Which is bigger: i or -1?
i
Let u(j) = -j**2 - 9*j - 1. Suppose -5*b - 2*v = v + 13, 0 = 2*b - v + 14. Let o be u(b). Suppose -o = 4*r - 47. Do 10 and r have the same value?
False
Let m = -41.7 - 0.3. Let f = 0.0447 - -100.9553. Let y = m + f. Which is greater: 0.1 or y?
y
Let v be 12 + (85/(-25) - 2/(-5)). Let p(h) = 53 + 5*h**2 + v*h - 4*h**2 - 48. Let u be p(-7). Which is greater: -8 or u?
-8
Let l = 296.74 - 298. Let c = 87.26 + l. Is 0.2 less than c?
True
Let t be 3424/160 + 14/(-10) + 1. Suppose -t = -2*v + 51. Let k be -15*((-1)/(-4) - (-51)/v). Which is smaller: -26 or k?
-26
Let u be (-2 - -1) + 136/130. Let t be (-15)/55*330/90. Is u less than t?
False
Suppose -11*j + 9*j + 215 = -45. Is j at least as big as 129?
True
Suppose -2*q = 9*q - 561. Let b = -73 - q. Let w = b + 618/5. Which is bigger: -2 or w?
w
Suppose -5*t + 0*t = -4*a + 2, 5*t - 19 = -3*a. Suppose -3*i - y = 90, 5*y = t*i + i + 90. Which is greater: -32 or i?
i
Let h = -214 - -218. Suppose 0 = -30*r + 4 - h. Which is smaller: -28/33 or r?
-28/33
Let h = 0.07354 + 46.92646. Are 13 and h non-equal?
True
Suppose -60*n - 1263 - 469 = 1748. Which is greater: n or 12?
12
Let y = 100 + -103. Let c = 3/35 + -254/105. Is c greater than y?
True
Suppose -z = -4*p - 83 + 80, 2 = -5*p + 3*z. Is 28/353 bigger than p?
True
Suppose 2*c = 6*c. Let y be 33/(-3)*(1 - 2). Let v be -29*1/y - (-43 + 40). Which is bigger: v or c?
v
Let g(o) = o**3 + 68*o**2 + o + 69. Let l be g(-68). Let k = -3/725 + 11651/12325. Which is smaller: l or k?
k
Let r(i) = -1771*i - 8031. Let a be r(-5). Is a less than 838?
True
Let d(j) be the third derivative of j**6/30 - j**5/30 + j**3/6 - 19*j**2. Let m be d(1). Suppose y + 2*y = -m. Is 104 greater than y?
True
Let f be 202/(-30) + 2/(-3). Let w = 41001 - 41007. Does w = f?
False
Let b = -16185/116938 - 56/991. Is b at most as big as -1?
False
Let z = 204 - 196. Suppose -t = -z*t. Do t and 8/13 have different values?
True
Let p = 19 - 18.98. Let y = 1.15 + -1.15. Let f = p + y. Which is bigger: 1/3 or f?
1/3
Suppose -67*p = -144*p + 128175 - 31155. Is p smaller than 1269?
True
Let m be ((-31)/4)/((-5)/(-2220)). Let l = m + 361297/105. Do l and -1 have the same value?
False
Let w(u) = u**2 + 13*u - 32. Let d be (17/(-3))/(1/9). Let q = 36 + d. Let b be w(q). Is -3 at most as big as b?
True
Let o(a) = -2*a**2 + 17*a + 9. Let i be o(9). Suppose i = -18*r + 2238 + 1614. Is 214 bigger than r?
False
Let o = 247/3150 + -4/175. Let y = o + -5/9. Is y > 36?
False
Let n = 1188/13 + -69819/767. Which is smaller: 1 or n?
n
Let u be (-5491)/(-272) - ((-60)/(-270) + 74/72). Which is greater: 18 or u?
u
Suppose -6*g + 64 = -26. Suppose 4*m = 11 - g. Is m < 3/61?
True
Let u = -0.42 - -0.3. Let s = u + -0.88. Let c be (-18 + 21 - -13) + -76. Is c < s?
True
Let l be (-15)/(-3) + 1457/(-146) + 5. Suppose 0 = -8*b + 4*b + 8*b. Which is smaller: l or b?
b
Suppose 5*h + 387 = 117. Suppose 0 = 28*j + 1032 + 536. Are h and j unequal?
True
Let b be ((-270)/(-1275))/((-128)/(-20)). Is 0 at least b?
False
Let i be (-44)/33 + (-748)/(-66). Suppose -5*w + 6 = -5*m + 71, 3*m + 4*w - 11 = 0. Which is smaller: i or m?
m
Let i be 373/15 - (-7)/(-35). Let k(w) = -18*w + 12. Let g be k(2). Let r = g + i. Is 1/2 <= r?
True
Suppose 0 = -6*y - y - 5586. Let r be 6/(y/(-203)) - -1. Which is greater: r or 2?
r
Suppose -612 = -5*s + 2*s. Let z be (6/(-3) - 96)*(-90 + 22)/34 + 6. Which is smaller: s or z?
z
Suppose 31*k - 32*k + 4 = 0. Let x be ((2 + -2)/3)/(5 - k). Suppose y + x*y + 5 = 0. Which is smaller: -4 or y?
y
Let g = 1 + -1. Let o = 294 + -560. Let n be -3 - (-7)/(o/(-113)). Which is bigger: g or n?
g
Let s = -45 + 46. Let h be 2489/(-11780) - (-1 + (-6)/(-8)). Let v = h + -736/11005. Which is smaller: v or s?
v
Let z be (123/656)/((-3)/14). Let a = 7 + -1. Suppose a = -2*f - f. Which is smaller: f or z?
f
Let n be (-4 - (4 - 2))*(-2)/(-4). Let k be (n + -5 + 7)*1. Let d be k/(-2)*(0 + -1 + 2). Is 2 >= d?
True
Let h be ((-1025)/(-100))/(1/(-2 - 2)). Suppose -75*k + 352 = -83*k. Which is smaller: h or k?
k
Let n(s) = -14*s + 46. Let m be n(5). Let p(h) be the second derivative of -h**3/6 + 3*h**2/2 + h. Let v be p(5). Which is greater: m or v?
v
Let v(i) = -24*i**2 - 44*i - 817. Let b be v(-12). Do -3741 and b have the same value?
False
Let y(t) = -t**3 - 21*t**2 - 40*t - 35. Let z be y(-19). Let p(j) = 10*j**2 - 2*j - 1. Let x be p(-1). Let k be x*(-10)/15*z. Is -23 bigger than k?
False
Let p = -1 - 2. Let n = -7.979 - 1.701. Let c = -10.03 - n. Which is smaller: c or p?
p
Suppose 0 = -5*r - 4*z + 973, -4*r = -z + 3*z - 782. Suppose -5*l - r = 378. Let v be -3 + (-692)/l - 3. Do 1 and v have the same value?
False
Let w be ((-8)/(-6))/2*27/6. Let m = 18 + -16. Suppose -5*g + 16 = m*f, f = -0*f - w*g + 7. Which is greater: 14 or f?
14
Suppose 6*z - 7670 = -9020. Which is smaller: z or -1118/5?
z
Let b(z) = z**2 + 15*z + 29. Let m be b(-13). Let j(a) = -a**3 + 3*a**2 - a + 11. Let o be j(4). Let u be 18/81 + (-16)/o. Which is greater: u or m?
m
Let q be 1/4 - (-1925)/280. Suppose -61*m + 68*m - 49 = 0. Which is smaller: q or m?
m
Let k(f) = 2*f**2 + 12*f - 44. Let s be k(-20). Is 1552/3 equal to s?
False
Let u(c) = -8*c - 630. Let j be u(-79). Is 67/39 smaller than j?
True
Suppose 7574 - 7790 = 72*g. Which is bigger: g or 1651?
1651
Let r be (-170)/(-30) + 1 + 2/(-3). Let c be ((-28)/420)/(32/r). Does c = 0?
False
Let b = -77 + 68.3. Let f = b - 0.3. Let n = 1436 - 1436. Which is greater: n or f?
n
Suppose a + 1 = 5*q - 0*a, -q = -2*a - 2. Let c(i) = -3*i**2 - 14*i + 1. Let y be c(-3). Let n be 20/(-240)*y/10. Which is greater: q or n?
q
Let y = 2916962 - 3558693337/1220. Let x = y + -6/61. Suppose -4*m = 3*l - 3*m + 1, 0 = 3*m + 12. Which is smaller: l or x?
x
Suppose 2*t - 5 = -3. Let d be ((-10)/(-10))/(t/1). Let u = -1027/75 + 209/15. Which is greater: u or d?
d
Let z = 9338/25 + -373. Let v be (26/(-182))/(2/(-14)). Are z and v equal?
False
Let a(j) = -j**2 - 37*j + 125. Let g be a(-40). Suppose g*m - 31 = 2*k, 0 = -k - m - m + 7. Is k less than 0?
True
Suppose 5 = -3*h + 38. Let g(s) = -6*s**2 - 21*s + 13. Let u be g(h). Let b = u + 59473/63. Is -1 > b?
False
Let h = 34 + -35. Let t = -1690 - -32095/19. Which is smaller: h or t?
h
Suppose -242*v = 12*v - 411734. Which 