+ 4*b + 1. Let y be v(-3). Let q(r) = -2*r + 17. Let x be q(6). Which is greater: x or y?
x
Let q = -2 - -2. Let b = 2 + q. Are -2 and b equal?
False
Let r(p) = -p**2 + 2*p - 2. Let j be r(2). Let z be (4 - 6) + 1 + -3. Let w = z - j. Is 1 greater than w?
True
Let t(m) = 40*m**2 + m - 12. Let p be t(-9). Let o = p + -115895/36. Let a = -4/9 + o. Is a less than -1?
False
Let t(m) = 1100*m + 4. Let a be t(3). Let w be 2/(-7) + (-1870)/a. Let i = w - -6/59. Is i smaller than -2?
False
Let u(y) = -13*y**2 + y - 1. Let l be u(-2). Is -166/3 smaller than l?
True
Let g = 3 - 14. Let l = g + 8. Let t = l + 3. Which is smaller: -1 or t?
-1
Let n(i) = -84*i. Let w be n(1). Let f = w - -422/5. Do 1 and f have different values?
True
Let b be (-6)/(-15)*(-5)/13. Suppose -4*g = j - 0 - 8, -3*j = 5*g - 10. Which is smaller: j or b?
b
Let a = -23 - -20. Is -26/9 > a?
True
Let r = -0.1 + -0.3. Do -0.3 and r have the same value?
False
Suppose f = -4*b, 0*f - 2*b + 18 = 5*f. Suppose d - 2*d = -2. Suppose -5*u = 5*w + 3 + 2, -d*w = f. Which is bigger: u or -2/9?
u
Suppose 0 = -2*y - 2*y. Which is smaller: y or 1/9?
y
Let z = -16.1 + 16. Which is smaller: z or -10?
-10
Let t = 1 - -2. Suppose -5*d = 5*z, -2*z = 4*d + t*z + 1. Is -1/5 less than d?
True
Let k(z) = -z**2 - 8*z - 7. Suppose 6*f + 6 = 5*f. Let u be k(f). Are u and 5 equal?
True
Let n be -246*(-6)/12 + (2 - -1). Which is smaller: n or 127?
n
Let b be (-8)/(-2 + 0) + -4. Let t be (-9 - -4)*4/110. Which is greater: b or t?
b
Suppose 0 = -2*i - 0*i + 10. Suppose -3*b + 2 = -i*b. Let s be 4/18 - (-380)/(-495). Which is smaller: b or s?
b
Let j = -388/2911 - -6/71. Are 0 and j nonequal?
True
Let f = -4 + 7. Let m be 2 + (-1 + 2)/1. Let t = m - f. Is t greater than or equal to 1?
False
Let q(z) = -z + 10. Let m be q(6). Let d(o) = -4*o + 49. Let n be d(11). Which is greater: m or n?
n
Let k be ((-28)/8)/((-3)/6). Which is smaller: k or -0.1?
-0.1
Let x = 4 + -3. Suppose -3*k + 4*l = 2*l + x, 0 = -4*k + 5*l + 1. Is 4 at most as big as k?
False
Let g = 1977 - 29669/15. Let f = -165 + 822/5. Let h = f - g. Is 1/4 not equal to h?
True
Let y(q) = -q**3 - 13*q**2 - q - 10. Let u be y(-13). Which is smaller: u or 4?
u
Suppose y - 2*n + 0*n = 0, -n - 7 = -4*y. Let o be ((-12)/8)/(1/(-2)). Suppose r + 2*f = 12, -2*f + 26 = o*r + 10. Is y greater than r?
False
Suppose 4*t - 4*v = -16, 8 + 1 = -3*t + 2*v. Which is smaller: t or 2/57?
t
Let c be (-4798)/(-24) - (-2)/(-3). Let m = c - 198. Which is greater: 1 or m?
m
Suppose 3*s = -2*g - 18, 0 = -3*s + 3 + 3. Is -12 bigger than g?
False
Let j = 10 + -7. Suppose -4*k - 12 = -j*r + 14, 4*r = 2*k + 28. Are r and 4 non-equal?
True
Let y be (-7 - -10) + -28 + 1. Let o = y + 23. Which is smaller: o or -2/9?
o
Let f be 36/15 + (-14)/35. Suppose 20 - 48 = f*s - 4*i, -2*s - 16 = -i. Which is smaller: -8 or s?
-8
Let y = 0 - -1. Suppose 0 = -9*z + 8*z - 3. Which is smaller: y or z?
z
Let h(n) = -5*n + 6. Let r be h(4). Let u(y) = -3*y + 4. Let f be u(6). Are r and f equal?
True
Suppose -3*s = -5*v + 87, -2*s + v - 51 = -0*v. Let g = s - -16. Let c be (2/1)/(g + 7). Which is smaller: c or -3/5?
c
Let m = 5 + 14. Is 19 greater than m?
False
Let y be (-12)/7 + 50/25. Are y and 1/83 nonequal?
True
Suppose m - 4*m + 12 = 0. Let y be ((-9)/(-3))/((-52)/m). Is y <= -1?
False
Let v(o) = -7*o - 14. Let a(u) = u + 1. Let n(g) = -5*a(g) - v(g). Let b be n(-4). Which is greater: b or -4/19?
b
Let u(l) = -2*l**3 - 16*l**2 - 5*l - 13. Let c be u(-8). Which is smaller: c or 28?
c
Let z = -10 + 10. Do z and 2/3 have the same value?
False
Let d(c) = 2*c + 42. Let k be d(-18). Is k greater than 6?
False
Let h = 5 - 2. Let f = -0.2 - -2.1. Let d = f + -2. Which is smaller: h or d?
d
Let z(v) = v**2 + v. Let x be z(1). Let r be 1/(4 - 6/x). Which is smaller: 0 or r?
0
Let n = -27 - -26.8. Is 2/7 > n?
True
Let f = 12 + -2. Suppose 5*c + 10 = 5*y - 0*c, 4*c = 5*y - f. Let k = -6 - -8. Is y not equal to k?
False
Suppose 0 = -3*h + 4*t - t + 21, -2*t - 11 = -h. Let k be (-2)/(4/h + -2). Which is smaller: k or 2?
2
Let d = -1 + 5. Let p be (-1)/(-2) + d/(-4). Which is smaller: 0 or p?
p
Let x be ((-9)/(-63))/(24/14). Is -1 at least as big as x?
False
Let j = -9.2 + 8.2. Do j and -13 have different values?
True
Let d(r) = -2*r**2 - 5*r - 11. Let g(o) = -3*o**2 - 8*o - 16. Let c(h) = -7*d(h) + 5*g(h). Let q be c(-4). Which is bigger: -1/6 or q?
q
Suppose -14*v = -12*v - 2. Which is smaller: 1/24 or v?
1/24
Let x = -1 + 4. Let v = -2 - 1. Let i(z) = -2*z - 4. Let f be i(v). Is f less than or equal to x?
True
Let t be 26/(-20) - 8/(-48). Do -2 and t have different values?
True
Let a be 12/(-9)*(-36)/2. Let g be (-16)/a*(-3)/5. Which is greater: 0 or g?
g
Let w be -1 - -2 - 95/57. Is -16 bigger than w?
False
Let l(x) = -6*x**3 + 2*x + 1. Let i be l(-1). Suppose c = 2*b - 5*b, -10 = -i*b - 5*c. Which is greater: 0 or b?
0
Let z = -10 + 11. Is z less than or equal to 2/39?
False
Suppose 4*c = 8*c - 240. Is 61 >= c?
True
Let w = 0 + 0. Suppose w + 5 = l. Let k be (2/12)/(l/20). Which is greater: 0 or k?
k
Let z(o) = o**2 - 11*o + 5. Let h be z(10). Is -3 < h?
False
Let g(c) = c**2 + 3*c - 2. Let a be g(-6). Let y be (3 + 9/9)*4. Is a bigger than y?
False
Let h be (-6)/21 + (-176)/(-28). Let k = 4 - h. Which is bigger: k or 0?
0
Suppose 0 = -n + 2*n + 1. Let t(c) = c**2 - 4*c - 2. Let v be t(4). Which is smaller: v or n?
v
Let d(n) = n**3 + n**2 - 6*n - 9. Let j be d(-2). Is j at least as big as 9?
False
Let y = -2/69 + 79/345. Which is bigger: y or 0?
y
Let d be (-13)/(-4) + 5/(-20). Suppose -3*z = -5*s - 23, 3*s - 4*z - 4 = 5*s. Let f = d + s. Which is smaller: f or 2/7?
f
Let b be 33/27 - -6*5/(-135). Which is smaller: 15/7 or b?
b
Suppose 0*v + 3*v = 9. Suppose -c + v*c = 0. Let z = -9/13 - -89/91. Is z < c?
False
Let x(w) = -w**2 + 5*w. Let z be x(5). Let h be (0 - z) + (-2)/(-9). Which is smaller: h or 1?
h
Let v be (-8)/22*(-8)/(-48)*-1. Which is greater: 1 or v?
1
Let z = -109/5 - -113/5. Let k = -28/9 - -47/18. Is z at most k?
False
Let f(a) = a**2 - 6*a + 7. Let b be f(5). Suppose -b*z - 10 = -7*z. Suppose -z*r = -3*r - 3. Are r and -3 equal?
True
Suppose -10*s + 15*s = -5, 4*l + 204 = 4*s. Is -51 != l?
True
Let o = 4 - 4.1. Is -1/5 smaller than o?
True
Let n = 143 - 137.7. Which is smaller: n or 2/3?
2/3
Let y = 8 - 4. Let h = y - 4. Let j be -2*3/((-12)/(-1)). Is j less than h?
True
Let d = -52.86 + 53. Which is smaller: d or 2/3?
d
Let w = 1.1 + -0.1. Let f = -0.9 + w. Let v be (1/3)/(2/6). Which is smaller: v or f?
f
Let v(t) = 21*t. Let o be v(1). Let g be 8/o + (-4)/(-14). Which is smaller: 9 or g?
g
Suppose 4*q - 35 = 5*w + 8, -5*w = 3*q - 41. Suppose -2*s - q = -5*k, -4*s = -5*k + 3 + 1. Suppose i + k = 3. Do -2/15 and i have different values?
True
Let u be (-4)/3 + 8/24. Let o be ((-6)/14)/(1/u). Is 0 less than o?
True
Let k = 0.4 + 1.1. Let m = -1.4 + k. Is m greater than -7?
True
Suppose -2 - 14 = 4*p. Let d(x) = -x**2 + 7*x + 7. Let m be d(8). Let u(i) = -3*i**2 + 1. Let a be u(m). Does a = p?
False
Let v be (2 + -8)*15*5/45. Which is smaller: v or -12?
-12
Suppose 2*c = -0 + 6. Suppose -4*z + 5*a + 0*a + 9 = 0, -c*a + 2 = 5*z. Which is bigger: z or 1/4?
z
Let j = 0.19 - -0.01. Let d = 0.1 - j. Is d equal to -2?
False
Let v = -1.4 + 1.4. Which is bigger: v or 2/9?
2/9
Let r = -1 - -3. Suppose -3*b = -r*b. Let f = b - 0. Which is smaller: -1 or f?
-1
Let m(f) be the first derivative of -f**2/2 - 6*f - 1. Let h be m(-7). Let n = -35 + 71/2. Is h equal to n?
False
Let u = -6 - -4. Let o be (0/u)/(1/1). Let y be (2/4)/((-15)/(-18)). Is y at most o?
False
Let x be 2839/1190 + 5/(-2). Is x >= -1?
True
Let m = -1/33 + 61/198. Let r = m + -1/2. Is r equal to 1?
False
Let v be (-8)/18*(-72)/12. Let f(q) = q**3 + 4*q**2 - 6*q - 2. Let w be f(-5). Which is bigger: w or v?
w
Suppose 0 = -k + 6 + 14. Suppose -m - k = 3*m. Which is smaller: -3 or m?
m
Let q = -0.2 - 1.8. Let p be 2/8 - (-36)/(-80). Are q and p unequal?
True
Let j = 472/3555 + -14/79. Which is smaller: 1 or j?
j
Let p = 5.4 + -6. Let j = 4.4 - p. Let w = j - 5. Which is smaller: w or 1/3?
w
Let m = 12 - 11. Let p be (1/(-14))/(2/8). Are p and m equal?
False
Suppose 0 = -j - j. Suppose -2*m - 9 - 3 = 0. Let q be (-82)/126 + m/(-27). Is q