maller: -10 or a?
-10
Let j = 1.5033 + 13.5577. Let z = j - 0.061. Which is greater: -2 or z?
z
Let w be ((-3)/(-6))/(26/12 - 2). Which is bigger: w or 21/5?
21/5
Let p = 2.7 - 4.7. Let s = p - -2.1. Which is bigger: -31 or s?
s
Let l(v) = 10*v + 23. Suppose 2*r = -i + 9, -i + 4*r + 2 = -1. Let f(z) = -7*z - 15. Let m(p) = i*f(p) + 5*l(p). Let x be m(-10). Is 7/5 smaller than x?
False
Let m = 268 - -7. Which is bigger: 274 or m?
m
Suppose 11*l - 184 = -140. Suppose -7 = -5*o + 13. Suppose -o*v + 0*v = -12. Which is greater: l or v?
l
Let i = 13 + -7. Let x be (4/60)/(((-3)/(-18))/1). Which is smaller: x or i?
x
Suppose 4*n - 4*a + 29 = 9, 16 = -5*n - 4*a. Let i(y) = -y + 12. Let t be i(11). Let b(p) = -4*p**2 + p. Let s be b(t). Is n smaller than s?
True
Let c be (-288)/(-54)*54/4. Which is smaller: -2 or c?
-2
Let u = -8277/110 + 111/22. Let d be ((-3)/2)/((-2)/(-92)). Let h = d - u. Which is smaller: h or 0?
0
Let c = -95.1 - -93.1. Let v = 0.44 - 0.04. Is c less than v?
True
Let l = 3 - 4. Is -8/37 at least as big as l?
True
Let s be (-16*1/(-24))/((-1)/1851). Is -1235 not equal to s?
True
Let a(l) = 2*l**2 + l + 2. Let q be a(-1). Suppose -q*h + 2 + 7 = 0. Let x be (0 - h)/(-1 + 2). Is x > -0.1?
False
Let d = 1036 - 808. Is d not equal to 227?
True
Let d be ((30/(-8))/(-3))/(-2). Let b = 10 + -11. Let p be (2 + (-1 - 0))/b. Is p bigger than d?
False
Suppose -3*o - 3*n + 42 = 0, -6*n - 56 = -4*o - n. Let x(t) = -3*t + 61. Let g be x(o). Let q be (-2)/(-4) - (-39)/2. Is q less than or equal to g?
False
Let x(j) = j + 25. Let k be x(21). Let f = -91/2 + k. Is -12 not equal to f?
True
Let t be (-6)/940*1105/102. Which is greater: t or 1?
1
Let h(b) = 30*b**2 + 2*b - 2. Let u be h(-2). Let a = -1944/17 + u. Let o(s) = s**2 + 13*s + 22. Let y be o(-11). Which is bigger: a or y?
y
Let q be ((-6)/(-5))/((-6)/(-40)). Suppose -m = -4*w + m - 4, -5*w + 4*m - q = 0. Let p be ((-2)/(-45))/((-15)/(-45)). Is w <= p?
True
Let p be ((-22)/11)/(-12) + (-130)/(-12). Let r(t) = t - 1. Let s(f) = -f**2 + 13*f - 5. Let v(a) = -2*r(a) + s(a). Let w be v(p). Which is bigger: -4 or w?
w
Let c = -11 + 9.8. Let f = c + 1.2. Is f at least 0.3?
False
Suppose -3*l - 1 = -3*h + 2, 3*h + l = -1. Suppose -8 = -2*a - 2*k, 1 = 4*a + 5*k - 18. Suppose 0 = 6*r - 7*r - a. Is r not equal to h?
True
Let v = 2 + -5. Suppose -4*z + 6 = 30. Let f be (-1 - 10/z)/(-2). Is v <= f?
True
Let j be (-1)/(-6)*(256/(-44) + 6). Let l = -70/3399 + j. Which is smaller: l or 1?
l
Let y = -19 - -22. Suppose 2*d - y = 5. Suppose n + 5*t = d + 22, 5*t = 25. Does 0.1 = n?
False
Let x(q) = -5*q**2 - 48*q - 46. Let v be x(-10). Which is smaller: v or -64?
v
Let j be (4 + -5 - -6) + -21. Is -18 <= j?
True
Let t be 1 + (-279)/7 - (-121)/(-847). Which is bigger: t or -36?
-36
Suppose -10*h + 5*h = -5. Let j be (-4)/h + 0 + 3. Which is smaller: j or -1/56?
j
Let f = 15.12 - 14.8. Is f equal to 1?
False
Suppose 0 = -6*n - 29 - 19. Let d be 2/((20/n)/(3/(-6))). Which is smaller: d or 1?
d
Let t be -19*2/(-60) + (-18)/27. Which is greater: 1 or t?
1
Suppose -12*h = -19*h + 147. Is 19 > h?
False
Let z(d) = -d**3 - 12*d**2 + 12*d - 2. Let o be z(-13). Suppose -11*t - 33 + o = 0. Let g = -7 + 6.2. Which is smaller: t or g?
t
Let u = -23 - -22. Let t be 3/3 + 2/u. Let j = 217/12 + -55/3. Is t smaller than j?
True
Suppose -b - 33 = 2*c, -c + b - 24 = -0*b. Let h = c + 22. Suppose -4*y - 13 = h*n, 0 = n + n + y + 12. Is n smaller than -7?
False
Let r = 1617 - 1611. Which is smaller: -35 or r?
-35
Let s = 0.001 - -33.999. Let j = -34 + s. Which is smaller: j or -1?
-1
Let q be 3 + (0 - 1) - 1066/18. Let g = -57 - q. Which is greater: 0 or g?
g
Suppose -4*u + 15 = u - 5*p, p + 5 = 3*u. Which is smaller: u or 5/74?
5/74
Let f be (49/30)/(129/215). Which is greater: 4 or f?
4
Let y = -15 - -17. Let l = y + 0. Let z be (-2)/4*(l + -2). Which is smaller: z or 1/8?
z
Let t be (-4)/(80/115)*-8. Let q = -91 + t. Are -45 and q equal?
True
Let q = -3205 - -6719/2. Let c = 147 - q. Let x be (1 - 3)/((-6)/(-21)). Are c and x non-equal?
True
Let x = 0.2 - 0.3. Let l = 3832 + -3811. Is l at most as big as x?
False
Let t = -12017/1467 - 5/163. Let l = 8 + t. Is 0 bigger than l?
True
Suppose -4*s - 3*b + 4 = 0, -3*b - 3 - 1 = 2*s. Suppose -5*p - 16 = -p + s*z, 2*p + 10 = -4*z. Suppose 2*l - 8 = -6*l. Which is smaller: p or l?
p
Let j = -1192 + 1189.9. Is j greater than 3?
False
Let g = -2075 + 2075.3. Are 14/39 and g nonequal?
True
Let t = 533095/44 + -12115. Which is smaller: 2 or t?
t
Let u = 7/50 + -1/25. Let b be (-5)/(-2) - (-3)/6. Suppose -o + 3 = -b*d, -3*d - o = -1 + 4. Which is smaller: d or u?
d
Let o = 0.85 - 1.2. Let w = 12.45 + o. Let s = 12 - w. Is 2 > s?
True
Let g = 35 - 12. Let l = g + -22. Let y = 18 + -18. Does y = l?
False
Let f = 1.58 - -0.22. Let w = -0.2 - f. Let v = 8 + w. Do v and -1 have different values?
True
Let t(o) = o**2 + 6*o + 5. Let r be 348/(-72) + (-2)/12. Let c be t(r). Suppose a + 3*a + p = -42, c = -2*a - 4*p - 28. Which is greater: -11 or a?
a
Let y(f) = 8*f**2 + 42*f + 11. Let d be y(-5). Which is bigger: 2/513 or d?
d
Let v be -10*((-252)/48 + (-1 - -1)). Is 53 at least as big as v?
True
Suppose -12 = -3*s, 2*m - 3*s + 13 - 1 = 0. Let g be (-2)/(-3) + 118/(-132). Which is smaller: g or m?
g
Let r = -379/2 + 190. Which is smaller: 146 or r?
r
Let p = -86 + 85. Is 1/534 less than p?
False
Let b = -1478 + 1391. Do b and -2/7 have different values?
True
Let y = -26/15 + 1252/705. Is y greater than -0.2?
True
Let n be 6/(-24)*(-40)/10. Is -1/22 <= n?
True
Let n = -7.55 + 10.55. Is n less than 0.013?
False
Let h = -4.9 + 3.3. Let i = -2.1 - h. Does 2 = i?
False
Let l = -139 - -89. Let o be (-29)/l - (-7)/(-14). Which is greater: 0 or o?
o
Let l be (-1 - (25 + 1))*(-162)/(-6399). Is 0 >= l?
True
Let x = -206/5 - -10501/255. Is x smaller than 0?
True
Let z be (-6)/(-324)*-6*-173. Which is smaller: 18 or z?
18
Suppose -5*y + 4*d + 175 = 0, -2*y = 4*d - 52 - 46. Suppose -6 = y*q - 42*q. Let l(p) = -p + 7. Let j be l(6). Which is smaller: q or j?
j
Let a(w) = -2*w**3 - 6*w**2 + 7*w + 3. Let h be a(-4). Suppose 5*k + 7 + 3 = 0, u - 4*k = 14. Which is smaller: h or u?
u
Suppose -5*h = -x + 90, -8 = -4*h + 3*h - 5*x. Let z(g) = 2*g - 8. Let u be z(4). Is u equal to h?
False
Let v be (-1)/(-2) - 234/8. Let i = -29 - v. Let s = 12.4 - -1.6. Is s > i?
True
Let g = -132.931 + 133. Let k = g - 0.069. Which is smaller: -0.25 or k?
-0.25
Let k = -2688 + 13509/5. Is 3 > k?
False
Let b = 110 + -110. Is -4/459 greater than b?
False
Let y = 6 - -1. Suppose y*a = 3*a - 4. Let d be (-11)/(-76) + (-70)/(-665). Is a at least as big as d?
False
Let y = -6.151 + 0.211. Let g = -6 - y. Which is bigger: g or 1/2?
1/2
Let v be (-4 - -1)*(-6)/9. Suppose 5 = n + y, -5*n + 4*y = -0*n - 52. Let h(w) = w**2 - 9*w + 7. Let j be h(n). Which is smaller: v or j?
j
Let v be (252/19950)/(3/(-40)). Is 0 bigger than v?
True
Let f = -32 + 34. Let l be ((-16)/40)/(12/(-15)). Which is smaller: l or f?
l
Suppose 26 - 8 = -6*o. Let j = o - -12. Suppose 2*x = -2*p + 6, x = 2*p + 3*p - j. Is x >= 1?
True
Let a be (-735)/(-1980) + (13/(-4) - -3). Is a at least -1/3?
True
Suppose -27*s - 187 = -26*s. Does s = -188?
False
Let a(l) be the first derivative of l - 7 + 2/3*l**3 + 4*l**2. Let u be a(-4). Is -4 greater than u?
False
Let t(a) = a**3 - 7*a**2 + 6*a + 4. Let z be t(6). Suppose 30*f - 27*f = -3*u + 15, -4*f + 12 = 3*u. Let d be u/z + 6/(-3). Does d = -1?
False
Let m = 344 + -343.92. Is m smaller than -0.5?
False
Let b be (-144)/480*2/(-2 + 1). Is -3.1 smaller than b?
True
Suppose u + 2*u - 21 = 0. Which is greater: u or 12?
12
Let m = -165.7 - -165. Which is smaller: 23 or m?
m
Suppose 0 = -5*h + 3*r - r + 44, h - 5*r = -5. Let l be (15/h)/(12/(-448)). Let i be 4/(-1) - l/35. Are -3 and i equal?
False
Let q be (-5)/3*(-4)/(20/(-25)). Let o = q + 8. Is -42 > o?
False
Let n = 1/6082 + 33355/583872. Is n greater than or equal to 0?
True
Suppose s + 13 = 4*g, 0*g - 4*s = 4*g - 8. Suppose 6*y - g*y = 3. Suppose y = 2*x + 3. Is x less than or equal to -1/23?
True
Suppose -3*k - 162 = -3*r, -3*k = -2*r + r + 158. Is -54 bigger than k?
False
Let x be (-123)/(-3)*(4 + -2 - 3). Let o = 5 - x. Which is bigger: 45 or o?
o
Let h(g) be the first 