9*u - 49*u - 45. Let j be 0 + (-1)/(8/(-75)). Which is smaller: u or j?
u
Let y = -0.094 - -0.154. Let x = 0.042 - y. Let u = x + -0.082. Which is smaller: u or 42?
u
Let d be ((-1)/(-3))/((-4)/64). Let l be (10/(-4))/(11/22). Do l and d have the same value?
False
Let z be -6*(-7)/210 - 18463/(-185). Do 11 and z have different values?
True
Let l = 0.1744 + -1.1744. Are 3147 and l equal?
False
Suppose 169*s + 215 = 913 + 654. Is s greater than 2?
True
Let f be (-745)/(-130) - 30/5. Let n = 10/13 + f. Is 1/84 <= n?
True
Suppose 0 = 3*q + 4 - 1. Let s = -749/12 + 288371/4620. Which is greater: q or s?
s
Let q = 10 - 8. Suppose -n = 2*t - 14, -q*n + n = -4. Let h be (t - 3) + (-8)/6. Which is smaller: h or 0?
0
Let v be 3/(-6) - 2/4. Let r(g) = -71*g - 39. Let l be r(4). Let x = -325 - l. Which is smaller: v or x?
x
Suppose j + 731 = -5*i, 481*j - 486*j - 2*i = 3655. Which is smaller: j or -729?
j
Let l = -261/224 - -291/32. Which is smaller: l or 7?
7
Let g = -24 + -3. Let n = -27 - g. Suppose -c + 6 - 4 = n. Is -4 < c?
True
Let d be 376*445/1540 - (-2)/(-7). Is 108 greater than or equal to d?
False
Suppose -5872*g + 5856*g = 16. Let x be (-2)/(-6) + (-1)/11. Which is smaller: x or g?
g
Let u be (2/(-10) - (4/30 + -1))/(-1). Which is bigger: u or -94?
u
Let t = -4021 + 4031. Which is bigger: t or -8/85?
t
Let h be 2/(2 + (-168084)/63007) + 3 + 0. Which is greater: h or 0?
h
Let q = 51/1702 - -1/74. Let w = -0.99513 + -0.00487. Is q greater than or equal to w?
True
Let i(o) = 2*o**3 - 9*o**2 + 4*o + 2. Let z(y) = 4*y**3 - 19*y**2 + 9*y + 5. Let w(u) = -7*i(u) + 3*z(u). Let d be w(3). Which is smaller: d or -23?
-23
Suppose 3*y - 2*y = -0*y, -4*y + 3*y = -r. Which is smaller: r or -4/1965?
-4/1965
Let r = -39492 + 24781. Which is bigger: -14710 or r?
-14710
Let a = 115 - 112. Let p be ((-12)/a + 9)*(14 + 1). Let g = p + -376/5. Is 1/7 not equal to g?
True
Let k(r) = 4*r**3 + 3*r**2 - 1. Let q be k(-1). Let b be 8/((-32)/(-30))*(16 + q). Is 105 < b?
False
Let v = 12.6 - -46.4. Let r = v - 58.88. Which is bigger: 3 or r?
3
Let v be (-2)/(8/(-122))*1764/(-42). Is v equal to -1279?
False
Let u be -23 + -21 - (52/(-13) - (2 - 2)). Which is greater: u or 61?
61
Let l(g) = 4*g**2 - 3*g - 4. Let p be l(6). Let a be (5 - -585)/(-5) - 5. Let j = a + p. Is j greater than -2/9?
False
Let i = 206.819 - 207. Let a = i + 0.281. Let s = 6 + -9. Is a < s?
False
Let d(f) = f + 1. Let w be d(4). Let y = 85 - 83. Suppose -w*j + 5 + 5 = s, s - y*j = 10. Which is smaller: 6 or s?
6
Suppose 24*k - 36*k - 288 = 0. Let z(t) = -t**3 - 10*t**2 + 28*t + 28. Let d be z(-12). Is d less than or equal to k?
False
Let k be (-1 - -10) + (-45 - -40). Suppose r - g = 0, -2*r + k*g - 10 = -3*r. Is r less than or equal to -1?
False
Let j = -7/806 - 9/62. Which is bigger: -27 or j?
j
Let p = -4 - -10. Let o = 151 - 153. Let k(g) = -20*g - 33. Let n be k(o). Is p at most n?
True
Let z = -7833 + 7825. Suppose -2*q + 5*q = -12. Is q greater than z?
True
Suppose -690*l = -686*l + 40. Let w be l/(-95) + 93/19 + -5. Are w and -74 equal?
False
Suppose -681*s = 658*s - 1321*s + 2736. Which is greater: s or -227?
s
Let c(o) = -o**2 + 12*o + 28. Let k be c(18). Let y = k - -44. Let u be 18*(-1 + y/(-28)). Is 6 at least as big as u?
True
Let y be 14/(-84) + 158/12. Let c be (15 + -14)*((-2 - -4) + -2). Let n(a) = a**3 + a**2 - 4*a + 12. Let o be n(c). Is y >= o?
True
Let k be 20/16 - 27/(-4). Let t = -11 + 10.92. Let r = -0.48 - t. Is r <= k?
True
Let z be (-1998)/(-72)*(-18)/(-1917). Is z at most -1?
False
Let q = -3438 - -3438.11. Which is greater: -45 or q?
q
Let u(i) = i**2 + 33*i + 431. Let p be u(-39). Is p equal to -7?
False
Suppose -q - 8 = q. Let y be -8 + q + 13 - (69 - -1). Which is smaller: -0.2 or y?
y
Let b = 151 - 167. Let n be (-15)/12 - 4/b. Which is smaller: 0 or n?
n
Let v(o) = 24*o - 65. Let s be v(3). Is s >= -2/455?
True
Let l = -2240 - -2240.198. Is 9 > l?
True
Let z = -1909 + 1909.2. Suppose 10*b = 7*b + 48. Which is bigger: z or b?
b
Let j = -52 - 72. Let h be 1/(-2) - j/(-8). Let c be h/(-80) + (-17)/135. Which is smaller: c or 1?
c
Suppose 2*h + 3430 = -h + 5*z, 4*h = 3*z - 4555. Which is smaller: h or -1132?
h
Let g be (-1 - 1790/(-4))/(393/786). Do 887 and g have the same value?
False
Let d = -140 + 72. Let w = 162 - 686/3. Is d at most as big as w?
True
Let l(f) = -f**2 + 2*f - 3. Let o be l(-4). Let s be 14085/o + (-4)/(-6). Let j = 2095/4 + s. Which is smaller: 3 or j?
j
Let r(m) = 9*m**3 + m. Let a be r(1). Let h = a + -17. Let x = -273 + 270. Which is bigger: h or x?
x
Let h = -12 - 17. Let i = 2507 - 2510. Are i and h unequal?
True
Let s = 0.07624 - -2.92376. Which is smaller: s or 5.4?
s
Let c be (-8 + (-250)/(-30) - (-4)/(-3))*-345. Which is smaller: 348 or c?
c
Suppose -30*d + 4 = -28*d, -3*b - 16 = -2*d. Suppose 4*c + 3 = 11. Which is bigger: b or c?
c
Suppose 497*c - 246*c = 239*c - 1260. Is -94 > c?
True
Let f = -7734 + 7722. Which is smaller: 1/106 or f?
f
Suppose 77 = 8*u - 475. Suppose -i + 62 - u = 0. Let v(x) = 3*x**2 + 15*x + 10. Let g be v(i). Which is bigger: 54 or g?
54
Let v = 58621/3015 + -26/603. Is v equal to 31?
False
Let x be 11202/51867 + ((-1040)/144 - -7). Is 1 > x?
True
Let y = -612 - -610. Suppose 19*u = 4*v + 21*u - 58, -2*u + 7 = v. Is y >= v?
False
Let q(x) = 91*x + 121. Let f be q(52). Is f at most as big as 4853?
True
Let y = 1689 + -770. Let i = 530 - y. Are 0 and i equal?
False
Let p be (-2)/4*-2 - 2. Let u be -21*(25/175 - (1 - 0)). Suppose 0 = 18*o - 12*o + u. Which is greater: p or o?
p
Suppose -26 - 14 = 5*p. Suppose -33865 = 38*v - 33789. Are v and p equal?
False
Let j = -0.08 - 0.19. Let i = -37.27 - j. Let r = -10 - i. Is -1 less than or equal to r?
True
Suppose -5*d = -9*d + 16. Let x(v) = v**2 - v - 11. Let z be x(d). Let r be 2/(-36)*-3*z. Which is smaller: -1 or r?
-1
Let a = 0.021 - 257.021. Is -2/9 > a?
True
Let q = -96 + 997. Is -3 at least as big as q?
False
Let l = -0.00646 - 622.99354. Which is smaller: -0.1 or l?
l
Let x = 1.0346 - 1.03. Is -2/15 at most x?
True
Let t(q) = q**3 - 16*q**2 - 23*q + 153. Let p be t(16). Suppose -3*w + 325 - 101 = -c, 0 = c + 2*w + 209. Is p smaller than c?
False
Let w(z) = -35*z**3 + z**2 - 2*z + 1. Let x be w(1). Suppose -3*k - q - 53 = -9, -k - 11 = 4*q. Let g be ((-110)/k)/((-12)/54). Is g equal to x?
False
Let p = -1.94 - 35.06. Let g = 36.1 + p. Which is smaller: 0.16 or g?
g
Suppose -11 = -b + 4*w, -4*b + 6 + 19 = 3*w. Let t = b - 11. Let x be (-43)/(516/240) - -15 - (15/18)/(-5). Which is bigger: t or x?
t
Suppose 5 = 4*q + 3*h, 3*q - 3*h - 10 = h. Suppose 2*c - 2*f + 22 = 0, -q*c + f - 21 = -0*c. Let p be 2 + 35/c + (-1)/(-2). Which is smaller: 2/283 or p?
p
Let j be 8 - 4/(12/9). Let b = j - -13. Let p = -19 + b. Is p < -1/8?
True
Let i be 39020/10855*(-12)/(-11). Let y = -3/1837 - i. Let k = y - -49/39. Is -3 less than k?
True
Let x = 450 + -496.9. Let f = -3.9 - x. Let m = -41 + f. Which is smaller: 15 or m?
m
Let c(j) be the first derivative of 13 + j - 1/3*j**3 + 1/4*j**4 - 7/2*j**2. Let s be c(3). Is s > -7/9?
False
Suppose -305*v - 255*v = 41440. Which is bigger: v or -67?
-67
Let w(p) = -3*p - 36. Let f be w(-10). Let o be 24/(-8) - (-2)/(f/(-155)). Let u = 48 - o. Is u less than 15/2?
True
Suppose 0*m = m + 3, 0 = -q + 4*m - 315. Let d = q + 3593/11. Let c = -41 - -40. Which is smaller: c or d?
c
Let r = -19861 - -19860.969. Which is smaller: r or -5?
-5
Let n = -74 + 125. Let j = n + -50.969. Let r = -0.469 - j. Which is greater: r or 2?
2
Let o(p) = -p**2 - 3*p + 5. Let r be o(-4). Let y = 3137/10626 + 47/759. Is r >= y?
True
Suppose 2*g + 1431 = -2852 + 637. Do g and -1822 have the same value?
False
Let h = 36 + -31. Let l = h - -520. Let o be 220/l - 8/28. Which is bigger: o or 0?
o
Let v = 45 - 45. Suppose 5*c - 4*d = -v*c + 204, -c - 5*d + 64 = 0. Let x = -51 + c. Which is bigger: 0 or x?
0
Let k be 6/4*(-27 + -9). Is -274/5 smaller than k?
True
Suppose -145 = -5*x - 45. Suppose 70*o - 32 = 66*o. Suppose 0 = l, -o*q + 3*q = 5*l - x. Is q < 3?
False
Let m be (-17)/(2431/(-22)) - (-190)/455. Does 34 = m?
False
Let b = 32877082421811/25591198 - 222253641/173. Let j = b - 1/3998. Is j not equal to -1?
True
Let g = 679 - 468. Suppose 3*j + g = 22. Let w = 528 