t?
False
Suppose 0 = b - 5*p + 12, 2*b - 4*p - 4 - 2 = 0. Let u = 22 - b. Which is greater: u or 10?
10
Let u = 0.03 - -1.07. Are u and 2/5 non-equal?
True
Let p be (4/14)/(0 - -1). Let d(f) = 3*f - 15. Let g(o) = -2*o + 8. Let r(z) = 3*d(z) + 5*g(z). Let c be r(-6). Which is smaller: p or c?
p
Let d(l) = -l + 4. Let n be d(3). Are -3 and n non-equal?
True
Suppose -4*u + 0*r + 2*r = -600, 2*u - 4*r - 300 = 0. Let m be (4/u)/((-14)/21). Which is bigger: m or 1?
1
Let k(i) = i**3 + i. Let g be k(0). Let w = 0 - 1. Let c(l) = -l**3 + 2*l + 1. Let b be c(w). Is g at most b?
True
Let p(w) = -16*w**2 + 20*w + 20. Let a(g) = -g**2 + g + 1. Let v(z) = 20*a(z) - p(z). Let b be v(1). Let l be ((-2)/4)/((-2)/(-4)). Are b and l nonequal?
True
Let m = 106 - 99.3. Let n = m - 7. Which is smaller: n or -0.1?
n
Let n = 21.8 - -3.2. Which is bigger: n or 1?
n
Let x = -4/57 - -113/798. Which is smaller: 1 or x?
x
Let k(o) = -4*o - 3. Let p be k(-2). Let r = p - 3. Let q be (-2 - 0)/(2/(-1)). Is r smaller than q?
False
Let n = -91 - -177/2. Let h = -17 - -14. Which is smaller: h or n?
h
Let i = -5 + 4. Let q be (-24)/(-44)*2/6. Which is bigger: i or q?
q
Let z = 8.76 - 9. Let v = z - -0.04. Which is smaller: v or 1?
v
Let k = -51 - -52. Let c be (1/3)/((-16)/(-3)). Which is bigger: k or c?
k
Let r = 15 + -19. Let k be (-2)/r + (-1)/3. Is 2/3 at least k?
True
Let g be (2/5 - 0) + 0. Suppose -37 = m - 3*m - z, 0 = -z - 3. Suppose 5*s - 4*o = -m, 4*o - 5 = -2*s + 3*o. Which is bigger: g or s?
g
Let q be (-3 - (-26)/8)*-4. Is q at most as big as -1?
True
Suppose i + k + 7 = 1, 5*k + 22 = -3*i. Are -1 and i non-equal?
True
Suppose -8*n = -3*n + 45. Let s(o) = o**2 + 5*o + 7. Let k be s(-5). Let j be -3 - -2 - n/k. Is j at most as big as 1?
True
Let c be 138/39 + 0 + -4. Which is smaller: 0 or c?
c
Let w = -248/15 - -43/3. Which is smaller: w or 0?
w
Let h = -200/9 + 202/9. Is h less than -7?
False
Let u = 29.45 - 24.4. Let x = u - 5. Let v = x + -0.45. Is v at least as big as -2/3?
True
Let n(c) be the third derivative of -c**4/24 - c**3/6 + 3*c**2. Let y be n(3). Is -3 greater than y?
True
Suppose -3*h = -h. Let d be ((-2 - h) + 2)/2. Are d and 1 nonequal?
True
Suppose 0 = 2*o + 18 + 2. Which is bigger: o or -9?
-9
Let f = 3283/2 + -1266. Let d = -5115/14 + f. Let y = d - 10. Which is smaller: y or 0?
0
Let l(j) = -j**3 - 6*j**2 + j + 5. Let k be l(-6). Let g be (8/(-110))/((-4)/10). Which is bigger: k or g?
g
Suppose d + z - 73 = -4*d, -2*z = -4*d + 50. Are d and 14 non-equal?
False
Let w = -111 + 85. Is -26 bigger than w?
False
Suppose 4*q + 56 = -4*p, 5*q = 7*p - 6*p + 2. Let b be 3*-3 + (-4)/2. Is b greater than p?
True
Suppose -3*p = -4*i + 8, 4 - 2 = i - 4*p. Suppose -v + 0 = -i. Let n = 12 + -10. Is v greater than n?
False
Let s be (57/(-9) + -3)*3. Let t be (-2)/(-7) - 48/s. Let u = -2 + 2.1. Is t >= u?
True
Let z = 1.2 + -1. Let s = 19 - 19. Let j = z - s. Is j smaller than -0.2?
False
Let f be (4/6)/(2/3). Let y be -3*(1 + 88/(-60)). Let x = 1 - y. Is x at most f?
True
Suppose -4*d + 3*i + 8 = 5*i, -5*d - 3*i = -10. Suppose 5*b + 22 = l, 11 + 7 = -d*b + 5*l. Let p(y) = -2*y + 2. Let c be p(2). Which is smaller: b or c?
b
Let p be 10/2 + 129/(-27). Is 0.02 less than p?
True
Suppose 3*s - 27 + 3 = 0. Suppose -3*m = -2 + s. Suppose 5*b + 0*b - 4*z = -5, 0 = 4*b + 3*z + 4. Is m at most b?
True
Let w = 4 + -5. Let p = w - -1.3. Let v = 3 + -4. Does p = v?
False
Suppose -2*a - a - 3 = 0. Let m be a - (-1)/((-24)/(-26)). Is 0 at most as big as m?
True
Let j be 83/9 - (-4)/(-18). Suppose -j = 5*v + 1. Which is greater: v or -4/5?
-4/5
Let p = -53 - -53.12. Which is smaller: p or 1?
p
Let w = -10345 - -433793/42. Let r = w + 103/6. Which is smaller: 0.1 or r?
0.1
Let u = 142/9 + -491/18. Let r = u - -12. Is 1 at most r?
False
Let c be (39/(-9) + -1)*3. Let a = 9 + c. Is a > -9?
True
Let a = -6 - 4. Let o = a - -6. Are o and -0.1 unequal?
True
Suppose -6*r + 2*r - 3*t = -8, -2*r + 4 = 3*t. Suppose n + 3*o + 0 + 2 = 0, 0 = r*n + 5*o + 3. Let f be -1 - -4 - (-48)/(-18). Is f != n?
True
Let k(c) = c**2 - 2*c. Let z be k(3). Let t be -1 - 39/(-9) - z. Which is smaller: -0.3 or t?
-0.3
Let z = -4 + 20. Suppose 2*t - v + 4 = 0, 3*t - v + z = 3*v. Which is smaller: -2 or t?
-2
Let w(c) = 2*c**2 + 2*c - 1. Let m be w(-3). Which is bigger: 10 or m?
m
Let r be (-468)/2275 + (-4)/(-14). Which is smaller: r or -1?
-1
Let w = -2.4 - -2. Let c = 0.4 + w. Which is smaller: 4 or c?
c
Let z = -225 - -214.7. Let b = -0.3 - z. Let i = b - 11. Which is greater: i or -0.2?
-0.2
Let w = 20954/31 - 676. Let z = -9 - -15. Suppose 17 = -2*k - 3*i, z*k - 1 = 2*k + i. Is w < k?
False
Let s(g) = -g**3 - 4*g**2 + 4*g - 2. Let p be s(-5). Suppose -p*u + 15 = 2*u. Do u and 0.1 have the same value?
False
Suppose 5*k + 167 = -4*m, 2*m = 3*k + k - 90. Let p = m - -127/3. Let i be ((-2)/(-12))/(3/6). Which is smaller: p or i?
p
Suppose -6*g + 199 = 13. Is g < 31?
False
Let g = -21 - -22. Which is smaller: -3/8 or g?
-3/8
Let a(f) = -2*f - 2. Let p be a(-5). Let d be (-7)/(-9) - p/(-36). Let b = d + -1. Which is smaller: b or 1?
b
Let w be 4 - ((4 - 7) + 5). Let c be w*(-4 + 57/15). Which is greater: 2/5 or c?
2/5
Let l be 1 + 1 + -1 + 1. Let y be (-2 + -1)/(3/2). Let b be (y/7)/((-6)/14). Which is smaller: l or b?
b
Let w be 5747/3794*1/(-2). Let i = 2/271 + w. Do i and -2 have the same value?
False
Let k = 4 - 4.2. Let t = 20930978/159 - 131642. Let r = t - 2/53. Which is smaller: r or k?
r
Let j = 17 - -11. Suppose -n - j = -5*n - 4*i, 5*n + 2*i - 38 = 0. Is n >= 7?
True
Let y(m) be the second derivative of m**4/12 - m**3/2 + m**2 - 2*m. Let t be y(3). Let x be t*(-3)/12*-2. Is x bigger than -2/5?
True
Let q be 1*(0 - 0/3). Which is bigger: -1/10 or q?
q
Let h be 5*(0 - 2/(-2)). Let p = 12 + -12.1. Which is greater: h or p?
h
Let p = -2 - -4. Suppose -10 = -4*j - p. Is 1 at least j?
False
Suppose 8*z - 5*z + 9 = 0. Is -2 greater than z?
True
Let d be (5/4)/(6/72). Is d less than or equal to 15?
True
Let f = 2 + 0. Suppose f*p + k = -p, 11 = -4*p - 5*k. Let s = -1823/7 + 261. Are s and p equal?
False
Let r = -124 - -75. Which is smaller: r or -48?
r
Suppose -4*o + 5*s + 101 = 0, -4*o - 44 = 3*s - 137. Which is greater: 22 or o?
o
Let d(q) = 14*q. Let h be d(2). Let g be (-13)/1*104/48. Let v = h + g. Is 1 less than v?
False
Let c = -47 - -50. Which is smaller: c or 3/2?
3/2
Let y = -842/2255 + 2/205. Let r be 954/45 + (-4)/(-5). Suppose -l + 21 = -5*q, 4*l - 2*l = 5*q + r. Is l >= y?
True
Let a = -1 + 2. Let y = -0.4 - -0.3. Which is greater: y or a?
a
Let l = -17 + 20. Does l = 2?
False
Suppose -5*n + 2 = 4*r - 2, n = -r + 1. Which is smaller: n or -1/14?
-1/14
Let p be (-5)/2 + (-12)/(-8). Let h be (0 + 1)*-2*p. Suppose -3*x = -h*x. Is 0 > x?
False
Let b = 0.3 - 1.3. Let l = 24.9 + -26. Let u = 1 + l. Is b greater than or equal to u?
False
Let k(q) be the second derivative of -q**5/20 - q**4/2 - 7*q**3/6 - 5*q**2/2 - q. Let l be k(-5). Suppose 0 = -l*u - 4 - 1. Which is bigger: u or 3/14?
3/14
Suppose 2*c - 2 = -g, 3*c - 5*g - 12 = 4. Which is greater: c or 1?
c
Let c = -0.4 - -1.4. Let b = c + 2. Let x = -2 + b. Is 0 greater than x?
False
Let x = -1317/28 + 187/4. Let c be (-7)/(-7) - 2/2. Are c and x nonequal?
True
Let w = -4.4 + 5. Which is smaller: w or -1?
-1
Suppose 5*t + 3*r - 7 = 0, 3 - 15 = -4*t + 4*r. Let s be (-10)/(-18) - t/6. Which is smaller: s or 1?
s
Let u = -31 - -31. Which is greater: u or -2/5?
u
Let q(o) = 10*o**2 + 4*o - 3. Let a be q(3). Let p be a/(-135) - 2/(-5). Let l be ((-6)/4)/(9/(-4)). Is p != l?
True
Suppose 4*q - q = 3. Let i be (q/(-10))/((-1)/(-2)). Which is greater: i or -1?
i
Let g(n) = -n**3 + 7*n**2 + 9*n - 3. Let f be g(8). Suppose -m = -4*i - 2*m + 6, -3 = -f*i + m. Is 10/9 < i?
False
Let s be (-4)/(-6)*(-12)/(-8). Let w be s/((-4)/6 - -1). Let d(i) = i + 1. Let k be d(3). Which is bigger: k or w?
k
Suppose -3*b - 2*z - 32 = 0, -2*b + 0*z = 5*z + 3. Let o be b/(-77) + -1 + 1. Is o at most as big as 1?
True
Suppose 4*g = 5*u + 57, -5*g - 4*u = -2*u - 30. Which is bigger: g or 4?
g
Let f = 46/3 + -38/3. Let l = -10094 - -212024/21. Let w = l - f. Which is greater: w or 0?
0
Let r(f) = -f - 1. Let y be (2/6)/((-7)/21). Let w be r(y). Let q be 11/8 - (w + 1)