 g*n. Suppose l - 1 = -n. Is 1 at most l?
True
Let a(i) = -2*i**2 - 71*i + 102. Let v be a(-37). Suppose -3*z - 19 - 5 = 0. Which is greater: v or z?
z
Suppose 4*c = 4*s - 20, -s + 6*s = -3*c + 25. Suppose 2*l - 4 - 4 = c. Let k be (-3)/(-4)*l/(-6). Which is smaller: k or -3?
-3
Let p = 18 + -17.3. Let x = p + 0.3. Let a = 1 + -0.9. Which is smaller: x or a?
a
Let m = 28 - 25. Are 0.1 and m non-equal?
True
Let w(u) = u**3 + 6*u**2 + 5*u + 4. Let p be w(-5). Suppose -11 = -3*b + p. Which is smaller: 6 or b?
b
Let q = -59.9 - -60. Are -0.16 and q non-equal?
True
Let p(m) = m**3 + 2*m**2. Let c be p(0). Is c > -0.35?
True
Let a be 18 + -49 + (-4)/(-2). Which is bigger: a or -30?
a
Let i = 1865/9 - 207. Let s(p) = -3*p**3 - 3*p**2 - p + 1. Let r(t) = -10*t**3 - 10*t**2 - 4*t + 4. Let q(k) = -2*r(k) + 7*s(k). Let g be q(0). Is g <= i?
True
Let s = -165 - -163.99. Let k = s + 0.01. Is -1/6 smaller than k?
False
Let p = -0.12 + 0.02. Let i = -1.7 + 2. Which is smaller: i or p?
p
Let b be ((-2)/(-1) - 0)*1. Suppose 4*a + 20 = -4*n, b*n - 2*a + 0*a - 6 = 0. Is -3 smaller than n?
True
Suppose 0 = v + 2*v + 12. Is v at most as big as -6?
False
Let i(z) be the second derivative of -z**3/6 + z**2 - 3*z. Let r be i(-5). Let a = 6 - 6. Do a and r have the same value?
False
Let c = -11 - -8. Let h = 3.5 + c. Let p = -0.7 + h. Which is smaller: p or 0.2?
p
Let k(n) = n + 6. Let f be k(-8). Let l be 3*((-2)/(-6) - 0). Let p = l + -2. Which is bigger: p or f?
p
Suppose 4*u - u = 3. Suppose 2*x - 3*i + 6 = -4, 3*x + u = i. Let z be -1*2*x - -2. Are z and 0 non-equal?
False
Let y = -14 + 19. Suppose -y*p + 3*p - 6 = 2*v, -2*p = 6. Let w be (2/(-28))/((-2)/(-4)). Is w > v?
False
Suppose 25 = 5*a, -5*a = 4*j - 2*a - 11. Suppose 5*d = 4*i, -d = 2*i + 4 - 18. Let g = d - 4. Which is smaller: j or g?
j
Let k = -39.7 - -40. Which is smaller: k or -0.1?
-0.1
Let u be 3*((-16)/(-6))/(-4). Let h be ((-3)/6)/(u/24). Suppose -2 = -4*a + h. Which is bigger: 1 or a?
a
Let s = -21 + 17. Is -4 greater than s?
False
Suppose -u - 6 = -7*u. Let r = -1/18 + -29/126. Which is smaller: r or u?
r
Suppose 5*c - 7 = 3*i, -2*c = 2*c - 20. Which is smaller: -1 or i?
-1
Let h = 6 + -19/3. Is 0.1 less than h?
False
Suppose 3*p + 24 = 2*p - 5*t, 0 = -3*p + 5*t - 132. Let s = p + 157/4. Is s at most as big as -1?
False
Let t be (-1)/(-2)*(-6)/15. Which is smaller: -17 or t?
-17
Let f be 4/(-48) - (-2)/(-8). Suppose -6*x = -5*x + 3*k + 2, -4*k + 2 = -x. Let s be (x + 2)*(-2)/4. Is s greater than f?
True
Let y = 30 - 42. Which is bigger: y or -11?
-11
Suppose 2*d - 3*d + 9 = 3*z, 2*z = d + 1. Suppose 0 = -d*b + b. Are b and -0.1 nonequal?
True
Let o be 3/66*8/(-4). Is 1 not equal to o?
True
Let r be ((-450)/125)/((-2)/35). Is -1 <= r?
True
Let j = 0.9 + -8.9. Let h = j - -6. Is h at least -0.5?
False
Suppose 3*s = s - 6. Is -8/5 at most as big as s?
False
Let v = 3 - 1. Let f = -2.5 - -0.5. Let u = v + f. Is u greater than or equal to 0?
True
Let b(n) = 3*n**2 + 4*n + 2. Let l be b(-2). Suppose 2 + 3 = -2*v + 3*u, -4*v + 30 = 2*u. Which is smaller: l or v?
v
Let a be 16/48 + (0 + 1)*0. Is 13 != a?
True
Suppose b = 5*b. Suppose b = p + p. Let z be (-12)/8*2/3. Which is smaller: p or z?
z
Let a = 5 + 14. Is 3 greater than or equal to a?
False
Suppose -2*q + 4*d = 82, d + 2 = -0*d. Let x = q - -134/3. Which is smaller: -1 or x?
-1
Let j be (-28)/(-6) + (-2)/3. Let l = -14/3 + j. Is 0 at most l?
False
Let i = -2.4 - -1.8. Let c = i + 0.6. Suppose -4 = 3*q + 5. Which is smaller: q or c?
q
Suppose -6*m - 3*h = -m - 29, -3 = -m - 2*h. Suppose -5*y + 8 + m = 0. Is 4 greater than y?
True
Let y = 22 + -21. Is y less than or equal to -2/97?
False
Let i be 515/(-35) - (-2)/(-7). Let h be (i/(-7))/(-3) + 1. Which is smaller: -4 or h?
-4
Let r(j) = -j**3 - 6*j**2 + 7*j. Let f be r(-7). Suppose -3*i = 5*v, 5*i = v - 6*v. Suppose i = k - 2*k. Are f and k nonequal?
False
Suppose s + 5*w - 20 = 0, s + 2*w = 3*w + 2. Suppose -4*n = n - 3*a + 5, s*a - 23 = n. Which is smaller: n or 0?
0
Let s = -5 + 7. Suppose m + 3 + 1 = 2*t, -8 = 3*m - s*t. Does -3 = m?
False
Let q = -22.1 - -22. Which is smaller: -3/4 or q?
-3/4
Suppose -3*a = -u - 0*u, -21 = -3*u + 2*a. Suppose -2*b + b - 3*x + 9 = 0, 0 = -2*x. Do u and b have different values?
False
Suppose 3*v = -2*r + 12 - 1, 3*r - 42 = 4*v. Is r less than or equal to 11?
True
Let k(v) = -v**2 - 5*v. Let h be k(-4). Let l(q) = -q**3 + 3*q**2 + 4*q + 1. Let b be l(h). Are b and 0 non-equal?
True
Let h = 29 - 19. Let d(g) = -g**2 + 9*g + 11. Let q be d(h). Is q less than or equal to 1?
True
Let g(y) = y**2 - 11*y + 4. Let v be g(10). Which is greater: v or -7?
v
Suppose w + 1 = -1. Suppose -4*j + 10 = j. Let p be (j + -1)/1 - 4. Are p and w equal?
False
Let c be (6/(-55))/((-12)/60). Which is bigger: 1 or c?
1
Let k = -23 - -21.3. Which is smaller: 1 or k?
k
Let b = -1 - 1. Let r = 6 + -9. Is b < r?
False
Let f be 72/(-32) - (-2)/8. Which is greater: f or -4?
f
Let m = 0.8 - 0. Let o = -0.5 - m. Let a = o + 0.3. Is -0.1 smaller than a?
False
Let i = -75/4 + 595/36. Is -2 less than or equal to i?
False
Let d = 150 + -154. Is d greater than -5?
True
Let s be (15/10)/((-6)/(-164)). Is s <= 41?
True
Let p = -1038/325 + -2/325. Which is bigger: -3 or p?
-3
Suppose 2*s + 2 = 4*i, 1 = -4*i + s - 0. Let g be -1 - -7 - (-1 + 3). Let t be 12/(-4)*g/78. Which is smaller: t or i?
i
Let y(v) = v**3 + v**2 + v + 5. Let z be y(0). Suppose -55 = 3*g - 0*l + 5*l, -4*l + 30 = -z*g. Which is smaller: -8 or g?
g
Let n = 16 - 11. Suppose -46 = -5*o - 3*a, 9*o - a - 58 = 4*o. Let v = o - 7. Which is smaller: v or n?
v
Let j be (-138)/(-18) + 2/6. Let y be ((-2)/(-8))/(2/j). Which is smaller: y or -3/7?
-3/7
Let f(k) = k. Let r be f(-2). Let c(w) = -w**3 - 6*w**2 - 2*w - 9. Let q be c(-6). Let j = q + -3. Which is smaller: j or r?
r
Suppose m - 3*n + 21 = 0, 2*m - 2*n + 14 = -8. Which is smaller: -1/9 or m?
m
Let h(g) = -g**3 - 12*g**2 - 12*g - 12. Let n be h(-11). Which is greater: n or -2?
n
Suppose -3*t - 3 = 3. Let h = 20 - 9. Let o = h - 12. Which is smaller: t or o?
t
Let o(g) = g. Let u be o(1). Which is smaller: 2 or u?
u
Let y = 191/4 - 4003/84. Is y at least as big as 0.1?
False
Let u = -349 - -209. Let x be ((-16)/u)/((-4)/(-10)). Let w be (-1 - -2) + (1 - 3). Which is bigger: x or w?
x
Let m = -87 - -87. Do m and 0 have the same value?
True
Let h(b) = b - 5. Let p be h(5). Which is bigger: 2/57 or p?
2/57
Suppose -3*j + j = 2. Let v be 6 + -6 + 1*j. Is 2 at least v?
True
Let n = 5 + -3. Suppose -n*i - 5 = 3*i. Let q = -1339/9 - -149. Which is smaller: q or i?
i
Let f = 3/167 + -427/5177. Which is smaller: 0 or f?
f
Let p = -34 + 21. Is p at least as big as -12?
False
Let r = 1.9 + -2. Let h = -6.5 - -7. Which is smaller: h or r?
r
Let k be (-2)/72*1*-3. Which is smaller: k or 1?
k
Let m be -8 - (-2 - (1 + -3)). Let p = m - -8. Which is greater: 2 or p?
2
Let x(i) = 9*i**3 - i**2 - 5*i - 4. Let w be x(-1). Suppose 4 = 3*r + 2*v - v, 0 = -5*r + 2*v - 8. Suppose r = 4*m + m + 40. Which is smaller: m or w?
w
Let h = 50.1 + -73. Let g = h + 27. Let l = g - 4. Which is smaller: l or -1?
-1
Let a = -11/4 - -29/12. Is a greater than or equal to 1?
False
Suppose 0 = 3*p - 4*q + 211, -294 = 4*p + 4*q - 3*q. Is p less than or equal to -73?
True
Let c = 2 + -4. Let l be c/2 + 138/100. Let p = 3/25 + l. Which is smaller: 1 or p?
p
Let d be 4/(-10) + 6/(-10). Suppose -21 = 5*k + h, 2*k + 4*h = 3*k + 21. Let s = -7 - k. Is s < d?
True
Suppose 4*l + 3 + 9 = 0. Are 1 and l equal?
False
Let r = 11 - 9. Suppose -r*a - 1 = 3*s - 2, 5*s = 5*a + 10. Is s at least 1/20?
True
Let j = -9 + 5. Let s = j + 3.9. Is 0 greater than s?
True
Let w be (2/(-5))/(3/(-210)). Let f be 5 - 2 - 132/w. Which is smaller: -1 or f?
f
Let s be ((-1)/4)/((-25)/(-40)). Which is bigger: 1 or s?
1
Let q = 2.2 - 5.4. Are 1 and q equal?
False
Let g = 0.01 - 0.01. Let d = 0 + g. Is 3 smaller than d?
False
Suppose 1 = 5*l + b, 5*l + 2 = 3*l - b. Let z be -3 - ((-10)/3 - 0). Is l at least as big as z?
True
Suppose 0*f - 5*f - 9*f = 0. Let j = 47 - 421/9. Which is bigger: f or j?
j
Let i be (0 + 3 + -1)/1. Suppose -1 = i*n + 1. Let m be (-1)/n - (-45)/(-42). Which is greater: 0 or m?
0
Let g be (1 + -4)*206/12. Let b = g + 503/10. Supp