(-8). Are z and c unequal?
False
Let d(t) = -16*t + 21 + 6*t + 6*t. Let c be d(6). Let o be 22/(-14)*c/(-3). Is o < -3?
False
Suppose -5*j + 0*j + k = -3, -4*j + 3*k = -9. Let c = 14.378 - 9.39. Let d = -0.012 - c. Which is greater: d or j?
j
Let i = 3.54 + -2.54. Let r(p) = 4*p**3 + 1. Let v be r(1). Let w = v - 16/3. Is i less than or equal to w?
False
Let x = -231.8 - -254. Let l = -22 + x. Is -1/5 < l?
True
Let p be (-11 - 2)*(-2)/6. Suppose o - 6*d = -2*d + 21, 0 = -3*o - 3*d + 3. Which is bigger: o or p?
o
Let d = -547 + 559. Let c = 21 - 9. Is d greater than or equal to c?
True
Let s be (-488 + 1)*20/20. Is s < -488?
False
Let s(r) = -r - 13. Let v be s(-9). Let f be 24/477*(-3)/v. Which is greater: 1 or f?
1
Let a = -168.981 - 0.019. Let p = 165.99 + a. Let u = -0.01 - p. Is 0.2 smaller than u?
True
Let o be (1 - 2)*(-7 + 2). Suppose 1 = b - 4, -3*g + 5*b - 19 = 0. Suppose -o*j = -g*j + 3. Which is smaller: j or -4/5?
j
Suppose 14*j - 238 = 196. Is 23 greater than j?
False
Let i be (1 + -4 + 3)/1. Suppose -10 = s + 4*f, -f = -i*s + s - 2. Which is smaller: 2/5 or s?
2/5
Let r be (3 + 2)*(-4)/10. Suppose 3*v - 2*v = 2*k - 2, -4*k - 2*v = 4. Suppose k = -2*t - 6 - 4, -4*g - 17 = t. Which is bigger: r or g?
r
Let i = -4 - -3. Let w be 2*1/(1/(-10)). Let s be (4 + -8)*2/w. Is i greater than s?
False
Let g be (-7)/(-21) - (-8)/3. Suppose g*t - t = t. Are t and -2/5 equal?
False
Suppose 4536 = 79*v - 70*v. Is -1/3 at most as big as v?
True
Let j(g) = -85*g - 343. Let u be j(-4). Do -13/4 and u have different values?
True
Suppose -2*r = -v - 15, -6*r + 3*r - 2*v + 40 = 0. Let m be (6/(-9))/(r/(-15)). Do m and -5 have different values?
True
Let k = 838 - 836. Which is greater: k or 7/13?
k
Let o = 0.2 + 0.35. Let b = 0.45 + o. Let i = 0 - -0.1. Which is smaller: b or i?
i
Let x = -0.01 - -4.71. Let n = -5 + x. Are 2/11 and n equal?
False
Let z be 3/1 - 10 - (-55 - -49). Let m = 1274/5 - 256. Is z < m?
False
Let c be (-4)/18 + (-40)/63. Let k = 1051 - 22075/21. Let d = c - k. Does 0.1 = d?
False
Let v = -17.4 + -4.6. Let f = 2 + v. Are 0 and f nonequal?
True
Suppose 10*m = 8*m + 10. Suppose 3*w - 25 = -1. Let n = w + -5. Is n > m?
False
Let l be (-3 + -3)*(-90)/20. Is 31 at least l?
True
Let a(x) = -2*x - 2. Let c be a(-8). Suppose 2*f - 4 = -d, -f - 2 = 5*d - 2*f. Suppose o - 3*o - m + 28 = d, 2*m - 14 = -o. Is c greater than o?
False
Let t = -19.936 - 0.064. Let l = t + 20.18. Which is smaller: l or 1/4?
l
Suppose 36*p + 1326 = -66*p. Let h be -11*(1 + 1 - 1). Are p and h unequal?
True
Let l = 1.62 + -0.8. Let f = l - 0.42. Which is smaller: -5 or f?
-5
Let d be 0/1 + (-3)/(-22). Let h be 12/(-9)*(27/12)/3. Which is bigger: d or h?
d
Let f = 0.506 + -0.56. Let q = -0.094 - f. Is -1 at least q?
False
Suppose -r - 4*k = -12, 0 = -0*r - 4*r - 3*k + 9. Suppose -1960 = -4*s + a, 5*s + 5*a = -r*a + 2425. Let c = s + -2927/6. Which is smaller: c or 1?
1
Let r = 2.9 - 3. Let x = -21.1 + 21. Let z = x + r. Which is bigger: -1 or z?
z
Let w(s) = s**2 + 3. Let k be w(4). Suppose -29 = 5*a - k. Which is bigger: -2/3 or a?
-2/3
Let k be ((-5)/4)/(1/4). Let i = -0.115 - -12.915. Let a = i + -12.6. Which is smaller: a or k?
k
Let c be (8 - 4) + -179 + -1. Let h be 66/c + 51/8. Is 5 less than h?
True
Let u be (-2)/(-3) - (-78)/18. Suppose 0 = 5*j - 11 + 36, 15 = u*z + 3*j. Suppose -p + 4 = z. Which is smaller: p or -4/3?
p
Let i(o) = o + 3. Let z be i(-3). Let v = -0.0212 + -38.8788. Let a = 40 + v. Which is smaller: a or z?
z
Let y = 28.9 + -29.9. Is -2/1671 > y?
True
Let z = 102253/23 + -4446. Let m(n) = n**3 + 3*n**2 + 2*n - 1. Let j be m(-2). Which is smaller: j or z?
j
Let v = 204 - 200. Which is smaller: 24 or v?
v
Let q(s) = -s**2 - 16*s - 25. Let d be q(-8). Which is greater: -0.2 or d?
d
Let l = 32 - 29. Suppose j + 7 = -k - 3*j, -l*k - 5*j - 7 = 0. Which is bigger: 1/10 or k?
k
Suppose 5*o + 62 = -4*t + 35, 0 = 4*o - 3*t + 34. Which is smaller: o or -17?
-17
Suppose 4*q = -3*w - 279, 4*q + 0*q + 4*w = -280. Let l = 70 + q. Which is smaller: 12/17 or l?
12/17
Let f be (-4)/8*(6 - 4)*84. Which is smaller: f or -3?
f
Let n be (-3 - (-102)/32)*4. Let k be ((-12)/(-4))/(2/(-6)). Let g(w) = w**2 + 8*w - 9. Let l be g(k). Is l smaller than n?
True
Suppose 16 = -45*i + 44*i + 4*k, 4*k + 20 = -2*i. Let w = -17 - -8. Is w at least as big as i?
True
Let z(q) = -2*q + 11. Let y be z(8). Let l(x) = x - 1. Let m be l(y). Let f be m/9 - 38/(-3). Is f at least as big as 11?
True
Let a = 5 + -2. Suppose 7*g = -26 - 23. Let d = g + a. Is d smaller than -5/2?
True
Let k = 1098 - 1104. Is 53 bigger than k?
True
Let u(n) = -n**2 - 5*n + 5. Let f be u(-6). Let t be 2 - (f - 622/(-206)). Are -1 and t equal?
False
Let s = 119 - 85. Suppose -3*h - h + s = 2*o, -o - h + 19 = 0. Suppose 4*p = t - 0*t + 28, 3*p = 2*t + o. Which is smaller: p or 6?
6
Let r(o) = -o**2 - 9*o - 22. Let s be r(-4). Let i = 437/5 - 89. Are s and i unequal?
True
Let x = 12.6 + -64.6. Let h = -86 - x. Let q = 31 + h. Is -3 at least as big as q?
True
Let s = 6814.1 + -6814. Let n = -1532/9 - -170. Is n greater than or equal to s?
False
Let f = 75 - 72. Let p be (1/22)/(f/60). Which is smaller: 1 or p?
p
Let k(t) = -t. Let d be k(-5). Suppose 2*s = 5*o - 9, s = d*o - 2*s - 11. Let r be -9 + 4 + (o - 3). Which is greater: -5 or r?
-5
Let o = 117561/34 + -3458. Is o != -1?
True
Suppose -16 + 24 = 4*i. Let k be 2 - 0 - (10 + i). Are -10 and k nonequal?
False
Let s(b) = -2*b**2 - 63*b - 121. Let i be s(-30). Let u be (-6)/15 + (-26)/(-40). Is u > i?
True
Let p be (-14)/(-21) + ((-24)/9 - -2). Is p less than or equal to 3?
True
Suppose 0 = -3*f + 8 + 7. Suppose -3*d + 4*y + 19 = 0, 0*d + 22 = f*d + 3*y. Suppose 10 = -d*q - 3*m, 0*q + 4*m = 4*q + 40. Which is smaller: -3 or q?
q
Suppose -2*b - n + 6 = -b, 25 = 4*b + 5*n. Suppose 5*j - 3*f - 50 = 0, -b*f - 2 + 12 = 5*j. Let o = -1 + -1. Are j and o non-equal?
True
Suppose -14 + 364 = -5*w. Let v be (-116)/w + 3/21. Which is smaller: v or 1?
1
Let a(n) = 6*n**2 + 2*n + 2. Let m(j) = -3*j**2 + 2. Let u(o) = 4*o**2 - 3. Let f(h) = 7*m(h) + 5*u(h). Let d(z) = -a(z) - 5*f(z). Let k be d(-3). Is -1 >= k?
False
Let b = -115.87 - -0.87. Let p = b + 115.4. Which is smaller: p or -13?
-13
Let z be (-1 - (1 - 1)) + 4. Suppose -5*b + z*b = -2. Which is greater: 24 or b?
24
Let w = 848 - 796. Which is smaller: 10 or w?
10
Let v be (1810/(-300) - -6)/((-14)/236). Let u = 1/105 + v. Which is greater: u or 0?
u
Let p(d) = -45*d - 14. Let b be p(0). Which is greater: -104/7 or b?
b
Let j be (-8)/(-24) + 194/(-6). Let l = j - -35. Is l greater than or equal to 1?
True
Let a = 358 - 357. Which is greater: a or 15/14?
15/14
Suppose -3*l = -4*l + 4. Suppose 4*v = -l*q + 247 - 19, 2*q = 0. Is 57 at most as big as v?
True
Let y(k) = 16*k + 186. Let m be y(-12). Is m less than or equal to -11?
False
Suppose 1106 = -32*d + 39*d. Is -2 >= d?
False
Let t be (-2)/(-6) - (-41660)/12768*-1. Let u = -11/152 - t. Is u smaller than 2?
False
Let k be ((-4)/6)/(28/21 - 2). Let d(p) = 5*p**3 + 4*p**2 + 3*p. Let q be d(-3). Let n be k/(-3) + 60/q. Which is bigger: 0 or n?
0
Let h = -465 + 461.5. Which is smaller: -2 or h?
h
Let f(d) = -49*d**2 + 4. Let i be f(-2). Let m = 64 - i. Let q be (-2)/(-6) + m/(-48). Are q and -6 nonequal?
True
Let l = 313.5 - 314. Which is greater: l or 136?
136
Suppose 33*u + 12 = 29*u. Let o be 5 - (-1 + (u - -7)). Let b = -5 - -4. Which is greater: o or b?
o
Let i(x) = 15*x - 81. Let w be i(11). Is w at most 84?
True
Let y be (468/90)/(1/5). Suppose 0 = i - 2*i - y. Is -26 smaller than i?
False
Let p = 80 + -95. Let h = p - -102/7. Which is smaller: h or 0?
h
Let y = -1147 - -508. Is y at least -1279/2?
True
Let a = -110/7 + 2963/189. Let j = 250 - 249. Is j < a?
False
Let h(r) = 166*r + 1. Let l be h(2). Suppose 24 = x + l. Let p be x/156 + -3 + 5. Which is smaller: 1 or p?
p
Suppose -u - 31 - 4 = 3*l, 2*l = 3*u - 5. Let q(c) = -c - 11. Let i be q(l). Which is greater: i or 3/38?
3/38
Suppose -3*n = -n - 2*z + 5192, 5*z = -3*n - 7788. Let u = n - -33724/13. Which is smaller: -2 or u?
-2
Let t = -23 - -28. Suppose t*z = -5*f - 80, f + 25 + 67 = -5*z. Which is bigger: z or 2/7?
2/7
Let k be ((-8)/(-14))/(12/42). Let j be (k + -2)*(3 - (-20)/(-8)). Is -3/20 equal