 + 5*t - 260 = 11*z. Suppose 5*y - 5*l - 305 = 0, 0 = -2*l - 8. Let u = y - z. Is u less than or equal to 1/4?
False
Let j(h) = 3 - 49*h**2 - 5*h + h + 47*h**2. Let d be j(2). Suppose -4*g - 40 = -c - 3*c, 0 = 3*g - 2*c + 32. Which is bigger: d or g?
g
Let t = 1684/3045 - 4/203. Let s = 255 + -153. Let p = s + -101. Is t at most as big as p?
True
Suppose -2887 = -5*d - 4*i, 6*d + 4*i = 4*d + 1162. Let h = -27031/47 + d. Which is smaller: h or -1?
-1
Let s = 3377 + -3377. Is -41 equal to s?
False
Let y(o) = -10*o**2 - o**3 - 4*o - 5*o**2 + 39 + 2*o**3 + 41. Let q be y(15). Let t(j) = -j**3 - j + 21. Let k be t(0). Are k and q non-equal?
True
Suppose -3*s = 4*p - 11 - 37, 2*s = 0. Let l(u) = -2*u + 112. Let y be l(-4). Suppose -9*n + y = 6*n. Is n > p?
False
Let y(s) = s**3 + 5*s**2 - 7*s - 2. Suppose 5*q - 4*q = -6. Let c be y(q). Suppose -5*w + 43 = 4*x, 4*w = w - c*x + 29. Which is smaller: 10 or w?
w
Let y = -1.9496 - 0.0504. Let s be (15/(-10) + 0)*(-4)/21. Which is greater: y or s?
s
Let f = -0.7259 + -0.0741. Let z = -6 + 6.6. Let p = z + f. Which is bigger: -0.07 or p?
-0.07
Let x = -24927 + 224339/9. Let v = 367 + -5507/15. Which is smaller: x or v?
x
Let y = -25.4 + 27.8. Let p = 2.2 - y. Is 8 at most as big as p?
False
Let i be (5/2)/(2/(-12)). Let p be (-83116)/198 - ((-60)/(-27) - 2). Let m = p + 406. Do i and m have different values?
True
Let w = -0.0425 + 0.03. Let q = -115.9875 + w. Is -2/3 >= q?
True
Let q be 81/(-12)*208/(-156)*2/(-114). Is 105 at most as big as q?
False
Let k = 42 + -36. Let f(l) = l + 16. Let v be f(-3). Suppose -v = -4*d + 7. Which is smaller: k or d?
d
Let d = 19.924 - -0.076. Let b = -18.8 + d. Which is smaller: b or 1/5?
1/5
Let d be (2 - 17)/(-3) + -2. Suppose 0 = -g - 5*h - 9, -7*g + d*g = h - 2. Let v be 140/(-14) - g/(1/(-4)). Which is bigger: v or -12?
v
Suppose -3*y + 228 = -0*y. Let h(n) = -n**2 + 3*n + 43. Let a be h(-5). Suppose c + 0*b = 2*b + 75, -4*c + 300 = a*b. Is c at most y?
True
Suppose 3*f = 2*s - 80, -4*f + 4*s - 57 = 47. Let q be 81/f*-2*(122 - 124). Which is greater: -13 or q?
q
Let j = 14 - -15. Suppose j = 3*m + 110. Which is bigger: -137/5 or m?
m
Let h = -3639 - -3640. Are h and -43.7 equal?
False
Let y = 335107/74169 - -1/2747. Let o = 34/439 + -598358/130383. Let q = y + o. Which is bigger: -1 or q?
q
Let g(u) = -u**3 + 23*u**2 - 69*u - 60. Let l be g(19). Let p = 89 + -18. Is l greater than or equal to p?
True
Suppose -18 = -4*g - 2*z, -98 = 4*z - 94. Which is smaller: g or 208/59?
208/59
Suppose -1197 = 120*s - 253*s. Which is smaller: s or 114?
s
Let w = -327 - -322. Let p be 4/(-10) + ((-3003)/w)/(-11). Is p not equal to -52?
True
Let w = 29622/17 + -1740. Let l(y) = -y**2 + 11*y - 17. Let c be l(9). Are c and w equal?
False
Suppose -17*y = -2*r - 16*y - 2062, -3*r - 2*y = 3107. Is -1030 greater than or equal to r?
True
Let s = 415 + -1243/3. Let h = -5 + 11. Let v = -12 + h. Which is smaller: s or v?
v
Suppose -143 = 368*k + 294 - 69. Are k and 2/51287 equal?
False
Let u be (-2)/8 + (-1)/(-4). Let f = -18239742/127 - -143620. Is f bigger than u?
False
Let x = 30657/76655 + 1/15331. Is x < 8584?
True
Let j be 2/12*(10 + -8)*-3. Suppose 0 = 3*o + 25 + 5. Let f be (-18)/o + (2 - 4). Which is bigger: j or f?
f
Let s = -2.7 - -3. Let z = -20.6884 + -0.0116. Let a = -21 - z. Which is greater: a or s?
s
Suppose 0 = -3*l + 2*f + 7, 10*f - 8*f - 18 = -2*l. Suppose -l*m - 317 = 3*b, 5*m - 5*b + 261 = m. Let s be (m/12 + -3)*(-6)/5. Is s bigger than 39/4?
True
Suppose 78 = -15*x + 237 + 186. Let l = -2 + 1. Which is greater: l or x?
x
Let v be ((-41120)/(-1788) + -23)/(-27). Is -1 greater than or equal to v?
False
Let o be ((-8)/(-10))/((-2)/8). Let b be (-55)/(-10) - (-4)/(-32)*4. Suppose -b*i + 2*d = -3 - 6, -8 = -4*i + 2*d. Is o equal to i?
False
Let s be 90/(-27)*((-5202)/(-340))/((-6)/10). Which is smaller: s or 37?
37
Let g = -2151 + 2090. Which is smaller: -684/11 or g?
-684/11
Let o(x) = x - 7. Let f be o(5). Let y be (-91364)/(-1260) - ((-14)/18 + 1). Let z = -377/5 + y. Which is smaller: z or f?
z
Suppose 5*k - 95 = 24*k. Let z be (-54)/(-6) + (-453)/k. Which is greater: 100 or z?
100
Suppose -12*y + 1016 = -1002 + 194. Which is smaller: -3 or y?
-3
Let o = -257300/32421 + 852/107. Do o and -1 have different values?
True
Let o be (357897/15)/(40/6*3). Let d = 1193 - o. Is 0 less than or equal to d?
True
Suppose 2*q - 7 - 1 = 0. Let w be q + (-98)/12 - (-3 - 0). Let j = -29/30 - w. Which is smaller: 1 or j?
j
Let o = 78/493 + -229195/5916. Which is bigger: -38 or o?
-38
Let a be (80/(-32))/((-2)/8*(-15)/(-189)). Which is greater: a or 134?
134
Let w = 344/839 - -977183/25170. Let o = w - 197/5. Which is smaller: o or 0?
o
Let j be (-4)/2 + (-4 + 4)/(-5). Let n be (1/2)/((-136)/928). Is j smaller than n?
False
Suppose 3*r + 2*t = 7, -5*r - 387*t = -390*t + 1. Which is smaller: r or -4821?
-4821
Let w = -986 - -994.53. Let h = w + 499.47. Is h <= 1?
False
Suppose 0 = -4*h + 3*c + 14 + 205, 5*h - 265 = 2*c. Suppose -h = -4*f - 55. Which is bigger: -9/22 or f?
-9/22
Suppose 0 = -14*u + 2607 + 529. Let y = u - 203. Which is bigger: y or -5?
y
Let g = 958483/82 - 11689. Let p = g + 1273/5166. Do -1 and p have the same value?
False
Let w(a) = -8*a**3 - 20*a**2 - a - 156. Let h be w(-17). Let v be h/(-264) + (0 - 3/(-24)). Are -126 and v non-equal?
True
Let t(g) = 185*g + 12185. Let h be t(-67). Which is smaller: -24 or h?
h
Let b(s) be the first derivative of s**3/3 - 6*s**2 + 27*s - 63. Let m be b(8). Which is bigger: -9 or m?
m
Let u be (-30 - -30)*(2 + -4 + 3). Which is bigger: u or -13/187?
u
Let b = -15071 - -16903. Which is smaller: b or 1833?
b
Suppose -4*p + 207 - 195 = 0, -2*z - 4*p + 14 = 0. Is -3/670 not equal to z?
True
Let s = 3.8357 + -4.5157. Let r be (1/(-3))/((-2)/6). Which is smaller: s or r?
s
Suppose -238*a - 101921 = 90621. Is 2 greater than or equal to a?
True
Suppose -4*a = y - 542 + 2326, 3*y = 5*a - 5369. Is -1787 > y?
True
Let k = -180416 + 717903/4. Which is smaller: -939 or k?
k
Let c(g) = g**3 + 0*g - 47*g**2 + g + 4 + 48*g**2. Let o be c(0). Let b be 10*(-1)/2*o. Which is greater: -62/3 or b?
b
Suppose 5*n - 124*f = -131*f + 19, 8 = 2*n + 3*f. Let d(y) = -y**2 - 3*y + 1. Let h be d(-4). Let b be 52/(-54) + (-3)/h. Which is greater: n or b?
n
Let w(l) be the second derivative of -l**3/6 + 6*l**2 + 2*l. Let o be w(7). Suppose 4*u + 3*q = 10, 4*q + 2 - o = 5*u. Which is smaller: -2/69 or u?
-2/69
Suppose -f - f + 4 = k, -5*k + 5*f - 10 = 0. Let q be (k/2 - -3 - 3)/1. Let s be -3 + -1 - (-5 - q). Do 6 and s have the same value?
False
Let g = 485 + -37829/78. Let o(d) = d**3 + 16*d**2 - 4*d + 35. Let x be o(-16). Let f = x + -100. Which is greater: f or g?
g
Let z = -87808 + 608113/7. Which is bigger: z or -934?
-934
Let w = -1.65 + 1.01. Let a = w - -0.44. Which is bigger: 83 or a?
83
Suppose -k + 3 = 4, 0 = -5*x - 3*k + 22. Let j(h) = 15*h - 43 + x*h - 16*h. Let y be j(13). Which is smaller: y or 4?
4
Let y = -656.7 + 640.7. Is y > 1.24?
False
Let k = -0.535 - -60.535. Which is smaller: k or -0.02?
-0.02
Let d be (-3)/(-1)*3100/(-30). Let t = d - -2171/7. Which is smaller: t or -1?
-1
Let f be 60/390 + (-41)/13 - -15. Let t(m) = m**3 + 5*m**2 - m - 1. Let a be t(-5). Let w(s) = s**2 - 5. Let z be w(a). Which is bigger: z or f?
f
Let r(i) = 715*i**2 - 127*i. Let m be r(1). Does m = -0.3?
False
Let f = -10.75 + -0.37. Let v = f + 0.12. Let a = v + 11.2. Is -8 equal to a?
False
Let d = -2/35 - -92/385. Let r(p) = 14*p**2 - 351*p + 25. Let t be r(25). Which is smaller: d or t?
t
Suppose -16 + 4 = -q + p, -5*q + 3*p = -66. Suppose -15*o - q = -10*o. Do -25/9 and o have the same value?
False
Let z = -336621/8155 - -1427/35. Which is smaller: z or 0?
z
Let k be (-788)/(-132) - 4 - 2. Let i = 3.486 + -5.486. Which is smaller: i or k?
i
Let i be 1 + -2 + 54060003/(-120). Let o = -450530 - i. Let f = -29 - o. Which is greater: f or 0?
0
Let c = 15408767/785 - 19629. Suppose -5*k = -5*f - 30, -5*f + k = -7*f + 3. Which is bigger: c or f?
c
Suppose 0 = -v - 2*b + 762, 5*b = -38*v + 41*v - 2352. Is v > 773?
True
Let p be -17 - 2464/(-63) - 19. Which is smaller: p or 3?
3
Let m = 0.1391 + -72.8391. Let w = m + 71.7. Which is bigger: 6.2 or w?
6.2
Let i be (-2)/14 -