 - u = 34. Suppose 0 = -5*n + 42 + l. Which is smaller: n or x?
x
Let h = -39 - -28. Let p be h - -9 - (-1 + -1). Which is bigger: p or 1/36?
1/36
Suppose 2*m - 18 = -6. Suppose -3*z + z = -m. Let y(a) = 3*a**2 + 142*a + 672. Let d be y(-42). Is d less than z?
True
Let j = 588 + -469. Are j and 119 nonequal?
False
Let f = -17 + -19. Let s = f + 35.9. Which is greater: -2/47 or s?
-2/47
Let x = -0.18 - -0.29. Let v = -0.43 + -0.17. Let r = v + 1.6. Which is smaller: x or r?
x
Let x = 763 + -763. Which is greater: x or 5/96?
5/96
Suppose -15*w + 21*w + 180 = 0. Suppose 3*d = 3, 0 = -3*v - 5*d - 32 - 50. Do w and v have the same value?
False
Let b = 1011 + -998. Which is greater: -2.3 or b?
b
Suppose 4*j - 7 = 9. Suppose j*y = -y + 480. Suppose -3*u + y = u. Is u > 24?
False
Let f = 169 + -675/4. Let z(l) be the third derivative of l**5/10 - l**4/24 - l**3/6 - 2*l**2. Let g be z(-1). Is g greater than or equal to f?
True
Let i = 272/7 - 39. Let f = 2.4 - 2.8. Which is greater: f or i?
i
Let m = 884 + -350. Let k = m - 19755/37. Let z = k - 46/111. Which is greater: -1 or z?
z
Let q = 4.32 + -0.02. Let f = -1.3 + q. Is f > -5?
True
Let r(c) = -6*c + 9. Let v(h) = -h**3 + 18*h**2 + 20*h - 14. Let u be v(19). Let i be r(u). Do -23 and i have different values?
True
Let l = 40.6 + -40. Let u = l + -0.7. Let d = -1 + 1.1. Which is greater: d or u?
d
Let b = -1/117 - -385/3978. Let z = b - -39/136. Let j = -1/8 + z. Is 4 less than j?
False
Suppose -2*q = -25 + 33. Let u be ((-40)/(-570))/(q/6). Which is smaller: 0 or u?
u
Let g be 20/(-4) + (-10 - -13) + -58. Which is greater: -51 or g?
-51
Let d = -1.35 - 0.15. Let b = d - -1.46. Let g = 0.64 + b. Which is smaller: 1 or g?
g
Let r = 740 - 739.8. Let o = 13 + 0. Is o greater than r?
True
Let f be 16/(-28)*-7 - 3*1. Do f and 7/5 have different values?
True
Let k be 3*-2*(-1)/2. Suppose 5*i - 908 = -5*q - 938, 4*i = -2*q - 12. Is q less than or equal to k?
True
Let r = -46577591 - -550314234868/11815. Let z = 1/695 + r. Is z < -1?
False
Let r(s) = 16 + 6*s + 9*s - 5*s**2 + 11*s**2 - 7*s**2. Let v be r(16). Is -2/297 at most v?
True
Suppose -j + 11 = -2*r, -5*j = -0*r + 3*r - 16. Let y be 24/12*(10/12)/j. Which is greater: 1/10 or y?
y
Let q(j) = -3*j + 1. Let n be q(7). Let f = 270 - 289. Are f and n nonequal?
True
Let w be (2/40)/(14 - (-855)/(-60)). Suppose 3 = 2*p - b, -5*p - 3*b = -6*b - 8. Which is smaller: w or p?
w
Let p = 6 + -4. Suppose q - 30 = -p*q. Suppose z + q = -0*z. Is z bigger than -10?
False
Suppose d = 3*h - 139, -2*d - 3*h = h + 258. Is -135 at least as big as d?
False
Let g = -12 - -12.25. Let y = 0.65 - g. Which is bigger: -1/2 or y?
y
Suppose 11*n - 13*n + 2 = 0. Let z be n*(4 - 3 - -3). Suppose z*b - 20 = 4*s, 2*b + 0*b = -s + 4. Is 7 greater than b?
True
Let y(v) = -6*v - 3. Let q be y(-2). Suppose -2*k = k - 258. Let f be k/11 + 6/33. Is f greater than q?
False
Let v be 2/3*3 + -3. Let b(d) = d**2 - 2*d - 9. Let h be b(-2). Let r be 1/((-4 - -7)*h/1). Is v less than r?
True
Suppose -3*u + 73 = -2*l, -8*u + 7*u = 4*l + 139. Is l bigger than -31?
False
Let z = 18 - 16. Let t be (-12)/(-30) - 2/30. Which is bigger: t or z?
z
Let m = 1 + -1.1. Let p = -5859 - -5850.042. Let v = p - 0.042. Which is smaller: m or v?
v
Let w = -783.9 + 835. Let o = w - 50. Which is greater: o or 0.1?
o
Let w be 2*(2 - 2/4) - 2. Let v = -0.17 - 0.02. Which is smaller: w or v?
v
Let l = 2/1235 - 6223/29640. Which is bigger: l or -1?
l
Suppose c = 5*t - 168, 2*c - 75 = -2*t + 5*c. Suppose -o = -2*v + 3*o + 48, -2*v + t = o. Let z be (-6)/4*(2 + 176/(-12)). Which is smaller: v or z?
v
Let i be 3/(30/40*-1). Suppose -4*x + 4 = -6*x. Is x < i?
False
Let f(t) = t**3 + 30*t**2 - 63*t + 33. Let h be f(-32). Let m be (-4)/6*3/(-19). Is m at least as big as h?
False
Let y = 11939/23 - 519. Which is bigger: -0.1 or y?
y
Let k = -18.863 + 0.863. Which is smaller: 29 or k?
k
Let q be 8/(-16) + (-45)/(-2). Does q = 22?
True
Let l = 11.078 + -11. Let f = 0.078 - l. Which is bigger: 2/45 or f?
2/45
Let r = -5 + 1. Let n = -4.05 - r. Let d = 0.05 + n. Is 0 bigger than d?
False
Suppose 4*c = 2*d - 188, 5*c + 2*d + 205 = -3*d. Suppose 7*x = -3*x - 450. Are x and c equal?
True
Let c be ((-408)/(-14))/(192/672). Is c >= 104?
False
Let z be ((-5)/(-9)*6)/(2/12). Let i be 1/(-15)*((-45)/z - 0). Which is smaller: 1 or i?
i
Suppose 0 = -16*s + 78 - 110. Suppose -4 = j + j. Is s equal to j?
True
Suppose -2*u = 5*m - 1932, 5*m - 5*u + 0*u = 1960. Which is bigger: m or 389?
389
Let i be (-1 - -1)/(1 - -1). Let p(k) = -2*k**2 + 3*k + 10. Let j be p(6). Let g = j + 392/9. Do i and g have the same value?
False
Let y = 138.7 - 147. Let g = 28.3 + y. Which is smaller: -1 or g?
-1
Suppose 7*a - 3*f - 92 = 2*a, -3*f - 73 = -4*a. Is 19 at least a?
True
Let v be (16/(-120))/((-80)/(-1992)). Which is greater: v or -2?
-2
Suppose -3*s + 5*s - 8 = 0. Suppose 3*h - s = 2. Suppose y = h*y. Is y at most 1/39?
True
Suppose 0 = -13*a + 3*a - 60. Let l(f) = -f**2 + 7*f - 7. Let h be l(7). Let z be (1/(-2))/(h/a). Which is bigger: 0 or z?
0
Let t = 34003/3906 - -5/558. Which is smaller: t or 9?
t
Suppose -2*g + 4 = 5*f - 2, 3*f - 5*g = 16. Let b = 0.99 + -1.1. Let d = b - 0.49. Which is bigger: f or d?
f
Let o be (-1679)/2015 + 1 - 6/39. Let t = -12/31 - o. Which is bigger: 10 or t?
10
Let i(t) = -2*t - 29. Let m be i(-13). Does m = -47?
False
Suppose -p = -0*p + 2, -3*g - 5*p = 10. Which is smaller: g or -1/71?
-1/71
Let s = -356 + 404. Which is greater: -0.1 or s?
s
Let s = -83 + -33. Let b = s + 54. Is -62 > b?
False
Suppose f + 2311 = 2282. Do -169/6 and f have the same value?
False
Suppose -3*m = 1208 - 1112. Is -63/2 <= m?
False
Let c be 531/(-6) + -3 + 3. Suppose 2*r + 0*r = 3*x - 279, -r - 93 = -x. Let f = c + x. Which is smaller: f or 4?
4
Let l = 8 - 7. Let b(v) = 5*v - 4*v + 2 - 2 - 1. Let g be b(l). Is g at least -2?
True
Let f = 26 + -25. Let k = 88 - 88.24. Which is greater: f or k?
f
Suppose -1 - 4 = -l, 0 = -i + 2*l - 10. Let d = 20 - 24. Let b be d/24*-3*i. Which is bigger: 1/21 or b?
1/21
Let g be 1/(-3) - 68/(-51). Let o be (-3)/((-15)/5) - g. Which is greater: -3/7 or o?
o
Let d(c) = -c**3 - 52*c**2 - 52*c + 48. Let s be d(-51). Is s at most 685/7?
False
Suppose -19 = l + 5. Let g be ((-6)/8)/(2/l). Let h be (-4)/g*3/(-2). Are -0.1 and h nonequal?
True
Let v = 3.1 + -3. Let y = 9.06 - 8.86. Does v = y?
False
Suppose 14 = i - 5*l, -3*i + 34*l - 29*l = -12. Is i less than or equal to 2/317?
True
Suppose -3*z + 18 = -3*l, 4*z - 4*l - 23 = z. Let p be (-8 - -10)/(-1 - 10). Which is smaller: z or p?
p
Let j = 484 - 749. Let h = -157 - j. Suppose -2*y - 3*y + p + 106 = 0, 0 = 4*y + 5*p - h. Which is smaller: y or 21?
21
Let c(o) = o - 12. Suppose -2*w + 18 + 6 = 0. Let f be c(w). Suppose y - 2*j = f, y + y + 6 = -2*j. Which is smaller: -4 or y?
-4
Let a = -1 - -3. Let b(w) = 6*w + 2*w**2 + 5 - w**a - 4. Let r be b(-5). Is r at least as big as -2?
False
Let h = -6 + 9. Suppose -4*p + h*k = 34, -20 = 4*p - 2*k + 16. Let s = p + 8. Is s less than or equal to 3/5?
True
Let p(s) = s**2 - 3*s - 9. Let g be p(-4). Let c = g + -15. Suppose -2*t + 0 = -k + 5, c*k = -5*t + 20. Which is smaller: k or 3?
3
Let m be ((-12)/(-64))/(4/(-16)). Let j = 14.6 + -14.53. Which is greater: m or j?
j
Let j be ((-3462)/(-70))/(-3) - 2/(-7). Let u(r) = -4*r. Let m be u(4). Let c = j - m. Is c bigger than -2/9?
True
Let f = 0.6 + -2.6. Suppose 0 = 21*g - 21 - 0. Which is smaller: g or f?
f
Suppose 0 = 4*m + 21 + 7. Let s = -78 + 37. Let y = 42 + s. Is m bigger than y?
False
Let d be (-40)/(-5) + 5*(-7)/((-35)/8). Let u(a) = a**3 + 3*a**2 - a + 1. Let w be u(-3). Suppose -42 = -7*v + w*v. Are v and d nonequal?
True
Let y = -748 - -745. Is y equal to 0?
False
Let u = 20 - 64/3. Let x(t) = -t**3 - 3*t**2 - 3*t + 1. Let o be x(-3). Let y be o/(-4)*(-12)/(-45). Is u less than y?
True
Let y be 9/((-27)/(-42)) + 2. Suppose 0 = 5*k - r + y, -2*r = -5*k - 0*k - 12. Which is smaller: -2 or k?
k
Let p = -120 + 594/5. Let i be (24/(-9))/(3/(-9)). Suppose q - 5*q = i. Which is smaller: q or p?
q
Let c = -4904/4077 - -8/453. Is -0.1 at least c?
True
Suppose 81 = -4*w - 5*i, -2*w - i = 13 + 26. Which is smaller: -71/4 or w?
w
Let q(b) = 7*b**2 - 10*b + 4*b**3 - 7*b**3 + 2