ual to 3/35?
False
Let y(v) = 2*v**2. Let m(b) = b + 3. Let i be m(-2). Let p be y(i). Which is smaller: p or 5?
p
Suppose 3*f - 992 - 679 = 0. Let s = 6131/11 - f. Which is greater: s or 0?
s
Let q be 27/(-60) - (-2)/4. Suppose 0 = t + 1 - 0. Which is greater: t or q?
q
Let g(r) = -r**2 - r - 75. Let w be g(0). Let o = 374/5 + w. Which is greater: 1 or o?
1
Let f = 2/25 + -21/575. Which is greater: -1 or f?
f
Suppose 2*g - g + 1 = 0. Let s(a) = 2*a**3 + a + 1. Let j be s(g). Do j and -2 have different values?
False
Suppose 0 = -3*g - 0*g. Is g < 2/15?
True
Let u(h) = h**3 - 3*h**2 - h. Let v be u(3). Let q be 0 + 2 + v - -2. Which is smaller: q or -2/33?
-2/33
Let i = -18 + 21. Suppose 0 = -3*r - 4*y + 13, -i*r + 5*y + 20 = -11. Is r at most 5?
False
Suppose 3*x = 4*j + 15, 0*j = 3*x - 2*j - 15. Which is smaller: x or 6?
x
Let x(r) = r + 9. Let i be x(-7). Suppose 3*s = i*g - 22, -1 - 4 = -g. Which is smaller: -3 or s?
s
Let d(w) = -w**3 + 7*w**2 - w + 6. Let p be d(7). Let s be (-6)/(-8) + 0 + p. Let x(m) = -m**3 - 9*m**2 - 7*m + 7. Let f be x(-8). Is f != s?
True
Suppose a = -3*x - 1, -5*x + 0 - 7 = -a. Let m be 58/20 - (-6)/(-15). Does a = m?
False
Let c = 0.3 - 0.3. Let y = -30 + 21. Let t = -6 - y. Is c equal to t?
False
Suppose -2*a + 5*y = -14, -4*a + 0*y + 14 = -3*y. Suppose 5*j + 10 = v, -3 = -5*j + a*v - 13. Let u be (j - 1)*(0 - -1). Is u at most -3?
True
Let v be (-44)/(-7) + 42/(-147). Is 0.1 > v?
False
Let x = 2.9 - 3. Suppose 0*f - 3*h - 29 = 4*f, -2*f - 3*h = 13. Let k be 3 + (-2)/(f/(-12)). Is k greater than x?
True
Let a be ((-30)/9 - -4)*3. Does 5 = a?
False
Let j = -12 + 28. Let r = -19 + j. Is -3 greater than or equal to r?
True
Let y = 793 - 27757/35. Are y and 1 non-equal?
True
Let q = 2 + 4. Let t = q + -5. Which is bigger: t or -0.2?
t
Let r be 0/(-2) - (1 - 1). Suppose -3 = -l, d - 5 = -r*d - l. Suppose 0 = -d*g - 5*a + 19, -5*g = 4*a - 0 - 22. Is g > 2?
False
Let v = -2/929 + 5600/12077. Is 1 at least v?
True
Let i = 189452/7 + -27121. Let h = i + 57. Which is smaller: 0 or h?
0
Let i = 8.9 - 9. Let m = -0.2 + 0. Let x = 0.4 + m. Which is greater: x or i?
x
Let p(j) = -j**3 + 2*j**2 - 2*j. Let h be p(2). Let u = h - -1. Which is smaller: -4 or u?
-4
Let j be (6/(-44))/(6/(-8)). Suppose -2*v = -3*v + 4. Suppose -i = -v*h + 2, -2*i = 5*h - 3*i - 3. Which is greater: j or h?
h
Let b = 29 - 139/5. Which is smaller: 2 or b?
b
Suppose -20 = -4*i, 0 = 3*h + 3*i - 14 - 34. Let d = h - 9. Which is smaller: d or 3/4?
3/4
Let m(z) = -z + 8. Let c be m(0). Suppose -3*b = 9, -29 + c = -2*x + 3*b. Is x < 6?
False
Let r = 0.7 + 0.3. Let f = 17.9 - 19. Let k = r + f. Which is smaller: k or 1?
k
Let p = 36 - 36.5. Let g = 1 - 0.9. Which is smaller: g or p?
p
Let r be (-3)/(-6) + 4/(-8). Let v = 3 + -2. Which is smaller: r or v?
r
Let n(y) = 4*y - 2. Let u be n(-2). Let i be 4/u - 85/(-25). Is 3 <= i?
True
Suppose 4 = 3*r - 17. Is r at least as big as 8?
False
Let h = -8.1 - -0.1. Let k = h - -7. Which is greater: 0 or k?
0
Let g(a) = -4204*a**3 - a + 1. Let f be g(1). Let w = -252253/60 - f. Let r = w + -1/30. Which is smaller: r or 1?
r
Let d = -15 - -12.6. Let t = d - 1.6. Is t at least as big as 0.1?
False
Let s = -5853376/467 + 12534. Which is greater: s or 1?
1
Let s = 0.46 + 11.54. Let v = 2 + -1. Which is greater: v or s?
s
Let v be 4*(-10)/60*(-6)/(-206). Which is bigger: -1 or v?
v
Suppose -p - 48 = -7*p. Which is bigger: 7 or p?
p
Let a = -12 - 1. Which is greater: a or -12?
-12
Let p(t) = -t - 6. Let k be p(-6). Which is smaller: -1/19 or k?
-1/19
Let t be 1/(-23)*(-1 + -1). Let u be ((5 + -5)/(-1))/2. Is u bigger than t?
False
Let x = 1.8 + -1.8. Let j = 17 - 11. Let c be 1/4 + j/(-8). Is x at least c?
True
Let i = 4 + -6. Let x be i/(-44)*70 - 3. Let q be 0 - (2 + 4/(-3)). Which is smaller: x or q?
q
Let j be 3/(-1) + (-4)/4. Suppose -4*v + 20 = -2*t, 0*t = -4*t + 3*v - 20. Is t > j?
True
Let i = 19 - 14. Suppose i*m - 6*m = 0. Which is bigger: m or -1?
m
Let j be 6/(-4) - (-54)/12. Suppose -3 = -5*m + y - 4, 17 = -5*m - j*y. Let a be 1/2*(m - -1). Is a smaller than 1/11?
True
Suppose 2*s = -3*l - l + 8, 0 = -5*s + 5*l - 10. Is s greater than -2/3?
True
Let d = -1/340 + -2889/340. Let m = d - -8. Are 7 and m equal?
False
Suppose 0 = 4*x - 0*x + 3*i - 27, 2*x = 4*i - 14. Suppose -q = -n - 2, -n - x = 2*q + 2. Which is greater: -3/2 or n?
-3/2
Let g = -126572/9993 + -2/3331. Let p = 13 + g. Let h = -1 + 2. Which is smaller: h or p?
p
Let c = -2 - -1. Let p = 0.6 + c. Is p >= 0.1?
False
Let k = -6 + 3. Do k and -1 have different values?
True
Let u be (-73)/(-7) + (-21)/49. Is 11 < u?
False
Let m = 0.04 + -0.34. Let r = -4 + 3.3. Let n = -0.3 + r. Which is greater: n or m?
m
Let o(y) = -2*y - 3. Let b be o(-2). Is b not equal to 6?
True
Let b(z) = -3*z**3 - 2*z**2 + 2*z - 1. Let h be b(3). Let d be (-3 - h/23) + -1. Are 0 and d unequal?
True
Suppose 4*x - 4 = 3*x. Let z = 2 - x. Which is smaller: -1 or z?
z
Let r = -1223539/11 + 111326. Let p be (-2547)/(-27) + (-2)/(-3). Let i = p - r. Which is bigger: i or 1?
1
Let o(i) be the first derivative of 4*i**2 + 5*i - 1/3*i**3 + 2. Let m be o(9). Is m less than or equal to -3?
True
Let w = 12 + -13. Is -0.2 at most as big as w?
False
Let u = -6.7 - 2.3. Let s = u + 1. Are s and -0.1 non-equal?
True
Let g be 0*2*2/4. Suppose -5*y = -5*i - 15, g = -y - i - 5 - 0. Suppose 0 = 3*a - 0*o - 2*o, o + 9 = -3*a. Is y at least as big as a?
True
Let r = 5.9 - -0.1. Suppose -4*l + 8*l + 72 = 0. Let o be (-10)/35 - l/14. Which is smaller: r or o?
o
Let a be (-1005)/(-2)*(-1)/(-10). Let x = 50 - a. Let f be 1*(0 + -1)*-1. Which is smaller: f or x?
x
Let d(b) = b**3 + 5*b**2 - 3. Let u be d(-5). Let l = 27 - 25. Suppose 0 = l*v + 2*v + 8. Is v at least u?
True
Let p = 112.9 + -108. Which is smaller: p or 0.1?
0.1
Suppose -2*h + 5 = 3*h. Let t be h + (-4 - -2) - 1. Is -2 < t?
False
Let j be 3 + (-5)/(60/39). Which is smaller: -2 or j?
-2
Let j = -11 - -15. Let i be (-2 - (-12)/j)/1. Which is smaller: 2/9 or i?
2/9
Let l = -104/3 + 34. Is l smaller than -16?
False
Suppose 5*n = -3*p + 43, 20 = 2*p + 5*n - 12. Is 7 < p?
True
Let h(i) = -i**3 - i + 1. Let k(x) = -3*x**3 - 8*x**2 + 4*x + 1. Let g(q) = 4*h(q) - k(q). Let n be g(7). Are n and -2 non-equal?
True
Let m = 5.6 + -0.35. Let u = 0.05 - m. Let k = u - -5. Is k < 0?
True
Suppose 0 = 6*o - 2*o - 8. Let r be -2 - -3 - o*1. Which is smaller: r or 1?
r
Let f = 7.9 + -8. Let j be (-15)/13 - 1*-1. Are j and f unequal?
True
Let g = 65.1 + -68. Let p = 3 + g. Let r = -0.2 + 1.2. Which is bigger: r or p?
r
Let v be (-4)/7 + (-4064)/336. Is v smaller than -14?
False
Let t = 8.17 - 0.17. Let y = -6 + t. Let c = -1 + y. Which is smaller: -2/5 or c?
-2/5
Suppose -2*d - w - 18 = 0, -d - 18 = 3*w + 2*w. Let k(p) = p**3 + 8*p**2 + p + 8. Let o be k(d). Which is smaller: 1 or o?
o
Suppose -5*v - y - 13 = -v, -5*v - y - 15 = 0. Let m(i) = 2*i - 5. Let a be m(5). Suppose 5*u + 4*j + 27 = 5, 2*j = a*u + 4. Is v smaller than u?
False
Let d = -0.04 + -0.76. Let f = d - 0.2. Let g(q) = -q**3 - 4*q**2 - q - 3. Let j be g(-4). Which is greater: f or j?
j
Let z(x) = -x**2 - 11*x - 1. Let a be z(-11). Let f = 1.6 - -0.4. Is a at least f?
False
Let z = -4 + 4.1. Which is smaller: z or -8?
-8
Let c = -3 - -3. Let n = 1 + c. Let d be (3/(-21))/(n/(-2)). Are d and 1 unequal?
True
Let h = 0.8 - -0.2. Let c = -0.6 + h. Let f = -0.3 + c. Is f at least as big as 0.1?
True
Suppose -5*m + 7 = -18. Suppose -4*h = -5*s + 2*s - 44, s - 17 = -m*h. Which is smaller: -9 or s?
-9
Let y(l) = l**3 + 13*l**2 - 16*l + 17. Let w be y(-14). Which is smaller: 47 or w?
w
Suppose -r + 4*r = -g - 3, r = 2*g - 15. Let l be ((-15)/10)/(g/16). Let b = l + 1. Which is greater: b or -2?
-2
Suppose t = 5, -2*p + 5 = -0*p + t. Is -4/31 < p?
True
Let u = 103.7 + -103. Is u at most as big as 1?
True
Let b(r) = -r**3 - 6*r**2 + 2*r + 6. Let s be b(-6). Let c = 9 + s. Let w be 9/2 - (4 + -2). Which is greater: c or w?
c
Suppose r = 5*r - 8. Suppose 1 + 5 = -r*u. Let k = -15 - -11. Is u less than or equal to k?
False
Let b = -38 - -44. Which is bigger: -0.1 or b?
b
Let l = 1/231 - -1462/231. Let v = -6 + l. Which is greater: v or 4?
4
Suppose -2*a = 3*m + 4, -m - 4*a - 1 - 7 = 0. Let x be ((-3)/6)/1*0