rue
Let t = -201/8 - -25. Is t less than 0?
True
Let r(l) = l**3 - 4*l**2 - 5*l - 2. Let i(h) = -h**2 - 5*h + 1. Let x be i(-4). Let p be r(x). Let o be (1 - p/(-6))*3. Do o and 0.1 have different values?
True
Let i = 63 + -64. Are i and -1/18 nonequal?
True
Let r = -70 + 71. Which is greater: r or -1/103?
r
Suppose -4*s = 3*m - 15, -m - 4*m = -4*s + 7. Let o be (-13)/1 - (2 - s). Let v be (-3)/o - (-13)/(-4). Which is smaller: -2 or v?
v
Let w = 62 + -102. Is -2 at most w?
False
Let d = 1306/7 - 187. Which is bigger: -1 or d?
d
Suppose 4*y + y + 283 = -3*k, -3*k = -12. Which is smaller: y or -58?
y
Let u(i) = i**2 - 8*i + 6. Let y be u(6). Let x be 0/(-1) - (-1)/y. Suppose 3*m + 2 = m. Is m bigger than x?
False
Let y = 25 - 0. Let g = y - 25. Which is smaller: -0.9 or g?
-0.9
Let x = 8 - 14. Which is smaller: -5 or x?
x
Let k = -0.04 + -0.06. Do -24 and k have the same value?
False
Let f be (2*(1 - 2))/(-2). Let n = f - 0. Let q = -76/423 + -2/47. Is n smaller than q?
False
Let c be (-2 - -2) + 1 - -2. Let h = 2 - c. Suppose 0 = 5*p - 5*t + 20, p - 6 = -p - 5*t. Which is smaller: p or h?
p
Suppose -1 - 1 = -2*g. Let h = 25 - 15. Let r be h/(-7)*(-4)/10. Is r bigger than g?
False
Suppose 0 = 2*t - t + 5. Let l be (-10)/225*(t - 0). Which is smaller: l or 2/5?
l
Suppose -4*w + 2 = -2*w. Which is bigger: 1/25 or w?
w
Suppose 6 = -2*m - 3*p - 5, 0 = 3*m - 3*p + 24. Which is bigger: m or -1/3?
-1/3
Let r = 2/845 + -5092/9295. Which is greater: -1 or r?
r
Let p = 0.3 + -1.3. Let z be (-1*2/(-12))/(16/144). Is z > p?
True
Let j = 9 - 7. Let n(a) = a - 4. Let i be n(j). Which is smaller: i or -1?
i
Let l = -142/13395 + 1/285. Is 1 >= l?
True
Let y = 2.04 + -2. Let z = 28 + -28.1. Which is greater: z or y?
y
Suppose 3*n = -v - 4 - 5, -2*v - 13 = 5*n. Is 4 less than or equal to v?
True
Let o(k) = -k - 7. Let r be o(-7). Suppose -5*s - d + 14 = 0, 2*s - 8 = 2*d - r*d. Let c be (-2 - -4)/(2/s). Which is smaller: 1 or c?
1
Suppose 1 = 3*a - 2. Let j = 170/217 + -11/31. Is j smaller than a?
True
Let m = 82 + -41. Which is greater: m or -2/7?
m
Let d be 3 + 0 + (-6)/((-6)/(-2)). Let z be 2/52 + 1/(-2). Which is greater: d or z?
d
Let f(g) be the second derivative of -g**5/20 - g**4/4 + g**2/2 + 4*g. Let s be f(-3). Let c be (-12)/(-18) - (1 - 1). Do c and s have the same value?
False
Let s(v) = v**3 - 11*v**2 + 25*v + 1. Let h be s(8). Which is greater: h or 12?
12
Let p(i) = i - 1. Let m be p(8). Let n = -1 - -6. Suppose 10*v = n*v + 40. Which is bigger: m or v?
v
Suppose 2*y = 4*y. Suppose -5*k + 4 = -k. Suppose -k = -5*a + 4. Which is greater: a or y?
a
Suppose 13 = -5*a - 7. Which is smaller: 2 or a?
a
Suppose 3*v + 3*a = v + 12, 2*v = -4*a + 8. Which is greater: v or 11?
v
Let p = 14 - 19. Let c(k) = -k + 7. Let y be c(5). Let s be (4/6)/(y/(-12)). Which is greater: s or p?
s
Let n = 148 - 150. Let z(m) = -m**3 + m**2 + 3. Let q be z(0). Suppose -l = -c + l, q*l = -3*c + 9. Which is smaller: n or c?
n
Let f be ((-56)/21)/((-5)/3). Let s = -2 + f. Which is bigger: 0 or s?
0
Let u = -0.4 + 2.4. Let j = u - 6. Suppose 4*m = 10*m. Which is smaller: j or m?
j
Let k = 0.28 - -0.72. Which is bigger: -74 or k?
k
Let s = 169/4 + -42. Is s at most as big as 1?
True
Let z = 2.66 + -2.8. Let j = -1.56 + z. Which is bigger: j or -1?
-1
Let q = -394 + 1142/3. Which is bigger: q or -13?
-13
Let p be 279/6 + (18/4 - 4). Is p not equal to 47?
False
Let p = 47 - 52. Which is smaller: p or -0.9?
p
Let c be (-1 + 17/15)/(-1). Let d = -0.22 - 0.08. Which is greater: d or c?
c
Let n = -0.3 - -0.4. Let c be (26 + -2)/3 + 2. Which is bigger: n or c?
c
Suppose 2*t - 7*t - 20 = 0. Is t at least -4?
True
Suppose -68*x + 61*x + 119 = 0. Is x smaller than 35/2?
True
Let l(h) be the second derivative of -h**5/20 + 5*h**4/12 + 7*h**3/6 - 3*h**2 + h. Let y be l(6). Which is smaller: -0.04 or y?
-0.04
Let w = -7 + 17. Do w and 9 have the same value?
False
Let b = 294.99 - 293. Let u = -0.01 - b. Is 2 equal to u?
False
Let x be 2/(-3) - (-2)/3. Let w(q) = -q**2 + q - 2. Let b be w(x). Let y be -2 + 3 + b/2. Is 1 less than or equal to y?
False
Let i(n) = -n**3 + 9*n**2 - 9*n + 10. Let h be i(8). Is 1/2 less than or equal to h?
True
Let z = -4 + 4.3. Let y = z - 0.1. Let l = -177 - -1237/7. Which is smaller: l or y?
l
Let a = 763/85 + -9. Which is greater: -1 or a?
a
Let l = 6 + -1. Let o = -1.81 - 0.19. Do o and l have different values?
True
Let f = -5.8 + 9.8. Let k = 0.9 + 0.1. Which is greater: k or f?
f
Let v = -3 - -15. Let d be (6/v)/(2/(-20)). Which is greater: d or 0?
0
Let l = -197/18 + 4/9. Let s = l - -5. Which is smaller: s or -7?
-7
Suppose 3*z + 0 = 3. Let r be 0/(0 + z + 0). Let a = -13 - -14. Is a > r?
True
Let u = -10 + 92/9. Which is bigger: -1 or u?
u
Let z = 135/7 - 19. Is 0 equal to z?
False
Let j = 1 - -27. Do j and 27 have the same value?
False
Let o = -24 + 10. Let m = o + 13.4. Is m greater than 0?
False
Let j be (-2 + 2)/((-3)/(4 - 7)). Which is bigger: j or 1/3?
1/3
Let h = 167/406 + 1/58. Is -0.2 smaller than h?
True
Suppose -3*q - 5*y = -23, -4*q - y + 3 + 5 = 0. Let a be 3/((-2)/q - -3). Let i be 2/a + 20/(-12). Which is greater: i or -2/17?
-2/17
Let l be (-96)/(-110) - (-24)/(-40). Which is bigger: l or 1?
1
Let v = 16 + -14. Let u = 0.02 - 3.02. Let c = u + v. Is 0.1 at least c?
True
Let q(i) = i**3 + 3*i**2 + i + 4. Let r be q(-3). Suppose -5*g = -6 - 24. Let z be -1 + g/2 + -1. Is r at least z?
True
Let s = -0.38 + 0.18. Do s and -1/4 have the same value?
False
Let c be (1*0/1)/1. Suppose c*w = -2*w. Are w and 1/6 nonequal?
True
Let c be (3/(-6))/(2/20). Suppose 0*y = -y + 1. Let x be y/(-1) + (-12)/4. Which is greater: c or x?
x
Let i = -4/21 + 6/7. Suppose -g - g + 4 = 0. Which is bigger: g or i?
g
Let h = 226/275 - 16/25. Let f = 0 - 0. Which is bigger: h or f?
h
Let u = 16.91 + -17. Let o = 1 + -1.09. Let d = o - u. Which is smaller: 1/6 or d?
d
Let j(i) = i + 12. Let f be j(0). Suppose -5*u - f = -2*u. Let v(l) = l**2 + 5*l + 2. Let k be v(u). Is -2 >= k?
True
Let c = -8.1 - -8.1. Which is bigger: -3/10 or c?
c
Let z be -3 - (9620/696)/(-5). Let n = z + 1/6. Is n at most as big as 1?
True
Let u be ((-1)/(-2))/(1/(-8)). Let c be 4 + ((-56)/4)/2. Are u and c equal?
False
Let w = 57 + -39. Let a = -0.11 - -0.21. Which is bigger: w or a?
w
Let x(s) = -s + 3. Let l be x(3). Let b = -44 - -45. Which is bigger: l or b?
b
Let b = 7 - 5. Let m = -33 - -34. Is b at least m?
True
Let t be ((-6)/(-12))/((-1)/6). Which is greater: t or -2?
-2
Let b(s) = -8*s + 1. Let x be (4/3)/((-10)/(-15)). Let f be b(x). Let i be -1*(f/21 - -1). Which is smaller: 1 or i?
i
Let n be 2 + -10*2/12. Suppose -7 = -3*t + 14. Let o be -2*(-3)/(t + -1). Which is smaller: o or n?
n
Let o(f) = -f**2 - 7*f - 4. Let d be o(-6). Suppose -g + 4*b = 17, -5*g = -b - d*b. Suppose -g*p + 5 = -1. Is p greater than or equal to 3/5?
True
Suppose 0*r - 4 = -r. Let j(o) = o**2 + 2*o - 6. Let i be j(-5). Suppose -1 = -r*h - i. Which is smaller: h or 0?
h
Suppose 5*o + 7 - 17 = 0. Suppose o*c = -4*l - 12, 5*c - 15 = 6*l - l. Which is greater: l or -2?
-2
Let w be 10/25 + (-27)/5. Is -11 at most as big as w?
True
Suppose 9 = -s - 2*s, -m + 5*s = -26. Is m less than or equal to 11?
True
Let a be (1/(-5))/((-2)/1). Suppose 0 = -3*o - 3*o - 12. Let h = -3 - o. Is a <= h?
False
Let q(f) = -f**3 - 5*f**2 - f - 2. Let z be q(-5). Let b be 0 - (5/(-1) + z). Let c be ((-6)/b - 0) + 2. Is -2/13 less than c?
False
Let k be (-4)/(-6) + 70/21. Is 2 bigger than k?
False
Let y = -48968417/776 - -126207/2. Let h = y + 1/194. Are 0 and h equal?
False
Let q be 3 - 1/1 - 2. Which is bigger: -4/7 or q?
q
Suppose 9 - 9 = -17*j. Which is bigger: 1/11 or j?
1/11
Let s be (-1)/3 + (-2)/30. Let y = 1298/7 + -186. Is s not equal to y?
True
Let q = 17 + -18. Are q and 0 equal?
False
Let i = -14 + 1. Let m = i - -9. Let a(h) = -2*h - 1. Let c be a(1). Does c = m?
False
Let r be -1 + (0 + -2)/1. Let u be r - (-54)/14 - 1. Which is smaller: 1 or u?
u
Let q = 7 - 4. Let b = q - 2.9. Let p = 0.3 - b. Is p > 3?
False
Let x(r) = -r**2 + 6*r + 10. Let o be x(7). Suppose -s = 5*l - 8, 5*s - 5 = -o*l + 35. Suppose 3*v + s = 2. Which is bigger: v or -1/2?
-1/2
Let w be 7/(-42)*-4*(-18)/(-152). Is 1 smaller than w?
False
Let n = 2 