q(3). Let s be ((-4)/7)/(80/(-56))*5*-7. Which is smaller: n or s?
s
Let z = -9 + 9.3. Let t = -233 - -232. Is z greater than t?
True
Let v(w) = 2*w**2 + 20*w - 63. Let q be v(12). Is q less than 466?
True
Let g = -2825 - -2824. Let i = -14111/93 - -455/3. Are g and i equal?
False
Suppose 5*f = -5*f + 80. Let r be 0 + 1 - (30 - f). Suppose 52 + 32 = -4*q. Is r < q?
False
Let k = 10851 + -54502/5. Let a = k + 50. Let h = 6 + -5.5. Which is smaller: h or a?
h
Let m(y) = y**3 - 7*y**2 - 17*y - 11. Let s be m(9). Which is smaller: s or -8?
-8
Let p = 4 + -9. Let h = 3 + p. Let w be -2 + (h + 8 - 2). Which is greater: w or 7/5?
w
Let c(k) = -5 - 3 + 1 + k**2 - 2*k**2 + 5*k. Let r be c(4). Are -3 and r equal?
True
Let g be (-1)/2*2/5. Suppose 0 = 4*b + 2*d - 4, -7*b - 4 = -3*b - 2*d. Is b less than or equal to g?
False
Let w(y) = -51*y + 172. Let l be w(25). Which is smaller: l or -1102?
l
Let n = 2 + 19. Let i = -268/5 - -54. Is n at least i?
True
Suppose 3*t + 3962 = 10*t. Which is greater: 565 or t?
t
Suppose 2*s = a + 6 - 73, 166 = -5*s + a. Is s at least -31?
False
Suppose 5*y = -296 + 236. Is -12 >= y?
True
Let f be (4/(-6))/(((-42)/27)/(-7)). Let z = 12 + -15. Let v = -6 - z. Are f and v equal?
True
Let i be -2 + 103 - (14 - 14). Let w = 101 - i. Is w smaller than -1/4?
False
Suppose -15 = -w + 5*f, -3*w + 6*f - 5*f = -3. Which is bigger: 109 or w?
109
Let n be -7 - ((10 - 9) + 490). Is -498 bigger than n?
False
Suppose -3*o + 31 = -0*o - 2*v, 3*v = 3*o - 30. Suppose 35 + 5 = 4*r. Suppose -o*z + r*z = 0. Which is greater: 2/25 or z?
2/25
Let w = -1195/7 - -171. Let o be 3/24*20 + (-1)/2. Suppose 52 = o*l - 8. Is w <= l?
True
Let v = -206 + 132. Which is smaller: -76 or v?
-76
Let s be (-2 - (-104)/34) + -1. Let w = s - 3/17. Which is smaller: -0.1 or w?
w
Let p = -18 - -18. Suppose o - 4 + 1 = p. Let b be (-8)/(-2) - (10 - o). Is b bigger than -7?
True
Let h be (-2 + -3 + 5)/2. Let u = 0.198 - 9.198. Which is bigger: h or u?
h
Let h = 0.3 + 0. Let u = h - 0.1. Let i be (-1 + -1)/(-8*(-9)/18). Is i at most as big as u?
True
Let l(r) = 29*r + 38. Let x be l(-3). Which is greater: -0.5 or x?
-0.5
Suppose -27 = 4*o + t - 108, 4*o - 71 = t. Suppose r + 2*a = o, -3*r - 2*a = -5*a - 12. Is r <= 8?
False
Let u be -1*(12 + 3)/3. Let k = -6 - u. Which is bigger: 1/3 or k?
1/3
Let u = -1.6 - -1.7. Suppose x - 5*l + 42 = 0, -2*x + 0*x = -l + 120. Let y = 36 + x. Are u and y equal?
False
Suppose 4 = 2*o, -3*s + 5*o - 8 = o. Let h = 5267/7 - 751. Is h <= s?
False
Let y = -25 + 21. Let l be 728/(-117) + y/(-18). Suppose 5*d = 3*t + 6, -5*t + 6*d - 20 = d. Which is smaller: t or l?
t
Let z(p) = p + 6. Let g be z(-6). Suppose -4*b + 11 = -5. Suppose g = 2*s - b - 2. Which is smaller: 5 or s?
s
Let z be -2 + (-51)/(-24) - 1848/(-64). Which is smaller: 27 or z?
27
Let n(g) = 4*g + 2. Let w be n(-1). Suppose q - 7 = 4*f + 15, -28 = -2*q + 4*f. Let k be ((-2)/q)/(15/72). Is k greater than or equal to w?
True
Let r be (2/6)/((-365)/(-90) + -4). Suppose r = 3*t - 3. Which is bigger: 0 or t?
t
Suppose 3*h = -4*o + 20, 18 + 2 = o - 3*h. Suppose 5*x - 5 = 25. Which is bigger: x or o?
o
Let w = 2317/4 + -580. Which is smaller: w or -1?
-1
Suppose 0 + 8 = 4*g. Let x = 3 - g. Is 1 equal to x?
True
Let o be 15/20 - 316/(-176). Which is bigger: -1 or o?
o
Let c be 9/18 - (-2)/(-4). Let h be (-2 + c)/1 - -7. Let w = -6 + h. Is 1 greater than or equal to w?
True
Suppose 30*j - 75 = 25*j. Suppose -5*t - j = -0*n + n, 0 = -2*n - 4*t - 24. Which is smaller: n or -4?
n
Let t be 250/(-15) + (-5)/15. Which is smaller: t or -15?
t
Let n(s) = 2*s**2 - 4*s + 4. Let c be n(3). Let v be (4/(-6))/(c/15). Is v != 2/67?
True
Let y = -1099/5 - -219. Let i = -13.93 + 14. Let t = 0.07 - i. Which is smaller: y or t?
y
Let m = 9 + -28. Suppose 7*c - 2*c = n + 7, -5*n - 2*c = 89. Is m at least as big as n?
False
Let r(x) = -x**2 + 6*x - 5. Let a(l) = -4*l**2 + 25*l - 21. Let v(s) = -4*a(s) + 18*r(s). Let b be v(3). Which is smaller: -3/4 or b?
-3/4
Let n(j) = j + 2. Let x be n(1). Suppose -f = -3*o - 7, -4*f + 7 = -4*o + x. Which is smaller: f or -1?
f
Let m(t) = t + 20. Let l = -32 + 16. Let a be m(l). Which is smaller: 14/3 or a?
a
Suppose -3*d + t = -1527, 0 = -2*d + 3*t + 50 + 961. Is d < 510?
False
Let z = 863.6 - 874.6. Let t = -5 - -8. Let x = t - 4. Which is bigger: z or x?
x
Let u be (-1*(-273)/(-84))/((-1)/(-4)). Are -3/5 and u non-equal?
True
Let k be -3*(-683)/(-12) - 6/(-8). Is -170 equal to k?
True
Suppose -20 = 2*l - 6*l. Suppose -2*p + l*p = 15. Let g = 4 - p. Which is smaller: g or -3/2?
-3/2
Suppose 2*h + s = 23, -s = 5*h + 2*s - 56. Let j = -21 - 9. Let r be 2/(4 - (-115)/j). Is r not equal to h?
True
Let a = 829/1055 - -3/211. Which is smaller: 1 or a?
a
Let i(l) = -l**3 - 21*l**2 + 24*l + 18. Let y be i(-22). Let s = y + 27. Let j = 48 - 625/13. Is s not equal to j?
True
Let r = 6 - 3. Suppose -r*p = -0*p - 9. Let s = -3 + 8. Which is bigger: p or s?
s
Suppose 4*t + 105 = 25. Let m be 10/(-4)*t/(-25). Let v be m/(-16) + 3/(-24). Which is greater: v or -5/6?
v
Let d(o) = 12*o - 12. Let z be d(7). Let c be 2 + 2/(-2) - 24/z. Which is greater: 0 or c?
c
Suppose -25 = -2*q + 7*q + 4*r, -r - 4 = -q. Which is smaller: 3/89 or q?
q
Let h be 5/(-1) + 7/((-49)/(-35)). Is h less than or equal to -1/134?
False
Let f be ((-12)/1)/((-8430)/(-20)). Let l = 5676/1967 + f. Which is greater: 2 or l?
l
Suppose -2*f + 5*y + 8 = 0, -76 = 5*f - y - 73. Are f and -3/143 nonequal?
True
Let c(f) = -3*f**3 - f**2. Let y be c(-1). Suppose t + y = 2*t. Let l(v) = -6*v + 5. Let s be l(2). Is t <= s?
False
Suppose -6*l = -l. Let d = 885042/299 + -2960. Which is smaller: d or l?
l
Let k(j) = 3*j + 39. Let h be k(-10). Which is bigger: h or -42?
h
Let k be (51/255)/(2/2). Which is greater: k or -0.06?
k
Suppose 0 = 5*m - 15, -3 = 2*c - 2*m + 5*m. Let q(d) = -20232*d + 0 + 20231*d - 11. Let f be q(c). Which is bigger: f or -7?
f
Suppose 0 = 3*f - 3, 0*f = b + 4*f - 18. Suppose 0 = 15*k - b*k + 3. Which is smaller: k or -2?
k
Let s be (-6)/(-4) - 136/16. Let w(r) be the first derivative of r**4/4 + 5*r**3/3 + r**2 + 5*r - 17. Let n be w(-5). Which is smaller: s or n?
s
Let d(q) = -2*q**2 + 19*q - 6. Let j be d(9). Which is smaller: j or -4?
-4
Let v = 1104.2 + -1104. Is 16.8 greater than or equal to v?
True
Let g(w) = 1. Let u(f) = -4*f - 4. Let v(c) = -3*g(c) - u(c). Let t be v(1). Suppose -4*d + 34 = z - 3*z, 3*d - 43 = 5*z. Which is smaller: d or t?
t
Let a = -776 + 759. Which is smaller: a or -83/5?
a
Let h = 9 - 6. Suppose -3*n + 21 = -3. Suppose i - 8 = -2*a, -3*i + n = 3*a - 7. Do a and h have the same value?
True
Suppose -4*n + 4 = -0. Which is smaller: -2/2933 or n?
-2/2933
Let v be 44/220 + ((-56)/(-30))/(-4). Let x(y) = -y - 4. Let c be x(-6). Suppose 2*u - c + 4 = 0. Which is greater: u or v?
v
Let s = 7 - 3. Suppose s*g = 3*g - 1. Let p be (-4)/(-123)*((-90)/12 + 9). Which is smaller: g or p?
g
Let s be (-7)/21*-15 - 362/10. Do -32 and s have the same value?
False
Suppose -13*j = -15*j. Suppose 12 = -6*w + 2*w. Let i be 230/(-60) + (0 - w). Are i and j nonequal?
True
Suppose -4*i = -i. Let u be (66 - 65)*(-154)/(-30) - (-10)/(-2). Which is smaller: i or u?
i
Suppose 40*l - 33*l - 371 = 0. Which is smaller: l or 52?
52
Suppose 4*d = 4*s - 156, 0*d + 159 = 4*s - 3*d. Let f = 41 - s. Is 0.17 at least as big as f?
True
Let c = 41/70 + 45/14. Let d = 44 + -43. Suppose 2*u - 8*h = -3*h + 25, 0 = 2*u + 3*h - d. Which is greater: u or c?
u
Let m(b) = b**2 - 3*b - 6. Let i be m(2). Which is smaller: -3 or i?
i
Let a = 7/16 + -51/16. Which is bigger: a or 2/9?
2/9
Suppose -10 = 2*j + 3*f, -4*j + 2*f = -2*f - 20. Let r be (-1 - j)/(-2)*-87. Is r smaller than -87?
False
Let l(s) = s - 9. Let y be l(8). Let x be (-2)/(-11) - (-90)/(-3762). Is y > x?
False
Suppose 4*s = 4*y - 4, 3*s + 3*y - 2 = y. Let z = 3 + -2.3. Let c = z - 0.2. Which is smaller: c or s?
s
Let w = -41 - -112. Let q = w - 71. Is 68 greater than or equal to q?
True
Suppose -4 = -r, 311 = 7*c - 4*c - r. Let q be (c/(-200))/1 + 2/4. Which is greater: 1 or q?
1
Suppose -4*t + 2*a = 4*a, t + 5*a + 9 = 0. Let y = -23074306718/197179255 - -3/2166805. Let p = -117 - y. Are p and t non-equal?
True
Suppose 2*w + 268 = 26. Is -121 bigger than w