+ 1715/(-539). Is y less than t?
True
Suppose -2*n + 6*n = -4*f - 480, 3*f = 0. Is n at most as big as -119?
True
Suppose -3*s = -s - 12. Suppose 40 = 5*q - 5*a, -5*q + 7*a - 10*a = -32. Let u = s - q. Is u >= 0?
False
Let d be (-7)/(4 - -3) + (-168)/(-165). Let b be ((-1)/3)/(3/9). Which is bigger: b or d?
d
Let v be (-2352)/40*(-2 + 16/3). Is -197 bigger than v?
False
Let b(d) = -2*d**3 + d**2. Let p be b(-1). Let a(f) = f**2 + 5*f + 4. Let i be a(-5). Let u be i - (-1 - -2 - 1). Which is greater: u or p?
u
Let x be (-5)/85 + (-22725)/357. Which is greater: x or -65?
x
Let z be (-4)/10 + 88/20. Suppose -3*d = -m - d + 9, -3*m + 31 = -z*d. Is m less than 13?
False
Let l(c) = 40*c**2 - 3*c - 77. Let r be l(-5). Which is bigger: 0.1 or r?
r
Let c = -1086 - -910. Do 2/9 and c have the same value?
False
Let r = 889/2 + -444. Is r > 1/13?
True
Let y be -1 + 11 + (32 - 50). Are y and 1 unequal?
True
Suppose -4*d + 2*q = 8, -5 = -4*q + 11. Are d and 8/11 nonequal?
True
Let h = 192.1 - 179. Let b = 3.4 + 9.6. Let w = b - h. Which is greater: -10 or w?
w
Let f = 1 + -2. Let u be (-47)/77 - (-6)/63*-6. Is f bigger than u?
True
Suppose -2*i + 10 = -4*i. Let b(t) = -t**2 + 23*t - 62. Let f be b(20). Is f smaller than i?
False
Let i(q) = 26*q - 96. Let f be i(5). Which is greater: 10 or f?
f
Let a(c) = 2*c**2 + 8*c - 2. Let g be a(-7). Let p be 42 + -4 + 7/(14/4). Is g at most p?
True
Let b = 22.718 - -0.352. Let w = b + -23. Which is smaller: w or 2/5?
w
Let g = 25 + -17. Let r be 4/(-8)*g/(-10). Suppose -2*k + 3*x - 6 = 0, -4*k = -7*k + 5*x - 10. Which is bigger: r or k?
r
Let l = 91 + -89. Suppose 2*s + l = 20. Which is bigger: s or 35/4?
s
Let q(s) = -2*s**3 + 18*s**2 + 12. Let v be q(9). Suppose -v = -2*g + 2*d, 3*g + 5*d + 0*d - 50 = 0. Which is greater: 2 or g?
g
Suppose -5*j + k + 29 = 0, j - 3*k + 8*k - 11 = 0. Suppose j*u + 16 = -2. Which is smaller: -2 or u?
u
Suppose -2*l + 5 + 11 = 0. Let z be 1/((4/9)/(-4)). Let i = z + l. Is i at most as big as 1/7?
True
Let o = 35132/77 + -5726/11. Which is greater: -65 or o?
o
Let v(t) = 48*t. Let x be v(1). Let w = 24 - x. Is -24 != w?
False
Let w(o) = 2*o**2 - 85*o + 693. Let p be w(11). Let k = 7/51 + -983/7905. Which is smaller: p or k?
p
Suppose -1 = -4*j - 17. Let m be ((-1)/j)/(8/6). Is 0 equal to m?
False
Let s = 781 + -1036. Is -0.2 less than or equal to s?
False
Suppose 0 = 3*v - 5*j - 7 - 2, -17 = 4*v + 3*j. Let i = 92.123 - 0.123. Let t = 102 - i. Which is smaller: v or t?
v
Let p = 42280/67 - 631. Which is smaller: 1 or p?
p
Let i = -4 + 16. Let s = 13 + -4. Let c = i - s. Which is bigger: c or 2?
c
Let z = -14 - -2. Let n = 46 + -40. Suppose -n*u - 29 - 43 = 0. Are u and z equal?
True
Let x(u) = -u**2 - 9*u - 8. Let c be x(-7). Let q(k) = -k**3 + 5*k**2 - 6*k. Let i be q(c). Let f be (-38)/i - 2/(-9). Does 1 = f?
False
Suppose 4*v = 3*j + 36, 3*v + j - 8 = 6. Suppose -9 - v = -5*c. Suppose 3*r = 4*z - 2, 48*z = -2*r + 50*z. Does c = r?
False
Let i be 25/(300/(-72)) - 48/(-19). Is i smaller than -3?
True
Let n = 13.42 - 13.317. Is -7 less than n?
True
Suppose -4*z - 22 = -3*z. Let i = z + 22. Suppose 2*c - 3*c + 7 = -2*m, -5*m = 3*c + 12. Which is smaller: i or c?
i
Let z(i) = i**2 + 63*i + 90. Let f be z(-51). Is f smaller than -521?
True
Suppose 113*m - 120*m + 182 = 0. Which is smaller: 21 or m?
21
Suppose 4 = 8*b - 10*b. Is -686 < b?
True
Let f = -917/99 + 75/11. Is f < -1?
True
Let l = 46814/133 + -352. Is 0 equal to l?
False
Let a = -7 + 6. Let p = -3 - a. Let w = -2 + p. Which is bigger: -7 or w?
w
Let j = 21 - 37. Let d = j + 57. Suppose 3*z + 0*f = -3*f + 15, 5*z + f = d. Is -0.1 less than z?
True
Let h(q) = -q**3 - 4*q**2 + 5*q - 1. Suppose -5*z + 3 - 28 = 0. Let t be h(z). Which is bigger: 6 or t?
6
Let c = 42 + -38. Suppose 5*o - 9 = 2*r, -r - c*o + 1 = -o. Do -2 and r have the same value?
True
Let v(s) = -8*s - 7. Suppose -4*q - 16 = -4. Let u be v(q). Which is smaller: 0 or u?
0
Suppose -26*d - 26*d + 49*d = 0. Is 4/751 smaller than d?
False
Let v = -1949 - -1948. Which is smaller: -303 or v?
-303
Let q = 22 - 16. Let o be 121/(-59) + q + -4. Which is smaller: o or 1?
o
Suppose 0 = 110*t - 117*t. Let h be -1 + 0 + (-57)/(-60). Is t > h?
True
Let v = 402 + -376. Is -2 < v?
True
Let s = 42 + -40. Suppose 2*k + 8 = -s*k. Which is greater: k or -22/7?
k
Let t = 8.16 + 0.24. Let c = -26.4 + t. Is 3 at least as big as c?
True
Let t = -257 + 226. Which is smaller: t or 5?
t
Let h(m) = -2*m**3 + 11*m**2 + 4*m - 12. Let g be h(6). Let b(s) = 3*s - 1. Let i be b(-5). Let q = g - i. Is -8 < q?
False
Let z = 119 + -111.7. Let x = 3.3 - z. Let o = 1 + -1. Is o > x?
True
Let l(r) = r**3 - 10*r**2 - 12*r + 2. Let p be l(11). Let u(n) = -2*n - 4 + 1 - 6 + 4. Let v be u(p). Which is smaller: 14 or v?
v
Let c = -5952/17 - -350. Let r be ((-96)/(-63))/(-8)*(-6)/(-4). Are c and r non-equal?
True
Let s = -12 - -11. Let d = -77/68 + -2/17. Which is smaller: s or d?
d
Let k = 48428 - 48435. Let o = 1 - -1. Are k and o equal?
False
Let f = 1574/3 - 526. Which is greater: 4 or f?
4
Suppose -44*g + 6 = -50*g. Which is smaller: -1/87 or g?
g
Let s(d) be the second derivative of d**4/6 - d**2/2 + 8*d. Let o be s(-1). Let u be (o - 0)/((-13)/6). Which is smaller: u or 1?
u
Let d be (-9 + 7)/(27/15). Which is smaller: 0 or d?
d
Let s be (-5 - -5)/(9*(-2)/3). Is -40/7 equal to s?
False
Let g(x) = x**2 - 25*x - 442. Let y be g(-12). Which is smaller: y or -565?
-565
Suppose k + 24 = -24*o + 19*o, -3*k = 3*o + 12. Are k and 18/113 unequal?
True
Suppose 4*n = 40 - 60. Let j(i) = 1 + 17*i**3 - i**2 - 18*i**3 + 1 - 4*i**2. Let y be j(n). Is 1 smaller than y?
True
Suppose 159 = 11*m + 93. Which is smaller: m or 57/11?
57/11
Let s = -1 + 10. Let n be 1/(-2) - s/(-12). Let u = 3881.98 - 3882. Is u at least n?
False
Let w be (-3)/12 - (-31)/28. Let a be (1 - 5) + 1 + 11. Suppose 2*k - 4*f + a = 0, f = k - 0*k + 2. Is k smaller than w?
True
Let y = -0.481 + -0.039. Which is smaller: y or 0.2?
y
Suppose -24 + 4 = 5*m. Let p be (0 + -5)*42/(-105) + 10. Let s be 1/m - (-3)/p. Which is smaller: 4 or s?
s
Let m = 316 - 226. Is m not equal to 0?
True
Suppose v = -1 + 15. Let n(a) = a**2 - 14*a + 1. Let z be n(v). Is z equal to 6/11?
False
Let i be 1/(-23*(-8)/(20/5)). Which is smaller: i or 3?
i
Let x = 11 - -3. Let d = 10 - x. Let t = d + 2. Is 2/9 bigger than t?
True
Let t = 10 + 21. Let p = 156 + -155. Which is greater: t or p?
t
Suppose -4 = -6*k + 2. Suppose 3*x - 10 = -k. Suppose -5*a + a = 5*m + 106, 66 = -3*m - x*a. Is m less than or equal to -18?
True
Suppose 156 = -8*p + 9*p. Is p at least 158?
False
Suppose 0 = -5*p - q - 41, 8*p + 18 = 6*p - 2*q. Let u = -9 - -2. Let d = u - p. Is 1 != d?
False
Let n = 0 + 4. Suppose -2*w + 6*w = -n*f + 88, 3*f = -w + 58. Is 18 bigger than f?
False
Let x be 0 + 4 + (-1150)/325. Is 0.11 less than x?
True
Suppose 4*l - 35 = 17. Let t(s) = -3*s**2 + 26*s - 2. Let n be t(8). Which is smaller: l or n?
l
Let m = 22095261/1340 - 16489. Which is smaller: m or 1?
m
Let t = -9 + 16. Let p = 1039 - 1038.8. Which is smaller: t or p?
p
Let a = -300 - -304. Which is bigger: a or 52/11?
52/11
Suppose 3*r - 5 = 5*c, -10*r + 13*r = 0. Is -5/142 > c?
True
Let b be 0/(-1) - (-8)/(-13). Suppose -878*x - 4 = -874*x. Which is greater: x or b?
b
Let r(y) = y**3 - 6*y**2 + 11. Let s be r(6). Is 92/9 greater than s?
False
Suppose -2*j = -3*c + 60, 3*j + 3*c - 2*c + 90 = 0. Let s be ((-4)/7)/(j/21). Suppose 3*h - 6 = -5*m + m, 2*h = 4. Is m != s?
True
Suppose -3*g + 148 = -4*w, -61 + 24 = w - 3*g. Is w < -250/7?
True
Let f(b) = -2*b**2 + 14*b - 14. Let w be f(6). Let m(p) be the third derivative of -p**5/30 + p**4/8 + p**3/3 - 2*p**2. Let a be m(w). Does a = -14?
False
Let q be (9/(-6))/(3/6). Let h = 18 - 30. Let c = h + 8. Which is smaller: c or q?
c
Let z(o) = -o - 8. Let u be z(-9). Suppose 3*r = 4*r + 2. Let h be (-15)/17 - 2/r. Is h greater than u?
False
Let s be (5 - (-78)/(-18))/(4/6). Which is smaller: s or 1/246?
1/246
Let f be (-9)/(-14)*-340*14/(-48). Which is greater: f or 65?
65
Let r be 0/(-61)*(-2)/4. Which is greater: -2/1379 or r?
r
Let m = 32 - 35.5. Let i = -32 + 31.5. Let o = i - m. Is -5 less than or equal to o?
True
Let x be ((-125)/(-2555))/(-5)*(-5 + 7). Which is bigger: 0 or