 is greater: z or c?
z
Let o be 0 + (1 - (-3 + 1)). Suppose -2*g - o = 3. Let b be 0/(16/(-4) - g). Which is greater: b or 1/7?
1/7
Let t be 398/(-28)*4*(-4)/(-32). Let z = -48/7 - t. Which is smaller: -7/20 or z?
-7/20
Let d be 1 + -3 + 1 + (-3 - 14). Let t be (-173)/9 - 1 - 4/d. Which is bigger: t or -21?
t
Let m = 304 - 244. Is m less than -1?
False
Let b be 24/((-4)/(8/3)). Let q(w) = 3*w**2 + 18*w + 43. Let n be q(-3). Let y be n/10 + b/(-40). Which is greater: 1 or y?
y
Suppose 4*p = 0, 56*a = 61*a - 4*p - 15. Is a smaller than 48/31?
False
Suppose -4*p = -5*f + 16, -f + 8 = -3*f - 2*p. Let w be (-168)/78 + (f - -2). Let b = 2 + -1. Which is smaller: b or w?
w
Let z(p) be the first derivative of p**2/2 + 6*p + 3. Let t be z(-4). Suppose 0 - 2 = t*g. Which is bigger: 2/17 or g?
2/17
Let y = 213 - 365. Is -152 not equal to y?
False
Suppose -22 = 4*t + 2*n, -3*t = 292*n - 297*n - 16. Is t smaller than -30/13?
True
Let r = -13 + 18. Suppose r = -5*u - 0*u. Let f be -1*(-1)/u*0. Which is bigger: f or 2?
2
Let r = -59733610319/5720 + 10442939. Let h be (-298)/(-528) - (-30)/(-45). Let y = r + h. Which is greater: y or 1?
1
Suppose 3 = -5*m - 7. Let n = -142/105 - -2/105. Which is bigger: m or n?
n
Let v(p) = 10*p**3. Let h be v(1). Let o be 3/12 - h/8. Let c be (-15)/7 + 15/105. Which is greater: c or o?
o
Suppose -2*a + 0*a - 216 = 0. Let z be 1 - (1 - (-6 - -2)). Let s be z/30*a/(-9). Which is smaller: s or -3?
-3
Let u = -18 + 11. Let f = -6 - u. Let i = f - -1. Which is bigger: -2/13 or i?
i
Let u be (3 + 93/(-6))*-2. Let d be 68/18 + (-22)/(-99). Let v be d/(-5*(-2)/u). Which is smaller: 11 or v?
v
Let t = -58 + 227/4. Let a(g) = -g**3 - 6*g**2 - 6*g - 6. Let y be a(-5). Which is smaller: t or y?
t
Let j be 3*3/21 + (-3162)/1547. Is -2 > j?
False
Let p(i) = -3*i**3 + 4*i**2 - 3*i. Let b be p(2). Let m = b + 24. Let r = m - 11. Which is greater: 2/55 or r?
2/55
Let f be (-6)/1 + 19527*10/32550. Which is smaller: 1 or f?
f
Suppose 0 = -0*w + 2*w + 34. Let g be (2/2)/(-5*12/30). Do w and g have the same value?
False
Suppose 2*t - 4 = -t + 2*v, -5*t + 2*v = 0. Let q = 16 - t. Is q not equal to -0.1?
True
Let o(r) = -r**3 - 3*r + 2. Let n be o(-2). Suppose -2*v = 14 - n. Which is smaller: 3/7 or v?
3/7
Suppose -p - 342 = -10*p. Suppose -h - 2*l = -p, h + 3*l - 22 = 17. Are h and 36 nonequal?
False
Suppose 5*l = 7*l - 5*y + 142, 3*l + 3*y = -171. Which is smaller: -59 or l?
l
Suppose 1 + 2 = -3*i. Let t = 3184/77 - 292/7. Is i at least as big as t?
False
Let w = 32 + -15. Let a = w + -5. Is 0.3 < a?
True
Let t(v) = v**3 - v**2 + v + 1. Let s(r) = 5*r**3 - 21*r**2 - 9*r - 7. Let f(g) = s(g) - 6*t(g). Let q be f(-14). Let c be 1 + (-3 + 4)*q. Is c < 0?
False
Suppose 3*g + 2*h - 1302 = 2457, 0 = g - 3*h - 1264. Let a = g - 112951/90. Let v = a + -149/90. Is v >= -0.1?
False
Let t = -1528 - -1527. Which is smaller: -9/103 or t?
t
Let o = 23 + -36. Let c be (3 + (-56)/21)*(3 - 1). Which is greater: o or c?
c
Let f = -10 - -1. Let j(w) = -5*w + w - 20 + 2*w. Let t be j(f). Are -12/5 and t equal?
False
Let m = -11 - -12. Let y be (-9)/(-6)*(1 + m). Let g be (y + 51/(-21))*5. Is g > 4?
False
Let o(t) = 4*t - 6 + 22 - 7*t. Let l be o(5). Is l <= -3/13?
False
Let l(b) = b**2 - 6*b + 1. Let p be l(6). Which is smaller: -2/55 or p?
-2/55
Let v = 0.29 + -0.33. Let o = v + -4.96. Which is smaller: o or -1?
o
Let a be (0 + (-21)/(-2))*38/(-3). Is a at most -131?
True
Let x = -685.2 + 685. Is x at most 259?
True
Let l be 11/3 + (-25)/15 + -214. Is -212 smaller than l?
False
Let z be 3352/(-53760) - (-8)/140. Which is smaller: 0 or z?
z
Let x = 4 + -7. Let t = 1 - x. Suppose -5*y = 6*y - 55. Which is smaller: t or y?
t
Let a = 534 + -502. Which is smaller: -0.4 or a?
-0.4
Let g(v) = v**3 + 10*v**2 + 24*v + 4. Let z be g(-6). Which is smaller: z or -5?
-5
Let f = -28269/4 - -7274. Let k = f - 203. Which is smaller: 5 or k?
k
Let b(q) = 4*q + 33. Let a be b(-7). Let j = -2 + 2. Suppose 3*y + 4 = 2*s - 6*s, j = a*y. Is s less than or equal to -1?
True
Let c = 3.44 - 335.44. Which is greater: c or -2/7?
-2/7
Let o = -2 + 0.8. Let x = 1 + o. Suppose -18*s + 10*s - 16 = 0. Which is smaller: x or s?
s
Suppose -89 = -13*n + 80. Suppose 0 = n*l - 4*l - 45. Which is greater: l or 1?
l
Let o = 3836 + -199577/52. Let f = -2407/1196 - o. Which is smaller: f or -1?
-1
Let j be 7/42 - (-1)/(-6). Suppose 0 = -j*p - p + 2. Suppose 18 = -5*t - p. Is t smaller than -2?
True
Let j(c) = 3*c**3 - 1. Let u be j(1). Let d = -55 + 56. Is u less than d?
False
Let k = -3 + 6. Let h be (-5)/(44/14 + -3). Let t = -106/3 - h. Which is bigger: t or k?
k
Suppose 2*k - 10 = 0, 2*k - 151 = -3*a - 0*a. Suppose -5*w = -2*h + 5 + a, -5*h = -3*w - 92. Let n be 83/5 - h/(-40). Which is greater: -0.2 or n?
n
Let d = 1 - -0.3. Let y = d + -1.34. Let a = y - 0.06. Which is smaller: a or -1?
-1
Let r be 15 - ((4 - 2) + 1). Suppose -3 = l - r. Let k be ((-9)/(-15))/(l/30). Is k at least 1?
True
Suppose 0 = -3*l + 2*z - 5, l - z = -0 - 2. Let s be (-15)/(-8)*(-15)/(-150). Which is smaller: s or l?
l
Let i be (15/(-75))/(2/(-4)). Let o = -2 + 4. Let b = o + -1. Is b at most i?
False
Let c = -1659 - -18247/11. Is -3/185 >= c?
True
Let j = -15.89 + 15.8. Is -6 >= j?
False
Let b = 13031 + -8665617/665. Is 0 at most b?
False
Let c = -405397/22 - -18431. Does c = 3?
False
Let u = -31/34 + 1/85. Which is bigger: u or -2?
u
Let t = 0.2 - -0.9. Let g = -0.5796 - -1.5796. Which is smaller: g or t?
g
Let r be (-16 - -18)*(-126)/(-12). Is r at least 18?
True
Suppose -5*u + 151 = -59. Let q be -3*1 - (4 - (u - 4)). Is q bigger than 31?
False
Let t(a) = 31*a**3 - a. Let u be t(1). Let k be u/32*6/57. Let v = k - -1/38. Is v != -0.2?
True
Let g = 4.96 - 5. Let o = 19 - 29. Let i = o + 8. Which is smaller: g or i?
i
Suppose 4848 = 28*y + 200. Which is greater: -2 or y?
y
Let g = -263/6090 + 2/203. Which is smaller: g or -1?
-1
Let v be (-3)/(-6) + (-976)/(-32). Which is smaller: 29 or v?
29
Suppose -3*l = l + 5*x + 22, -38 = 5*l + x. Let i = l + 11. Suppose -3*d = -i*o - 0 - 3, 0 = -2*d + o - 1. Does d = 0?
False
Let k(a) = 2*a**2 + 25*a + 17. Let n = 2 - 15. Let h be k(n). Is 29 at most as big as h?
True
Suppose 4*r - 2 = -26. Suppose -2*l = l - 45. Let k = r + l. Is 10 greater than or equal to k?
True
Let w = 1852.25 - 1852. Is w bigger than -0.2?
True
Let y be (-42)/(-490) + -2 + 22/10. Is 132 equal to y?
False
Suppose 0 = 5*s - 2 + 27, 2*z = s + 5. Let h(w) = -w - 1. Let o be h(z). Is 2/35 at least o?
True
Let t = -1.4 - 2.6. Let d = 15.31 - 15. Let q = d + 3.69. Which is smaller: t or q?
t
Let b(v) = -v**3 - 2*v**2 + v + 2. Let h be b(-5). Let i be (-14)/(-119) + (-453)/(-51). Suppose h = i*c - 5*c. Is c != 16?
True
Let q = 417 - 417.1. Which is smaller: q or 239?
q
Let h = 50 + -132. Which is bigger: h or -83?
h
Let t = -28 - -36. Let d = t + -6. Which is bigger: 4 or d?
4
Let x = -289 + 271. Let g = -0.04 + 1.04. Is g equal to x?
False
Suppose -109 = -5*d + 3*d - 5*f, d + 3*f - 54 = 0. Let x = -47 + d. Are x and 10 equal?
True
Let s = 9 + 9. Let j be (-10)/5*(-2)/s. Suppose 0 = 2*b - 0 + 2. Does j = b?
False
Let z(h) = h**2 - 7*h + 30. Let s be z(11). Are -2 and s nonequal?
True
Let a be (0 + 0 - -6)/((-21)/(-224)). Is 64 smaller than a?
False
Suppose x + j = 4, -3*x - 5*j = -2*x - 16. Suppose 2*o - 288 = -4*o. Let h be ((-2)/o)/((-45)/(-60)). Which is bigger: h or x?
x
Let v be 35/(140/24) + 318 + 0. Is 324 <= v?
True
Let g be 2*4*(-9)/132. Let s = 0.8 + -0.6. Which is smaller: g or s?
g
Suppose -59*z + 24 = -55*z. Let d be (0 - 1)/(1/z*-3). Which is greater: d or -1?
d
Suppose 5*s = 5*k - 20, 0*k + 7 = -4*s + k. Let m(y) = y**2 + 6*y + 2. Let r be m(0). Let f be (0/r*1/3)/(-1). Which is smaller: s or f?
s
Suppose 9*v + 12*v = -462. Is -20 < v?
False
Suppose 0 = -6*i + 4*i + 8. Let b = i + -9. Which is smaller: b or -4?
b
Let j(m) = -m**2 + 16*m - 21. Let t be j(15). Let s be (-4)/(84/67) + t/9. Is -5 greater than or equal to s?
False
Let n be 2/(-8)*122128/119. Let i = n - -256. Does i = 1?
False
Let x = -0.17 - -0.07. Let y be (8/6)/((-4)/(-18)). Let q be (4/y)/((-8)/(-18)). Which is smaller: q or x?
x
Let z(a) = -3*a**2 - 14*a - 14. Let r be z(-9). Is -132 at least r?
False
Let j(k) = -k**3 + k**2 + 3*k -