 be s(5). Let u = v + 8. Let p be ((-4 - u) + -2)*-11. Which is smaller: p or 12?
p
Suppose -131*n - 202 = -129*n. Which is smaller: n or -100?
n
Let j = -15/13 + -59/39. Let q be 16/(-2)*((-20)/8)/(-5). Which is smaller: q or j?
q
Let u = -18 - -9. Let h = -60 - -51. Let i be (h/(-2))/(2/(-4)). Does i = u?
True
Let j = 11 - 10.8. Let w = -0.8 + 0.87. Let m = w + 0.13. Is j less than m?
False
Suppose 218 - 3 = 5*m. Which is smaller: 46 or m?
m
Let j be 6/(-11) + 0 + 65712/119988. Do j and 0 have the same value?
False
Suppose -j + 2 + 10 = -v, 2*v + 4*j + 12 = 0. Let s = 9 + v. Let z be s + 1 + 2/(-1). Is z greater than -1?
False
Let h = 5 + -8. Suppose 0 = 2*c + 4 + 2. Let s = -7 - c. Is s not equal to h?
True
Suppose 0 = 5*o - 2*o - 39. Suppose 5*x + 4*m + 22 = 0, -m + 2*m = -5*x - o. Let l be 4*(x - 20/16). Which is smaller: -0.2 or l?
l
Let u be (-1706)/(-1560) + (-2)/(-12). Let l = -2/195 + u. Which is smaller: l or 1?
1
Let a = 1.18 + -1.22. Let k = -0.15 + -0.95. Let j = 1 + k. Which is smaller: a or j?
j
Suppose -3*y = -r - 8, 5*r - 15 + 19 = -3*y. Which is bigger: r or -410?
r
Let u = 0.756 + 2.244. Which is smaller: u or 11?
u
Let i be 302/(-190)*5/5. Let x = 15/19 + i. Let l be (-6)/(-4)*8/(-6). Is x not equal to l?
True
Let u be ((-1)/(-5))/(2/(-5)). Suppose -14 = 4*w + 2*d, 0 = w + 2*w - 4*d + 16. Let k be (w/(-10))/((-4)/(-5)). Which is bigger: k or u?
k
Let y(x) = -x**2 + 12*x + 12. Let v be y(-1). Let i = 4064/19 - 214. Which is bigger: v or i?
i
Let h = -8.443 + 0.143. Let d = h + 14.3. Is 0 smaller than d?
True
Let o = 65.93 - -1.07. Let l = -65.67 + o. Let f = l + -0.33. Is f less than 5?
True
Suppose 5*w = -p + 10, -4*w + 4*p + 8 = p. Suppose 2*v + h + 4*h + 52 = 0, -h = w. Which is smaller: -22 or v?
-22
Let t be 0/((1 - -2)*-1 - 1). Which is greater: 17/31 or t?
17/31
Suppose -6 = 4*j + 2. Let n be (j/5)/(86/10). Let h = -1501 - -1501. Is n <= h?
True
Let l = 318 - 318. Is -3/10 <= l?
True
Let k be 0 + 1 + -5 - -4. Suppose 0 = d - k*d. Let v be 9/56 - 2/7. Which is smaller: d or v?
v
Let w(o) = 272*o**2 + 538*o. Let c be w(-2). Let i be 0 + 13 - (-2 + 3). Is i greater than c?
False
Let m be 380/(-6288) + (-15)/(-180). Which is greater: m or 0.1?
0.1
Let r(s) = -s**3 + 5*s**2 + 11*s - 6. Let w be r(5). Let d = w - 53. Which is greater: d or 9?
9
Suppose 4*t = 4*q - 12, 5*q + 2*t - 42 = -2*t. Let a be -2 - ((-4)/q)/(-1). Let s(o) = 21*o + 82. Let l be s(-4). Is a greater than or equal to l?
False
Let a(j) = j**3 - 34*j**2 + 72*j + 10. Let l be a(32). Is 266 <= l?
True
Let b = 2093160/1001 - 27244/13. Let h = -54/11 - b. Which is greater: -0.04 or h?
-0.04
Suppose 4*h - 9 - 3 = 0. Suppose h*o = -3 + 9. Which is greater: 7/5 or o?
o
Let j(u) = 2*u**2 + 14*u - 4. Let q be j(-6). Let n = -7 + -9. Is q at least n?
True
Let t = 1689 - 3377/2. Is -2/51 not equal to t?
True
Let d = 10 + -88. Let u = d - -93. Which is greater: u or 41/3?
u
Let z = -85.54 + 85.7. Is z equal to -1/6?
False
Let r = -22 - -15. Let s be (-14)/8 - (r - (0 + -5)). Is -0.44 at most as big as s?
True
Let u be (-4)/(-22) - 28/154. Suppose -4*t - 3*x + 72 = u, -3*t - t + 2*x = -92. Which is smaller: t or 19?
19
Let v(h) = -h**3 - 6*h**2 - h + 10. Let a(t) = -t**3 - 6*t**2 + 11. Let k(n) = 2*a(n) - 3*v(n). Let f be k(-5). Are f and 0.04 non-equal?
True
Let v be -2 + 4/(-8)*-4. Let o be (6/(3 - v))/(-2). Which is smaller: 10/21 or o?
o
Let d = 1254 + -1238. Which is bigger: 28 or d?
28
Suppose -4*m - 20 = -5*x, 22 = -4*x - 5*m - 3. Suppose 12*n - 17*n - 140 = x. Let b be 1 + 4 - n/(-7). Which is smaller: 2 or b?
b
Let z(c) = -2*c**2 - 4*c + 69. Let v be z(11). Is v equal to -217?
True
Let r(g) = -g - 22. Let i be r(-23). Which is greater: i or -1/4?
i
Suppose -9 = -0*d - 2*d + 3*x, -5*x - 30 = -5*d. Let m = d - 3. Suppose 15*a = -35 + 140. Is a less than or equal to m?
False
Let n be 0 + -5 + -2 + 1. Let a = 8 + n. Let l be (18 - 20) + 10/4. Which is smaller: l or a?
l
Let f be (-1)/5*-10 - 100674/49955. Let m = -2/485 + f. Is -1 <= m?
True
Suppose 3*o - 5*b + 42 = 0, 0*o + 60 = -5*o + 5*b. Let c = o - -16. Let s be (1/(-3))/(1/(-21)). Is c greater than s?
False
Let h = -2093/2 - -1047. Is h <= -4/43?
False
Let n(m) = m**2 + 86*m + 765. Let z be n(-64). Which is bigger: -642 or z?
-642
Let w = 2/745 - 1516/9685. Let h = 0.8 + -0.8. Which is smaller: h or w?
w
Let z(g) = -9*g + 11. Let x be z(-5). Let d = -36 + x. Suppose u = 5*u + d. Which is smaller: u or -4?
u
Let t = -3961 - -19866/5. Which is greater: t or 12?
t
Let m(w) = -w**2 - 4*w + 7. Let i be m(4). Let n = -24 - i. Are n and -2/27 unequal?
True
Let g be -13 + -14 - (1 - 1). Which is smaller: -28 or g?
-28
Let h = 7056749/4125759 + 478/4033. Let l = h + -1/93. Is l > 2?
False
Let f = 5 + -2. Suppose 28 = -f*p + 4. Are -31/4 and p unequal?
True
Let n = -334/3 - -112. Let j = 4.97 - 5. Is n != j?
True
Suppose -4978 - 1448 = -27*z. Which is smaller: 237 or z?
237
Suppose 137 = 3*l - 2*w, 0 = -3*w - w - 4. Let t be -5 + l/10 - (-105)/2. Which is smaller: t or 51?
51
Let r be ((-2)/(-201))/(((-198)/189)/11). Is 1 < r?
False
Suppose 42*w - 4*k = 37*w - 142, 3*w + 4*k + 66 = 0. Is w > -35?
True
Let k be 0/4 + 4 - -65. Let u = 133/2 - k. Suppose -2*z - 3*a + a - 8 = 0, z = 5*a + 8. Which is smaller: z or u?
u
Let g be 40/16*72/(-6). Which is greater: -32 or g?
g
Let w be (-2220)/(-28) - (-10)/(-35). Let s be w/(-30) - 6/(-45). Let v = 2 - 5. Which is smaller: v or s?
v
Let s(i) = -9*i**3 - 2*i + 1. Let a be s(1). Let b be (-8)/a*(-25)/(-10). Suppose 3*k - 2*l = l + 18, -k + b*l = -11. Which is greater: k or -1/13?
k
Let u be 4/18 - 235/45. Let g(t) = 3*t + 1. Let w be g(-1). Is w > u?
True
Let r = -16 + 4. Let c be (-114)/4 + (r/(-4))/(-6). Do -28 and c have the same value?
False
Let s = -18.1 - -18.1. Is 7 > s?
True
Let r = 21.81 - 21.71. Which is greater: r or -592?
r
Suppose 126 - 33 = -m. Let c be ((-2)/m)/((-9)/(-54)). Is 0 at most c?
True
Suppose 3*t - 5*h = -15, t + 3*h = -2*t - 15. Let o(y) = -y**3 - 7*y**2 - 7*y - 2. Let d be o(-6). Let r be (d/10)/((-3)/45). Is r >= t?
False
Let z be (-6)/20 + (-4)/(-10). Let n be (-42)/40 - 13/(-52). Is z equal to n?
False
Let b be (-215)/2*78/(-65). Let a = b - 125. Which is bigger: a or 30/7?
30/7
Suppose v - 4 = -2*f + 17, 5*f + 2*v - 50 = 0. Suppose -7*r + 1 = f. Which is bigger: -5/12 or r?
-5/12
Let d be 658/(-98) - (0 - 2/(-7)). Let m = -12.36 + 12.4. Is d less than m?
True
Let o be 15/(-9)*(144/135)/(-8). Is o greater than or equal to -307?
True
Let v = -90.6 + 15.6. Let g = v + 75. Which is bigger: g or -0.06?
g
Let j(w) = w**2 + 11*w + 17. Let c(d) = d - 3. Let f be c(-6). Let m be j(f). Let g be 5 + m - (14 - 2). Does -9 = g?
False
Let v = -17301/7142897 - -5/3403. Is -1 less than v?
True
Let v(k) = 2*k - 2. Let a be v(5). Suppose -2*o + a = 0, 31 = 6*t - 3*t + 4*o. Suppose -t*i = -1 + 6, -5*w + 15 = -5*i. Which is smaller: w or 3/4?
3/4
Suppose 4*u - 2*u = u - 0*u. Suppose g + z - 4*z - 14 = 0, -18 = -2*g + 4*z. Let w = g + 0. Which is smaller: w or u?
w
Let f(t) = -t**2 - 6*t - 8. Suppose 4*q - 3*q = -2*x - 13, 22 = -3*x - 4*q. Let u be f(x). Which is greater: u or -9?
u
Let n = -289/2 + 1879/13. Is 1 < n?
False
Let v be 135/(-9) - -8 - -117. Are v and 110 equal?
True
Let v = -9.9 + 9. Let l = 8/165 - -2/15. Which is bigger: l or v?
l
Let a(r) = -r + 5. Let y be a(14). Let c = y - -9. Suppose c*d + 44 = 3*d - 4*q, d - 3 = -q. Is 8 less than or equal to d?
True
Let g = 3912/23 + -170. Are 1 and g nonequal?
True
Let i be (-130)/40 - 1/(-4). Let b be ((-1)/(-3))/(i/18). Let c be (-1)/((b + 5)/3). Which is smaller: c or -2/9?
c
Let q = -353 + 325. Which is smaller: -2 or q?
q
Let n = 9423/17 - 554. Is n <= 0?
False
Let j(d) be the second derivative of d**4/12 - d**3/2 - 25*d**2/2 + 13*d. Let q be j(8). Let m(z) = z**2 + 2*z. Let n be m(-5). Is n at least q?
True
Let o = -12.35 + 18.35. Which is smaller: -3/13 or o?
-3/13
Let u(s) = s**2 + 11*s - 12. Let o be u(-12). Suppose -6*p + 5*p + 4 = o. Let c be (p/10)/((-3)/5). Is 7 at least as big as c?
True
Suppose -6*l = -l - 125. Let k be (-246)/15 - (-10)/l. Do -16 and k have different values?
False
Let k = -513 - -358. Let i = k + 2017/13. Suppose 2*j - b = 4, 16 = -j - 4*j - 4*b. Which is smaller: j or i?
