((-3)/2). Is x less than or equal to 0?
False
Let b(r) = -r**3 - 16*r**2 + 2. Let s be b(-16). Let l be (2 + 0)*(-9)/(-6). Which is smaller: l or s?
s
Let i = 5 + -4. Let o be 3/(-4) - i/(-2). Which is smaller: o or -7?
-7
Let j = 31126/11 - 2834. Is j smaller than -5?
False
Let m be (-8)/28 - (-10)/35. Is m greater than -11/8?
True
Suppose 0 = -3*c + 12 - 9. Is -1/21 < c?
True
Let a be 2 - 13*1/7. Let m(i) = i**3 - i. Let v be m(0). Which is greater: v or a?
a
Suppose 8*a + 121 - 1 = 0. Is a >= -14?
False
Let r(t) = -t**2 + 7*t - 7. Let y be (-4*6/4)/(-1). Let q be r(y). Is -1/2 not equal to q?
True
Let d be (-2)/12 + (-58)/12. Which is smaller: -3 or d?
d
Let a be -4 + 8 - (1 + 2). Do a and 1/20 have different values?
True
Suppose 5*r + 170 = 5*z, 5*r - 4*r = -4*z + 116. Let l be 3/z*(-5)/(-2). Let h = -1.2 + 1. Is l < h?
False
Let u(f) = -f**3 - 12*f**2 + 11*f - 25. Let l be u(-13). Which is smaller: 2/7 or l?
2/7
Suppose 2*d = 2*u + 8 + 28, -3*d + 78 = 5*u. Which is smaller: 1 or d?
1
Let s = 2 - -4. Let u = s - 3. Suppose 2*r - 11 = u*i, 5*r + 20 = 2*i - 4*i. Is r != -4?
True
Let n = 25 + -35.4. Which is smaller: n or 2/7?
n
Let c(i) = -2*i - 12. Let b be c(-7). Which is smaller: b or 4?
b
Let c = 7 + 0. Which is smaller: 1/2 or c?
1/2
Suppose 3*a - 4*q - 8 = 2, a + 5*q = 16. Let z(l) = l**2 + 5*l + 6. Let v be z(-5). Is a less than or equal to v?
True
Let d(o) = o - 3. Let s be d(5). Suppose 5*z + 15 = 0, 0 = s*u + 3*u - 2*z + 54. Let a be 7/u + (-5)/(-15). Which is smaller: 1/2 or a?
a
Let r(w) = -w**2 + 5*w. Let v be r(5). Let h = -5582/15 - -372. Which is smaller: v or h?
h
Let n = -52407 + 237141677/4525. Let k = -266983/18100 + n. Let p = k + 401/28. Which is bigger: 1 or p?
1
Let z(q) = 5*q**3 + q**2 + q. Let h = 3 + -4. Let u be z(h). Let p = 6 + -10. Do u and p have the same value?
False
Let q = 0 - -1. Let u(k) = k**2 - 6. Let s be u(3). Is q smaller than s?
True
Let x = 481/3 + -161. Is -1 less than x?
True
Let r be (-2 - 0 - -3) + 2. Let v be (-2)/(-30)*(-6)/r. Which is greater: v or 2?
2
Suppose 3*r + 2 = -5*w - 4, w + 8 = -4*r. Is w at most -1/4?
False
Let r = 64 + -36. Let d = 30.9 - r. Let b = 3 - d. Which is greater: b or 0.06?
b
Let q = -11 - -9. Which is greater: -4 or q?
q
Let b = 35 + -34.7. Is 6 less than or equal to b?
False
Let w = 59 - -21. Suppose -4*t + w = t. Suppose u + 11 = 3*f, -f + 2*u = 3*f - t. Is 1 >= f?
False
Let p be 6/33 - 8/44. Let l = 5 - 74. Let c = l - -205/3. Which is bigger: p or c?
p
Let p be (282/(-90))/((-11)/7). Let m = p - 34/15. Is m > 1?
False
Let i = 198 + -2576/13. Let w = -0.5 - -0.5. Which is smaller: i or w?
i
Let a(s) = -s**3 - 9*s**2 + 11*s + 1. Let g be a(-10). Let q be 1 - (1 - 3/g). Let x = -0.7 - 0.3. Which is smaller: q or x?
x
Suppose 3*g - 4*b + 16 = -g, 0 = -3*g + b - 6. Is g bigger than 7/19?
False
Let x = -0.9 + 1.1. Let t = -0.23 + x. Which is greater: t or 0.1?
0.1
Let w be (-7)/(-3)*114/21. Which is greater: w or 14?
14
Let g = 4 + -4. Suppose g = 5*q - o - 3*o + 1, 0 = 3*q + 3*o - 21. Suppose -r - q*r + 23 = 3*j, 5*j - r = 0. Which is bigger: j or 2?
2
Let g = -2 + -12. Let m be (g/(-2) - 4) + -4. Is -4/7 not equal to m?
True
Let d be (10/(-15))/((-2)/(-21)). Let z be -4*(d/(-34))/7. Which is greater: z or 0?
0
Let w = 9 - 15. Let y = w + 6. Are -0.3 and y nonequal?
True
Let z be (5 - 5) + 0 - 0. Are -3/70 and z non-equal?
True
Let y = -15 + 5. Let c = 9.2 + y. Let v = c - -0.7. Do v and -1/3 have different values?
True
Let y = -11 + 23. Let m = 10 - y. Which is smaller: -6 or m?
-6
Let a = 8 + -4. Let m be (-5)/3*-1*3. Let c = m - a. Is c bigger than 1?
False
Let s(a) = a**2 + 6*a + 7. Let x be s(-5). Which is smaller: x or -0.1?
-0.1
Suppose 0 = 3*l - 2*l + 3. Suppose -2*q = q + 5*x - 11, 3*q = -3*x + 9. Let f be -5 + 3 + q + -4. Which is smaller: l or f?
f
Let z = 49.1 - 49. Is -0.11 > z?
False
Let w = -71 + 33. Let j be (-6)/21 - w/84. Which is smaller: 0 or j?
0
Suppose -5 = q, -5*c - 2*q = -c + 18. Is -2/3 smaller than c?
False
Let d = 1174 + -69264/59. Which is bigger: d or 0?
d
Let b = -17/10 - -537/310. Is -1 at least b?
False
Let l be (-3)/((-9)/3)*2. Suppose -5 + 3 = l*n. Is n >= -24/11?
True
Let x be 1 + 0 - 114/95. Which is smaller: 1 or x?
x
Let a = 2.61 - 0.01. Let p = a - -0.4. Let m = p + -3. Which is bigger: m or -2?
m
Let k be 10/6*(-1 - 2). Let a = 8 + k. Let f be (-10)/(-50) - (-9)/(-20). Is a < f?
False
Suppose -7 + 1 = 4*f - z, -3*f = -5*z + 13. Is -4/19 >= f?
True
Let v = 631 + -3171/5. Which is bigger: -3 or v?
-3
Let y(w) = w**2 + 9*w + 10. Let l be y(-7). Is l at most as big as -3?
True
Let m = -3 - -4. Let l = -23/2 + 13. Is m >= l?
False
Let r = -10 + 5. Let a = r - -12. Which is bigger: a or -1/2?
a
Suppose 2*d + 10 = -2*g, 0*d = -4*d + 2*g - 26. Suppose 30 = -28*p + 23*p. Are p and d nonequal?
False
Let p(a) = a**2 - 6*a + 2. Let g be p(6). Let o = 3 - g. Let j be ((-6)/(-20))/((-48)/20). Is j at least o?
False
Let o = 3/22 + 5/44. Which is greater: -6.2 or o?
o
Let s = -14 - -17. Suppose 0*t - s*i = -t + 6, -2*t + 4*i + 8 = 0. Let z = 87 + -433/5. Which is bigger: z or t?
z
Let b = -0.6 + 0.6. Are b and -2 equal?
False
Suppose 4*h = o - 1 - 10, 2*o - 22 = -3*h. Which is greater: 10 or o?
o
Let h = -8/17 + -61/51. Is -2 > h?
False
Let r be (-1)/1 + 6/8. Let p = -3.1 - -0.1. Let d = -6 - p. Which is smaller: d or r?
d
Suppose 3*j + 1 - 1 = 0. Is -1/24 greater than j?
False
Suppose 0 = 4*r - 621 - 499. Let w be r/(-48) - 1/6. Is -6 <= w?
True
Let m be 2/(-38)*(-3 + 2). Which is greater: -0.1 or m?
m
Let n be 2/(-6) - 4/(-84). Is n at least -4?
True
Suppose u - 6 = -3. Let z be (-8)/5*((-60)/(-8))/(-3). Is z bigger than u?
True
Let b = 1 - 0. Let i = 1 - 1. Suppose -8 = -4*r - i. Which is greater: r or b?
r
Let r = 5 - 5. Suppose 2*t + 100 + 64 = 0. Let v = t - -739/9. Which is smaller: v or r?
r
Suppose 15 = -2*v + 2*b + b, -2*v - b + 5 = 0. Suppose -3*r + a + 285 = 0, 4*r + 9*a = 4*a + 399. Let s be r/165 - (-4)/(-22). Which is smaller: v or s?
v
Let o = -12/497 - -2568/497. Is o greater than or equal to 6?
False
Let l = 3478/9 - 385. Which is greater: l or 2?
2
Let f = 18 - 11. Is f less than 7?
False
Let s(h) = h**3 + 5*h**2 - h - 3. Let v be s(-5). Is v equal to -16?
False
Suppose -2*t + t + 1 = 0. Suppose 4*p - 29 = -t. Is 7 < p?
False
Suppose -3 = -2*c - 1. Suppose r - 2*r + c = 0. Are 1 and r non-equal?
False
Let n be (-49)/(-14)*24/14. Which is smaller: n or 9?
n
Suppose -6 = -4*i + 6. Suppose i*v + 4 = 5*o + 3, 0 = -2*v - 2*o - 6. Which is smaller: v or -3/4?
v
Suppose 48 = -0*c + 4*c. Which is smaller: c or 11?
11
Let s(a) = a**2 - 6*a + 6. Let y be s(4). Suppose -4 = -2*u + 4. Let k be (2/u)/(1/(-1)). Which is bigger: y or k?
k
Let n = -1.2 - -0.2. Let z = -6.2 - -6. Let w = z - -0.22. Is w < n?
False
Suppose -34 = 4*v - 6. Is 0 > v?
True
Let w = 6 + -2. Suppose -w*s = -4 + 24. Let t = -4 - s. Which is smaller: -1 or t?
-1
Suppose 0*l - l + 1 = -2*m, -2*m = 4*l + 6. Let i(z) = z. Let w be i(l). Let d be 3/63 + w/3. Is d <= 1?
True
Let v(m) = m**3 - 5*m**2 - 3*m - 10. Let x be v(6). Which is smaller: x or 10?
x
Let b(d) = -2*d**3. Let f be b(1). Let t(u) = 6*u**2 - 3*u - 4. Let s be t(3). Let z = -125/3 + s. Which is bigger: f or z?
z
Let s = -5 - -5. Suppose 3*p + p = s. Suppose 3 = -3*k - p. Which is smaller: k or 0?
k
Let f = 47.6 + -46. Does -2 = f?
False
Let k = -11 - -16. Suppose -4*r - 3 = k. Let j = 9/28 - 137/252. Is r bigger than j?
False
Let v be 1*(-1 + 1 + 1). Let t = -8 - 2. Let k be (-2)/4*t/60. Does v = k?
False
Let f = -3 - 1. Let w be 8/3 + 12/f. Which is greater: -1 or w?
w
Let a = 0.12 - -1.88. Suppose 3*d = -3*k + 20 + 13, -2*d + 5*k = 13. Let v be 1/2*(-3)/d. Which is greater: a or v?
a
Let j = 7 - 3. Let c(y) = -y**3 + 5*y**2 - 4*y - 2. Let z be c(j). Suppose -p + 2*v - 5 = 0, -5*p + 2*v - v - 16 = 0. Do z and p have the same value?
False
Let j = 1 - -1. Suppose 26 = -4*g + j*o, -3*o + 3 = 4*g + 54. Let r be (-6)/g*-3 + 2. Which is greater: -1/4 or r?
r
Let l = -3 + 4. Does l = 0?
False
Suppose -i + 17 = 2*n - 6*i, 2*n + 4*i = 44. Suppose 0 = 3*s + 4 - n. Let j be s/14 + 27/(-21). Is j bigger than -5?
True
Let d(y) = 4*y + 1 + y - 4*y. Let l be d(0). Let z be -2*((-3)/6 + l). Which is greater: z or -2/