+ 4. Let s be h(-7). Let w be (5/((-20)/s))/(-19). Let i = -2 + 2. Which is bigger: i or w?
i
Let n be (2/3)/((-4)/(-3)). Which is smaller: 356 or n?
n
Suppose 70 = 5*b - u - 59, 4*b = -u + 96. Let i be b/(-75) - -1*(-20)/(-6). Let y be 3*2/(-4)*-1. Which is smaller: y or i?
y
Suppose -5*t + 3*t = 0, -3*q = 4*t - 30. Suppose -3*d - 15*h = -14*h - 35, -3*h + 39 = 3*d. Is d at most as big as q?
False
Suppose -3*j - 15 = 0, -10 - 18 = -s + 5*j. Suppose 727 - 727 = 7*h. Which is smaller: s or h?
h
Suppose 12 = -5*m - 3, 3*z - 2*m - 18 = 0. Let q = -4 - -10. Let v be 3/q + 1 + 3. Which is greater: v or z?
v
Suppose -u = -2*h - 25, h - 4*u + u = -15. Let o = -9 - h. Suppose 1 = -o*j + 4. Which is bigger: -3/11 or j?
j
Let r = 451/134700 - 3/449. Is -1 < r?
True
Let y = 0.353 - 0.153. Let x = -0.05 - -2.05. Which is greater: y or x?
x
Suppose -19*h - 24 = 5*h. Is h less than or equal to 7/114?
True
Let c be ((-24)/124)/(6/(-15)). Which is greater: c or -1?
c
Let i = 0.168 + -40.168. Let t = i - -42. Let d = -3.2 - -3. Which is smaller: d or t?
d
Let c = -18766469/99645 + -2/33215. Is -189 less than or equal to c?
True
Let p be 3 - 1 - 14670/75. Let b = p + 193. Let h = -162/5 - -32. Which is bigger: h or b?
h
Let o(q) = 6*q**2 + 2*q + 1. Let i be o(-1). Let z(m) = 4 + 1 - 35*m**2 + 34*m**2 + 5*m. Let a be z(i). Is -2/3 at least a?
False
Let s(h) = -5*h + 24. Let p be s(4). Suppose -x + 3*x = p. Let w = -23/6 - -25/6. Which is smaller: w or x?
w
Let q = 71023/79 + -899. Is q not equal to 0?
True
Let x = -499 + 539. Is x < 55?
True
Let n = 1727/15 - 115. Suppose -3*x + 17 + 19 = -v, 0 = 3*x - 4*v - 36. Suppose 4*z = 1 + 7, 0 = -2*l - 5*z + x. Are l and n unequal?
True
Let b = 19.8 + -13.8. Which is smaller: b or -9?
-9
Let z = 153 - 153. Which is smaller: 2/79 or z?
z
Let z(q) = -2*q + 25. Let m(k) = k - 25. Let x(i) = 4*m(i) + 5*z(i). Let d be x(5). Does 2 = d?
False
Suppose -21 = -4*z + z. Let q(o) = -7*o - 9*o**2 + 2*o**2 - 2*o**2 + 3*o**2 + o**3. Let a be q(z). Is a bigger than -2/17?
True
Let q = -2557 + 378431/148. Let x = q + 565/296. Do 2 and x have the same value?
False
Let x be 2/4 - (-3)/6. Let j be 2*4/24 - x. Is 0 != j?
True
Let o(z) = z**2 + 39*z + 100. Let d be o(-28). Is -207 at most as big as d?
False
Let i(w) be the second derivative of -w**3 - 57*w**2/2 - 39*w. Let h be i(-8). Is h < -31/4?
True
Suppose 3*w + 279 = 12*w. Let s = 30 - w. Which is smaller: s or -2?
-2
Let n(s) = 11*s**2 - 8*s - 4. Let o be n(-2). Let w = -32 + o. Which is smaller: w or 23?
23
Suppose 3*a - 5*y = 3, 0 = -a + y - 4 + 5. Suppose -a = 2*x - 9. Let u be (x/(-5))/((-1)/5). Is u greater than or equal to 13/5?
True
Let c = -30.931 - 0.069. Let b = -33 - c. Let x = -5.6 - -6. Which is smaller: b or x?
b
Suppose a + 5*i = -3*a + 10, 4*a = -i + 18. Suppose -5*q - 4*h - 34 = 0, 3*q + 0*h = -a*h - 23. Let t = 31/3 - 10. Which is smaller: t or q?
q
Let c = -89/5 + 1429/80. Is c at least as big as -2/5?
True
Let z = -8.8 - 57.2. Let v = 64.5 + z. Does v = -0.3?
False
Let q be 55/(-2530)*-2*4. Which is bigger: q or -1?
q
Let k be 11/385*144 + (-9)/(-15). Is k equal to 4?
False
Suppose j = 166 - 143. Suppose 3*u - 3 - 6 = -4*n, -u - j = -3*n. Let r = 12 - 6. Is r bigger than n?
False
Let d = -0.35 + -0.37. Let t = 0.28 - d. Is 1 smaller than t?
False
Suppose 0 = 4*s + 8, r - 7*s + 3*s = 498. Do 0.1 and r have the same value?
False
Let j = 782 + -782. Does 2.39 = j?
False
Suppose -5*t - u = -2*u + 195, 4*u = -2*t - 56. Is t smaller than -36?
True
Let j(f) = -f**2 - 5*f + 10. Let k be j(-12). Let z be k/26 + -5*8/260. Is z < -2?
True
Suppose 5*k - 6*x + 4*x = 12, 5 = 2*k - x. Are k and 0.024 unequal?
True
Let n = -286 + 310. Is n less than or equal to 25?
True
Let q(f) = f**2 - 17*f + 17. Let c be q(16). Let o = -54 + 96. Let u be 2/7 + (-19)/o. Is u less than or equal to c?
True
Let w = -30 - -21. Let z = 49 + -33. Suppose -4*g + 2*g = z. Is w smaller than g?
True
Let g = 183 + -183. Do g and -1/137 have the same value?
False
Let j = 340 - 341. Which is smaller: j or -64/5?
-64/5
Let g = 233.2 + -233. Which is smaller: g or -4?
-4
Let k = 21 - 16. Suppose -2*b = k*g - 21, 4*g - 2*g = -4*b + 2. Which is greater: -4 or g?
g
Suppose -5666 = -23*i + 866. Is 284 not equal to i?
False
Let u be (1 + 10)*11/11. Suppose -43*a - u = -44*a. Are 10 and a equal?
False
Let r(f) = f**3 - 18*f**2 + 17*f - 1. Suppose 5*u + n - 64 = 22, -30 = -2*u + 4*n. Let w be r(u). Do -9/4 and w have different values?
True
Let j = -16 - -19. Suppose -2*r = -m + 38, -2*r - 3*r = j*m + 84. Which is bigger: -17 or r?
-17
Let h(m) = m**3 + 10*m**2 - m - 12. Let q be h(-10). Let w = -5 - q. Which is smaller: -2 or w?
w
Let h = 6.25 + -6.3. Is h at most 0.036?
True
Let m be 9/3 - (7 + -4). Suppose 0 = h + 2 - 14. Let k be (-16)/h*(-3)/2. Which is smaller: k or m?
m
Suppose 0 = 4*l - 382 - 22. Let w = 401/4 - l. Which is greater: w or -2?
w
Suppose -2080 = -11*v + 1462. Let y = v - 7729/24. Which is smaller: y or 0?
y
Let c = 44 - 25. Let f = 20 - c. Let o be (7 - 7)/(f/1). Which is greater: 5 or o?
5
Suppose 0 = -2*r + b - 325, -r + 3*b = 55 + 95. Which is greater: -2 or r?
-2
Suppose 0 = 40*b - 31*b - 2439. Is 272 < b?
False
Let u = -1020/79 - -875943/67861. Which is smaller: u or -1?
-1
Suppose -2*s + 4 = -0. Suppose 2*t - y + 0*y + 2 = 0, -3*t + 11 = s*y. Is t at most 2/147?
False
Let q be -2 + 50/3 + (-2)/3. Which is smaller: 19 or q?
q
Suppose 3*x - 4*z - 1946 = -0*z, -4*z = 5*x - 3286. Let y = x - 18962/29. Does y = 0?
False
Let c = -165/4 - -333/8. Let u be ((-6)/4)/(3/(-4)). Suppose 0 - 2 = u*g. Which is bigger: g or c?
c
Let f = -21 + 21. Suppose f = -4*p + 4*d - 140, 3*d = -5*p + 2*p - 135. Which is smaller: -41 or p?
-41
Let d(a) = -a**3 - 22*a**2 + 23*a - 5. Let m be d(-23). Let w be m/10*14*(0 - 1). Let p = -4 - -10. Is w less than or equal to p?
False
Suppose 2*k + 781 = 5*k + 4*n, 5*k - 3*n - 1350 = 0. Let q be (k/11)/(108/16). Let t = 42/11 - q. Is t < 1/2?
True
Let q = 60 - 88. Let n be -2 - ((-1 - 0)/((-12)/12) - -24). Are q and n non-equal?
True
Suppose -2*n + 3 = -19. Let t(o) = -o**2 + 15*o - 24. Let x be t(8). Suppose -x = -3*a + c, -2*c + 3*c - 48 = -5*a. Which is greater: a or n?
n
Let v be (1 + (-183)/9)*(-15)/(-5). Which is smaller: -61 or v?
-61
Suppose -2*b = -3*d - 2*d + 863, 5*d - b - 864 = 0. Suppose -4*z - f - d = 2*f, f - 52 = z. Is z < -47?
False
Let q be 4/((-4)/3) - -1104. Let z be (5/30 + q/(-6390))*-5. Which is smaller: 0 or z?
0
Let t be (-8)/(-36) + 295/9. Let u = 98/3 - t. Which is smaller: u or 24?
u
Let r(s) = -s**3 + 6*s**2 + 4*s - 6. Let k be r(2). Let i = -22 + k. Which is greater: 13 or i?
13
Suppose -41*j - 72 = -31. Is j less than -2/1179?
True
Suppose -2*v - 209 = 3*k, -4*k - 2*v + 0*v = 278. Let p be (-4)/10 - (k/(-5))/3. Which is bigger: p or -19/3?
p
Let x be 18/(-10)*(-10)/2. Suppose 24 = -5*r - 5*t + 4, 4*r - x = t. Are r and 3/23 nonequal?
True
Let k be 1 + (0 + 3 - 2). Suppose 4*f + 2*x = -98, -k*f + x - 44 = -3*x. Let b be (-5)/(-15) + 14/f. Is -0.9 greater than b?
False
Let k(u) = u**3 - 9*u**2 + 5. Let j be k(9). Let t be 1008/(-140) + (2/j)/(-2). Which is bigger: -7 or t?
-7
Suppose 0 = r - 0 - 5. Suppose r*i = 12 - 2. Let c be (-8)/36*(-1 + i). Is 1 >= c?
True
Suppose 18 = -12*l + 18*l. Let f be (l - 18/4)/((-12)/(-56)). Is -6 > f?
True
Suppose 2*c + 4*r + 2 = 0, -2*c = r + r. Let u be -12 + 10 + (-118)/(-50). Which is greater: u or c?
c
Suppose -5*n = 2*w + 101, -27*n + 4*w = -25*n + 26. Which is bigger: -17 or n?
-17
Let x = -138 + 186. Which is bigger: x or 45?
x
Let i be -2 - (-61427)/(-12293) - (-1 + -6). Is -1 < i?
True
Let y(h) = h**2 - 54*h - 410. Let f be y(61). Suppose -l + 5 = -12. Is f less than or equal to l?
True
Let q be (0 - -16) + (-1 - -1). Let f be 3/(-15) - q/(-5). Let k(x) = -x**2 - 2*x + 169. Let i be k(12). Which is bigger: i or f?
f
Let z be (24/(-36))/((-2)/3). Let g be z/5*483/(-2). Let u = g - -243/5. Which is greater: u or 1?
1
Suppose -11 = 2*k + 9. Suppose -n - 2*n = 5*m - 26, -2*n + 16 = 3*m. Suppose m*v + 42 = -3*s, -4*s + 3*v - 37 = -6. Is k greater than or equal to s?
True
Let t be ((-1)/1414)/(10 + (-189)/18). Do -2/7 and t have different values?
True
Let x = -0.041 - -0.02. Let i = x + -18.979. Are i and 