 = -5*n(q) - o(q). Let j be h(-2). Suppose -j*p - 3*p - 85 = 0. Does -17 = p?
True
Suppose 83*g - 13470 - 2881 = 0. Is g at least -2/11?
True
Suppose -47*s + 52*s - 100 = 0. Is 17 at most s?
True
Let r(m) = -3*m**3 - 3*m**2 + 5*m + 12. Let a(x) = 2 - 4*x**3 - 4*x**2 + 0 + 6*x + 9. Let y(s) = -4*a(s) + 5*r(s). Let n be y(0). Is n smaller than 16?
False
Let a = -0.3 - -0.63. Let u = a + -0.23. Is -19 > u?
False
Let k = 267 + -4530/17. Is k equal to 2?
False
Let r be 39/3 + -7 - 1. Which is bigger: r or 6?
6
Let a = 11195 - 291137/26. Which is smaller: a or -4?
-4
Let m be 1 + -3*1 + 2 + 11. Suppose -m*x - 5 = -10*x. Is x at least -2?
False
Let q be -6*40/125 - 6/(-3). Is -1 greater than or equal to q?
False
Let l be (21/(-140))/(2/(-5)). Is l greater than or equal to 8/5?
False
Let j = 0.6 - 3.6. Let d = -20 + j. Let w = 23.3 + d. Which is bigger: -1 or w?
w
Let t be (-52)/(-130) + 4/(-10). Which is smaller: t or -3/28?
-3/28
Let b be 2276 - ((-2)/(-11) + (-384)/176). Which is bigger: 0.1 or b?
b
Let x(z) = -1 + 0 - z - z - 4. Let c be x(-4). Is c less than -3?
False
Let q = 2 - 1. Let h be (-9)/4*8*10/510. Which is greater: h or q?
q
Let s = -16 + 1. Let u = 16 + s. Let m = 0 - u. Which is greater: -2 or m?
m
Suppose 3*c - 8 = 4*u - 0*c, 5*u - 13 = -2*c. Let x = 10499/4 - 2570. Let b = -3293/60 + x. Which is greater: b or u?
u
Suppose -3*t + 4*t = -1. Let r = 5182 + -55560/11. Let p = r - 131. Is p equal to t?
False
Let f be 4/10 + (-6)/(-10). Let r = 169/5 + -381/20. Let b = -1007/68 + r. Is b equal to f?
False
Let a = -2380 + 2380.03. Is a at most as big as 1/67?
False
Suppose 10*t = 2*t + 24. Suppose -44 = -t*n + 7. Which is smaller: n or 2?
2
Let s(c) = -2*c**3 + 10*c**2 + 12*c - 75. Let x be s(6). Do -79 and x have the same value?
False
Suppose z - 4 = 5. Let d(r) = -r**3 + 10*r**2 - 8*r - 9. Let g be d(z). Suppose 3*o + 2 = -2*v, -5*v - 2 - 3 = 3*o. Is o < g?
False
Let z = 688 - 394. Is z greater than or equal to -1/3?
True
Let z = 4.7 + -3.1. Let c = 1.7 - z. Which is smaller: c or -1/3?
-1/3
Suppose 5*m = 4*n - 29, -2*m - 6*n = -8*n + 10. Is m greater than or equal to -6?
False
Let q(l) = -8*l**2 + 9*l + 11. Let n be q(2). Is n at least 3?
False
Let x = -17.3 + 36.2. Let m = -7.1 - x. Is m <= 0.1?
True
Let c = -11398/29 - -393. Let t be 4*4/32*50. Let h = -25 + t. Is c <= h?
True
Suppose 9 = t + 8. Do t and -5/14 have the same value?
False
Let t be -7*2/(-24)*280/(-140). Let v = 83 + -169/2. Let y = t - v. Is 1 at least y?
True
Let r be 112/(-1820)*1/4. Which is bigger: r or 0?
0
Let c be 14/(-15)*(-882)/(-25039). Which is bigger: c or 0?
0
Let w be (4/9)/(14/(-21)). Let x = 0.07 + -0.1. Is x > w?
True
Suppose 32*q + 302 = 31*q. Are -304 and q nonequal?
True
Let a = 13 + -35. Is a less than -0.2?
True
Suppose 3*n = -9 - 0. Suppose a - m - 35 = -3*a, -5*m - 15 = 0. Let y be 1 - (-3)/((-6)/a). Is n not equal to y?
False
Suppose 3*n = 3*y - 301 + 991, 4*y - 5*n + 915 = 0. Let s be (y/(-225) + -1)/((-1)/(-5)). Let z = -3 + 7. Which is greater: s or z?
z
Let j = -85 + 148. Which is smaller: 62 or j?
62
Suppose 7*f - 4*f - 3*b = 12, 5*b = 2*f - 17. Which is smaller: f or 3/29?
3/29
Suppose -3*c + 27 = -2*y, 2*y + 0*c = -3*c + 3. Let o be ((-13)/(-6))/(3/y). Is -3 < o?
False
Let i = 4 - -5. Let w = 14 - i. Suppose 1 + 24 = -w*j. Which is smaller: j or -6?
-6
Let n be (-2 + -3)*((-4818)/1205 - -4). Let l = n + -448/4097. Which is smaller: l or -2?
-2
Let v = -63319012/2189 + 28926. Is 0 <= v?
True
Let p = -1232/3 + 16298/39. Which is greater: p or 7?
p
Suppose -4*g + 48 = -g. Suppose 40*m = 48*m - 32. Suppose 13*z = 8*z - m*f + 54, f = -4. Which is greater: g or z?
g
Let l = 56 + -48. Suppose -l - 38 = -2*f. Which is smaller: f or 21?
21
Let v = 330 + -1305/4. Suppose -3*w - 2 = -17. Which is bigger: w or v?
w
Let s be 24/144*258/(-28). Which is smaller: s or -1?
s
Suppose -3*q = -12, -4*q + q = -4*n - 56. Let o = -1122 + 1125. Is o greater than n?
True
Suppose -10*a = -9*a + 24. Let q be (-1)/(a/(-6)) - 834/(-8). Does q = 105?
False
Let k = -451.9 + 452. Which is greater: 186/5 or k?
186/5
Let o = -458/63 + 68/9. Which is smaller: -18/29 or o?
-18/29
Let g be ((-33)/(-6))/((-1)/4). Let w = 24 + g. Which is greater: 5 or w?
5
Let b(d) = -d + 12. Let u be b(10). Suppose -u*l - 4 = 5*i, -i = -0*l - l - 2. Let v be 5/((-5)/((-15)/(-18))). Which is bigger: l or v?
v
Suppose -3*k - 5*y = -4*k + 5, -k - 19 = 3*y. Let o be (0 - k)*1/(-2). Which is bigger: o or -11/3?
-11/3
Let n(s) = 9*s + 100. Let x be n(-11). Is x at most 6/67?
False
Suppose 9*q = 3*q. Suppose 0 = -q*o + 3*o, -o + 57 = 3*y. Let i = -20 + y. Is -9/4 greater than i?
False
Let s = 0.5681 + -0.0681. Which is bigger: s or -114?
s
Let m be (1 - 0) + -3 - 6. Let k be (-6688)/133 + (-4)/(-14). Let r = k + 41. Which is bigger: m or r?
m
Let v = -0.694 - -1.494. Is v equal to 1/3?
False
Let n = 2.6 - 2.52. Is 0.34 less than or equal to n?
False
Let b(n) = 4*n - 29. Let t = -27 - -34. Let l be b(t). Which is bigger: 4 or l?
4
Let w be (1 - 1)/2 - 8988/105. Is -86 greater than w?
False
Let o = -12 - -9. Let y be 37*(o - (-1 - 1)). Is y less than -37?
False
Let u = -680 - 250. Which is smaller: u or -1/2?
u
Let z be 75/(-70)*(-100)/27. Let s = -27/7 + z. Is s bigger than -1?
True
Let a(n) = n**2 + 20*n - 81. Let x be a(4). Which is greater: 23 or x?
23
Let f = -452/12687 + -4492951/6242004. Let g = f - -2/369. Let l = 1473 - 1474. Which is bigger: l or g?
g
Suppose 12*r - 26 = 22. Let m = -1 - -1. Suppose -2*q + 0*q = -r*x - 10, m = 2*q + 6. Is x greater than or equal to -3?
False
Let b be 0 + (-1)/(-72)*10779. Let k = 1035/8 - b. Which is smaller: -21 or k?
-21
Let l(u) = -2*u**3 - 32*u**2 - 3*u - 41. Let m be l(-16). Let g(i) = 3*i - 4. Let k be ((-8)/(-2))/1 + -1. Let h be g(k). Which is greater: h or m?
m
Let g = 53211/5 - 10680. Which is greater: g or -38?
g
Let h(b) = -5*b**2 - 10*b + 4. Let i(u) = u**2. Let r(g) = -h(g) - 6*i(g). Let j be r(12). Let k = j + 45. Which is bigger: 18 or k?
18
Let f be (1 + 2/1)*1. Suppose 16 = -24*w + 46 + 42. Is w bigger than f?
False
Let u(c) = c**3 - 14*c**2 + 2*c - 16. Let s be u(14). Suppose -a = -s - 9. Which is smaller: a or 22?
a
Let o(f) be the first derivative of -f**4/4 - 7*f**3/3 + 5*f**2 + 18*f + 1. Let b be o(-8). Let h = 2/45 - -41/90. Which is smaller: b or h?
h
Let x = -34462/5 - -7000. Let p = x + -108. Let z be (2/(-21))/(2/12). Is p != z?
True
Let q(d) = -d**2 + 13*d - 12. Suppose -2*k - 36 = -5*k. Let p be q(k). Let z = 3958/13 + -304. Which is bigger: z or p?
z
Suppose -o - 31*m = -27*m - 41, 5*o - 129 = -m. Which is smaller: -7 or o?
-7
Suppose 25*a - 16*a = 9. Let d be (-4 - -3) + 0/(a - 5). Which is bigger: d or -7/16?
-7/16
Let n = 24 + -21. Suppose x - 7 = -n*m, 0 = -x - 5*m + 5 + 4. Suppose j - k = k + 8, 5*k = -x*j + 71. Are j and 15 unequal?
True
Let j be 9/12 + 8/32. Which is bigger: j or -132?
j
Let u(h) = h**3 - h**2 - 3*h. Let k = 22 - 24. Let r be u(k). Let o be (-3)/4*(11 + 1). Is o > r?
False
Let i = -12 - 14. Which is bigger: 1/2 or i?
1/2
Suppose 3*r + h = -675, -3*h + 690 = -3*r + h. Are -226 and r equal?
True
Suppose 0 = -6*g - 3 + 15. Let k be -5 - (g/(-1) + 0). Is k > -4?
True
Let d = -216 + 126. Let j = -5306 + 5216. Is d greater than j?
False
Let q be (-4)/22 - (-14)/77. Suppose 3*i + 17 - 47 = q. Let l = i - 10. Which is smaller: l or -2/5?
-2/5
Suppose 0*j - 31 = -v + 4*j, -5*j = 2*v - 88. Let h be (-558)/(-14) + 432/(-2016)*(6 - 2). Is h at least as big as v?
True
Let l be (3/(360/16))/((-3)/396*2). Suppose -z + 2 - 10 = 0. Which is smaller: z or l?
l
Let y = -115057686761/1827 - -62976295. Let w = -4/261 + y. Let t(q) = 2*q**2 - 4*q + 2. Let r be t(2). Which is smaller: w or r?
r
Let c = 79 + -81. Let f be (-20)/(-32)*4*c/140. Is 0 < f?
False
Suppose -69 - 61 = -5*u. Let o = u + -31. Let v = o + 2. Are v and -3 unequal?
False
Let h(u) = -u - 8. Let q(m) = m + 7. Let j(k) = -3*h(k) - 4*q(k). Let v be j(-3). Which is smaller: -6/19 or v?
v
Suppose i = 4*k + 14, -2*k - 26 = 2*k + 5*i. Let a(b) = b**3 + 3*b**2 - 2*b + 9. Let q be a(k). Is -4/3 smaller than q?
True
Let y be 247/3 + (-10)/30. Which is smaller: 81 or y?
81
Let i be 0/(-1 + -3 - -8). Is i less than 0.05?
True
Let x = -90 - -93. Let n(y) = -3*y**2