5?
l
Suppose -5*z + 4*i = 3, 0*i = 4*z + 2*i - 8. Let w = -46 - -46. Suppose j - 5*h + 18 = w, -3*h = -4*j + 2*h - 12. Which is smaller: j or z?
z
Suppose 9 = 3*x - 3*b, 4*x + 5*b + 6 = -0*x. Suppose -x = 7*q + 27. Are q and 2 equal?
False
Let l be (-166)/8 + -2*2/16. Let j be (45/70)/(30/l). Is 0 greater than or equal to j?
True
Let v = 25 + -5. Let x = -21 + v. Let j = -26 + 28. Is j greater than x?
True
Let i = 472 + -466. Is 22/3 > i?
True
Let j(g) = -7*g + 193. Let w be j(26). Let l = 373/5 + -75. Is w bigger than l?
True
Let a = 440.1 - 440. Which is smaller: a or 343?
a
Let r(h) be the second derivative of 0 + 10*h**2 + 1/3*h**3 + 10*h. Let y be r(-10). Is 1/15 greater than y?
True
Suppose -4*n + 36 = -172. Suppose -4*s + n = -2*i, -4*s = 5*i - 5*s + 139. Which is greater: i or -30?
i
Suppose 0*b - 407 = -v + 5*b, -2*v - 5*b = -829. Let c = 5364/13 - v. Is c < 1?
True
Let r be (2/9)/(2/9). Is -1/42 at most as big as r?
True
Suppose 39 = 2*n + n. Let c = 21 + -9. Let h = c - n. Which is greater: h or -2/35?
-2/35
Let y be 321/2*(-144)/1188. Which is smaller: -18 or y?
y
Let b be (4/14)/((-64)/(-56)). Which is smaller: -15 or b?
-15
Suppose 96*w = 109*w + 13. Which is greater: w or -2/297?
-2/297
Let i = -496 + 424. Which is bigger: -78 or i?
i
Let r be 6/(-242)*(-28)/7. Let s = r - -256/2299. Is s bigger than 1?
False
Let j = 23520 + -35256478/1499. Which is greater: 1 or j?
1
Let n be (20/(-40)*2)/((-18)/350). Which is smaller: 18 or n?
18
Let i = 562 - 119143/212. Which is bigger: i or 0?
i
Let b = -12 + 9. Let z be (2 - -2) + 0 + b. Let h be (77/(-33))/(z/(-6)). Is h at most as big as 13?
False
Let i = 1.3 - 0.3. Let g = 0.9 - i. Let y(z) = z**3 + 6*z**2 - 92*z + 2. Let t be y(-13). Is g > t?
False
Let g = 76265 - 837649/11. Is 115 smaller than g?
True
Suppose -5*p + 4 = -p + 2*a, -5*p - a + 8 = 0. Let x be (22/(-33))/(2/(-57)). Let h = x - 17. Is p less than h?
False
Suppose -s = -5*v + 13, 0 = v - 4*s + 3*s - 5. Is v > -5?
True
Suppose -11 = -q - 3*z, -13 = -0*q - 3*q - 4*z. Let s be ((-9)/(-3) + -1)*4/(-44). Which is greater: s or q?
s
Suppose -5*s + 4*b = b + 43, -3*b = -3. Which is smaller: -14 or s?
-14
Let n = -45541/47 - -969. Is n >= 3?
False
Let j be (6 - 3)/((-5)/(-6) - 2). Is -4 at most j?
True
Let b(z) = -8*z + 173. Let c be b(59). Is c <= -298?
True
Let j = 73 - 35. Let d be (-15)/(-30)*8/j. Which is smaller: -4/11 or d?
-4/11
Let o = 1811.4 + -1811. Which is smaller: -37/3 or o?
-37/3
Let v = -236 + 237. Is v equal to 0.2?
False
Let q = -703/204 + 112/51. Let b = 0.1 - 5.1. Do b and q have the same value?
False
Let m = -58 + 61. Suppose -3*v = 3*j + 3, 5 = v + m. Which is bigger: -1 or j?
-1
Let r = -367 + 588. Let n be 39/52 - r/(-4). Is 57 not equal to n?
True
Suppose -183 - 129 = -6*a. Suppose -a*f = -50*f - 26. Which is greater: f or 2?
f
Suppose -3*i - 148 = i. Let v = -37 - i. Is v greater than or equal to -9/14?
True
Suppose -5*x = -6*x - 14. Suppose -8*h + 118 - 262 = 0. Is x at least h?
True
Let i be -2 + -3 + 261/(-27)*-12. Which is bigger: i or 112?
112
Let j = -2.9867 + -0.0133. Let i = 107 - 752/7. Which is greater: j or i?
i
Let t(j) = 26*j + 213. Let m be t(-9). Is m equal to -19?
False
Suppose 0 = -0*z + 5*z. Let r(n) = n**2 - n**3 + 11 + 2*n**3 - 3. Let j be r(z). Is j at least as big as 9?
False
Let z = 704 - 697. Let p = 22 + -14. Which is smaller: p or z?
z
Let c = -5 + 9. Let f be (-204 + 0)/3 - -2. Let u be ((-1)/8)/(3/f). Is c at most u?
False
Let o = -0.3 + -0.22. Let q = -0.5 - o. Which is smaller: q or -0.1?
-0.1
Let l(o) = -o**2 + 7*o - 9. Let c be l(6). Let m = c + 8. Suppose -r - 1 = h, -m*r - 25 = -h - 4*h. Is 1 at most h?
True
Let w be 651/(-2) - (-2 - 2/(-4)). Which is bigger: w or -325?
w
Let l be (-8 - 520/(-66))/((-476)/(-12)). Which is smaller: l or -1?
-1
Let t(i) = -2*i. Let o be t(-3). Let j(l) = l - 1. Let g be j(o). Suppose -4*z + g*z + 3 = 0, -k + z + 4 = 0. Is 0 <= k?
True
Let y = 50 - -685. Which is smaller: 0.1 or y?
0.1
Let x = -357 + 350. Are -2/7 and x nonequal?
True
Let z(d) = d + 5. Let o be z(-2). Let j be 2 + ((-6)/o)/(1 + 1). Is j >= 8/9?
True
Let u = 2 - 2. Let o be (-9)/27*3*(-8)/(-18). Which is smaller: o or u?
o
Let d = 1541 + -55465/36. Let w = 353/36 - d. Which is smaller: -1 or w?
-1
Let t be ((-37)/(-2) - 3)*30/3. Let r = -154 + t. Let q be -3*6/(-14) - 1. Is q not equal to r?
True
Let y(h) = 4*h - 5. Let c be y(2). Let f = c - 21. Which is bigger: -16 or f?
-16
Let o = -22 + 6. Suppose m - 47 = -5*h - 125, 0 = -5*h + m - 82. Is o != h?
False
Suppose 2*g + 5 = 27. Let z(l) = 2*l - 26. Let t be z(g). Is t != -4?
False
Let o = -240 + 239. Is o < -5/23?
True
Let u = 170 + -172. Which is smaller: 69 or u?
u
Let g = 1529/4 - 149843/392. Is 1 bigger than g?
True
Let m(b) = -b**2 + 5*b + 17. Let j be m(7). Suppose j*t + 4*c = t - 2, -2*t + 2*c - 14 = 0. Do -4 and t have the same value?
False
Let l(d) = -d**3 - 7*d**2 + 7*d. Let v(x) = -4*x**2 + 4*x. Let q(f) = -3*l(f) + 5*v(f). Let o be q(1). Suppose -o*h = h. Is h less than -2?
False
Let b(n) be the third derivative of -n**4/24 + n**3/2 + 19*n**2. Let d be b(-3). Which is smaller: 7 or d?
d
Let m be 1*((-244)/72 - -5). Is 1 <= m?
True
Let z = -219 - -208. Suppose -2*i + 6*i - 4 = 0. Which is smaller: i or z?
z
Suppose -4*z = -4, -5*b - 10 = -z + 36. Let a be (-4 - b) + -7 + 2. Is 2/7 at least a?
True
Let q = 30237/7 - 4305. Is 16 at least q?
True
Suppose -2*a = 4*a - 96. Let t be 6/(-18) + a/3. Suppose -t + 7 = -2*j. Is j not equal to -2/55?
True
Let h(g) = -8*g - 19. Let t be h(-3). Suppose 4*u + 201 = c, t*c = -2*u - 115 - 2. Is u smaller than -51?
False
Let p = 10.77 + 0.23. Let v = -0.93 + 4.93. Let n = p - v. Which is greater: n or -0.1?
n
Let d(h) = h**3 + 21*h**2 - 11*h - 10. Let m be d(-22). Do m and -252 have the same value?
True
Let w = -2 + 11. Suppose 24 = -z + w*z. Let c be -30*(z + 25/(-10)). Do c and -14 have the same value?
False
Let w = -5 - -2. Let c(a) = a + 15. Suppose 2*o + 5*l = -9, 2*o = -7*l + 4*l - 19. Let i be c(o). Is w greater than or equal to i?
False
Let k(z) be the first derivative of -z**2/2 + 6*z + 1. Let r be k(5). Let o be ((-4)/(-7))/(24/28). Is o at most as big as r?
True
Let d(j) = -j + 4. Let a be d(4). Suppose -330 = -0*b + 5*b. Let c be 69/b + (-2)/(-4). Which is bigger: a or c?
a
Let f = -2625/8 + 3235/8. Is 77 greater than or equal to f?
True
Let n = -10.12 + 10. Let t = 0.08 - n. Let l = -20/9 + 53/36. Is l at least as big as t?
False
Let l be (-1 - 884)/(1/(-1)). Let j = 15379084/13 - 1182121. Let k = l - j. Which is smaller: k or 1?
k
Let z(c) = 10*c + 8. Let v be z(8). Let p be (-72)/48*v/(-6). Are 21 and p nonequal?
True
Let b be 2/7 + -1 + 1. Let d be (-2)/17 + (-78863)/289. Let n = -272 - d. Which is greater: n or b?
n
Let c be ((-114)/(-760))/(2/30). Which is bigger: c or 3?
3
Suppose 0 = -14*j + 22*j + 984. Is j at least -121?
False
Let x be (-3)/(-6)*-38*-6. Suppose -3*g = -x - 6. Which is smaller: 38 or g?
38
Suppose 20*o - 214 - 26 = 0. Let r be 20/70 - (-46)/(-14). Is r < o?
True
Let i = 295 - 191. Does i = 1?
False
Suppose 0 = o + 3*o + 8. Let y be ((-33)/(-110))/(-3*1)*28. Is y >= o?
False
Let q(i) = -5*i + 7. Let h be q(1). Is 26/17 < h?
True
Let k(j) = j - 1. Let s(x) = -4*x - 4. Let d(i) = 6*k(i) + 2*s(i). Let t be d(-8). Let o be (-120)/(-55) + (-2)/11. Do o and t have the same value?
True
Suppose 14 = z - 3*h, 0 = 3*z + 2*h - 21 + 1. Suppose -16 = 4*u, -2*v - 5*u - z - 180 = 0. Is -84 > v?
False
Let b be (731/(-51) - -7)/(4/(-6)). Suppose -4*o - 231 + 967 = 0. Let n be o/18 + (-4)/18. Which is greater: n or b?
b
Let d = -0.42 + 0.395. Let n = d - -0.125. Which is smaller: n or -0.056?
-0.056
Let w(q) = q - 7. Let n be w(7). Let s be ((-6)/24)/(1 - n). Suppose -2*p + 5*v + 12 = 0, -4*p + 0*v = -v - 6. Which is smaller: s or p?
s
Suppose -3*j - 2*a + 36 = 0, -4*j + 7 = -3*j - a. Let v(s) = -5*s + 7*s - 11 - s**2 + 9*s. Let n be v(j). Which is bigger: -3 or n?
n
Let d = 1.2 + -0.2. Let u = 423 - 423.14. Is d at least as big as u?
True
Let x be (-8)/(-28) - 180/336. Which is smaller: 2.87 or x?
x
Let i(u) = -58*u + 523. Let z be i(9). Let n = -21 - -106/5. Are n and z equal?
False
Let f = -69 - -157. Let o = f - 89. Is -20 >= o?
False
Suppose -10*z + 36