 11*n + 3. Let g be l(11). Which is smaller: g or c?
c
Let b be (-8 - 0) + 7 - 6/(673128/(-112180)). Which is smaller: b or 0?
b
Let h = -337801/59 - -5721. Are -4 and h equal?
False
Suppose 0 = -3*y + 5*c - 1131, -c = -5*y - 509 - 1398. Do -0.2 and y have the same value?
False
Let j be ((-2)/(-36))/((-9)/(-6)). Let v(d) = d**2 - 25*d + 117. Let l be v(19). Suppose 8 = 5*m + l*h, -3*h - 8 = -3*m - 8*h. Which is smaller: j or m?
j
Let z(t) = t + 5. Let l be z(-4). Let c be (28/(-4) - -6)/(l/(-76)). Does c = 77?
False
Let j(i) be the third derivative of 5*i**4/4 + 13*i**3/6 - i**2. Let p be j(-23). Let f = 16929/25 + p. Which is bigger: 0 or f?
f
Suppose 0 = -2*t - 5*n - 1410 - 342, -3*n + 3478 = -4*t. Let w = t - -877. Which is greater: w or 61/9?
61/9
Let i = -311 + 623. Let t = 315 - i. Are 1 and t nonequal?
True
Suppose 3*p - 4*p - 3*n - 14 = 0, 0 = 4*n + 12. Let a be -3 + -20 - (p - -3). Which is smaller: -20 or a?
a
Let h(z) = 2*z**3 + 11*z**2 - 91*z - 555. Let v be h(-7). Which is smaller: -767/12 or v?
v
Let s = 465 + -464. Let r be (3/6)/(5/40). Is r greater than s?
True
Let c(p) = -2*p**2 - 16*p - 11. Let b be c(-8). Let r = b + 21. Let d be (-186)/r*(-5 + 8)/9. Is d less than -5?
True
Suppose 5*m = -2*y - 299, -2*m + 3*y - 123 = -11. Let i = -9476 - -9415. Is i at most as big as m?
True
Suppose 6*y - 6118 = -3*y + 2675. Which is bigger: y or 2927/3?
y
Let k be (23/(-3))/((-1)/3). Let u be (333/148)/(27/264). Is k greater than or equal to u?
True
Let l = 1 - 2. Let o = -2805190/29 + 96730. Which is smaller: l or o?
l
Suppose -5*m + 7*m = -3*w - 10, -7 = -3*m + w. Let y(j) = 16*j**3 + j**2 + 3*j - 4. Let z be y(m). Is 50/3 less than or equal to z?
False
Let c be 4/10 + (-488)/1245. Let i(t) = 306*t - 6426. Let d be i(21). Which is smaller: c or d?
d
Let n(r) = r**3 - 7*r**2 + 5*r + 5. Let q be n(6). Let m = 12898 - 1689640/131. Is q at least as big as m?
False
Let q(m) = m**3 - 42*m**2 + 38*m + 123. Let t be q(41). Let f = -7 + 14. Suppose t = 6*i - f + 13. Is -6/37 at least as big as i?
True
Let b(h) = h**3 + h**2 + h. Let i(n) = -198*n**3 + 5*n**2 + 5*n - 1. Let z(f) = -5*b(f) + i(f). Let y be z(1). Let m be (-2)/(-17) + 772/y. Is -5 != m?
True
Suppose 0 = -0*i + 25*i. Let o be (-264)/(-56) + 4/14. Suppose -o*t + n - 9 = 0, -t - 6 = 6*n - 2*n. Are i and t equal?
False
Suppose 2 = 10*i - 9*i. Suppose 2*k = -5*p - 2 - i, 0 = 4*k - 5*p - 22. Suppose 4 = 4*j, -k*j - 87 = -z - 4*z. Which is greater: 1/2 or z?
z
Suppose 608 = -29*a - 291. Let i be 2/41*a/1178. Which is greater: i or -1?
i
Suppose -6*c + 21 = -63. Suppose -c = 27*i + 13. Is i less than or equal to -2/1263?
True
Let g(x) = 4*x - 88. Let h be g(-25). Let c = -245 - h. Is c greater than -54?
False
Let q be 0/((-4)/4 + 0). Suppose q = -i + 4*r - 0 + 37, 84 = 3*i - 3*r. Let z be ((-30)/i)/(3/10). Are -26/7 and z nonequal?
True
Let l be -10 - 19 - 11/(88/(-48)). Are -68 and l nonequal?
True
Let n be 9/12*(-88)/(-99)*45. Suppose -46 = g + 8. Let l = g + n. Is l > -26?
True
Suppose -2*k + 126 = 2*t + 82, 2*t - 2*k - 20 = 0. Is t less than -11?
False
Let c(s) be the second derivative of 8*s**4/3 - 41*s**3/3 + s**2/2 + 2*s - 7. Let o be c(3). Is o less than 39?
False
Let z be 477675/(-61620) - 8*-1 - (-1)/(-4). Which is smaller: z or -3?
-3
Let m = 391281 + -126382451/323. Let p = 66/19 - m. Suppose 0 = -3*o - 2*o - 10. Are p and o non-equal?
True
Suppose -33*n + 27 = 27. Suppose 6*o + 7 - 1 = n. Is -2/819 less than o?
False
Let g = 4207 + -92569/22. Is g at least as big as 0.4?
False
Suppose 0 = -d + 30*d - 4785. Let c = 77 - d. Is c equal to -177/2?
False
Let y(t) = t**3 - 2*t**2 + 7*t - 4. Let z be y(6). Suppose 123*b - 183274 = -884*b. Is z at least b?
True
Let v be (1/2 + 0)*(5 + -1). Suppose 3*t = 4*m + 39, 0 = -m + v*t - 8 - 8. Is m not equal to -10?
True
Let d = -2/153 + -370/18513. Let q = 8216/363 - d. Is q smaller than 24?
True
Suppose -4*s - 42 - 38 = 0. Let z(g) be the second derivative of -g**3/6 + 3*g**2/2 + 34*g. Let y be z(23). Is y at most s?
True
Let j(o) = -o**3 + 33*o**2 + 32*o + 57. Let w be j(34). Let h be ((-10670)/120)/w + -2. Is 7 at least as big as h?
True
Let q = -25.74 + -5.26. Let d = 30.84 + q. Which is greater: d or 0.03?
0.03
Let l = 182 + -733/4. Let y = -5.62 - -5.57. Which is greater: y or l?
y
Let r be (8915/10)/((-3)/54*3). Is r greater than or equal to -5351?
True
Let i(u) = -7*u + 3. Let f be i(-3). Suppose -2*x + f = 4*r + 2*x, -2*x = r - 11. Let b be (r - 2)*(12 - -2). Do -15 and b have different values?
True
Let g be (2 - 3)*458/10. Let s(k) = -k**3 - 13*k**2 + 2*k - 19. Let y be s(-13). Let l = g - y. Which is bigger: 2 or l?
2
Suppose k - 13 = -w, 0 = -2*w + 2*k - 17 + 51. Let r be (-7)/(70/w)*(-1)/(-3). Which is smaller: r or -19?
-19
Suppose 5*h + 6*z + 7 = 5*z, -2*z + 8 = -h. Let x(r) = 8*r + 26. Let l be x(h). Let w = 0.27 - -0.03. Which is smaller: w or l?
w
Let d(k) = -k**3 + 5*k**2 + k + 14. Let i be 0 + -43 + 2 + -1 + -2. Let t = 49 + i. Let p be d(t). Is p <= 19?
True
Let h = 16343 - 16343. Do h and 1/2428 have different values?
True
Let u = 447/7 - 3974/63. Which is smaller: u or 2?
u
Suppose -4*f + 11 = -4*p - 3*f, p + f = 1. Let j be -2*(-4 + 40/16). Are p and j unequal?
True
Suppose -157 + 4133 = -14*t. Let c be (-832)/t + (-15)/(-10)*-2. Which is bigger: c or 0?
0
Let b be -6*(6 - 3)/3*(-2 - -3). Which is greater: b or -7?
b
Let j = -2139 + 2140. Let a be -22*((-270)/32)/(-3). Let k = a + 62. Is k > j?
False
Suppose 182*s = 160*s - 198. Which is bigger: -12 or s?
s
Let k = -4747 + 4520.9. Let u = k - -226. Is u less than -119?
False
Let l = 1070 + -1069.9. Which is smaller: l or -3.805?
-3.805
Suppose 0 = -v - 2*i - 9, -4*v + 17 = -5*i + 1. Let u be 3 - 2 - (-1 + v + 12). Does u = -21?
False
Let l = 3341 + -3340. Which is smaller: 2/3465 or l?
2/3465
Let n = 62165 + -62142. Suppose 0 = -2*g - 3 + 59. Which is smaller: g or n?
n
Let d = 400 + -397. Suppose -h + 8 = 2*k + 2*k, d*k + h - 6 = 0. Which is smaller: 7 or k?
k
Suppose 16*f + 28 = -20. Let s be 195*2/f + -7. Which is greater: s or -136?
-136
Let y(u) = 2*u**3 - 120*u**2 + 8. Let v be y(6). Is -3880 at most as big as v?
True
Let m = -14 - -14. Suppose -x = -3*c + 11, -4*x + m*x - 8 = -3*c. Let p be (c + 10/(-12))/(3/(-6)). Is p less than -7?
False
Suppose 1557*z - 1543*z - 70 = 0. Let l be (-375)/(-120) - (-3 + 2). Do l and z have different values?
True
Let p = 7626 + -7626. Is 3/11929 != p?
True
Let u = -4 - -2. Let v be (u - -1)*31/(-1085). Suppose 0 = 4*t - 9*t + 5. Do t and v have the same value?
False
Let l be ((-3205)/(-8333))/((-2)/(-26)). Suppose -6 = -2*t + j, j - 6 = -2*t - 0*j. Is t smaller than l?
True
Let p be 771*(-2)/(-2)*(-2)/3. Suppose 2*g + 134*o = 133*o - 1019, 0 = 4*g + 5*o + 2023. Which is greater: p or g?
g
Suppose 17 = 5*c - 2*z - 14, 0 = 5*c + z - 22. Suppose 2*n - 32 = -3*u, 3*n = -n + 16. Do c and u have the same value?
False
Suppose -w - 5 = 2*y, -12*y - 20 = -17*y + 4*w. Let g = 1627/7 - 231. Is g equal to y?
False
Let v = -31700 + 31176. Is -524 bigger than v?
False
Let d be (408/(-10) - (-18)/(-45))/3. Let u = d - -22514/1635. Which is smaller: -1 or u?
-1
Suppose -155 = 6*g + 25. Let x(v) = 9*v + 1. Let n be x(-6). Let a = g - n. Which is greater: a or 24?
24
Let b = -4.969 + -0.211. Let o = -3.18 - b. Which is smaller: o or -1?
-1
Suppose b - 616 = 4*m, 4*b - 5*b + 592 = 4*m. Suppose 2*t = 3*h - b, -3*h + 7*t = 4*t - 606. Is 200 < h?
False
Let i be 35/(-14)*8/(-4). Suppose -2*q = -5*l - 5*q - 18, -i*q = -4*l - 7. Let s(p) = p**2 + 2*p - 2. Let w be s(l). Is -2/409 less than w?
True
Let u = -0.382 + 0.3921. Let t = u + -0.1101. Do t and -4/51 have the same value?
False
Let m = -301 + 376. Let i = m - 55. Let n = -28 + 48. Is n less than or equal to i?
True
Let p = -7316 + 7315.952. Is 48 at most p?
False
Let u be (-509)/(-2739) + 6/(-33). Let j = -608.1 - -607.1. Is j at most u?
True
Suppose -j = 4*j + 300. Let u = -970 - -908. Which is smaller: j or u?
u
Let v be 10/(-20)*186/31. Which is smaller: -38/21 or v?
v
Let v be 13*-9*(-18)/(-27). Let s be (0 - 57/7) + v/(-182). Which is bigger: s or -0.1?
-0.1
Let h = 1 - 109. Let s = 175 + h. Let c = -2 + 2.1. Is s <= c?
False
Suppose -3*c = 5*z - 82, 2*c - 7*z - 15 - 19 = 0. Is 191/8 at m