Let n be s(-1). Is 0 < n?
False
Let f = 7 + -1. Suppose 2*k + k = f. Is k < 1?
False
Let g be -3*4/(-4) + 1 + -31. Is g greater than or equal to -27?
True
Let p(w) = w**3 + 3*w**2 - 3*w + 5. Suppose 4*b + 1 = -15. Let q be p(b). Do q and 3/5 have different values?
True
Let n = 28 - 29. Is 2/33 < n?
False
Let q(t) = -2*t - 4. Let x be q(-4). Let v(w) be the first derivative of w**2/2 + 14*w - 4. Let o be v(-9). Is x > o?
False
Let c(b) = b - 1. Let n be c(3). Suppose -n*l - 12 = -6*l. Let i = -2 + l. Is i < -1/3?
False
Suppose 2*p = -p + 12. Let m be 34/(-44) - p/(-8). Is 0 less than or equal to m?
False
Let w(v) = -v**2 + 9*v + 6. Let k be w(11). Which is greater: k or -61/4?
-61/4
Let y be 1/(-5) - 276/(-80). Is 3 at most as big as y?
True
Let i be 1*-1*1/(-1). Suppose 0 = -s - i. Let k be (2/30)/(4/(-36)). Which is bigger: s or k?
k
Let k = -1 - -1. Let m(p) be the first derivative of p**2/2 + 3*p - 3. Let t be m(-6). Which is smaller: t or k?
t
Let x be 8/(-24) + 4/3. Suppose f = -0*f + 23. Let z be 1 - (f/7 + -2). Which is bigger: x or z?
x
Let m = -21 + 37. Suppose 3*g - 2*f = g + 2, 2*g + 5*f - m = 0. Which is smaller: 4 or g?
g
Let i = -2.1 + 2.5. Which is smaller: -0.1 or i?
-0.1
Let p(h) be the first derivative of -h**2 - 5*h + 2. Let z be p(-5). Suppose -3*g + 19 = -4*u, -3 = -z*g - u - 2. Is -3/8 at least as big as g?
False
Let x be (4 - 3342/720) + (-2)/(-3). Is x >= 0?
True
Suppose 0 - 4 = -2*b. Suppose b*q = 5*y + 18, 2*y - 3*q + 16 = -0. Let p(o) = -o**3 - o**2 + 3*o + 1. Let x be p(y). Is -1 at least as big as x?
True
Let c = 2/133 + 395/266. Suppose -2*y + 2 = 4. Which is bigger: c or y?
c
Let u be 3 + 2/(-1) - -3. Let r be 27/12 - 1/u. Are 2 and r equal?
True
Let g = 2269/6 + -379. Which is smaller: g or -1?
-1
Let y(o) = -o + 3. Let m be y(6). Let n be (-4)/58 + 3 + m. Is n greater than or equal to 0?
False
Suppose a = 5*x - 3*a - 22, 20 = 2*x + 4*a. Suppose x*g - 5*g - 2 = 0. Is g bigger than 0.13?
True
Suppose 0 = 9*j - 10*j. Are 2/25 and j equal?
False
Let g be 6 + (-3)/(-3) - (2 - 1). Is g greater than 1?
True
Let l(j) = j. Let w be l(0). Which is smaller: w or -2/275?
-2/275
Let d = 12 + -15. Let m be -2*1/2*2. Which is bigger: d or m?
m
Let u(c) = -c**2 - c + 6. Let g be u(-3). Is -5 < g?
True
Let o(d) be the second derivative of -d**4/12 - 4*d**3/3 + d**2/2 + 3*d. Let n be o(-8). Let s be (-6)/8*(-2)/6. Is s greater than or equal to n?
False
Let c = 0.8 + 1.2. Let p = 3 - c. Which is bigger: p or 0.3?
p
Let l = -0.06 + -13.94. Let z = -14.5 - l. Is -2 equal to z?
False
Suppose 0 = 3*v + n + 3 + 1, -v = -5*n - 4. Let b be (-63)/(-81)*1/(14/(-4)). Is b > v?
True
Let l = 3 - -3. Let p = l + -3. Suppose -w - p*m + 3 = -m, 0 = -m + 2. Is -1 at most w?
True
Let w = -3.931 + 0.031. Let l = -1.1 + w. Which is smaller: 0.2 or l?
l
Let g = 52893/18515 + 1/2645. Is g greater than 2?
True
Let j = -3321/20 + -78301/380. Let y = -372 - j. Suppose 0 = -3*u + 6*u + 3. Which is smaller: y or u?
u
Let s = 296/177 - 1/177. Let b = -14.1 + 14. Do b and s have the same value?
False
Suppose 147 = -2*a - 10*p + 5*p, 0 = 2*a - 2*p + 140. Is -71 equal to a?
True
Let k = 135/2 + -5007/74. Is k > 1?
False
Let j(t) = t**3 - 5*t**2 + 2. Let x be j(5). Do x and 9/7 have the same value?
False
Suppose -5*q + 13 = 3*r, -2*r - 9 + 1 = -5*q. Suppose 1 = -h + q. Does 0.1 = h?
False
Suppose -4*l = 5*p - 39, -4*l = -7*l - p + 21. Let n = 1 + 2. Suppose -5*c + l = -4*y, -n*c + 2 = -y - 3. Is 4 less than c?
False
Suppose 10*v = 14*v - 20. Let q = 3 - v. Let u = 1 - 1. Is q less than u?
True
Let a be 2/(-4) - (-11)/2. Suppose 4 = -4*u, a*t - 2*t - 4*u - 19 = 0. Is t at least as big as 6?
False
Let h = 3 + -5. Let p be ((-9)/6)/(h/(-4)). Let l be (1/(-3))/((-4)/p). Which is smaller: l or 1?
l
Suppose 4 = 3*l - 2. Let c = 0 + 1. Let z be l/(-8) - c/(-4). Is z at most as big as 3?
True
Let v(t) = 2*t**2 - 12*t - 9. Let h(q) = q**2 - 6*q - 5. Let l(w) = 13*h(w) - 6*v(w). Let z be l(8). Is z at least as big as 5?
True
Let s be (-1 - -3)*2*5/25. Let t = 0 + 1. Is t greater than s?
True
Let k = 2 - 7. Let g(a) = -a**3 + 54*a**2 + 53*a**2 + 5*a - 3 - 111*a**2. Let h be g(k). Is -5 less than h?
True
Let o(t) = t**3 + 15*t**2 + 2*t + 20. Let g be o(-15). Let p = g + 5. Is -5 at most as big as p?
True
Let i be ((-12)/30*-5)/(4/(-38)). Is i != -19?
False
Let j = -4898 - -49027/10. Let s = 365/2 + -178. Let h = j - s. Is 0 > h?
False
Suppose a + 2 - 6 = 0. Let h be 13/52 - (-5)/2. Is a greater than h?
True
Let q = -10 + 10. Suppose -l + 2 - 7 = q. Which is bigger: l or -6?
l
Let c = -1733/4565 - -30/83. Is c greater than or equal to 0?
False
Let y = -79.84 - -63. Let m = -17 - y. Do m and 1 have the same value?
False
Suppose -5*n + 2*v + 13 = 0, -v = -2*n - 5*v + 10. Suppose 0 = -n*w - w + r + 1, w = -r + 4. Let u = -4/107 + 266/1391. Which is greater: u or w?
w
Let w(r) = 4*r + 2. Let s be w(-4). Which is smaller: -15 or s?
-15
Let a = 8 - 10. Let d = -26.3 + 28. Let m = a + d. Are m and 2/3 unequal?
True
Suppose 20 - 11 = 3*q. Suppose q*z + 4 = -z. Which is smaller: z or 4/9?
z
Let l = -0.1 + 1.1. Let t = -13.8 + 6.7. Let o = t - -7. Is l not equal to o?
True
Let o = -2.5 + -32.5. Which is greater: o or 1?
1
Let n be 4/(-6)*(0 + 3). Let p = -29 + 29.2. Which is bigger: n or p?
p
Suppose -4*u = -5*g - 27, -3*u + 1 + 5 = g. Suppose -o = 4*y + 3*o - 16, u = o. Suppose 4*c - 12 = -0*c. Is c less than or equal to y?
False
Let h be ((-14)/10 - -1)*(-10)/(-8). Which is smaller: h or -3?
-3
Suppose 60 + 290 = -5*t. Is t >= -70?
True
Suppose 4*f - n = -0*n - 7, -2*n = 3*f + 8. Let i be f - (0 - 3/2). Is i <= -1?
False
Suppose -5*j = -7 + 2. Is -2/183 < j?
True
Let n = 0 - -0.4. Let t = 0 + n. Let u = t - 0.3. Is -1 greater than u?
False
Let c(w) = 12*w. Let v be c(-4). Is v < -49?
False
Let a(f) = f**3 + 3*f**2 - 15*f - 15. Let d be a(-6). Is -31 greater than d?
True
Suppose -3*a - 4*a = -a. Let m = 0.3 + -0.8. Which is greater: a or m?
a
Let i = 47 + -21. Suppose -2*l - 4*r - r + i = 0, l - r = -1. Do 4 and l have different values?
True
Let y = 7/39 + 2/13. Which is greater: y or 0?
y
Suppose -9*o = -5*o. Suppose -4*v + 4*n + 4 = -5*v, 2*n = o. Which is greater: -3 or v?
-3
Suppose 2*g + 2*v - 4 = 0, 5 = 2*g + 3*v + 1. Is g != -10?
True
Let j = 2 + -4. Let s be j/5*(-10)/4. Are -1/7 and s nonequal?
True
Suppose 40 = i - 5*i. Let t = -742/5 + 2386/15. Let r = t + i. Is r less than or equal to 0?
False
Let x = 0.34 + -0.19. Is x < -1/4?
False
Let n(t) = t**3 + 4*t**2 + 2*t - 2. Let u be n(-3). Let z(x) = -x**2 - 4*x - 2. Let w be z(-3). Let d be 68/(-132) + w/3. Which is greater: d or u?
u
Let f = -9.2 + 9.1. Let d = -0.01 - -2.01. Is d < f?
False
Suppose 3 = -6*g + 3*g. Suppose -i - 2*i + 22 = 5*q, -3*q = -4*i - 19. Is g <= i?
True
Let j = -45 - -26. Which is greater: -18 or j?
-18
Let q = 73 - 70. Which is smaller: q or 0?
0
Let p = 26.2 + -27. Are p and 1 equal?
False
Let k be 4 + -1 - (2 + 1). Is -2/29 not equal to k?
True
Let d be 2 + -2 + 0/2. Suppose -19 = -6*n + 2*n + 3*c, d = -n + 4*c + 8. Is 1 at least as big as n?
False
Suppose -2*t + 6*t + 5*f - 30 = 0, 0 = 5*t + 3*f - 31. Let k be (-2)/t - 36/10. Let i be (4/(-4) - 2) + 1. Is k greater than i?
False
Let x = 57/22 - 12/11. Let d = -6 - -8. Do d and x have the same value?
False
Suppose 7 = -2*x + 3*x. Let q(o) = -o**2 + 7*o. Let m be q(x). Which is bigger: m or -2/11?
m
Let p(k) = -k**2 - k + 12. Suppose 6*f = 8*f. Let h be p(f). Suppose -4*z + 4 = h. Is 0 >= z?
True
Let t = -1166/9 - -129. Which is smaller: t or -1?
-1
Let h be 1/5*(-20)/(-6). Let z = h + -8/21. Which is bigger: z or 0.2?
z
Suppose -3*i - 14 = -5*r + 19, 3*r - 4*i = 22. Which is smaller: 0 or r?
0
Suppose 0 = -a - 0*a + 2*a. Which is smaller: a or 1/2?
a
Let i(g) = g**2 - 3*g + 2. Let k be i(3). Let y be 19/5 - (-1)/5. Suppose -5*t - 7 = -j - 0*t, 3*j + y*t = 2. Does j = k?
True
Let i = 7/30 + 11/30. Let d = -4 + 9. Suppose v - 4 = 4*o, 6 = -v - d*o + 1. Which is smaller: v or i?
v
Suppose -3*s + 4*s = 0. Let o be 2/(-14)*-2 + (-52)/35. Which is greater: s or o?
s
Suppose 9 = 3*v - 3. Suppose -8*w + 8 = -v*w. Let l = -4 + 5. Which is bigger: w or l?
w
Suppose 2*c - 8 = 4*g, -6 - 4 = 3*c + 5*g. Which is smaller: -6/43 or c?
-6/43
Let i be 2/(-26)