 z or 4879/2?
z
Let l(w) = w**2 + 30*w + 60. Let d be l(-28). Suppose -d*h + 770 = h. Is h not equal to 154?
False
Let c = 117.82 - 62.91. Let u = 0.91 - c. Which is smaller: 0 or u?
u
Let u = -96 - -96.32. Let v = 3.08 - 2.6. Let s = u + v. Are s and 1/2 equal?
False
Let n be (-6)/(-3 - -4) - -21. Suppose 2*i - n = 5*a + 148, -284 = -4*i - 4*a. Does 72 = i?
False
Suppose -21 = -2*q - 17. Suppose 0 = r - 4*m + 8, r + 3*r + 4 = q*m. Suppose 2*h + 12 = -r*h. Is h at least -5?
False
Let m be (2 - 3) + (24/(-15) - 2). Suppose 0 = -s - 1 + 4. Suppose -4*n + 4 = 24, -3*b - 3 = -s*n. Which is bigger: b or m?
m
Suppose 185 - 11 = 6*s. Suppose -g - 2 = 5*z - 0, -s = g - 4*z. Which is smaller: -115/7 or g?
g
Suppose -40066 = 346*p - 47*p. Which is greater: -81 or p?
-81
Let z(s) = -s**2 - s + 28. Let q be z(0). Suppose -638*c + 643*c - 25 = 0. Let o be 4/q*c + 2*-1. Which is smaller: o or -2?
-2
Let n be 2 - (-1 - (1 + -8)). Let q be 220/(5 - 0) - (-3 - -5). Suppose 0 = -3*l - q + 21. Are n and l nonequal?
True
Let r be 90/8*15/(-18). Which is greater: -1/4 or r?
-1/4
Let g(o) = 2*o - 45. Let m be g(27). Let a be (-2848)/(-792) - (-2)/m. Does a = 0.2?
False
Let p = -863887/51 + 16939. Is p equal to 0?
False
Suppose 37*c - 162 = 23. Suppose -f - 3*f - 3*n = -16, -3*f - c*n + 23 = 0. Which is bigger: 4/135 or f?
f
Let t = -3277 - -3279. Suppose 0 = 4*i - 23 + 3. Let x be (-96)/(-15) - t/i. Is 14/3 bigger than x?
False
Let t be -1*-1*(2 + 1). Let z be (t + -4)*6/10. Let d be ((-198)/(-4719))/(15/65). Which is smaller: d or z?
z
Let v = -1.4213 + -548.5787. Which is smaller: 0.7 or v?
v
Let p be (-26)/(3/(10 + -4)). Let m be (-13)/p - (-689)/8*14. Let s = m + -22919/19. Is s smaller than 0?
True
Let l = -181 - -193. Let s = 16 - l. Which is bigger: 3/7 or s?
s
Suppose -3525*n + 3520*n = -4*l + 328, 0 = -2*l - 5*n + 134. Let y be 348/9 + (-2)/3. Suppose -y = -5*q + 347. Is q at least as big as l?
True
Let l be (-120)/(-65) - 2 - (-21915)/(-273). Suppose 4*z + 313 + 11 = 0. Let k = z - l. Which is greater: k or -1?
k
Let d = 0.346 + -0.581. Let a = d - -0.335. Is a > -0.69?
True
Suppose -2*j - g = 623, j + g = -0*g - 311. Let d = 2369 - 2680. Are d and j nonequal?
True
Let i be (-46)/(-156) + 2/12. Are i and -31 non-equal?
True
Suppose -45*o - 3*b = -40*o - 3, -12 = 3*b. Let f be 8/36 - 56/90. Is f less than or equal to o?
True
Let b(p) = 3*p**2 + 18*p - 2. Let h be b(-6). Let t be h/6 - (-13)/3 - -30. Is t smaller than 36?
True
Suppose 10*u = -u + 4840. Let i = -393 + u. Let b be ((-16)/3)/((-2)/18). Which is smaller: i or b?
i
Let l be 5/(-300)*-5*(-36)/232. Let t = -25/696 - l. Do t and 1 have different values?
True
Suppose -3*l - 1 = 5*u, -4 + 16 = 4*u - 4*l. Which is greater: u or 72/47?
72/47
Let y = 2416 - 2426. Is 42 at least as big as y?
True
Suppose -z + 3*t = 2*z + 12, 9 = 3*t. Let f be (2758/1382)/z - (0 + -2). Which is greater: -1 or f?
f
Let f(o) = 3*o**2 - 74*o - 105. Let s be f(26). Is 13/1515 at least as big as s?
True
Let o be (-92)/322 + (-1 - 220/798). Let l = -36/19 - o. Does l = -541?
False
Let j = -12.999 - -13. Let z = -75 + 282. Let u = 207 - z. Which is bigger: j or u?
j
Let t(s) = -3*s + 2. Let x be t(2). Let u be x/(-24) + 41/6. Let l(q) = -2*q + 20. Let h be l(u). Which is bigger: h or 7?
7
Let n = -397/4 + 101. Let a be 4/1 - (5 + (-88)/55). Which is greater: n or a?
n
Let l be (-34)/(-425)*-1135*(-15)/2. Which is smaller: -2/7 or l?
-2/7
Suppose 163339 + 354661 = -185*z. Is z > -2799?
False
Let b(o) = o**2 + 553*o - 12651. Let q be b(22). Which is bigger: q or -3/443?
-3/443
Let o = 35177 - 30464. Which is smaller: -2/11 or o?
-2/11
Let a(x) = -3*x**2 + 119*x - 243. Let n be a(2). Let j = -21 + 10. Are j and n non-equal?
True
Let n = 60 + 28. Suppose -11*w - n = -0*w. Which is smaller: 8 or w?
w
Suppose -5*t - 12 = 4*d, 0 = -t - 3 - 1. Suppose -8*x - 967 = -5*x + d*i, -3*i = -12. Is -325 bigger than x?
False
Let q be 1 + -8 + 6 + -8 - -752. Is q at least 6686/9?
True
Let g(w) = w**2 - 3*w - 16. Let b be g(6). Let y be -2*(20/(-2))/b. Suppose -7 = -o + 4. Which is bigger: o or y?
o
Suppose 0 = 3*c + 2*b + 1370, 411 = -2*c + 4*b - 513. Let j = c + 112. Which is smaller: j or -348?
-348
Let v = -37 - -40. Suppose -v*z + 3*n = 27, -4*z - 3*n = -0*z + 1. Is z bigger than -3?
False
Suppose -h - 5*y + 189 = 0, h - 281 = -y - 80. Let p be ((-2 + 0)/4)/((-361683)/25830 + 14). Which is bigger: h or p?
p
Let s = -5000.93 - -4935.8789. Let z = -0.0511 - s. Which is bigger: 1/5 or z?
z
Let l = -136 - -138. Suppose -l*m + 42 = -8*m. Is m smaller than -7?
False
Suppose 6 + 15 = 36*l - 15. Is l greater than -2946?
True
Let y = -68505/3736 - 18/467. Which is smaller: -18 or y?
y
Let a = 48971/6 - 8168. Which is smaller: -6 or a?
a
Let u be (-3)/(-5)*168/(-49140). Is -0.3 < u?
True
Let s = 3 - 0. Let u be (2/8)/((-2)/s). Let k = 0.45425 - -8.54575. Which is bigger: u or k?
k
Let a be -1 - 131*(-2)/12. Let b be (4/(-6)*21)/(77/(8778/(-76))). Which is bigger: b or a?
b
Let q = 9.382 + -0.082. Let o = 7.3 - q. Let l = 0.21 - -10.79. Is o at most l?
True
Let p = -85.5 + 43. Let k = 42 + p. Let a = 80.8 - 81.8. Are a and k equal?
False
Let d be -37 - 32043/(-858) - (-4)/26. Is 12364 < d?
False
Let w(a) = 2*a**3 - 7*a**2 - 6*a + 2. Let o(u) = u**3 + u**2 + u + 1. Let h(x) = -o(x) + w(x). Let m be h(9). Is 33 at least m?
True
Let k = -106 - -123. Is k at most -53/3?
False
Let m = 105 - 94. Let h = m + -113. Let z = h + 108. Is 12 at least z?
True
Let c = -1 - 1. Let t be (6/(-10))/(-2 - 4 - (-450)/80). Which is greater: c or t?
t
Let h be 0 - -3 - (6 - 11). Suppose h*o - 12 = -4. Suppose -9*t - o = -8*t. Is -1/57 bigger than t?
True
Let s be (-40)/(-12)*396/(-55). Let v be -5 - 2/1 - s/4. Is v at most 0.05?
True
Let n = 2/3961 - 7577399/11883. Let o = 634 + n. Suppose -5*f - 3 = 17. Is o > f?
True
Suppose 8609 + 28760 + 3639 = 88*f. Is f smaller than -0.04?
False
Let f be 1406/(-10) + (-236 - -238). Is -138 >= f?
True
Suppose 2*c + 2*j = -12, -14*c + 10*c + j = 19. Suppose -4*z - 1 = 3. Let w be -1 + (-15)/5 + (z - c). Is 3/34 at least as big as w?
True
Let x(w) = -w + 6. Let b be x(5). Suppose 343 = -2*s + 955. Let h be (3 - (1 - 4)) + (-1842)/s. Is h at least b?
False
Let y be ((-56)/2220)/((12/8)/(-1)). Are 0 and y non-equal?
True
Let i be (-95 + 88 + 18 + -1)/((-4)/(-548)). Is i less than -1/5?
False
Let p = -1889 - -1888. Let o = -54983 - -8794197/157. Let k = 1031 - o. Which is bigger: p or k?
k
Let z(o) = 10*o - 12. Let j(s) = -22*s + 23. Let q(p) = 3*j(p) + 7*z(p). Let m be q(4). Which is bigger: -2/387 or m?
m
Suppose 42*l = 41*l + 8. Let p be 14*(-2 + 20/l)*-4. Let w(q) = q**2 - 9*q + 2. Let a be w(9). Is a > p?
True
Suppose 4*g = g + 21. Suppose 5*o - 2 = 3*a, 3*a - g + 3 = -o. Let b = 1458 + -1454. Is o less than b?
True
Let w = -0.02077 - 5.97923. Let t = 9 + -9.7. Let d = t + 0.7. Is d > w?
True
Let g = 12465 - 74777/6. Let j be ((-6)/(-4))/(6/8). Which is smaller: g or j?
j
Suppose -30*k = -197 + 47. Suppose -k*l - 396 = 4*l. Let a = 18 - 62. Is a at least as big as l?
True
Suppose -2*l + 7*l = -255. Let x be (-13)/(-4) - (l/(-12) - 4). Suppose x*c - m + 10 = m, 0 = -5*c - 3*m + 15. Which is greater: -2 or c?
c
Let w = 11035/6 + -1837. Suppose 0 = 4*n - 2 - 10. Suppose 6 = -o + n*o. Which is bigger: w or o?
o
Let h = -18813 - -93861/5. Let i be (-5)/2*(-32)/(-2). Is h < i?
True
Let n = 490 - 491. Let j = 7.98 - 7.6. Let w = j + -0.68. Which is smaller: n or w?
n
Let r be -26 - 52/(-4) - 93. Is r less than -213/2?
False
Suppose -3*y - 343 = -t, -2*y - 38*t - 226 = -40*t. Which is smaller: -24 or y?
y
Let j(t) = 9*t - 11. Let d be j(8). Suppose 3*w = 3*k - 180 + 171, -k + 15 = 2*w. Is w at least as big as d?
False
Let k = -0.274 - 178.726. Let o = k - -178.9. Which is bigger: o or 42?
42
Suppose -2*g - n = -51, -g + n - 75 = -4*g. Suppose 8*v - 6*v + 4*t = -g, -18 = v + 4*t. Are v and -11 nonequal?
True
Let r(h) = 2*h**2 - 13*h + 1. Let o be r(7). Let s be (o/17)/(-4) - (-1383)/51. Let u be (2/3)/(693/s). Which is smaller: -1 or u?
-1
Let w(f) = f**2 - 4*f - 1. Let u be w(0). Is u < 1/120?
True
Let z = -3538 - -3538. Which is smaller: 17/185 or z?
z
Let j = -20520/31 + 662. Suppose -4 = -3*k + q, 2*k - 4*q - 17 + 1 = 0. Which is bigger