t f(q) = -q**2 + 2*q + 3. Let n be f(0). Let c be ((-2)/(-6))/(n/6). Let h = -1 + 4. Is h equal to c?
False
Suppose -5*q = -a - a, 3*a = 5*q - 10. Suppose 12 = -2*z - 4*i - 2, 4*i = 5*z + 49. Is z at most a?
False
Let u be 4/10*(-30)/12*1. Is -4 at most u?
True
Let c be 12/4 + -1 + -3 + 2. Do c and 3/74 have the same value?
False
Let n be 4/3*(-1)/(4/(-150)). Suppose 10*d - n = 580. Which is bigger: 62 or d?
d
Let k be 8/(-16)*(-1 - 1). Suppose -7*u - 40 + 19 = 0. Is k less than or equal to u?
False
Let n(h) = -h**3 + 9*h**2 - 7*h - 7. Let b be n(8). Let i be b/(-3) - (-258)/18. Is 15 at most i?
False
Suppose 3*l - 2*l + 5*z = 4, 0 = -5*l - 3*z + 20. Suppose -3*s - l*k - 1 - 2 = 0, 3 = -3*s - 5*k. Is s at most as big as 3/7?
True
Let t = -0.2 + 0.2. Let r(c) be the second derivative of c**3/6 - c**2/2 + 10*c. Let x be r(0). Is x >= t?
False
Let r be 0/(7 - (10 + -2)) - 113. Which is smaller: r or -111?
r
Let n(t) = 3*t**2 + t - 2. Let u be n(1). Let l be 2*(-4)/(-16)*u. Which is smaller: l or 3/2?
l
Let v be (-14)/56 - (-25)/4. Suppose -v*t = -2*t + 104. Let x = -19 - t. Is 7 smaller than x?
False
Let t(g) = -g**3 + 3*g**2 + 21*g - 22. Let m(n) = n**3 - 4*n**2 - 20*n + 22. Let o(p) = 7*m(p) + 6*t(p). Let l be o(11). Which is smaller: l or -9?
l
Let o be ((-18)/27)/(80/(-42) + 2). Let l(r) = -r**3 - 9*r**2 - 16*r - 11. Let j be l(o). Is 14 at least as big as j?
True
Suppose 3 = -v - 7. Let u = -323 + 649/2. Which is greater: u or v?
u
Let u be (-10091)/(-700) + (-12)/42. Let o = u + -57/4. Which is smaller: 1 or o?
o
Let h = -355409/166 - -2141. Does 1 = h?
False
Let u = 765 + -775. Which is greater: -1.9 or u?
-1.9
Suppose 4*g + 4 = 14*x - 15*x, 0 = -2*x. Which is smaller: 2/6195 or g?
g
Let j = 10.7 + -10. Let g = j - 0.4. Suppose 36*v = 26 - 62. Which is smaller: g or v?
v
Let h = -43 + 45. Which is greater: 0.02 or h?
h
Let r = 18422233/1053 - 17495. Which is greater: r or 0?
0
Let h be -2*(-3)/(18/(-15)). Let m(w) be the first derivative of w**2 + 10*w + 57. Let g be m(h). Do g and -1 have the same value?
False
Let n be (3390/861 + -4)/(48/42). Which is smaller: n or -1?
-1
Suppose 4*y - 3 = 13. Suppose 4*a - 8*b + y*b = 0, -4*a + 9 = -b. Let d = 6 + -9. Is d greater than or equal to a?
False
Let h = 5 + -4. Suppose l = h, -5*m = -4*l - l - 45. Is m <= 11?
True
Let s = -307 + 309. Are s and 36/13 non-equal?
True
Let j = 305 + -303. Is 5/34 < j?
True
Let k = 1.28 + -0.28. Is k > -2/107?
True
Suppose 5*y + 53 - 43 = 0. Let c be (2/3)/(y/3)*-12. Is 0.3 > c?
False
Let x(o) = o**2 + 1. Let l be x(1). Let t(u) = -u - 1. Let r(v) = -5*v - 9. Let d(p) = r(p) - 6*t(p). Let g be d(6). Which is smaller: g or l?
l
Let f = 69.9 - 67. Let c be (-14)/91 - 142/91. Let d = 29/21 + c. Which is smaller: f or d?
d
Suppose -2*k - 6 = 2*n, 0*n - 5*n + 6 = -2*k. Which is bigger: n or 21?
21
Let k = 1/22 - -9/44. Are k and -57 equal?
False
Suppose h = n + 10, -h - 4*n + 14 = 4. Let r = -6842/5 - -1368. Is r at most h?
True
Let w be ((-3)/(-2))/((-12)/(-24)). Suppose 13*k = w*k - 10. Let o = -3663/13 + 282. Which is bigger: k or o?
o
Let t be 828/(-8) - (-1)/(-2). Let n = -77 - t. Which is bigger: 25 or n?
n
Let o = -2612.3 - -2612. Let j be (-3)/2*(-50)/15. Are o and j nonequal?
True
Let u = 22786/105 + -1506/7. Let x = -6/5 + u. Is x smaller than 1/8?
False
Let i be (-4)/(-10) + 844/(-10). Suppose -10760*n = -10738*n + 1826. Is n != i?
True
Suppose -7*k + 5*k = -6. Let h(s) = s**2 - 4*s + 2. Let v be h(k). Let p be v/2 + 10/20. Is 4/19 not equal to p?
True
Let v(x) = -6*x + x + 0*x + 7*x + 1. Let r be (-1)/(-4) + (-10)/8. Let j be v(r). Which is smaller: -2 or j?
-2
Let y = -5 + 7. Suppose 26 = -n + 4*k, 10*n - 14 = 9*n - 4*k. Is y greater than or equal to n?
True
Suppose 0 = -4*x + k + k - 14, 2*k - 10 = 0. Suppose 4*m + 37 = -3*g, 2*g = 6*g - 2*m + 20. Let v be (-25)/g + (-16 - -12). Is v at least x?
True
Let r be (26 - 16) + 13 + 12/(-2). Suppose -i + 2*i + 1 = 0, 68 = 5*f + 2*i. Which is smaller: f or r?
f
Let c = 5 - 14. Let k = 0.61 - -10.39. Let t = k + c. Is 2 < t?
False
Let d = -2697/7 + 384. Which is smaller: d or -2?
-2
Let z(h) = -h + 23. Let r be z(30). Let w be r/((-21)/15) - 5. Is 29 greater than w?
True
Let g be ((-440)/12 - -1) + 3/(-9). Which is bigger: g or -41?
g
Let u = 1538 + -1525.77. Let k = 12 - u. Which is greater: k or 0.2?
0.2
Let z = 201 + -888. Which is smaller: 0 or z?
z
Let g = 352 - 353. Is g at most as big as 2/39?
True
Let d be -4 - -15*(-2 + 5/3). Let k(c) = -c**3 - 4*c**2 - 3*c - 1. Let w be k(-2). Is d greater than w?
False
Suppose x + 2 = 7. Suppose -x*s + 6 = -4*s. Let r be (0*3/s)/(-2). Which is greater: r or 6?
6
Let o = -27.76 - 374.24. Which is smaller: 0 or o?
o
Let r = -68 + 67. Let a be (-4)/6 + 44/(-231). Is r bigger than a?
False
Suppose -2*g - 2*g = 4*m - 944, -5*m = 3*g - 1174. Let y = 12814/55 - m. Which is smaller: y or 0?
y
Let d be (-13344)/15 + 78/130. Is -889 != d?
False
Let s(x) = 3*x - 57. Let r be s(19). Which is bigger: 1/76 or r?
1/76
Suppose -i + 8 = 94. Let y be 14/(-21) + i/6. Let s = 7 + y. Which is bigger: s or -9?
s
Let o(t) = t**3 + 3*t**2 - 15*t - 18. Let x be o(-5). Suppose 3*m + 3*a = x*m + 45, 2*m = -4*a - 6. Is -9 at least m?
True
Suppose 3*q = 2*q + 7. Suppose 6*o + q = -17. Is o bigger than -1?
False
Let l = -1 + -2. Let n = 0.2 - 1.2. Let d = 0.9 + n. Which is smaller: d or l?
l
Let u = -200.0153 - -0.0153. Which is smaller: -0.1 or u?
u
Let d = 5.1 - 4.1. Which is bigger: d or -238?
d
Let g(w) = w + 1. Let m(z) = -z. Let q(t) = 4*g(t) + 12*m(t). Let s be q(-2). Let a be (-26)/s + (8 - 7). Which is smaller: -2 or a?
-2
Let c(h) = -3*h + 4. Let i be c(2). Let y be i/(-435)*(-9)/(-3). Are y and 1 nonequal?
True
Let r = 46 + 160. Suppose -3*l + x - 323 = 0, 15 = -2*l - 5*x - r. Which is smaller: l or -107?
l
Let i = 88.3 - 28.3. Which is bigger: -1 or i?
i
Let r(j) = -17*j + 325. Let f be r(18). Is f at most 22?
True
Suppose t + 3 = 3*w + 5, w - 8 = -4*t. Suppose 5*n = 3*g - 26, n - 3 - 1 = -4*g. Let z be (g/12)/(8/12). Which is bigger: z or w?
z
Let p be -2 - (-2 - -2)/(-1). Let k(f) = 3 + 331*f**3 - 2 - 332*f**3 + 6*f**2 - 10*f. Let r be k(3). Is p <= r?
True
Let k be 326/(-22) - (-6)/(-33). Let j(v) = 5*v - 16. Let a be j(-12). Let z = a - -62. Which is smaller: k or z?
k
Suppose f + 34 = -f. Let w be (-7)/21 - f/(-3). Let j be (-8)/w - (-2 + 2). Is j greater than or equal to 1/2?
True
Let n = 10281/3146 - 9/242. Which is smaller: 0.5 or n?
0.5
Suppose 0 = 2*u - 5 - 1. Suppose -5*y - 2 - 1 = -a, 0 = -a + 3*y + u. Let j be (39/65)/(0 + 6/(-4)). Is a at least j?
True
Suppose 11 + 22 = -5*p - y, 4*p + 18 = 2*y. Let h(x) = x**3 + 2*x**2 - 5*x - 4. Let i be h(-3). Let u be 5/(-4)*i/(-10). Is u greater than p?
True
Let c = 5699/16 - 356. Let q = -99 + 97. Let o be (24/(-48))/(1/q). Which is bigger: c or o?
o
Let a = -46 - -136/3. Let b = 8 + -7.89. Let y = 0.01 - b. Is y at least as big as a?
True
Let b = -53 + 75. Suppose -4*c = -8, 5*w - 10 = 5*c + 100. Which is greater: w or b?
w
Let g = -6.4 + 16.7. Let h = -11 + g. Is h < 1?
True
Let f be (64/224)/(1/2*-2). Is f smaller than -53/4?
False
Let v be -1 - (1 + 2 + 10). Let n = v - -18. Suppose -5*y + k = -21, 2*y - 4*k - 8 - 4 = 0. Are y and n non-equal?
False
Suppose 0 = -5*p + 112 - 12. Suppose 0 = 8*d - 4*d - p. Is 7 at least d?
True
Let h be ((-10)/(-35))/(39/(-42) - -1). Suppose 3*c = -r - 3, -c - r = h*c + 5. Which is bigger: c or 1/17?
1/17
Suppose -20*p + 32 = -36*p. Suppose -5*h - u + 340 = -6*u, -u = 3*h - 184. Let s be (-165)/h - (-1)/3. Which is smaller: s or p?
s
Let m = 47/69 + -1/69. Suppose 3*y + 2 = 14. Suppose 0*i - 4*i = -y*a + 4, 4*i = -a - 4. Which is smaller: m or a?
a
Let a be (-1)/(3/9 - 0). Let c(r) = r**2 + 6*r + 3. Let p be c(a). Let f(h) = -h**2 + 23*h - 83. Let y be f(19). Is y > p?
False
Let b = -34.8 + 35.8. Which is greater: b or 5.57?
5.57
Suppose -2*p = -p + 3, -2*b - 5*p = 7. Suppose -14 = -b*u + 3*m - 0*m, 0 = 3*u + 2*m - 2. Let t be u/4*(1 - 0). Which is bigger: 0 or t?
t
Let u = -2702 + 3791. Is 1089 at least as big as u?
True
Let c be (71/2)/((-1)/2). Let t = 2848 + -2918. Which is bigger: c or t?
t
Suppose -2*g - 1815 = -7*g. Suppose -n + 4*n = -g. Let a = n - -607/5. Which is smaller: 1 or a?
a
S