t?
t
Suppose -3 + 0 = -3*d. Suppose 18994*l = 19001*l - 7. Is d less than l?
False
Let j(k) = k**3 + 9*k**2 - 11*k + 12. Let t be j(-10). Let r = t + -26. Let a be 4/(r/(-3))*3. Is 10 > a?
True
Let q = -174.9 + 142. Let g = 33 + q. Is g less than 6?
True
Let y = 0.51 - -1.87. Is y less than or equal to -2/3?
False
Let i(u) = -9*u**3 - 2*u**2 + 1. Let j be i(-1). Let z be ((-4)/(-3))/(14/63). Let l = j - z. Which is smaller: 6 or l?
l
Let o be 9/(-54)*-69*(8 - 6). Suppose -d + 68 = 3*q, q - 5*d = -3*d + 18. Which is smaller: o or q?
q
Suppose -f - 92 - 71 = 0. Which is greater: f or -164?
f
Let v = 304.9686 + 0.0314. Let g = v + -305. Let r = -63 - -41. Which is smaller: g or r?
r
Suppose -3*a - 4*n + 24 = 0, n - 6*n - 75 = -5*a. Let y be 3 - 4/a*9. Which is smaller: 9 or y?
y
Suppose 0 = 2*a - 2*o - 3*o + 576, -839 = 3*a + 5*o. Is a greater than or equal to -284?
True
Let a = 152000/73 + -2082. Which is bigger: 0 or a?
a
Suppose -1 = -4*c - 5*q, 0*c - 5*q - 23 = -2*c. Suppose 3*j + 19 = -5*i, 0 = -3*j + c*j + i + 3. Let x be ((-9)/3 + j)/1. Which is greater: x or 2/19?
2/19
Let y = -2 + 2. Suppose 2*i - 5 - 1 = y. Let a be i - ((-27)/(-10))/1. Which is smaller: 1 or a?
a
Let f = 4057 + -4072. Let i = -7/6 + 17/12. Is f not equal to i?
True
Let x be -6 + (114/66 - -4). Which is smaller: x or -1?
-1
Suppose -3*f - 38 = 2*q + 2*q, 0 = 4*q + f + 42. Suppose -14*m + 61 = -18*m - 5*l, 4*m = 3*l - 53. Which is bigger: m or q?
q
Suppose -68 = 5*y - 5*f - 393, 3*f + 135 = 2*y. Suppose 5*v + y = 5. Is v at least -13?
True
Let d(r) = -r**3 + 15*r**2 - 11*r + 11. Let n be d(14). Suppose 2*s = -19 + n. Is s not equal to 17?
False
Let z = -1986 + 2087.11. Let l = z + -101. Which is smaller: l or 1?
l
Let x(w) = 5*w**2 + 113*w - 49. Let y be x(-23). Which is smaller: -30/13 or y?
y
Suppose -4*h - 4*d - 152 = 0, 10*h + 88 = 8*h + d. Is h greater than or equal to -42?
True
Suppose 0 = p + 4 + 2. Let s be (-14)/p + 4/6. Suppose -150 = -6*b - 120. Which is greater: b or s?
b
Suppose 3*d + 1 = -2. Let v be 56/176*6/14. Which is smaller: v or d?
d
Let z = -512 + 524.85. Let n = z + 0.15. Is n greater than -0.1?
True
Suppose -4*g = 3*v - 285, 3*g = 7*v - 2*v - 446. Is v < 91?
False
Let m = 147 + -146. Which is smaller: 5/56 or m?
5/56
Let y(x) = x**2 - 2*x - 20. Let p be y(-4). Suppose -4*z + 284 = -4*r, -p*z + 279 = -r - 8. Which is smaller: 71 or z?
71
Let j(z) = -65*z + 5*z**2 + 3*z**3 - 4 + 63*z + 6 - 1. Let q be j(-2). Is q >= -4?
True
Let u(p) be the third derivative of p**5/30 - p**4/4 - 4*p**3/3 + 5*p**2. Let i be u(-7). Let a be i/(-180) + (-4)/(-6). Which is bigger: a or -1?
a
Let i(z) = z**2 - 2*z - 4. Suppose -l + 12 = 3*f, f - 5*f = -4*l. Let w be i(l). Which is greater: -145 or w?
w
Let c(t) = -8*t + 1. Suppose -4*v + 2*d = 6, 0 = -3*v - d - 3*d + 23. Let h be c(v). Let x = h - -15. Which is smaller: x or 9?
x
Suppose 3*y - 7 = 2*z + 3, 3*z = 2*y - 5. Is -1/338 less than z?
True
Let w = 2059 + -1836. Which is bigger: 225 or w?
225
Let a = 899.094 - 899. Is 6 at least as big as a?
True
Let b = 52 + -24. Let t = 38 - b. Is t != 3?
True
Let o = -1970 + 159572/81. Let g be -2 + 1/(6/12). Which is smaller: o or g?
g
Suppose 0 = 112*j - 118*j - 444. Are j and -71 nonequal?
True
Suppose -5*c = -k + 4*k + 21, 14 = -2*k + c. Let f be 12/(-2) + 0/(-2). Is f at least k?
True
Let r = 508 + -474. Is 34 at least r?
True
Suppose -32 = -6*l + 4. Suppose -29 - 25 = l*i. Let v = 9 - 16. Does i = v?
False
Let q be (-5 + 377/78)/((-137)/(-14)). Which is bigger: 0 or q?
0
Let u(l) = -l**2 + 7*l + 8. Let z be (-2)/1*1/(-2). Let i be (8/2 - z) + 5. Let h be u(i). Which is bigger: -0.3 or h?
h
Let d = 20.8 + -4.8. Which is smaller: d or -2?
-2
Let w(b) = -b**2 + 9*b - 8. Let i be w(8). Suppose i = 4*y, -1 + 33 = -4*g + 5*y. Let z = 11 + g. Which is bigger: 4 or z?
4
Suppose 37 = -2*k + 379. Is k greater than or equal to 171?
True
Let k = -30.21 - -30. Let x = k + 0.11. Let a = 0.2 + x. Which is smaller: a or -14?
-14
Let o(r) = -r**3 - 8*r**2 + 9*r + 1. Suppose 5*p = -u - 43, -3*p = p - 2*u + 40. Let d be o(p). Let y be (-2)/(-9) - 40/(-63). Is d equal to y?
False
Let j be (-25)/(-6) - 24/144. Suppose -x + 6 = 5*w - 6, 18 = 5*x + j*w. Is x smaller than -1?
False
Let b = 0 + 2. Let x(p) = -p**3 - p**2 + 3*p + 2. Let c be x(b). Is c at least -19/4?
True
Let z be 4/6*(-3 + 0). Let p be (-19)/12 + 4*(-24)/128. Which is smaller: z or p?
p
Let u(q) = q**3 + 4*q**2 - 2*q + 4. Let p be u(-4). Let h(n) = -99*n + 309. Let d be h(3). Is p less than d?
False
Suppose 40 = 5*k - 10*k. Which is greater: -6 or k?
-6
Let i = -286 + 399.9. Let m = 114 - i. Which is smaller: m or 6?
m
Let l(k) be the first derivative of k**2 - 9*k - 51. Let b be l(4). Which is smaller: b or 2/219?
b
Let q = 37 + -17. Let h be 2 - 3 - q/(-18). Suppose -2*a - 11 = -4*z + 9, -5*a + 4*z = 20. Is h less than or equal to a?
False
Suppose -2*a + 3*a = 0, -2*s + 76 = -4*a. Is s greater than 36?
True
Let v be (3/(-14))/(-3 - (-651)/224). Let p = 25/14 - v. Let j = -0.55 + -0.15. Is p less than j?
False
Suppose -7*w + 8*w - 8 = 0. Let z be 1*12/(w - 4). Let g be (-3)/9*z + 2. Is g != 2?
True
Suppose 4*s + 4*z + 4 = 20, 2*s + 3*z - 11 = 0. Is s at most as big as 11/47?
False
Let i be (10/(-4))/(11/660). Let o be (-2)/(-15) - 70/i. Are 2 and o non-equal?
True
Let n(z) = -2*z + 24. Let d be n(0). Let b(i) = 2*i - 9. Let f be b(7). Suppose 2*k - 7*k - 5*h - 15 = 0, d = 4*k - f*h. Is 3 not equal to k?
True
Let x = 0 - -3. Let o(f) = f + 3. Let c be o(x). Let h be (4/(-3) + 250/30)*1. Which is smaller: h or c?
c
Suppose -3 = 2*t + d, -9 = -45*t + 47*t - 5*d. Do t and -35/8 have the same value?
False
Suppose 56 + 56 = 2*z. Suppose 0 = b - 9*b - z. Which is greater: -6 or b?
-6
Suppose -2*w = -11*w + 2*w + 26*w. Let j be ((-4)/(-46))/(2/1). Which is smaller: w or j?
w
Suppose 0 = -3*v - 6, 0 = -2*r - 0*r - 4*v + 250. Is r equal to 131?
False
Suppose 5*g - 14 - 1 = 0. Let m = 54 + g. Let v be -1*1/m*3. Is 0 > v?
True
Suppose 22 = -2*h - 4*y, -372*y + 6 = 4*h - 374*y. Let p be (1/18)/((-11)/(-3)). Which is bigger: h or p?
p
Let z = -4 - -7. Let o = 693 - 412. Let u = o - 4779/17. Which is greater: z or u?
z
Let w = -2.9 + 3. Let g = -1 - -28. Let k = -25 + g. Which is bigger: w or k?
k
Suppose -k = -12*k + 726. Let u = k + -71. Which is smaller: u or -8?
-8
Let h(o) = o**3 - 7*o**2 + 8*o - 4. Let i be h(4). Let u = 21 + i. Are u and 2/63 nonequal?
True
Let q be (-3)/6 - 5/(-2). Let j(s) = -s**3 + 3*s**2 - 2*s + 3. Let g be j(q). Let r be 6/g + 1 + -4. Are r and -1 equal?
True
Let m = 374 + -374. Is m greater than or equal to 6.5?
False
Let w = 34 + -35.3. Let x = w - -0.3. Which is smaller: x or 0.05?
x
Let q = -2288 - -1376. Which is smaller: -911 or q?
q
Suppose b + 4*g - 25 = 0, -71 = -4*b + g + 46. Let r = 29 - b. Does r = 9?
False
Let h = 0.3 - -0.6. Let i = 1 - h. Let u(s) = s**2 + 3*s - 5. Let o be u(-5). Do o and i have the same value?
False
Let p be (-35 - -38) + 30/(-7). Which is greater: p or -3?
p
Let k(x) = -7*x + 163. Let b be k(0). Is b > 165?
False
Let t be (244/1281)/((-4)/6). Which is bigger: t or -467?
t
Let v = 439245105 + -1350678680336/3075. Let s = v + -143/25. Do 0 and s have the same value?
False
Suppose 4*j + 4*k - 24 = 0, -20 = -3*j - 2*k + k. Suppose 10*z - 45 = j*z. Let f be ((-10)/z)/(33/27). Which is greater: 0 or f?
0
Let q be (-11)/(132/(-8))*(-54)/(-4). Suppose -6*v = -q*v + 6. Is 11 greater than or equal to v?
True
Let s = 0.1 + -1.1. Let t = -1995/8012 - 2/2003. Is t > s?
True
Let m(y) = -4*y + 19. Suppose 0 = 3*g - 0 - 18. Let b be m(g). Is b less than or equal to -3?
True
Suppose 6*w + r = 2*w - 263, 3*r - 251 = 4*w. Which is bigger: -66 or w?
w
Let k(z) = -4*z + 1. Let p be k(1). Let v = 4.3 + 59.7. Let q = -64.2 + v. Which is smaller: q or p?
p
Let q = 15 + -8. Let h be (-4 - -7)/3*8. Suppose -h + 72 = 8*z. Does q = z?
False
Let d(p) = -9*p - 16. Let x be d(3). Let w = 27 + x. Which is greater: w or -17?
w
Let f = -306.5 + 559.5. Is f < -0.02?
False
Let p be 2*(-6 - -1) - 0. Let m(w) = w**3 + 9*w**2 - 10*w + 3. Let c be m(p). Let l = c + -9. Which is smaller: l or -5?
l
Let h = 0.23 - -0.26. Let q = h - 2.19. Which is greater: 0.1 or q?
0.1
Suppose 7*k + 12 = 4*k. Let q be k*3*3/(-9). 