4)/10. Which is greater: t or c?
t
Let d(s) = -2*s**3 + 1. Let q be d(-1). Suppose -4 = v - 3*v. Which is smaller: q or v?
v
Let w = -2 + 5/2. Let h be (-15)/6 - (0 - 2). Which is greater: w or h?
w
Suppose 0*u = 5*u - f + 3, 2*f = 4*u. Which is bigger: -5/13 or u?
-5/13
Suppose 36 = 4*v - 0*v. Let y be 3*(24/(-9) + 2). Let x be 3/y*(-6)/v. Is 0 smaller than x?
True
Let n(k) = 26*k - 2. Let c be n(-1). Which is smaller: c or -27?
c
Let j(m) = m**2 - 5*m + 4. Let h be j(3). Let o be (0 - h) + 16/(-8). Suppose -3*q + q = o. Is q at most as big as -2/7?
False
Let a = -21 + 43/2. Which is greater: 12 or a?
12
Let r = -8 - -8. Which is smaller: 1/3 or r?
r
Suppose 0 = 2*u, -2*u = 4*z - 3*u - 12. Let x be (-2)/z - (-16)/15. Is -1 greater than x?
False
Let q = -170 + 168. Is q at most 0.7?
True
Let d be -3*(1 - 4/3). Suppose -k = -5 - d. Let y = -4 + k. Is 1 equal to y?
False
Let g = 0.5 + 0.2. Let u = -0.33 + 1.13. Let w = u - g. Which is smaller: w or 4?
w
Let n = -2 - 1. Which is greater: n or -8/3?
-8/3
Let h = 37/2 - 13. Which is smaller: 7 or h?
h
Suppose 47 = d + 11. Let y be (-4)/(d/23) + 3. Is -1 greater than or equal to y?
False
Let w be 0 - -3 - 3/(-3). Let k be 5 + ((-4)/10 - 39/65). Is k < w?
False
Let d(p) = 2*p - 21. Let c be d(11). Which is greater: c or 1/8?
c
Let n(g) = 11*g**2 + 3 - 13 + 9*g - 10*g**2. Let f be n(-9). Which is bigger: f or -9?
-9
Let l be (-2 + 1 + 1)/(-1). Let w = 2/7 + -29/28. Which is smaller: l or w?
w
Let j = -5 + 2. Let g = -3 - j. Let l = -2 - 0. Which is smaller: l or g?
l
Let m be -3 + -2 + 1 + -1. Does m = -3?
False
Let k be 20/8 + 2/(-4). Suppose 4 + 4 = 4*h. Let f be h*(k - 5/2). Which is greater: -1/7 or f?
-1/7
Suppose 6*y = 9*y - 15. Suppose -3*i + 15 = -2*u, -4*u = -5*u - y*i - 1. Which is smaller: u or -5?
u
Let u = 15 - 11. Suppose -3*w = 5*n - u*w, 0 = -n + 2*w. Which is greater: n or 1/2?
1/2
Let r(s) = -9*s**2 + 20*s**3 + 8*s - 8*s**3 + 8 - 11*s**3. Let m be r(8). Is 7 > m?
False
Suppose -11 = 5*k + 9. Let l = -1.6 + 0.6. Is l != k?
True
Let i be 1 + (-8)/36 + -1. Which is smaller: -11 or i?
-11
Let l = 1 + -2. Let i = -37 + 110/3. Are i and l unequal?
True
Let w be (-49)/21 + 4/(-6). Let p = 1 + 3. Suppose -3*c - p - 5 = 0. Are c and w unequal?
False
Let k be (-162)/280 - 34/(-85). Which is greater: 0 or k?
0
Suppose 2*c - 3*w = 61, -2*c - c + 5*w + 91 = 0. Is c < 31?
False
Suppose -3*q + 26 = 2*p, 1 = -2*p + 3. Suppose 3*z = 3*i + 6, -2*z - q = -0*i + i. Let a(x) = x - 1. Let y be a(0). Which is greater: z or y?
y
Suppose a + 2 + 1 = -2*c, 2*c - a = 3. Let u(i) = i**3 + 6*i**2 + 6*i + 7. Let v be u(-5). Suppose c = 5*n - t + 1, v*n + 5 = -t - 1. Are -2 and n nonequal?
True
Suppose 0 = -4*d + 33 - 1. Which is smaller: d or 12?
d
Let z = -6 - 24. Are z and -30 equal?
True
Let t(v) = v**2 - 6. Let y(j) = j - 1. Let r(p) = -t(p) + 4*y(p). Let x be r(6). Which is greater: x or -11?
x
Let z be (1 - -1) + 4 + -10. Which is smaller: z or -5?
-5
Let q = 40 + -22. Let d be ((-2)/q)/(3/6). Is d at least as big as 0?
False
Suppose 3*q + 10 = -89. Is q equal to -31?
False
Let p(y) = y + 1. Let j be p(1). Let m be j/(-8)*20/15. Is m smaller than -1/2?
False
Let l = 60720/29 + -2094. Is 0 != l?
True
Let b(f) = -f - 3. Let r be b(-8). Suppose 22 = -4*o - p, -r*o - p - 28 = -0*p. Does -6 = o?
True
Suppose 3*q - 17 = 2*z - 4, -4*q + 19 = -z. Suppose q = -3*i - 7. Suppose 5*o = -2*t - 31, -2*o = t - 0*t + 13. Are i and t nonequal?
True
Suppose -3*n = 12, 0 = -0*w - 2*w - n - 4. Suppose -4*g = 2*v - 16, w = -4*g + 5*v - 0 - 12. Let f be g - (-2 + (-7)/(-2)). Is f smaller than 0?
False
Suppose -17 = 5*h + 93. Let j be h/(-6) + 9/(-3). Which is smaller: -1/4 or j?
-1/4
Let b(l) = -l**3 - 30*l**2 + 26*l - 13. Let h be b(-31). Are h and 141 unequal?
True
Let z = 3.7 + -1.7. Let r = -1.3 + 0.3. Are r and z non-equal?
True
Suppose 3*g + 2*b + 0*b = 10, 4*g = -3*b + 13. Suppose 0 = -m - 3, -2*o - 6 = m + 3*m. Is g <= o?
False
Suppose -2*j - 3*j = 0. Which is smaller: j or -2/25?
-2/25
Let p = -0.3 + 0.2. Let m = 5 + -5.3. Which is greater: p or m?
p
Let m be (-3 - 1/1)*(-5)/(-16). Suppose 4*b + 2 = 10. Suppose 2*f = 3*i + 16, -3*f = b*i - 5 - 6. Which is greater: i or m?
m
Let a be 33/(-110) - 2/(-8). Does 0.2 = a?
False
Let r = 0.85 - 0.05. Let n = r + -1.8. Is n < 0.03?
True
Let n be (1 - (3 - 2))*-1. Let k = 3 + 2. Suppose -1 - k = 3*h. Which is smaller: n or h?
h
Suppose 11*q + 3 = 12*q. Which is bigger: 1 or q?
q
Let u = -853/2023 - 2/289. Is -1 < u?
True
Let z be (5 + -6)/((-2)/30). Suppose 5 = -5*m - z. Is m at most as big as -6?
False
Let a = 0.3 + -0.3. Let w = -3 - a. Let l = -137/3 - -46. Which is smaller: l or w?
w
Let q = 6 + -6. Let p = q + -1. Is p >= -4/5?
False
Suppose 5*g = k + 10, 4*g = 3*g + 4*k + 2. Let p = 3 - g. Which is smaller: p or 5/4?
p
Let j = 4 + -4.5. Which is smaller: -0.2 or j?
j
Let v(g) = -g + 9. Let b be v(9). Which is greater: 13 or b?
13
Suppose 3*h = 22 - 4. Let i = -29 + 20. Let z be (i/h)/(-1 + -2). Is z < 0?
False
Let m(d) = -d**3 - 11*d**2 - 10*d + 8. Let v be m(-10). Suppose v = t + t. Which is bigger: 5 or t?
5
Let k be (8/(-2) + -2)*(-1)/4. Which is smaller: k or 2?
k
Let h be (1 - 1)/(-1 + -3 + 0). Is h greater than or equal to 4/35?
False
Let c be 0 - -19 - (2 - 5). Suppose c = 3*m + 4. Which is bigger: m or -1?
m
Let o(v) = -8*v + 56. Let i be o(7). Is i <= -6/31?
False
Let j = 7 - 3. Is 0.03 bigger than j?
False
Let f = 1.1 - -0.9. Let w = 1 - f. Is w bigger than 0.09?
False
Let r = 0.06 + 0.54. Let c = r + -0.8. Is c <= 2?
True
Let a = -0.05 - -0.11. Let d = -3.06 + a. Let q = d - -3. Is 0.1 at most q?
False
Suppose -2*l - l = -12. Which is bigger: l or 3?
l
Let k(w) = w**2 + 6*w + 1. Let b be k(-6). Let x be (-5 - -5) + (b - 0). Which is greater: x or -1/3?
x
Let f be -2 + (-1 - -3 - 3). Let a = 9 - 11. Is a < f?
False
Suppose -209 - 636 = 5*k. Let l = -365 - k. Let a = l - -1370/7. Is a not equal to 0?
True
Let u = -0.3 + 0.33. Let j = 0.07 + u. Which is greater: j or 1/2?
1/2
Suppose -3*k = -6*k - 12. Let j be (-28)/(-21)*(-6)/k. Suppose -4*d + 2 = -j. Is 1/3 at most as big as d?
True
Let j be 5*(0 - (-4)/(-10)). Let w(t) = t**2 + 3*t + 2. Let k be w(j). Suppose 0*z - 2*z - 2 = u, 4*z = 3*u - 14. Is z equal to k?
False
Let u = -4 + 2. Let h be 8/(-6)*2/4. Which is smaller: u or h?
u
Let m be (-26)/(-10) - 14/(-35). Let o be m/1*2/3. Are 2 and o equal?
True
Suppose 0 = m + 3*i - 6, -m + 5*i = 27 - 9. Is m > -3?
False
Let s = -11 - -8. Let g = 10 + -11. Are s and g unequal?
True
Let k be 33/(-164) - (-1)/4. Let o(z) = z**3 + 23*z**2. Let m be o(-23). Is k less than or equal to m?
False
Let d = 2/27 + -37/135. Let b = 369 - 6271/17. Is d smaller than b?
True
Let d = 0.37 - 5.37. Which is smaller: d or -1?
d
Let t = -14 - -16. Let b = t + -1. Which is bigger: b or -4?
b
Suppose 0 = 5*q - a + 27, a - 12 = 4*q + 9. Let y be 1/(-2) + q/(-4). Is 1 >= y?
True
Let r = 3 + -2.99. Let z = 2.01 - r. Let p = 3 - 3.1. Is p less than z?
True
Suppose -2*i - 5*t + 7 = 0, 12 = 4*i + 3*t - 9. Let p be (3/i)/(1 - 0). Which is greater: p or 2?
2
Suppose -y = p - 13 + 5, -y = -5*p + 22. Does p = -1/5?
False
Let o be (1/(-5))/(7/(-595)). Is o > 17?
False
Let y = -34 + 37. Let l = 9 + -6. Is y greater than l?
False
Let t be (-3213)/(-68) + (2 - 18/8). Is t < 48?
True
Let o = 1.7 - 1.8. Which is smaller: 1/3 or o?
o
Let w be 0*(5/(-2) + 2). Suppose -5*r - 10 = -w. Let v = r - -5. Which is greater: v or 5?
5
Let a be (3 + 1 + -4)/2. Is a at most as big as 4/9?
True
Let p be 3 - 0/(-1 - -4). Suppose p*z + 10 = 1. Does 0.1 = z?
False
Let x = 10 - 6. Suppose x*d + 4 = 12. Let z be (4 - 2)*(-4 + 5). Is d bigger than z?
False
Let n be (15 - 1)/((-8)/6482). Let h = 157761/14 + n. Let u = h + 75. Is 0 at most u?
True
Let x = -0.2 + 0.2. Let h = 50998/85 + -600. Let m = h - 77/340. Which is smaller: m or x?
m
Let w be (82/(-15))/((-16)/3). Let f be 46/(-40) + (-4)/16. Let p = w + f. Which is smaller: 0 or p?
p
Suppose 4*j + t + 2*t = 20, -j - t = -6. Suppose 8 = -m + 3*q + 2, -5*q + 10 = 3*m. Is j not equal to m?
True
Let c be 0/(1*2/(-1)). Let g be (-100)/(-55) + 4/22. Suppose -3*v + 5*t = -8, -g*v - 2*v + 2 = 2*t. Is v >= c?
True
Let r be (-9 - 0)*2/3. Let b = -18 - r. Let k be (-10)/4*b/(-165