an n?
False
Let v(o) = 5*o**3 - o**2 - o - 1. Let p be v(-1). Let i = p + 10. Let z = -480 + 486. Which is greater: i or z?
z
Let r = -2195.041 - -2205. Let s = 0.041 + r. Which is smaller: s or 0.5?
0.5
Let p = -17 - -17. Let q be -1 - -2 - (p - 2). Let d be (-2 + 36/20)/q. Which is smaller: d or 0?
d
Let t = 49023/149 + -329. Which is bigger: t or 0.1?
0.1
Let a = 0.2 - 0.3. Let b be -1 - -1 - (8 - 36). Suppose -2*g - b = 2*r, 0*r - 26 = r + 4*g. Does a = r?
False
Let q = 76 - 86. Which is greater: q or -24?
q
Suppose -14*w - 1332 = -5*w. Is w smaller than -146?
True
Let r(i) = 3*i**2 + 18*i - 17. Let j(z) = z**2 + 6*z - 6. Let n(q) = 17*j(q) - 6*r(q). Let t be n(-5). Let l = 1 - -5. Which is greater: t or l?
l
Let l = 11279/108772 - 25/284. Is 1 at most l?
False
Let w(f) = f**2 - 1. Let y(q) = -3*q**2 + 11*q + 9. Let d(a) = -w(a) - y(a). Let t be d(6). Which is smaller: t or -1?
t
Suppose f + 4*f = 15. Let q(s) = -s**3 - s**2 - 2*s + 2. Let b be (2/(-3))/((-2)/3). Let n be q(b). Do f and n have the same value?
False
Let o = -552 - -548. Let h(z) = -3*z - 5. Let k be h(-5). Suppose -4*f - 2 = 2*s, -3*f = 4*s - f + k. Are o and s non-equal?
True
Let m(y) = -y**3 - 41*y**2 - 2*y + 15. Let u be m(-41). Which is smaller: 96 or u?
96
Let p be (-12)/24*30/(-1). Let o be 26/(-7) - (11 - p). Is -4 < o?
True
Let s = 13 - 11. Suppose 21 = -x + 3*w, s*w + 12 = 6*w. Let f = -13 - x. Which is smaller: f or 1/5?
f
Suppose -5*f + 40 = -100. Let b = -30 + f. Are 2 and b equal?
False
Let m = -84 - -124. Let v be ((-45)/20)/((-3)/m). Is v less than or equal to 31?
True
Suppose 49*f + 7169 + 4248 = 0. Which is bigger: f or -232?
-232
Let k(b) = -9*b. Let x be k(-2). Let g = 18 - x. Let a be g + 1 + (-5)/7. Is a greater than -13?
True
Suppose 0 = l + 4*l + i + 265, -4*i = 2*l + 88. Suppose -18*m - 969 = -3*v, 0 = m - v + 2*v + 62. Is m > l?
False
Let c be (-99)/(-308) + 1/4. Is c not equal to 0.4?
True
Let m = -44 - -69. Let y(l) = 2*l**2 - 16*l + 7. Let p be y(9). Is p at most as big as m?
True
Let a = 19.8 - 29. Let m = -1.8 + a. Are m and 0 non-equal?
True
Let x = 0 - 0. Suppose b + x = 2. Suppose -5*v + b = j - 2, 5*v = 5. Which is smaller: j or 2/35?
j
Suppose -4*t = -2*t - 8, 0 = 5*o + 5*t - 120. Suppose q + 3*q = o. Suppose q*m = -0*m. Which is smaller: m or 2/19?
m
Let g = 48 + -40. Let m be g - (-4 - (5 + -6)). Which is greater: -3 or m?
m
Let f be 2/(-13) + 221760/(-468). Is -1421/3 at least as big as f?
True
Let r = -281 + 282. Are -51 and r unequal?
True
Let u = -3672 - -25702/7. Let n = -21.04 - -0.04. Is u at least as big as n?
True
Suppose 21*r - 5*w = 22*r, 5*r = 2*w. Is -42/43 greater than or equal to r?
False
Let v = 120.1 + -130.1. Is v bigger than 0.069?
False
Suppose 3*o - 7 = -2*a, 3*a - a = 4*o + 14. Suppose -6*q - 5*m = -2*q - 29, -4*q = 4*m - 28. Let t be 7/9 - (-5 + q). Is t > o?
True
Suppose 5*m - 222 = 178. Suppose 3*k = 7*k + m. Let w = k - -23. Which is bigger: 4 or w?
4
Let g be ((-3)/(-27))/((-3)/6). Let f = 46 - 27. Let l = -19 + f. Is l smaller than g?
False
Let p be 12/15 + 1708/(-10). Which is smaller: -169 or p?
p
Suppose 116 - 131 = -15*s. Which is smaller: s or 8/155?
8/155
Let s(x) = -2*x - 1. Let b be s(-1). Let i be 4/(-14) - (15/21 + -2). Let r = b + i. Which is greater: r or 4?
4
Suppose 45*p = 35*p + 10. Let z = 12.8 + 58.2. Which is smaller: z or p?
p
Let x be (-4)/32*2 - 334/8. Is x at most as big as -42?
True
Let z be 48/(-336) + 6/(-7). Which is bigger: -1/895 or z?
-1/895
Let x = -0.06 - 0.14. Is x >= 29?
False
Suppose -f - 2*f - 162 = 3*a, -5*f = 3*a + 166. Which is smaller: -564/11 or a?
a
Let p be (-4)/(-3 - -11) + (-250)/4. Let z be 7164/(-189) + 6/p. Do z and -38 have the same value?
True
Let z = -54 + 98. Let b = z + -175/4. Do b and -1/6 have the same value?
False
Let j = 18 - 0. Suppose -j + 3 = -5*f. Suppose f*r + 4 = 7*r. Which is smaller: r or -2?
-2
Let i = 25 - 55. Which is smaller: -2 or i?
i
Let u = 27/5 - 7. Suppose -4*p - g - 135 = 0, 171 = -3*p + 4*g + 65. Let v be p/(-30) + -4 + (-6)/45. Which is smaller: v or u?
v
Suppose 46 = 5*h + 91. Which is bigger: h or -8?
-8
Let k(j) = 2*j - 21. Let s be k(13). Let c = -11 + s. Let g = 8 + -12. Which is bigger: g or c?
g
Let p(t) = 2*t**2 - 9*t + 1. Let q be p(5). Suppose 5 = -o + q*o. Let k(d) = -d**3 + 2*d**2 + 2*d + 4. Let v be k(3). Is v less than o?
False
Let t = 7 + -10.8. Let d = t + 1.8. Which is smaller: -2/37 or d?
d
Let y = 0.4 + -0.3. Let f = -3 + 12. Let q(x) = -x**2 + 9*x + 4. Let u be q(f). Is y less than u?
True
Let f be (38 - 1) + (10 - -4)/(-7). Is f at least as big as 34?
True
Let v = 9393 - 9401. Suppose -r + 0*r - 9 = 0. Let c = 2 + r. Is c less than v?
False
Let v = -4405 - -13360/3. Which is bigger: v or -0.1?
v
Let r = -2.7 - -1.69. Let g = r - -0.71. Are 31 and g nonequal?
True
Let f = -0.26 - 1.74. Which is bigger: f or -19?
f
Let c(q) = 2*q**2 + 2*q - 13. Let a(f) = -f**2 + 3*f - 2. Let w be a(2). Let l be c(w). Which is smaller: l or -3?
l
Let v(b) = -b**3 - 2*b**2 - 2*b - 87. Let f be v(0). Let q = f - -84. Which is smaller: 4 or q?
q
Let o = 16822/17 + -989. Which is smaller: 1 or o?
o
Suppose 4*g - 304 = 5*v, 4*v - 2*g = 2*g - 244. Let f be (-16)/(-10)*v/12. Let n be (-3)/(-6)*f/6. Which is greater: n or 3/5?
3/5
Suppose z - 28 = -3*h + 3*z, 3*z = 2*h - 22. Let m be (-2)/h - (1 - 378/8). Are 46 and m equal?
True
Let q = 740 + -744. Which is smaller: q or -21?
-21
Suppose -21*c = -4*c - 51. Which is smaller: c or -14.4?
-14.4
Let i = 55 + -58. Let v be -13 + (-4 - 0/i). Is v <= -15?
True
Let f = -625/3 + 209. Which is smaller: -1/41 or f?
-1/41
Suppose -u + 6 = 2. Let r be 558/(-72) + ((-3)/u)/3. Which is smaller: r or -2?
r
Suppose -l + 170 = -j, 5*j - 8*j - 4*l - 496 = 0. Are -167 and j equal?
False
Let l = -726 + 726. Is l < -16/29?
False
Suppose 5*z + 411 = 4*c - c, -5*c + 685 = -3*z. Which is bigger: c or 136?
c
Let l = 28 + -28. Is 1.72 greater than l?
True
Suppose 0 = d - 2*j - 1 + 6, 4*j - 13 = d. Suppose 2*z = 3*m - 7, -m + 10 = d*m - 2*z. Suppose m*k = 8 + 4. Which is smaller: 6 or k?
k
Let f = -0.696 - 0.204. Is 0.23 smaller than f?
False
Let g(j) = 2*j - 34. Let h be g(19). Let f be h - (1/(-5) - (-160)/50). Is -4/23 != f?
True
Let n = 6 + -2. Let q(p) = -p**3 + 6*p - 4*p**2 - n*p + 11*p - 1. Let r be q(-6). Which is greater: -4 or r?
-4
Let y = -31 - -32. Let w(i) = 14*i**2 + 1. Let v be w(y). Let x(s) = 15*s**2 - s. Let n be x(1). Do n and v have different values?
True
Let o = -3.34 - 0.66. Is o bigger than -2/3?
False
Suppose -i - 154 = 6*i. Let z be 4/i - ((-31)/(-11) + -3). Which is greater: z or 1/22?
1/22
Let p be ((-22)/396)/(-1 - 21/(-24)). Is p bigger than 17?
False
Let o = 1.438 + 0.562. Which is smaller: o or -1.72?
-1.72
Suppose 4*l - 35 = -67. Let n = 7 + l. Is -1/3 < n?
False
Let h be -15 + 2 + (4/(-1) - -6). Let z(m) = m + 34. Let w be z(h). Do w and 23 have the same value?
True
Let h(n) = -2*n + 43. Let j be h(21). Let c be (-249)/129 + (-3 - -2 - -3). Which is bigger: c or j?
j
Let a(x) = -x**3 - 2*x**2 + 4*x + 3. Let b be a(-3). Suppose 5*w + 2*r - 115 = -b*w, 2*w = 3*r + 27. Let l be w/(-35) - 2/5. Is 2/11 smaller than l?
False
Let p be (-2 - (-15)/6)*-47. Which is bigger: p or -25?
p
Let z = -14 - -10. Let u be (z/5)/(13986/3546). Let i = u - -13/111. Is -1 equal to i?
False
Let j(a) = -3*a**2 - 2*a. Let k be j(-1). Let h be (-26)/39 - k/(-3). Let s = -3 - -2. Is s greater than or equal to h?
True
Suppose -5 = 5*h + 4*m, -2*h - 5*m = -0*h + 19. Suppose 4*b = w - 8, -h*w - 5*b = -2*w + 10. Is w > 6/7?
False
Suppose 84 - 201 = f. Which is smaller: -114 or f?
f
Suppose 37 - 281 = 4*o. Which is bigger: -64 or o?
o
Let t(q) = -q**2 - 7*q + 3. Let r be t(-7). Suppose -r*c = c. Let b = -633/515 + 3/103. Is c less than b?
False
Suppose -5*y - 2 = -o - 14, 5*o + 20 = 5*y. Let v = -448.5 - -472.5. Is v at most as big as y?
False
Suppose -18 = -3*u + 3. Suppose -2*z - 3*m - u = 0, z - 6*z = 4*m + 14. Which is bigger: 0 or z?
0
Let w be (-6)/(-2) + (-12670)/4012. Let j = -18/59 - w. Let d = j + 61/646. Is -1 <= d?
True
Let o = 1 + 0. Let m = -868478/295 + 2944. Let w = -273/3245 - m. Is o bigger than w?
True
Let b(s) = -s**3 + 6*s**2 + 6*s - 6. Let r(n) = -n + 1. Let v(i) = b(i) + 6*r(i). Let a be