o)*(-30)/(-6). Suppose 13 = 2*z - 3*i + 1, j*z + 2*i = -8. Which is smaller: z or 2?
z
Suppose -254 + 220 = -34*o. Which is greater: o or -16.5?
o
Let p be 11374/611 + -10*1. Is 8 greater than p?
False
Let b(v) = 2*v**3 - 34*v**2 + 2*v - 36. Let l be b(17). Are -0.046 and l nonequal?
True
Let p(y) = -8*y. Let f be p(1). Let r(m) = 2*m + 10. Let h be r(-4). Suppose 4*c + 3*d = 3 - h, d - 1 = -c. Which is bigger: f or c?
c
Let v be (1 - 15/(-3)) + 2. Let t = v - 14. Let b = -173 + 168. Does b = t?
False
Suppose 4*d - 12 = 6*d. Let c be (-15)/d*6/10. Is -2/7 bigger than c?
False
Let n = -33.9 - -34. Which is smaller: n or -12.2?
-12.2
Let n be -16 - -18 - (-753)/15. Is 51 smaller than n?
True
Let q = 1217 + -1174. Is q > 46?
False
Let q = 6.5 - 8. Let t = q - -0.5. Let g(d) = -2*d - 1. Let m be g(0). Is t less than or equal to m?
True
Let w(v) = 2*v**2 + 32*v - 132. Let x be w(7). Which is greater: x or 189?
x
Suppose 4*k = -0*k + 32. Suppose 8 = -2*m + k. Which is smaller: m or 6?
m
Let o = 0.04 - -1.96. Let k = -0.01 - 1.99. Let m = o + k. Which is smaller: -6 or m?
-6
Suppose l - 3 = -4*x - 9, -l + 3 = -5*x. Let n be (4/90)/x*6/(-12). Which is greater: n or 1?
1
Let x be (40/30)/((-2)/(-3)). Suppose -x*g = 3*i + 10, 3*g = -5*i + 6*g - 4. Is i equal to 19?
False
Let m be (-176)/(-2728) - (-2104)/(-33573). Is m > 1?
False
Let q be (-18)/(-30) + (-6)/10. Let o be (0 - q)*1/(-2). Let u = -122 - -1587/13. Which is bigger: u or o?
u
Let d be 9/(-21) + 3297/8036. Let l = -2123/492 + d. Let f(y) = -y**2 + 8*y + 4. Let c be f(9). Which is smaller: c or l?
c
Let c = 183/2 + -96. Let a = 173 + -151. Suppose z = 2*p + 5, -25 = p + 26*z - a*z. Is p at most c?
True
Let z = 168 + -80. Let u be z*1*(-2)/20*-5. Is 45 equal to u?
False
Let s = -27.3 - -23.7. Which is greater: 1 or s?
1
Let v be ((-18)/(-27))/(30/25). Is 1/4 at least as big as v?
False
Let p be 1218/49*7/2. Which is smaller: p or 85?
85
Suppose 0*d - 608 = -3*f - 2*d, 4*d + 400 = 2*f. Are 203 and f equal?
False
Let q = 1159 + -1176. Which is bigger: q or -9/11?
-9/11
Let p be (10/30)/(10/156). Let y(a) = 2*a. Let o be y(0). Is o not equal to p?
True
Let w(s) = s**2 - 5*s - 3. Let v be w(6). Let x be (-3)/6*1/v*0. Which is smaller: 7 or x?
x
Let i be ((-2003)/(-6))/((-6)/6). Let o = i - -336. Which is greater: o or 1?
o
Let z = 83 - 81. Suppose -r = y + 42, -7*r + z*r - 216 = 2*y. Which is smaller: -43 or r?
r
Suppose -5*r - 3 = -3*q, -2 = q - 3*q - 5*r. Let p be q + 2 + (-13 - (-5 - 1)). Which is smaller: p or -3?
p
Let s(r) = -r**3 + 2*r. Let v = 32 + -21. Suppose -5*u = 4*k + 2, -2*k + 2*u + v = 3. Let c be s(k). Is c less than -3?
True
Let t(q) = 3*q + 12. Let w(i) = -i - 4. Let v(k) = -4*t(k) - 11*w(k). Let d be v(-3). Let z be ((-1)/(-2))/((-4)/(-2)). Is z <= d?
False
Suppose 0 = -14*h + 3 + 11. Let m be h + (-100)/15*3/2. Which is bigger: -4 or m?
-4
Let o = -1 - -22. Let k = -17 + o. Let b be (k/20 - 0)*-1. Is 1 greater than b?
True
Let y be 120/140*559/(-3). Let u = -162 - y. Which is greater: u or -2?
-2
Let g(m) = -2*m**2 + 51*m + 25. Let k be g(26). Which is bigger: 1.72 or k?
1.72
Suppose -14*w = -10*w - 16. Let f be (w/(-9))/((-20)/6 - -4). Let h be -1 + 0 + (0 - -1). Which is bigger: f or h?
h
Suppose -2*o + o = -5, -3*d - 19 = -5*o. Suppose -d*a + 25 = 27. Which is smaller: -1/37 or a?
a
Let p = 60.7 + -63.096. Let i = -0.004 + p. Which is smaller: i or 0?
i
Let b = 1200 - 990. Is 210 not equal to b?
False
Let k be (-1)/((-3367)/756) - (-6)/39. Is k <= 1?
True
Let n(i) = i**2 + 82*i - 528. Let u be n(6). Which is bigger: 5/102 or u?
5/102
Let n(a) = a**3 - 8*a**2 + a + 1. Let w be n(8). Let o = w + -11. Let c be o/(-6)*-4*2. Is c at least as big as 0.1?
False
Suppose 2*c - 2 = -2*a, 4*c + c + 3 = 3*a. Is -1/225 at most a?
True
Suppose 13*w = 1574 + 480. Let r be w/(-10) + 10/(-50). Which is smaller: r or -14?
r
Let s = 0.7 - 0.1. Let q = -7776 - -7778. Do q and s have different values?
True
Let n be 42/9 + (-2)/(-6). Suppose 2*k - 2*r = 12, 5 = 2*k - r - 7. Suppose 2*q = k*q. Is q at least as big as n?
False
Suppose 27*n - 22*n - 2774 = 4*s, -550 = -n - 4*s. Which is greater: 555 or n?
555
Let r(i) = i**3 + 14*i**2 - 16*i - 16. Suppose -2*u = 3*q - 6*q + 39, 3*u = -3*q - 36. Let l be r(u). Let t be ((-21)/(-45))/((-2)/6). Does t = l?
False
Suppose 2*y = -28*l + 29*l + 12, 5*y - 27 = l. Suppose 0 = -5*c - 3 + 43. Which is smaller: c or y?
y
Let q be 22/(-6) - (-2)/(-6). Let f(w) = -w**2 + 23*w - 28. Let r be f(22). Let n be (-6)/q*r/(-9). Which is bigger: n or -1/5?
n
Let r(v) = -v**2 - v - 3. Let b(o) = 3*o**2 + 4*o + 9. Let c(a) = -6*b(a) - 17*r(a). Let p be c(-7). Suppose -y = -2*y - 2. Which is smaller: p or y?
p
Let u be (-118)/(-528) - (46/11 + -4). Let n be (1/(-2) + 0)*-12. Suppose 4 = 3*o - r, n = 4*r + 22. Which is smaller: o or u?
o
Let y be 4/(-10) + (-1078)/(-70). Let s = y + -11. Suppose -s*l = 4*d - 12, 0 = 2*d + 3*d - 4*l + 3. Is d equal to 0.1?
False
Let l = 185 - 185. Is l != -9/5?
True
Let h(w) = -w**2 - 5*w + 5. Let r be h(-6). Let k be (2 - (0 - 2493))*123/183. Let p = k + -1677. Is p greater than or equal to r?
True
Let n = -58 + 100. Let f(g) = 36*g - 569. Let p be f(17). Are p and n unequal?
True
Let z = 7238 + -36382/5. Which is smaller: -39 or z?
-39
Let j be (-4)/(-8)*20/(-25). Which is smaller: -3.1 or j?
-3.1
Suppose -11*b + 7*b = -356. Do b and -0.07 have different values?
True
Let s(t) = -3*t + 30. Let n be s(10). Suppose 3*x = -4 - 11, -l - 3*x = n. Let d = 23 - 9. Is l greater than d?
True
Suppose 904 = 5*h + 3*f, 232 + 138 = 2*h - 3*f. Let s = -1277/7 + h. Suppose -4*j + 5*j + 1 = 0. Are s and j equal?
False
Let j = 93 + -96.9. Let i = j + 4. Which is bigger: 0.4 or i?
0.4
Let o = 580 + -596. Is o > -22?
True
Let m = 54.917 - -0.083. Let h = m - 61. Which is smaller: 0.2 or h?
h
Let z be ((-462)/63)/((-16)/6 + 2). Suppose 0 = 10*n - z*n + 7. Which is smaller: n or 6?
6
Suppose 9*t + 24 = 6*t. Let r = -167/20 + -3/20. Which is smaller: t or r?
r
Let x = -499 - -109. Is x > -392?
True
Let z be (-1)/(-10)*12/10. Let v(a) = 316*a + 315. Let s be v(-1). Which is bigger: z or s?
z
Suppose -16*g = -11*g. Let h = 2656/11 + -241. Is h < g?
False
Let o be (4/12 + -1)/(8/12). Which is smaller: o or 1/58?
o
Let i be 6 - (1 + 3 + -3). Let z be 1/i - 48/(-10). Let k be (z/20)/(22/16). Which is bigger: 0 or k?
k
Suppose -3*m = -5*n - 2*m - 133, m - 3 = 0. Let c be ((-1884)/n)/3 - 2. Let y = c + -22. Which is smaller: 2 or y?
y
Suppose -s + 5*d = 17, 5*s - 3*d = -5*d + 50. Suppose -7*l + s*l + 13 = 0. Is l at least as big as -13?
True
Suppose 3*d - 4*y - 20 = 0, -10 = -d - 3*y + 5*y. Suppose 3*o - 11 - 16 = d. Let f(c) = -3*c + 11. Let h be f(o). Are h and -17 equal?
False
Let l = -96.13 + 95. Let z = 1.1 + l. Let c = -8/11 - -2/33. Is z smaller than c?
False
Let a be (-8103)/2590 - 2/20*-2. Is -4 at least as big as a?
False
Suppose 0 = -6*t + 11 - 11. Which is bigger: t or -9.2?
t
Let x be 1/(-6) + (-194088)/144. Is x equal to -1348?
True
Let a = -205564/59 + 3484. Which is smaller: a or 1?
a
Let u = 3115 + -3114.7. Let x = -17 + 8. Is x at most as big as u?
True
Let v(d) = -7*d - 26. Let m be v(-4). Let u = -6 + m. Let t(b) = b + 2. Let o be t(-6). Is o bigger than u?
False
Let z = 20 - 17. Let v = -32 + 34.9. Let a = z - v. Is a >= 2/17?
False
Let h = 0.065 + 43.935. Let j = 41 - h. Is 0.2 greater than j?
True
Let m = -0.3 + 0.5. Let d = -0.11 - 5.89. Let s = d + 2. Which is bigger: s or m?
m
Let k = -2121 + 2076.96. Let c = k - -44. Which is greater: -1 or c?
c
Let w(y) = y + 3. Let b(s) = -s**3 + 4*s**2 + 7*s - 7. Let g be b(5). Let f be w(g). Let h = -3 + f. Which is smaller: h or 0?
0
Suppose -71*n - 8584 = -34*n. Is -233 at least as big as n?
False
Let j = -1.744 + 1.344. Which is greater: j or -10?
j
Let g(r) = -r**2. Let n be g(1). Let q(l) = -149*l - 1047. Let y be q(-7). Are y and n unequal?
True
Let y(x) = 3*x**2 - 9*x + 5. Let f be y(3). Let p(r) = -r**2 + 5*r + 8. Let o be p(6). Suppose o*a - f = -3. Are 2/15 and a equal?
False
Let u be 10/(-45) - ((-107)/36)/1. Let x = -79/185 + 1/37. Do u and x have different values?
True
Let d = 2/253 + 6317/1012. Do 7 and d have different values?
True
Let r be (-5)/(12 + 1 - 0). Suppose 3*g - 6 = -2*k, 2 + 