ller: u or 1?
u
Suppose -10*p = -13*p. Is 1/65 less than or equal to p?
False
Let m = -0.02 + 5.02. Which is smaller: -0.3 or m?
-0.3
Let y = -8 - -4. Let b = -4 - y. Let z = b - -0.1. Does 2 = z?
False
Let n be (-2 - -4) + 5 + -38. Is -30 < n?
False
Let w be (-35)/(-175) + (-17)/5. Do -4 and w have different values?
True
Suppose 4 = -4*t + 2*t. Is t not equal to -2?
False
Let r be (90 - -2)/((-18)/(-9)). Is r greater than 2?
True
Suppose -4*l + 11 = -y, 5*y - 16 = -3*l - 2. Which is greater: -1/38 or y?
y
Let k(w) = 2*w + 2. Let j be k(1). Does j = 14/5?
False
Let u = 10 + -4.9. Let c = 5 - u. Is 0 greater than or equal to c?
True
Let j be (-3)/(-6) + (-1)/(-2). Is -1/19 less than or equal to j?
True
Let a(h) be the first derivative of 2*h**3/3 + h**2/2 + h - 1. Let c be a(-1). Let o be 1/(1 + (-4)/c). Are 0 and o unequal?
True
Let n = -15 - -6. Let s = 7 + n. Is -2 less than or equal to s?
True
Let w = -8.3 + 8. Which is greater: -14 or w?
w
Let t = -20 - -20. Suppose t*n + 2*n = 4. Which is greater: n or 8/7?
n
Suppose -5*z - 18 = 2. Let y(r) = r**3 + 5*r**2 + 5*r - 2. Let w be y(z). Which is bigger: -3 or w?
-3
Let o(f) = -f**2 + 1. Let v be o(0). Let n = -1584 - -96622/61. Which is smaller: n or v?
n
Let s be 5 - (-3)/((-3)/2). Suppose -s*a + 1 = -2*h, -4*h - h + 4 = -a. Are -1/8 and a non-equal?
True
Let x(b) = -b**3 - 5*b**2 + 14*b + 15. Let h be x(-6). Is -33 < h?
False
Let u = 2 + 0. Let a(b) = b**2 - 10*b + 5. Let o be a(10). Suppose 5*f - o*s = 5, -f + 14 = 3*f + s. Which is greater: u or f?
f
Let h = 48 + -47. Which is greater: 1/12 or h?
h
Suppose -a + 22 = 4*p, -2*p = -2*a - 7*p + 29. Suppose 3*o = a*m - m + 8, -o - 4 = m. Is -3/10 greater than o?
False
Let m = -118 - -113. Which is smaller: -2 or m?
m
Let l = -1518 - -4618/3. Let j = l + -21. Which is smaller: j or -0.6?
-0.6
Suppose 0 = 3*p - p. Suppose p*b - 4 = -2*b. Which is greater: b or 7/4?
b
Let h(i) = -2*i**2 + 5. Let r(g) = -g**2 - g + 4. Let z(b) = -2*h(b) + 3*r(b). Let l be z(2). Which is smaller: -1/6 or l?
-1/6
Suppose -34*i = -28*i + 18. Are i and -6 non-equal?
True
Let v be (21/(-19))/3 - -1. Let c = 29/76 - v. Let i(l) = -l + 4. Let g be i(4). Is g greater than c?
True
Let q be (-1)/((-2)/5*3/30). Are q and 27 non-equal?
True
Let f = -0.3 + 0.1. Let g(l) = -l**3 + 5*l**2 - 5*l + 5. Let x be g(4). Is f < x?
True
Suppose 35 = 5*x - 0. Let q = -5 + x. Is 2 < q?
False
Suppose -4*j + 12 = 0, -5*n + 2*j - 125 + 19 = 0. Which is smaller: 1 or n?
n
Suppose p + 3*d + 13 = 0, d = 3*p - d - 16. Suppose t - 1 + 0 = 5*q, -3*t + 88 = p*q. Let z be (1 - -1)*(-2)/t. Which is greater: z or -1?
z
Suppose -9 = -5*p + 1. Suppose -4 + p = l. Let j be (2 - (1 - -1))/2. Is l at most j?
True
Suppose -c - z - 77 = -25, 0 = 2*z. Is -52 at most c?
True
Suppose 6 = 2*r - v, 4*v - v = 12. Suppose -4*q + 3 = -r*y, -2*q - q = -6. Is y != 1?
False
Let r = -3 + -1. Let n = r + 1. Let m be n + -1 + (-13)/(-4). Is m smaller than -2?
False
Suppose 0*v - 2*v = 0. Let s = 0 + 0.3. Let m = -0.1 + s. Which is smaller: m or v?
v
Let d = -0.2 - -0.3. Suppose 5*i + 55 = 3*l, 0 = i - 2*i + 2*l - 18. Let g = 6 + i. Which is bigger: d or g?
d
Let x(t) = t**3 + 8*t**2 + 6*t + 3. Let n be x(-7). Let f = -9 + n. Is f < -1/8?
False
Let q = -4 - -4. Let b = -13 - -40/3. Which is smaller: b or q?
q
Let i(h) = -3*h - 3. Let t be i(-2). Suppose 3*y - 6 = -0*y - 3*m, -t*y = -3*m + 6. Let d = y - -1. Is 0 not equal to d?
True
Let h be (-8)/(-12) + (-148)/6. Let o be (1/(-4))/((-6)/h). Which is greater: o or -2/19?
-2/19
Let k be 1 + 0 - (-4)/2. Let h(f) = -k*f + 1 - 5*f**3 + 5*f**3 + f**3 + 2*f. Let j be h(1). Is -1/3 less than or equal to j?
True
Let j = 3 - 3. Suppose -3*k = -j*k. Let a be 10/(-6) - (4 - 6). Which is smaller: a or k?
k
Suppose 2*d = -25 + 5. Let r be (-1)/2 + d/12. Suppose -16 = 5*g + 4*x, g + 3*x = -2 - 10. Which is bigger: g or r?
g
Suppose 21 = 5*v + 6. Suppose 0 = v*o + 12, -3*o = -5*n - 2*o - 31. Which is smaller: n or -6?
n
Let x be (6/(-63))/((-2)/14). Is 21 equal to x?
False
Let w = 0 + 1. Let o = 0.035 - -2.965. Is o at most w?
False
Suppose -l - 2*b + 21 = 0, 15 = l - 5*b - 6. Is 6 bigger than l?
False
Let p = -0.05 + 0.05. Let g = 6 - p. Let j = g - 6. Is -4 greater than j?
False
Suppose -i = 3, -4*q + i + 13 = -2*i. Let v(a) = 2*a**2 + 2 + q - a**2 - 4*a. Let d be v(2). Is 0 at most d?
False
Let y = 11 + -7. Suppose 1 = n + y. Is n equal to -4?
False
Let n = -0.05 - 27.95. Let g = n - -29.04. Let w = 0.04 - g. Which is smaller: w or 1/5?
w
Let r(m) = -m**3 + 3*m**2 - 2*m + 2. Let x be r(2). Suppose -x*i - 5 = 13. Which is smaller: i or -10?
-10
Let s = 14 - 9. Suppose 0 = 5*t, s*h + 3*t = 5*t. Is -2/29 not equal to h?
True
Let k(l) = 2*l - 6. Let i(g) = -6*g - 3. Let h be i(-1). Let t be k(h). Is t greater than 1?
False
Let s be -3*(-2)/3 + -1. Suppose -v + 4 = s. Let c be (5 + -4)*(-1)/v. Which is bigger: c or 0.1?
0.1
Let s = 5 - 3. Suppose 5*z - 2*h = -32, h + 20 = -0*z - s*z. Let j be 2/(-7) + z/21. Which is greater: j or -1?
j
Suppose 0 = -d - 5*q, -2*d - 4*q = -5*q. Are d and 60 unequal?
True
Suppose 5*i - 8 = -3. Suppose 9*u - 13*u + 8 = 0. Which is smaller: u or i?
i
Let j = 16.009 + -16. Which is smaller: j or -1?
-1
Let i = -4.5 - -5. Let d = -0.6 + 0.3. Let n = i + d. Is -0.1 equal to n?
False
Let u = 74 + -104. Is 2 greater than u?
True
Let x = 3 + -1. Let c = -2 + x. Is 1 at least as big as c?
True
Let n be 4*-1*9/(-12) - -28. Is n bigger than 31?
False
Suppose 2 = f + 8. Let a be ((-4)/57)/((-4)/f). Is 1 smaller than a?
False
Let i(j) = j**2 + 6*j + 6. Let f be i(-4). Let u = f - -5. Suppose -3 = 4*r - u*r. Which is bigger: 2/7 or r?
2/7
Let t = 382/2915 - 11/106. Let j = t - 5/22. Let f be 45/(-54) - 1/6. Which is smaller: j or f?
f
Let w = 2 - 2.12. Let p = 0.02 + w. Which is smaller: -4 or p?
-4
Let j = -77.9 + 82. Let s = j - 4. Let r = -9/14 + 8/7. Which is smaller: s or r?
s
Let p = 0.01 + 0.59. Let c = 0.3 - p. Is 4 at least c?
True
Let t = -0.28 + 0.3. Let f = -1.98 - t. Which is bigger: f or -1?
-1
Let v be (133/45 - 3)*8. Let k = v - -2/15. Which is bigger: -0.06 or k?
-0.06
Let w = 4 - 0. Let k be 1225/1428 + (-3)/w. Let n = k + 1/17. Which is smaller: 1 or n?
n
Let t(k) = -k**2 - k + 60. Let c be t(0). Let a be (-4)/6 - c/(-9). Let q be (a/(-10))/((-3)/15). Is 3 > q?
False
Let s = -5 + 1. Let w(p) = -p**2 - 10*p - 6. Let a(j) = -j**2 - 9*j - 6. Let h(b) = s*w(b) + 5*a(b). Let d be h(-4). Which is smaller: -3 or d?
-3
Let l = -0.18 + 28.18. Which is bigger: -1 or l?
l
Let u be (-5)/(20/6) + (-162)/(-76). Which is smaller: u or 0?
0
Let p = 1 - -8. Let a be (-1)/3 - (-12)/p. Which is smaller: 6 or a?
a
Let d(r) = -r**3 + 5*r**2 - 5*r + 3. Let v be d(4). Do -1/17 and v have different values?
True
Let w be (4 + -3)*1 - (-29)/9. Which is smaller: 4 or w?
4
Let j = 10 + -18. Let h = -1.9 + -7.1. Let l = j - h. Is 1 greater than l?
False
Let v be 14/8 - 3/4. Let p = -8 - -6. Is v less than p?
False
Let z = -12 + 6. Let j = -36 + 29. Let d = z - j. Which is smaller: -1/4 or d?
-1/4
Suppose -3*b = -3*y - 0*y + 9, 5*b = -y - 21. Are b and -4 nonequal?
False
Suppose 3*g = -2*g + 25. Let q = -2 + g. Suppose 2*s = -f - q, -2*s - 12 = -4*s + 4*f. Is -4/9 greater than s?
False
Let o = 34 - 103/3. Is 0 at least as big as o?
True
Let s = 0 - 0. Let h = 7 - 5. Suppose 4*f + 2 = h*f. Which is greater: s or f?
s
Let c(r) = -3*r**3 - r**2 - r - 1. Let l be c(-1). Suppose 0 = l*o - 18 + 60. Is o equal to 0.1?
False
Let h(a) = 46*a**3 - 2*a - 1. Let v be h(-1). Is -45 not equal to v?
False
Let n = -1 - -1.03. Let q = 0.11 - n. Let g = 0.02 + q. Are g and -4 equal?
False
Let r be -1 + (-4 - -3) + 2 - 2. Which is smaller: r or -4/7?
r
Let n(a) be the first derivative of -a**2 + 2*a + 7. Let v be n(4). Suppose -4 = 2*k + 10. Which is smaller: k or v?
k
Let m(d) = -d**2 + d. Let c be m(0). Which is greater: c or 1?
1
Let h be 51/2*(-10)/12. Let o = h + 21. Let u = 0.2 + -1.2. Is u at least as big as o?
False
Suppose u - c + 1 = 0, 5*u - 3*c = -4*c + 13. Let h = 2 - -2. Which is bigger: h or u?
h
Let v = -7 - 0. Let o(d) = 2*d - 27. Let m be o(10). Is v less than or equal to m?
True
Suppose 7 = c + 4*c + 4*x, -c + 2*x - 7 = 0. Is c at least as big as -2?
True
Let r(t) = -2*t**2 - 1. 