00 = -2*j, -2*s = -3*j + 750. Suppose 0 = 5*k + j - 725. Suppose -y + k = 4*y. Are 18 and y nonequal?
True
Let y = -213515 - -213515. Let x = -108 - -1402/13. Which is smaller: x or y?
x
Let t = 160 + -56. Let a be -1 + 4 + (-299)/t. Is -60 at most a?
True
Let w(j) = 3*j**2 - 8*j - 10. Let a be w(5). Suppose 4*l = -l + a. Let x be 429/88 + (-1)/(-8). Is l less than or equal to x?
True
Let h = 387647452 - 58535228069/151. Let c = h + 3065. Is c at least -1?
True
Let z = 1354 + -1749.1. Let j = z - -395. Which is bigger: j or 19?
19
Suppose -7*d + 51 = -4*d. Let m = d - 12. Suppose 0 = 3*w - 2*w - m. Is w at least as big as 4?
True
Let t be -3 + 6/4*7612/66. Is t < 55?
False
Suppose 3*s - 5*s = k - 3, 4*k - 15 = -5*s. Is 876 <= s?
False
Suppose g + 8 = -5*w - 55, -3*g - 45 = 3*w. Let t be (w/15)/(-2 - -4). Which is smaller: t or -17?
-17
Let b be (-11)/2 - -1 - 1. Let f(i) = 25*i + 1794. Let p be f(-72). Is p at most b?
True
Let i = -10531 - -10409. Let n = 0 + 0. Which is bigger: n or i?
n
Suppose -h + 3*h = -5*v - 64, -3*h + 42 = -4*v. Let n be ((-110)/44)/((-2)/v). Is -17 less than or equal to n?
True
Let u = 908 + -950. Let s be (-1818)/u - (4 + (-26)/7). Which is greater: s or 42?
s
Let c(n) = n**3 + n**2 + 2*n + 4. Let o be c(3). Let y = 76 - o. Suppose 5*r - 2*h - 223 = 0, -4*h + y = -2*r + 132. Does 43 = r?
True
Let y(o) = -12*o**2 + 62*o + 206. Let l be y(-4). Which is greater: l or -230?
-230
Let q = 4002.1 + -4002. Which is smaller: q or -2/24619?
-2/24619
Let p(w) = -w**3 - 33*w**2 - 269*w - 60. Let l be p(-19). Is l smaller than -2/387?
True
Let g be 105/14*12/(-5). Let d = 136 + -51. Let f = d + -104. Are g and f equal?
False
Suppose 0 = -s - 5*z + 20, -3*s + 15 = -5*z - 25. Let w be 326/(-10) + (-6)/s. Let d be 11/w - (8/(-6))/1. Is d < -1/188?
False
Let r(f) = -f**3 - 51*f**2 + 60*f + 221. Let s be r(-52). Suppose -i = -v + 3*v + 388, 4 = i. Which is smaller: s or v?
v
Let v = 36 + -59. Let o = 539 - 528. Let q = o + v. Is q bigger than -2?
False
Let v = 9022 - 9038. Which is greater: 5/41 or v?
5/41
Let y = -24.9 - -49.6. Let k = -25 + y. Let a = k + 0.5. Which is greater: -16 or a?
a
Let d be 19950/2489 - (0 + 8). Let g be (-2*1/(-2))/(-1). Which is bigger: d or g?
d
Let b(h) = h**2 + 13*h + 8. Let j be b(-6). Suppose -r + 1 = -5*p, 0 = 4*p - 3*r + 5*r - 2. Suppose -5*g - 5*l = -3*l + 180, 3*l + 15 = p. Is g >= j?
True
Suppose -230*g + 10777 = -232*g + 5*h, 0 = -g - 2*h - 5411. Is g greater than -5401?
False
Let i(j) = 49*j - 69. Let d be i(5). Let q = d + -311. Are q and -136 unequal?
True
Let f(v) = -v**3 + 19*v**2 - 40*v + 28. Let x be f(18). Let c = 88 + x. Are -279 and c non-equal?
True
Let b = 37250.068 + -37250. Is -2/19 less than or equal to b?
True
Let k be (-1)/(10/4) - 1936/(-40). Let j be 372/14 - k/84. Do 230/9 and j have the same value?
False
Let w = 14708 + -20051. Which is bigger: w or -5340?
-5340
Let r = -192.59 - -191.59. Which is smaller: r or -689/17?
-689/17
Let c = 1.08 - 0.88. Is -949 at least c?
False
Suppose 4*x - 2*d = -7198, -5*x - 3*d - 11389 = -2408. Which is smaller: -1808 or x?
-1808
Let d = 329 - 671/2. Is d at least -2/57?
False
Let m = 0.5 - 0.4. Let x = -2/305 - 596/2135. Which is smaller: m or x?
x
Let l = -10471/5 - -125477/60. Is l greater than 0.1?
False
Let d = 7 + -7.5. Let m = -27 + 285. Let q = m - 259. Is q bigger than d?
False
Let w(o) = -147*o + 144. Let y be w(0). Are y and 145 nonequal?
True
Suppose 0 = -3*f - 11*f - 490. Let k be ((-39)/f)/(2/10). Which is smaller: k or 5?
5
Let s be 12/27 + -7 + 44/(-18) + 10. Is -8/153 < s?
True
Let f(j) = j**2 + 316*j - 3596. Let x be f(11). Do x and 66/229 have different values?
True
Let y(g) = -3*g**2 + 119*g + 880. Let q be y(46). Let b = -3 - -7. Which is smaller: q or b?
b
Suppose -f - 9 = 5*o, 184 = -11*o - f + 157. Let r = 34807565601/17341511 + -2/1576501. Let y = -2011 + r. Which is smaller: o or y?
y
Let w = -16767799/313 + 53571. Which is greater: w or 0?
0
Let u = -15231 - -15247. Which is smaller: u or -2/677?
-2/677
Suppose -4*k = -3*x - 40, -5*x + 10 = k - 0*k. Let j be (-82)/4 - (-5)/k. Let f(g) = 157*g + 2963. Let p be f(-19). Is p >= j?
True
Suppose -27*s - 2829 = -885. Is s != -95?
True
Suppose 5*y - 253 = 152. Suppose -2*q = q - y. Let z = q + -15. Which is smaller: -1 or z?
-1
Let k = -2.473 + 0.563. Let o = k + 5.91. Is 25 < o?
False
Let l = -2843.05 - -2843. Is -146 equal to l?
False
Let h be (-20553)/6 + 185/(-74). Which is smaller: -3429 or h?
-3429
Let y = -32995 - -32995.1. Which is greater: -4040 or y?
y
Let t(q) = q**3 + 22*q**2 - 50*q - 32. Let x be t(-24). Suppose -5*m = -h - x, -5*h = -3*h - 2*m. Let n be 0 + (1 + -13)/h. Which is greater: n or -4?
n
Suppose -10*g = -21*g + 9*g - 158. Let z = -4 + 5. Do z and g have different values?
True
Let u = -0.0562 - -294.0562. Let w = -22/45 - -4/45. Which is greater: w or u?
u
Let k = -31 - 1. Let i = -234281/7 + 33469. Is k at least as big as i?
False
Let s = 0.89 - 62.89. Let x = s - -72. Let h = 0.7 + -0.4. Which is greater: x or h?
x
Let l(m) = -m**2 - 21*m + 18. Let a be l(-17). Let s be a - (11 + 28/(-7)). Are 77 and s non-equal?
True
Let z = 10864 - 6575. Is z at least as big as 4289?
True
Let g be ((-3)/(-9))/(4/(-8)). Suppose 5*o - 2*k = -7*k + 30, o + 5*k - 10 = 0. Let x be 2/5 + (-26)/o + 0. Are x and g equal?
False
Suppose 4*f = -24 + 28. Let k(g) = -28*g. Let l be k(f). Let n be (l/(-6))/(24/36). Are n and 23/3 equal?
False
Let b = 3 + -2. Let j = 190945 + -157338721/824. Let m = j + 18/103. Which is greater: m or b?
b
Suppose -l + 3*y = 1, -4*l - 4*y = -0*l + 36. Let d be l/(-42)*-21*8. Is -86/3 equal to d?
False
Let y = -461 + 958. Let d = y - 294. Is 203 at most as big as d?
True
Let x be 204 + -220 + (-17564)/(-1098). Let m be 1 - 3/(6 - 3). Which is greater: m or x?
m
Suppose -2*b + 215 = -3*s, 0 = 2*b + 3*s + 262 - 471. Is 1366/13 smaller than b?
True
Let m be (-103)/(-1442)*4168/1. Is m < 299?
True
Let w = -4541928/1859 - -26880/11. Which is greater: w or -1?
w
Let g be 1256/(-12)*(-42)/28. Which is smaller: -0.4 or g?
-0.4
Let s = -709 - -709.05. Which is smaller: -598 or s?
-598
Let v = 14799 + -14837. Which is greater: v or 17?
17
Let t = 223 + -220. Suppose 4*v - 5*b - 13 = 8*v, -3*v - t = -3*b. Is v <= -16/11?
True
Let p(v) = -13*v + 35. Let u be p(3). Let j be (u/2)/(5 - 12/2). Let k = 52168/39 + -4006/3. Is j at least k?
False
Suppose 0*t - 165 = 5*t. Suppose 0 = 1006*b - 1005*b + 32. Which is smaller: b or t?
t
Let m(x) = -12*x**2 + 16*x - 5. Let h be m(5). Suppose n + 152 = -8. Let j = n - h. Which is bigger: j or 66?
66
Suppose -6*y + 65*l = 61*l - 30256, 4*l + 20168 = 4*y. Which is greater: y or 0?
y
Let b(t) = -t. Let i(q) = -3*q - 35. Let l(k) = b(k) - i(k). Let y be l(-18). Is -2 less than y?
True
Let p(n) = -n + 22. Let y be p(7). Suppose y = 4*d + d. Suppose -d*c - 15 = -3*q, 2*q + 2*c - 7 = c. Which is bigger: 50/11 or q?
50/11
Let f = -25 - -23. Let d be 448/(-74) - 12/f. Which is greater: d or 0?
0
Let o(z) = -z**2 - 7*z - 21. Let g be o(7). Let f be 1224/g - 4/2. Are f and -11 unequal?
True
Let r(k) = k**2 + 5*k - 2. Let a = 32 - 14. Let g be (a/21)/(-2)*-7 + -8. Let u be r(g). Which is bigger: u or -8/9?
-8/9
Let p = 168.858 + -1.258. Let b = -199.6 + p. Let v = 0.3 - 0.2. Which is smaller: b or v?
b
Suppose -151*z = -196*z - 13590. Let p be (-4222)/14 + 44/77. Is p at most as big as z?
False
Suppose -4*w + 0*w - 12 = 3*r, -2*r - 8 = -3*w. Suppose w*z - 14704 = 4*z. Let h = z - -194834/53. Which is bigger: 1 or h?
1
Let h(t) be the second derivative of t**3/3 + 4*t**2 + 79*t. Let s be h(-12). Which is bigger: -8 or s?
-8
Let x = 8842.2 + -8863. Which is smaller: x or -0.3?
x
Let m(a) = -6*a - 45. Let d be m(-22). Let o be 464/d*3/4. Let s = -19 - -15. Is o > s?
True
Let c be (8/(-12))/(2/3). Let m be 2/(-64)*120/12. Let d = -67/368 - m. Which is bigger: c or d?
d
Let u be (21/(-2))/(8/(-16)). Suppose -3*c + 2*h = -13, -2*h = -c + h - 5. Which is smaller: u or c?
c
Let l = -1129718/2871 - -4328/11. Let u be (-122)/3*(-7)/29. Let o = u + l. Which is bigger: o or 10?
10
Let b(z) = 0*z + 0*z - 2*z. Suppose 0 = -5*m + 11*d - 16*d + 15, 0 = 4*d - 12. Let a be b(m). Which is smaller: a or 3?
a
Let l = 118 + -8. Let c = -108.3 + l. 