0. Let w be a(5). Let z be 1*(-2)/(-10)*w. Let s be ((-1)/2)/((-3)/(-4)). Is s bigger than z?
False
Let b = -3127 + 12431/4. Is -18 not equal to b?
True
Let o = -42 - 80. Which is smaller: o or -123?
-123
Let n(p) = -p**3 - 4*p**2 - 5*p - 5. Let z be n(-3). Let g = 0 + -2. Is g smaller than z?
True
Let l = 21 + -123. Let i be 2/(-18)*(-6 + (-648)/l). Are 1 and i nonequal?
True
Let h = -28.8 - -28.9. Which is smaller: 3 or h?
h
Let d = 2.2934 - 0.2934. Let k = 1432/8949 + -1/471. Is k greater than d?
False
Suppose -13*z + 2*z = 8*z. Which is smaller: z or 2/401?
z
Let j(f) = 71*f - 88*f + f**2 + 0*f**2 - 18. Let c be j(18). Is -2/65 > c?
False
Let m be ((-5)/5)/((-1)/27). Let w = m - 35. Is -10 greater than w?
False
Let k = -2400 + 2401. Suppose -v = 2 - 1. Let y be 3/((-2 + 1)*v). Which is bigger: y or k?
y
Let p = -9 + 11. Suppose 0 = -2*h - 2*h + p*b - 6, 9 = -h - 2*b. Let m be 4/h*4/24. Which is greater: -1 or m?
m
Let k be ((-1)/6)/1*-1. Let t be -9*(-5 + (0 - -4)). Let j be 4 + 0 - (-4)/((-12)/t). Which is smaller: k or j?
k
Suppose 3*y - 1 = -4*g, 0*g + 27 = y - 4*g. Let h be (1/(-3))/(y/(63/(-12))). Which is smaller: h or -0.2?
-0.2
Let w be 9 + -1 + 944/(-112). Which is bigger: -2/87 or w?
-2/87
Suppose 214 = 12*s - 158. Is 31 < s?
False
Let b(v) = -v**3 - 4*v**2 - 2*v. Suppose -5*q = -0*q + 15. Let w be b(q). Is 0 at least as big as w?
True
Let q = 29.45 + -29.11. Which is smaller: q or 2/5?
q
Let m = 18 + -13. Suppose -5*t - 80 = -5*x, -58 = 5*t - 2*t - m*x. Is t greater than or equal to 2/9?
False
Suppose 10*u = 13*u + 48. Let n = u + 19. Suppose 2*t - 56 = 7*t + 4*w, n*t = -3*w - 36. Is -8 less than or equal to t?
True
Suppose 0 = 2*c - 9*c. Suppose 0 = -5*k - 4*z - 3, 4*k + 4*z + 4 = c. Is k bigger than -2/21?
True
Suppose p + 2*v - 67 = 0, -3*v - 120 = -3*p + p. Let o = p - 38. Is 23 at least as big as o?
False
Let s = 37 + -71. Let r = s - -34.03. Do r and -2 have different values?
True
Let h = 190 - 188. Which is smaller: h or 37?
h
Let v = -119 - -527. Let p be (-3)/(-2)*v/36. Is p less than or equal to 0.1?
False
Let n = 0 + -0.1. Let h = 12.1 + -65.1. Let s = h - -54. Which is greater: n or s?
s
Suppose -3*m - 4*r = 2*m + 2, -3*r = 2*m + 5. Suppose 0 = 3*b + m*b. Is b at least as big as 2/29?
False
Let m = -3.4 - -0.2. Let f = m + 8.2. Is f > -0.1?
True
Let f = -416 - -415.57. Is f greater than 1?
False
Let p be 36 + (2 - (-15)/(-3)). Which is smaller: 2 or p?
2
Suppose 5*s = -38 - 7. Let k = 645 + -1963/3. Is s smaller than k?
False
Let m = -719/10 - -133/2. Which is smaller: m or -2/3?
m
Let y(q) = 2*q - 4. Let b be y(2). Are b and 4/19 equal?
False
Let j be (6/(-8))/(3*-1). Let s = 3/1003 + 904/33099. Which is smaller: s or j?
s
Let p = -14374/7819875 - 4/8937. Which is smaller: 1 or p?
p
Suppose -z + 5*a - 15 + 44 = 0, 23 = 2*z - 3*a. Suppose 4*d - 4 = z*u, 0*u - d = -2*u. Which is smaller: u or 2/3?
2/3
Let a be (2/(-10))/(-21*16/(-280)). Is -8 equal to a?
False
Let o be 1*(7 - 3) + 10/(-3). Which is smaller: 104 or o?
o
Let z be -1*5 + -1*2. Let c(v) = v**2 + 8*v - 3. Let g be c(z). Suppose 2*f + 0*f + 21 = 1. Is f less than g?
False
Suppose -42 = -2*w - 134. Let x be (-11)/w + (-4 + 1)/6. Which is bigger: 0.1 or x?
0.1
Let g = -376 - -378. Is 37/11 smaller than g?
False
Let d(h) = -h + 13. Let w be d(12). Let p = 3427 + -28033/8. Let a = -77 - p. Which is smaller: w or a?
a
Suppose -17 - 23 = -4*y. Let n be (-6)/y - 14/210. Which is greater: -2 or n?
n
Let m = -73 - -73.0758. Which is bigger: m or 0.1?
0.1
Let q(g) = 2*g**2 + g + 3. Suppose 0 = -2*r - r + 6. Let p be q(r). Is 12 smaller than p?
True
Let o be 8*(3 - (-18)/(-4)). Let k = o + 7. Let b be (2 - (-4)/k)/(-2). Which is bigger: 0 or b?
0
Let q = -325 + 1493. Which is bigger: -2/7 or q?
q
Let i(w) = -7*w**2 - 2*w + 0 - 10*w + 9*w**2 + 10. Let n be i(6). Are n and 2 equal?
False
Suppose -i = -5, 4*i - 26 = 2*j - 6. Let g be (-2)/4*(5 - 3). Let k be g/(-2) - 5/(-10). Which is smaller: k or j?
j
Suppose 0 = -n + 218369 - 68346. Let q = -19803127/132 + n. Let a = 2/33 - q. Which is smaller: a or 1/3?
1/3
Let g = -131 + 129. Is -2/431 != g?
True
Let i be 2734*10/100 - 2/5. Which is smaller: i or 276?
i
Let p be (-187624)/1960 + 4/10. Let a = 164621/392 + p. Let d = a + -325. Which is smaller: 1 or d?
d
Let r = -899 - -83605/93. Let v(z) = -z**3 + 6*z**2 + 8*z - 6. Let y be v(7). Do y and r have different values?
True
Let v = 59/5 + -13. Let s be (-1 - 2) + 6 - 4. Is v < s?
True
Let n be (12/(-2) - 0)/((-444)/(-10952)). Which is smaller: n or -144?
n
Suppose n - 15 = 3*o, -3*o - 5 = -2*o. Let s be (0 + 1 - 2) + -8. Let i be (-26)/10 - 18/s. Which is greater: i or n?
n
Suppose -5*g = -2*d - 20, 4*g - 2*g - 8 = -3*d. Suppose 0 = 54*f - 50*f + 8. Which is smaller: f or d?
f
Suppose -2*n + 77 = -3*y - 160, -y - 459 = -4*n. Let u be ((-20)/(-14))/(3/n). Let t = u + -54. Which is smaller: 1 or t?
t
Suppose 330 = 9*c - 228. Is -2/25 greater than or equal to c?
False
Let s(u) = u - 5. Let b be s(10). Suppose 10 = -0*v + b*v. Suppose -v*d + d = 0. Which is smaller: d or 7/5?
d
Let c = -22 + 4. Let p be 11/(231/c)*1. Let m be -4*1*3/6. Which is greater: p or m?
p
Let m(g) = 5*g**2 + g. Let h be m(-1). Let c be (-306 - 0)*(3 - (-164)/(-32)). Let j = -646 + c. Which is smaller: j or h?
h
Let g = -148 + 1933/13. Is 1 != g?
True
Let b = 370/9 + -385/9. Suppose z + 36 = 5*z. Which is smaller: z or b?
b
Let j(s) = 2*s**2 - 56*s - 100. Let r be j(29). Is -38 at most as big as r?
False
Suppose 0 = -7*h + 3*h. Let k = -2245/33 - -68. Is k at least h?
False
Let m(s) = s**2 + 8*s - 35. Let x be m(0). Let q be ((-2)/5)/(-2 + (-98)/x). Which is smaller: q or -1?
-1
Let j = -13 - -21. Let w = 54 - 45. Is j != w?
True
Let o be (-193)/43 - (-5)/(2/2). Is 1 > o?
True
Suppose 2*b = -2*s + 16, 0 = -b + 2*s - s + 4. Let t = b - 8. Let a = 25265/4 + -6317. Is t bigger than a?
False
Suppose -3*j + 8*j + 45 = 0. Which is greater: j or -1?
-1
Let z = -1584 + 1582. Suppose 0*h + 7 = -h. Are z and h equal?
False
Let g = -9 + -26. Suppose 11*h + 297 + 88 = 0. Do g and h have different values?
False
Let l = 31.36 - 32. Let i = -0.54 - l. Let v = -0.6 - -0.73. Is v at most as big as i?
False
Let s be 3/(-2) + 91/28 - 1. Which is greater: s or -91?
s
Suppose c = -5*z - 587, 2*c + 589 = -4*z - z. Is -116 < z?
False
Let u = -244 - -475. Let g = u - 2543/11. Let i = -46 + 46.1. Which is smaller: g or i?
g
Let x be ((-1)/38)/((-6)/(-4)*-1). Let v = x - -103/627. Are -0.2 and v nonequal?
True
Let y = 5.2 + -5.231. Let h = -33.031 - y. Is h smaller than 0?
True
Let f(z) = 10*z + 154. Let o be f(-14). Is o less than 3/5?
False
Suppose 0*t - 2*t - 4*g = -32, 3*t - 5*g - 4 = 0. Let u(f) = -f**3 - 8*f**2 - 10*f + 3. Let m be u(-7). Suppose 2*h - 5*h = -m. Is h smaller than t?
False
Let u(g) = 11*g + 78. Let l be u(-7). Let x(b) = -19*b - 3. Let m be x(-3). Let j = m + -215/4. Which is smaller: l or j?
j
Let w = -42 + 45. Let t(l) = l**3 - 5*l**2 - 6*l - 5. Let y be t(6). Let a be 1 + (-23)/y - 3. Which is bigger: a or w?
w
Let k(d) = d**3 + d**2 - 3*d - 1. Let n be k(2). Suppose n*z + 2*q + 8 = 59, 2*z - 4*q - 6 = 0. Is z greater than or equal to 15?
False
Suppose 0 = 46*a - 4597 + 687. Is a at least 253/3?
True
Suppose -2*t = -5*t + b + 10, 0 = t - b - 2. Suppose -52 - 95 = 2*f + 3*a, 5*f = -t*a - 364. Do -71 and f have different values?
True
Let f = -0.26 - 0.74. Let r = 1.43 + -1.3. Is f equal to r?
False
Let l be (-3)/(-2) + (-94)/4. Let u = -18 - l. Suppose -u*d - d = 0. Is 2/43 less than or equal to d?
False
Let q = 101/62 - 4/31. Let p = 3531.6 - 3532. Is p greater than or equal to q?
False
Let y = 0.26 - 5.26. Which is greater: -2/5 or y?
-2/5
Suppose -x + 4 = -2*x. Suppose -4*w = -2*o - 18, 3*w = -4*o + 4*w - 22. Does o = x?
False
Let v = 902/117 + -68/9. Which is smaller: 6 or v?
v
Suppose -301*x + 305*x = -360. Which is greater: -87 or x?
-87
Let v = 23/42 + -5/6. Let s = -0.043 + 51.043. Let d = s - 43. Which is smaller: v or d?
v
Let z = -1046.002 - -1045. Let s = 0.002 + z. Suppose f - 1 = 0, f - 4*f = -2*n + 9. Which is bigger: n or s?
n
Let c = 6 - 5.98. Let b be ((-2)/(-4))/(45/18). Which is smaller: c or b?
c
Suppose 38*w = 6 + 70. Let j(f) = -f - 8. Let x be j(-13). Which is smaller: w or x?