+ 2 + (4490/(-525) - -4). Let r = 34/15 + m. Are u and r nonequal?
True
Let v be ((-10)/5 - 1)/(-1). Suppose v - 2 = w. Is w not equal to 2/31?
True
Suppose 5*k - 4*t = 2*k + 15, 2*k - 10 = 4*t. Let c(m) = -10*m**2 + 2. Let f be c(-4). Let r = 157 + f. Which is smaller: k or r?
r
Let m = 41.42 + -42. Let q = 0.12 - m. Let i = q + -2.2. Is 2/5 smaller than i?
False
Suppose -2*y = -4, -5*g = 5*y - 6*y - 3. Do g and -2/4489 have the same value?
False
Let c = 8 - -1. Let d(x) = -x**2 - 5*x + 4. Let l be d(-5). Suppose l*i - 5*s + 4*s - 36 = 0, -i + 16 = -2*s. Is c less than or equal to i?
False
Let b = -0.4 + 0.3. Let y(a) = 23*a**2 - 2*a - 6. Let i be y(-2). Let r = 448/5 - i. Which is bigger: r or b?
b
Let u = 6.4 - 6. Let r = -62.64 + 63. Let k = r - 0.66. Is k at most u?
True
Suppose 2*l + 2*l - y - 24 = 0, -12 = -2*l - 3*y. Let n(u) = u**3 - 7*u**2 + 9*u - 8. Let r be n(l). Suppose -34*q + 39*q = -r. Is q at least as big as 1?
False
Let t = -2 - -41. Is 38 bigger than t?
False
Suppose -8 = 2*f - 3*d, 0 = -d + 5*d - 8. Let a be -7 + 9 + 38 + f. Let j be a/(-12)*(-4)/(-1). Is j <= -12?
True
Let h be 86/14 + -2*1/14. Suppose 4*c + 3 = -6*a + a, 4*a + h = -5*c. Which is smaller: 2/163 or a?
2/163
Let o = -72 + 100. Let r be 12/o + (-40)/(-168). Which is smaller: r or 6?
r
Let q = 316 + -308. Is q bigger than -8?
True
Suppose 12*a = 16*a - 8. Let s be ((-2)/a*0)/(3 - 2). Which is smaller: -6/67 or s?
-6/67
Let q be (-10)/(-10) + (-3198)/(-18). Does q = 180?
False
Let h = 160 - -6. Which is bigger: h or 2?
h
Let c(p) = -2*p**3 - 12*p**2 - p - 5. Let f be c(-6). Let h = -1613 - -61285/38. Let y = h - -387/190. Is f > y?
False
Let q = -0.2 + 0.5. Let r = -74 - -76. Which is bigger: q or r?
r
Let u(a) be the first derivative of a**2/2 - 6*a - 1. Let k be u(6). Let b = 620/3 - 207. Which is smaller: b or k?
b
Let a(w) = 2*w**3 + 113*w**2 - 176*w - 112. Let v be a(-58). Are 41/9 and v unequal?
True
Suppose 20 = 4*u - 0*l - l, 4*u + 2*l = 20. Suppose -5*t + 3 = -3*b - 12, -3*t - u*b = 25. Is 0 less than t?
False
Let c(a) = -a**3 + 31*a**2 - 29*a - 39. Let w be c(30). Which is smaller: w or -17?
-17
Suppose -2*t + 2 = -0*t. Suppose -2*q + t = p - 1, -q = -5*p - 12. Suppose -3*o = q*o - 5*d - 140, 4*o + d = 122. Which is smaller: o or 31?
o
Suppose 4*k - 49 - 19 = -4*s, -4*s - 5*k + 66 = 0. Which is greater: 13 or s?
s
Let h = 0.07 + 37.93. Let p be 0/((-15)/5 + 1). Which is smaller: p or h?
p
Let d = 7 + -7.07. Let f = -0.23 - -0.15. Let k = f - 0.92. Which is bigger: k or d?
d
Let c be (-286)/14 - (-20)/(-35). Let d = c + 26. Suppose -4*p = 4*v - 28, -5*p = v - 30 + 3. Is p >= d?
True
Let y be (6/5)/((-6)/(-20)). Suppose 3*u = 2*m - 207, m = -0*m. Let g = -67 - u. Is g <= y?
True
Let i = -10 + 13. Let p be 64 - (-8)/i*(-27)/36. Which is greater: 61 or p?
p
Let a = 0.6 + -0.63. Let q = -35 + 37. Is q < a?
False
Suppose 4*c + 17 = 33. Let z(m) = m**3 + 4*m**2 + 5. Let r be z(-4). Which is smaller: c or r?
c
Suppose 0 = m + 2*a + 245, -m + 0*a + 4*a - 221 = 0. Let i be (-2)/6 - m/684. Is i greater than or equal to -1?
True
Let c = 3.96 - 73.96. Is c greater than -1?
False
Let i be 2/6*3*-2*-4. Let d be (i/20*-1)/((-27)/(-5)). Which is smaller: 1 or d?
d
Let z be 10/(-570)*15 - (5 + 0). Is -4 < z?
False
Let z be (210/(-27))/(-7) + (-1)/9. Do 4/13 and z have the same value?
False
Let s = 3.96 + 3.16. Let c = 0.12 - s. Let o = c - -8. Which is smaller: o or 1/3?
1/3
Suppose 5*f + 7 - 2 = 0. Let c = 14 - 10. Suppose -6*v = -2*v - c, 2*d - 2*v - 2 = 0. Is f <= d?
True
Suppose -5*i - 5824 = -5829. Are -116 and i equal?
False
Suppose -54*f + 91*f = -2368. Which is smaller: -8 or f?
f
Suppose -3*z = 10 - 7. Let d = -223 + 6019/27. Which is smaller: z or d?
z
Let h be 3/18 - (8 - 25151/3210). Which is smaller: h or 1?
h
Let o(i) = -2*i - 28. Let c be o(-14). Let n be ((-3)/80)/(48/(-20)). Which is bigger: c or n?
n
Let u be (30/(-4))/((-3)/6). Suppose -16*m + u*m = 1. Let h be 27/(-55) - 2/(-5). Is h < m?
False
Let k be 4/(48/9)*(60 + 2). Is k greater than or equal to 48?
False
Let y(m) = 2*m**2 - 2*m - 17. Let u be y(4). Which is smaller: u or -7?
-7
Let x be (-1)/9*(-8 - -1). Suppose 0 = -o - 5*o + 21*o - 30. Is o equal to x?
False
Suppose d + 58 - 431 = 0. Suppose x - d = -2*q + q, 3*q = x + 1099. Let z be q/(-48) - 1/3. Is -9 equal to z?
False
Suppose -t - 4*t = 2*r - 19, -4*r + 13 = 5*t. Suppose 2*y - t = -z + 3*y, 3*z + 2*y + 10 = 0. Which is greater: 4/3 or z?
4/3
Let i(k) be the second derivative of -k**3/6 + 3*k**2 - 2*k. Let r be i(7). Let t be 10/(-15) + 88/123. Which is greater: r or t?
t
Let f(d) = -d**2 - 2*d - 12. Let o be f(-6). Let b = -36 - o. Which is smaller: -2/11 or b?
-2/11
Let d be 3/6*800/15160. Is d at most 1?
True
Let d be ((-6308)/(-608))/(1/4). Is d != 43?
True
Let n = 31 + -45. Let l be n/(-7) + (0 - 3). Which is smaller: -4/9 or l?
l
Let m be (5 - -20)/(2/4). Let r be ((-312)/m)/2 + 3. Which is smaller: r or -1?
-1
Let q = 473 + -470. Which is greater: q or 58?
58
Suppose 3*f - c - 4*c - 10 = 0, 0 = -4*f + 3*c - 5. Let n = -6 - f. Let l be (-2)/(((-2)/3)/((-12)/30)). Which is smaller: n or l?
l
Let x = -1664 - -1664. Which is smaller: x or -0.0568?
-0.0568
Let h = 0.17 - 0.27. Let l = h + 0.1. Does 4/5 = l?
False
Let u = -18 + 36. Let l = 18.1 - u. Are -3.7 and l non-equal?
True
Let y be (-10997)/(-14) + (-8)/16. Is y less than 787?
True
Let x(l) = l**2 + 1. Let v be x(1). Suppose 3*c - 5 = -2*s, -2*c = -v*s + c - 13. Let t be (0 + 1)*(-2)/1. Do t and s have the same value?
True
Let s(x) = -10 - 2*x**2 - 4*x + 5*x - 12*x - 19*x. Let v be s(-13). Which is greater: 43 or v?
43
Let o = -12.5 - -13. Let d = 0.47 - o. Let c = -0.07 + d. Which is smaller: c or 0.05?
c
Let v = 5 - 6. Let j = 0 - 0.01. Let n = -1.01 - j. Is v bigger than n?
False
Let a = -230 - -366. Are 136 and a nonequal?
False
Let s(l) = 2*l**3 - 3*l**3 - l + 2*l**3 + 9 - 2*l**3 + 5*l**2. Let j be s(5). Which is bigger: 9 or j?
9
Let h(a) = -a. Let g be h(-3). Suppose -2*u + 18 = 2*l, 2*l - u - g = 3. Let x(p) = -p**3 + 21*p**2 + 12*p + 224. Let i be x(22). Are i and l nonequal?
True
Let g = -35903 - -614008/17. Let i = 215 - g. Which is bigger: i or -1/3?
i
Let d be 12/(3/(-12) + 1). Let o = d + -14. Suppose 4*t + 19 = 3*b, -o*t + 1 - 13 = -4*b. Is -3/8 greater than or equal to b?
False
Let a be 15/(-75) + (492/160 - 3). Is 1 >= a?
True
Let y be (80/8)/((-6)/(-36)*-3). Which is smaller: y or -16?
y
Suppose k + 2*i + 8 = 0, i + 4*i + 19 = -3*k. Suppose -3*v - 25 - 8 = 5*c, 4*v - k = c. Let b be c/(-18)*(-3)/37. Is 1 less than b?
False
Let o(r) = r**2 - 3*r + 4. Let v be o(3). Let g be (-6)/(-14) + (8/(-14))/v. Is -32 <= g?
True
Let z(s) = -2*s + 25. Let l be 8 - (-3)/((-6)/(-4)*1). Let v be z(l). Which is smaller: 7/2 or v?
7/2
Suppose 4*j - 364 = 2*m, -2*j - 4*m + 266 = 64. Do j and -0.1 have the same value?
False
Let y = -42 - -30. Suppose 0 = -0*p - 3*p + 30. Let c = y + p. Are -3 and c equal?
False
Let j = 86 + -89.3. Let w = -2.83 - j. Is -1 at least w?
False
Suppose 3*y - 50 = -5*o, -3*o - y + 0*y = -34. Suppose -k + n + 0*n + 9 = 0, k - o = 2*n. Suppose -i + 3*v = 3*i + 35, -k*v = -5. Is -7 > i?
True
Let q be -7*((-290)/(-35) - 4). Let l = q + 12. Let r = l + 39. Does 22 = r?
False
Let u(p) = p**3 + 9*p**2 + 13*p - 9. Let k be u(-7). Is -25 < k?
True
Let s(z) = -4*z**2 + 13*z + 13. Let f be s(-7). Is -275 > f?
False
Suppose z = 5*z - 156. Let l be (z + -1)*(-14)/28. Let y = l + 9. Which is bigger: -11 or y?
y
Let z = -0.58 + -0.02. Let n = -10.9 + 10.9. Are z and n equal?
False
Let l be (-1)/7 + 521*2/(-7). Is -149 > l?
False
Let i be (-10)/(-35) - (-2)/(-56)*8. Which is greater: i or -13/41?
i
Let v be (0 + 0)*(5 - 4). Suppose -3*n + 5*n = v. Suppose 0 = 2*a, n*a - 25 = -5*s + 2*a. Which is smaller: s or 7?
s
Let m = -39 - -49. Let s = 8 - m. Which is smaller: s or 6/11?
s
Let y = 41 - 70. Let q = 12 + y. Which is greater: 0.1 or q?
0.1
Suppose -4*c + 4 = -5*v + 3, -3*c - 2 = -v. Suppose 0 = -b + 2*z + 6, b - 3*z - 65 = -4*b. Let j = -19 + b. Which is bigger: v or j?
v
Suppose -3*l + 5*n + 683 = 0, l - 4*n = 113 + 117. Which is smaller: 225 or l?
225
Let m(s) = -s**2 - 20*s + 83. Let h be m(-23). Is 194/13 equal to h?
False
Let s = 2.4 - 2.81. Let x = -0.71 - s