389 = 20*t + 2049. Which is greater: -92 or t?
t
Let c(n) = n**3 - n**2 + 1. Let g be c(-1). Let l be (g/(-2))/(2/28). Let o(r) = r**3 - 7*r**2 + 6*r + 8. Let x be o(6). Which is smaller: x or l?
l
Let r be (-60)/(-32)*(-1044)/(-90). Which is smaller: r or 21?
21
Suppose 0 = -3*v - 2*v + 5. Let y = 19 + -20. Let c = y - v. Which is smaller: c or -5?
-5
Let x(k) = -16*k - 4 - 7 + 13. Let v = 1 + 0. Let h be x(v). Which is smaller: h or -13?
h
Let v = 0.8 - 146.8. Let z = v - -144. Which is smaller: -15 or z?
-15
Let o(b) = 4*b + 27. Let t be o(-7). Let w be -3 - t - -3*(-1 - -3). Which is smaller: w or 5?
w
Suppose 25 = t - 5*h, 24 = -t - 3*h + 9. Let w = t - -3. Is w at most as big as 3?
True
Let q = -36 + 465. Do q and 429 have different values?
False
Let s = -1206 + 194167/161. Is 1 less than or equal to s?
False
Suppose 0 = 12*o - 0. Is o not equal to -2/15?
True
Let y = -3/46 - -36/23. Which is smaller: -2/13 or y?
-2/13
Let q = 7 + 17. Let m = q - -33. Let f = 571/10 - m. Is -1 equal to f?
False
Let j be -342*((-12)/(-8) + 1 + -2). Let v be (1/12)/(4 + j/42). Is -2 bigger than v?
False
Let w(p) be the third derivative of -7*p**5/15 - p**4/12 - p**3/6 - 4*p**2. Let j be w(-1). Let u = 20 + j. Is -5 greater than u?
True
Let d = 13.6 - 0.6. Let y = d + -13. Let t = y - -1. Is -0.2 > t?
False
Let j be 2/(-424)*(-16)/(-94). Is j less than -1?
False
Let n(b) = b**3 + 6*b**2 + 5*b - 2. Let d be n(-1). Are 34/7 and d non-equal?
True
Let c be 16/(-10)*(21/(-14) - -2). Is 7 smaller than c?
False
Suppose -3*w + 18*b + 1288 = 19*b, 4*b + 1712 = 4*w. Is w at least as big as 429?
True
Let s = -477 + 445. Which is smaller: 4 or s?
s
Let q = -562 - -563. Let i be (45/(-8))/3 + 2. Are q and i equal?
False
Suppose -60*g - 779 - 421 = 0. Which is bigger: g or -28?
g
Let p = 26 + 16. Is p at most as big as 40?
False
Suppose 3 - 9 = -y. Let a be (10/(-3))/(y/9). Is a greater than or equal to 1?
False
Let n be ((-1946)/35)/(6/15). Is -140 smaller than n?
True
Let y be 36*1*((-196)/16)/(-7). Suppose 5*b + y = 2*b. Is -21 bigger than b?
False
Let r = -690/43 - 10181/215. Let v = -63 - r. Is v less than or equal to -1?
False
Let y = -149/111 - 14317/222. Let a = 66 + y. Which is greater: a or 4/11?
4/11
Suppose -2*b = -b - 4. Suppose -o - 3*o = b. Let q = -23/112 + 1/16. Is q >= o?
True
Let k be (-48526)/290 - 28/406. Which is greater: k or -167?
-167
Let l be (-2)/1 + 1 + 9. Let j(b) = 8*b**2 - 2*b - 1. Let m be j(-1). Do m and l have the same value?
False
Suppose 9*h = -339 + 2004. Which is greater: 187 or h?
187
Let f = -1.9 + 2. Let a = 0.047 - 0.039. Let v = 0.008 - a. Which is greater: v or f?
f
Suppose 5*k - 5*m = -2*m + 3, -4*k + 3*m + 3 = 0. Let n be 1*(k - 4/4). Which is smaller: -3/20 or n?
n
Let o be -4*2/(-4)*-9. Let n = -15 - o. Suppose n*p = -p. Which is smaller: p or 9/2?
p
Let b = -565 + 566. Are 40 and b nonequal?
True
Let m(o) = -o**3 - 4*o**2 - 8*o - 8. Let w(i) = i**2 - i + 1. Let g(n) = m(n) - w(n). Let t be g(-5). Is t bigger than 27?
False
Let c = -4 + 9. Let o = c - 6. Let h be (-6)/18 + ((-4)/2)/(-6). Is o bigger than h?
False
Let q = -95 + 99. Let d be 2*q/(-32) + 2/8. Which is bigger: d or -0.03?
d
Let o(g) be the second derivative of g**3/6 + 3*g**2/2 - 9*g. Let m be o(6). Do m and 9 have different values?
False
Let d be (-128)/32 - ((2 - 8) + 1). Which is greater: -10/123 or d?
d
Let v = 1033.23 - 1022. Which is greater: 0 or v?
v
Let s(q) = 4*q. Let f(y) = -y + 1. Let p(l) = 3*f(l) + s(l). Let m be p(-4). Is -22 < m?
True
Let c(x) = -22*x**2 + 2*x + 2. Let a be c(-1). Let j be ((-8)/24)/(a/4)*-6. Which is smaller: -0.1 or j?
j
Let d(p) = 2*p - 1. Let k be d(1). Let l = 2 - k. Let h = 90 - 1892/21. Is h at least l?
False
Let p be (8/(-10))/((-306)/(-5665)). Let w = p - -282/17. Are w and 1 non-equal?
True
Let g = 4890/7 - 700. Suppose 0 = -67*h + 91*h. Which is bigger: h or g?
h
Let p be (-13 - -10)/((9801/48)/9). Is p at most -1?
False
Let p = -23 - -22.885. Let v = p - -0.015. Which is smaller: 1 or v?
v
Let p = 243728768/455 + -535668. Let n = p + 6/65. Let g(a) = -8*a - 165. Let r be g(-21). Which is smaller: n or r?
n
Let l(g) = -g**3 - g**2 + 3. Let k be l(0). Suppose k*v + 2 = -40. Let s be ((-1)/6)/(v/(-8)). Is -1 less than s?
True
Let l = 2255545/1433 + -1574. Do l and 1 have the same value?
False
Let h(p) = -2*p - 4*p - 3*p + 10*p. Let t be h(10). Suppose 7*b - t = 12*b. Are b and 3 non-equal?
True
Let d(f) = -f**3 + 27*f**2 + 27*f + 28. Let y be d(28). Let p = -191/455 + 12/35. Which is smaller: y or p?
p
Let u(r) = -19*r - 91. Let z be u(16). Is -395 greater than z?
False
Let c = 23/78 - 6/13. Let t = 1 - 2. Is c smaller than t?
False
Let z(g) = g**2 + 11*g + 6. Let v be z(-11). Let b = v - 2. Suppose 0 = 2*w - b*i + 20, i = w - 2*i + 11. Which is bigger: w or -7?
-7
Suppose -a + 5 = -g, 25 = 4*g - 5*g + 5*a. Suppose g = 3*q - 18 - 6. Let p be 8/7*2/q. Which is smaller: p or -0.07?
-0.07
Let h(p) = 18*p + 105. Let x be h(-6). Let j = -1619/5 - -321. Is x less than j?
True
Let f(j) = 0*j**2 - 3 + 9*j**2 - 10 - 8*j - 8*j**2. Let d be f(9). Which is bigger: -13/4 or d?
-13/4
Suppose -15*a = -153 - 237. Which is smaller: a or 2?
2
Let x(a) = -3*a - 20. Let b be x(-8). Suppose 7 = -4*l + 2*c - 5*c, 16 = -l + b*c. Which is bigger: -8 or l?
l
Let s = 2 + -32/9. Which is bigger: s or 0.16?
0.16
Let a be (-41)/(-82)*(0 + -1)*0. Is 3/545 != a?
True
Let o be ((-4)/3)/(-2)*6. Let j be (-944)/24 - o/6. Let u be j/(-99) + (-2)/9. Which is smaller: -1 or u?
-1
Let p = -745 - -714.9. Let j = p + 30. Let o = 0 - 0.4. Are o and j equal?
False
Let d be (6/(-3))/(-1)*385/56. Let r = -8 + d. Which is greater: r or 5?
r
Let p(q) = 3*q**2. Let v be p(1). Suppose -v = -3*o + 9. Let c be ((-7)/(-84))/((-2)/o). Which is bigger: -1 or c?
c
Let x = -1321 - -1321. Which is smaller: x or 4/189?
x
Suppose 13 = -9*i - 4*i. Let y be (14/5 + i)*1. Which is bigger: 2 or y?
2
Let f be (-154)/66 - (-2)/2. Are f and -7/13 unequal?
True
Let v = 7 - 10. Let l = v - -8. Suppose -20 = k - l*s - 5, -2*k = -2*s + 6. Which is smaller: -1 or k?
-1
Let b be ((3 + -6)/(-3))/29*5711. Let u = b - 197. Which is bigger: -1 or u?
u
Let g be (11/2)/11*(827 - 5). Which is greater: g or 413?
413
Let i = 4 - 6. Let p = -2107 - -23169/11. Is i less than p?
True
Let c = -5.181 + 5.1. Let w = c - -0.081. Which is smaller: 7 or w?
w
Let a = 90360 - 900381/10. Let r = -321 + a. Which is greater: r or 0?
r
Let t be -4 + 4 - 29196/(-33). Let v = t - 884. Is v > 2?
False
Let k be 36/(-8) - (-2 - (-7)/2). Let m be 4/k*(-12)/8. Which is greater: m or -3/43?
m
Let k = -21.8 - -2.1. Let g = 20 + k. Do -2/23 and g have the same value?
False
Suppose -j + 6*j = 2*q - 10, 5*q - 5*j - 55 = 0. Let u be 36/(-24)*(-4)/q. Does u = -3?
False
Let u = -1240.87 + 1239. Is 0 less than u?
False
Let x = 1133 - 1155. Is -15 less than x?
False
Let m = -70 - -82. Which is smaller: m or 15?
m
Suppose -44 = 4*y - 8*y. Suppose -1 = -3*t + y. Let k be t/3*6/28. Which is bigger: 1 or k?
1
Let j(l) = -l - 13. Let a be j(-12). Let i be (1/2)/(a/(-10)). Suppose 5*x - 5*t - i = 0, 4*t + 8 = -0*t. Which is bigger: 2/5 or x?
2/5
Let t(d) = -10*d**2 + 53*d. Let j be t(6). Which is bigger: -3/8 or j?
-3/8
Let o be (-80)/42 + -8*17/(-102). Let p = -0.3 - 0.2. Let b = p - -0.2. Is o > b?
False
Let l = -11 + 13. Let n be 0 + l + -2 + 2. Let k(h) = h - 2. Let r be k(4). Is n at least r?
True
Let z be -61*8/(-6)*-57. Let l = -458968/99 - z. Is -1 <= l?
True
Suppose -45 = -k + 9. Which is smaller: 52 or k?
52
Suppose -4*h + 8*h = -196. Is h less than or equal to 1?
True
Suppose -d = -4, 4*d = k + 2*k - 959. Suppose 5*z - k = -0*z. Suppose -z = -5*q - 3*a, -3*q - 5*a = -6*q + 5. Is 10 greater than or equal to q?
True
Let m = -14.13 + 0.13. Let h = m + 14.12. Do h and -2/7 have the same value?
False
Let y = -1/407 - 1615/5291. Let v be (-2 + 0 - 1) + 3. Suppose -13 = -i + 4*t, 0*i + i + t + 2 = v. Is i at most y?
False
Suppose -2*k + 23 - 13 = j, 2*k = 3*j + 10. Which is bigger: -1/230 or j?
j
Let b(i) = -i**2 + 14. Let a be b(0). Let x be (a/35)/(27/(-30)). Is x equal to -1?
False
Let l = 20 - 19.33. Let u = 1.83 + l. Which is bigger: u or -3?
u
Let d be 1 + ((-44028)/(-615))/((-222)/3). Let x = d - -3/185. Which is greate