 o at most 2?
True
Let t = -15 - -18. Suppose -71 = -t*h + v, -2*h - 86 = -6*h - 3*v. Let j = -43 + h. Which is smaller: j or -18?
j
Let o be 41247/60 - 19/95. Is 686 equal to o?
False
Let g be (-80)/14 - (-4)/(-14). Let d be 7 + 3*(-12)/18. Suppose d*u = -4*k - 7, -5*k - 16 = -5*u + 4*u. Is g at least k?
False
Let z be ((-4)/20*5)/1. Let m be 2776*z/(-1386) + -2. Is m >= 1?
False
Suppose 9*v = -2*l + 6*v + 10, 8 = 2*v. Let s be (-16)/3*243/(-36). Let t be s/(-16)*1/(-6). Are t and l non-equal?
True
Let j = 44.672 + -3.672. Are -3/67 and j unequal?
True
Let x be -2 - -4 - 1 - (11 - 90/9). Which is greater: x or 8/1489?
8/1489
Let k = -14294 + 14775. Does 3 = k?
False
Let f = 11.8 + -13. Let a = f - -1. Let o = 44429 - 44449. Which is smaller: a or o?
o
Let z be 38/(-8) + (5 - 0). Is z != -11.31?
True
Suppose -5*o = -5*a + 167 - 82, 4*o + 5*a = 4. Is o at least -31/3?
True
Suppose y = 4*n + 151 - 147, 3*n - 2*y + 3 = 0. Which is bigger: n or -2/641?
-2/641
Let x = -5 - -16/3. Let l = 46 + -46.49. Let b = l + 0.59. Which is smaller: b or x?
b
Let x(w) = 3*w**2 + 2*w - 5. Let t be x(-2). Suppose 4*f - 2*f = -h + 7, 3*h - 1 = 4*f. Which is smaller: f or t?
f
Let r be (-912)/(-52)*(-1)/27. Let n = 2/117 - r. Let y = 24 + -24. Which is bigger: n or y?
n
Let s(j) be the second derivative of j**5/20 - j**4/12 - 2*j**3/3 + 3*j**2/2 - j. Suppose -4*a + 35 = 5*a + 17. Let m be s(a). Are -2.1 and m non-equal?
True
Suppose -105*p + 104*p = -71*p - 107*p. Let z = 1479 - 415597/281. Are z and p nonequal?
True
Let q be 7756/(-16) - (-12)/16. Let y be (2 + q/282)/((-26)/(-39)). Are -1 and y unequal?
True
Suppose 130 = m - 6*m. Suppose -9*p - 13*p - 184 = 5*k, -4*k - 2*p = 38. Let g be k/m - 2/2. Which is smaller: g or -2?
-2
Let i(o) = -181*o - 905. Let d be i(-5). Which is smaller: d or -128/149?
-128/149
Suppose -5*w - 2*w - 525 = 0. Suppose -9*g + 1950 = -4*g. Suppose 0 = -5*z + 4*a - g, 4*z + 2*a = -0*z - 286. Which is greater: z or w?
z
Let l(y) = 3*y**2 + 11*y - 10. Let o be l(-5). Suppose 7*z = 9*z - w - 7, 0 = 5*z + 3*w + o. Does -9/11 = z?
False
Let t = -1407/5 - -198397/705. Let i be (0/111)/(4 + 10/(-5)). Which is smaller: i or t?
i
Let d be ((-674)/(-42) - 1) + -200*163/(-114100). Suppose -172 = -2*j - 54. Suppose -4*n = -x - 0*x - j, 2*n - 57 = -5*x. Is n <= d?
False
Let z be (3/(-5))/((-2)/30). Let x(f) be the second derivative of f**4/12 - 3*f**3/2 - f**2 + 2*f - 58. Let p be x(z). Which is bigger: -9 or p?
p
Let x = -79 + 31. Let h = x + -70. Let w = h + 115. Is w less than 1?
True
Let b(f) = -6*f**2 + 3*f - 20. Let n(o) = -29*o - 200. Let i be n(-7). Let a be b(i). Which is smaller: a or -3/5?
a
Let q = -5 + 5. Suppose q*a = a - 15. Let c be 2/(-8) + a/(-12). Which is greater: c or 0.08?
0.08
Suppose i + 0 + 4 = 2*z, -3*z = -2*i - 7. Let l be 22*i/228*-21. Let k = l + -4. Which is bigger: 1 or k?
1
Let x = 34.1 - 34. Let s be 2 + (4068/(-1140) - (-2)/10). Let o = s - -137/114. Which is bigger: o or x?
x
Suppose 0 = -5*y - 2*j + 25, 5*y + 2*j = -j + 25. Suppose 0 = s + 4*s + 5*i, -y*i = -5*s - 10. Which is smaller: s or 1/848?
s
Let s(w) = -3020*w + 830. Let t be s(6). Which is bigger: t or -17289?
-17289
Let q be 4/6 + (-644)/84. Let r be (-5 - (-177715)/33635) + 2/q. Is 1 at most as big as r?
False
Let v be (-12)/(-28)*(-7)/(-40). Let i be 1/(-8) + (-99)/(-1180). Let f = i + v. Which is smaller: 1 or f?
f
Let o(b) = b**3 + b**2 + 4*b - 1. Let a be o(0). Let n be (-28)/84 + (560/438)/4. Which is bigger: a or n?
n
Let l = 42.1 + -9.5. Let a = 32.4 - l. Is a at most as big as -0.078?
True
Let c = -44 - -1. Suppose -3*m + 7*m + 173 = o, -5*m = o + 205. Is m greater than c?
True
Let r = 355 - 423. Which is smaller: -81 or r?
-81
Let n = -948 - -945. Let d = -4.855 - 0.045. Is d at most n?
True
Let w be ((-88)/16)/1 - (-5 + -1). Is w not equal to 874/15?
True
Let x be 26 - 13 - ((2 - 1) + -3). Let b be (-92)/12 + 10/x. Let k(f) = -f**2 - 9*f - 16. Let r be k(b). Which is smaller: -18/13 or r?
r
Let q = -18407 + 18423. Which is smaller: -528 or q?
-528
Suppose -13*o = -9*o - 24. Let x be 10/35 + 52/14. Suppose 3*j - o = -3*p + 9, -x*j = p - 14. Which is smaller: p or 3?
p
Suppose -8 = 99*u - 44*u - 47*u. Let j be (-7008)/(-195) + (-2)/5. Let w = -25436/715 + j. Which is bigger: u or w?
w
Suppose 4*t + 2*h + 3960 = 0, -23*t + 4941 = -28*t + 2*h. Which is smaller: -4942/5 or t?
t
Let x = 3242 + -3257. Which is smaller: x or 29?
x
Let z = -6291.03 - -6291. Let y = 1 - 6. Is z at least y?
True
Let b = -9169 + 9317. Which is bigger: 1926/13 or b?
1926/13
Let s = 204.4 + -28.4. Let j = 177 - s. Let i = 2 + -11. Is j at least as big as i?
True
Suppose 90*g - 94*g - 1356 = 4*x, 4*x = -3*g - 1013. Is g smaller than -3091/9?
False
Let a be (-1)/3 + 1 + (-395)/615. Suppose 0 = -25*r + 10*r + 45. Suppose 10*w + r = 7*w. Which is greater: w or a?
a
Suppose 45*d - 28*d - 153 = 0. Suppose d*u - 6*u = -15. Let v(n) = -n**2 - n - 2. Let q be v(-2). Which is bigger: u or q?
q
Let r = 4492 - 2192. Is 2300 > r?
False
Suppose 5*o = 2*j + 1262 - 16479, -j = -6. Do -3044 and o have the same value?
False
Let m be (5174/156)/(2/(-6)). Let v = 3751/38 + m. Which is greater: 0 or v?
0
Let o = 1428 - 1421.4. Is o less than 9?
True
Suppose x - 2 = 2*w + 3*x, -24 = -w + 4*x. Let a be (w/70)/(3/(-5)). Let h(y) = -1381*y + 41429. Let k be h(30). Is k >= a?
False
Suppose -130*k + 202 = -50*k - 38. Which is smaller: k or 224/75?
224/75
Suppose -1491*m + 1454*m = 521330. Is m at least 0.1?
False
Let t(k) = 3*k + 1. Let w be t(-3). Let y(r) = -r**2 - 17*r + 5. Let o be y(-12). Let d = -75 + o. Which is greater: d or w?
w
Let a(z) = -z**2 + 19*z - 23. Let w be a(17). Suppose -2*i - w = -7. Let d be 15/6*i/1. Is 4 equal to d?
False
Let i = 866 - 6102/7. Let f = -115/14 - i. Let r = 3 + -6. Which is bigger: r or f?
f
Suppose 12*h + 497 = -4*h - 1119. Which is smaller: h or -96?
h
Let v be ((-15)/((-270)/(-24)))/((-20)/11130). Is v bigger than 741?
True
Let t be (-18)/5*(-140)/84. Suppose -2*p - 9 = 5*b, 4*b - 8*b - t = p. Is 8 smaller than p?
False
Let j be 9 - 123761/13530 - 4/(-40)*2. Which is smaller: -1 or j?
-1
Let w = -232 + 259. Suppose 32 = -w*j + 5. Let v be (-2)/(-9)*9/(-12). Is j at most v?
True
Let k = 18966240 + -2086306531/110. Let y = k + 183. Which is bigger: 0 or y?
0
Let q = -997 - -572. Let n = q + 426. Which is greater: -2/163 or n?
n
Let a = 5605 - 6311. Is -0.03 not equal to a?
True
Let y = -0.861 - -0.91. Let b = 0.139 - y. Let i = -10.91 - b. Is i greater than or equal to 2?
False
Let r(l) = l**2 - 3*l + 1. Let b be r(3). Suppose -6*o - 60 + 66 = 0. Let n be (o*3/294)/((-6)/36). Is n greater than b?
False
Suppose 7*w - 8*w = -3. Suppose 0 = 2*r - w*r. Suppose r = 4*m + 20, 3*t + m - 20 = 5*m. Which is greater: t or 0.02?
0.02
Let z be (25/(-15) - -2) + (-3)/9. Suppose 5*k + 5*k + 240 = z. Let f be (k/28)/(3/(-42)). Which is smaller: f or 5?
5
Let t = -184135/3502 - -71/206. Which is smaller: t or -51?
t
Let v be (6/(-28))/(4/4). Suppose w - 5*q + 16 = 0, -58*q = 5*w - 63*q + 20. Are v and w nonequal?
True
Suppose -2*m + 21 = -4*y - 3, -y = -4*m + 34. Let j be (0/(-2))/((-4)/(m/6)). Is j less than 3/158?
True
Suppose 50*r = -8227 - 3023. Let y be 1/(-7) - (-26639)/(-119). Which is bigger: y or r?
y
Suppose -2*s + 3*g + 1 = -3*s, -31 = s - 3*g. Let b be 5 + 6/(-3) + (-14535)/5. Let o be (-4)/(-6) + b/198. Which is smaller: o or s?
s
Let h be (-37)/8 - 6/(-24). Let s be (7 + -6)/(9/(-45)). Is s equal to h?
False
Let m(w) = 10*w + 19. Let a(s) = 21*s + 37. Let p(b) = 6*a(b) - 13*m(b). Let j = 121 + -127. Let q be p(j). Is q less than 5/14?
True
Let g = 321 - -684. Suppose 4*p - 5 = 3*p, 0 = -5*b - 3*p - g. Which is smaller: -203 or b?
b
Let x(k) = -k**3 + 11*k**2 - 2*k + 1140. Let j be x(0). Does j = 1140?
True
Let h be 1 - (-128)/(0 - 4). Let a = 30 + h. Let c = a + -2. Which is bigger: -6 or c?
c
Let j = -4354 - -4658. Which is smaller: j or 298?
298
Let v = -10 + 7. Let b = 351 + -322. Let z = v - b. Which is smaller: z or -0.1?
z
Suppose -4*w - 5*q = -3*w - 14, q - 28 = 4*w. Let v be (w/16725)/(8/(-40)). Which is bigger: 0 or v?
v
Let m(a) = -a**3 - 16*a**2 + 15*a + 14. Let u be m(-17). Suppose 49*z = u*z. Suppose p - f + 2 + 1 = z, -f + 6 = -4*p. Are -3/37 a