 71 + -71. Is 22/1185 greater than or equal to z?
True
Let p be -5 - (-4 - -2) - -7. Let c be 998/7*279/18. Let i = c + -2206. Is i < p?
True
Let l = -27691320/166243 + -2/23749. Is l equal to -168?
False
Let f = 29.87 - 30.07. Which is bigger: -871 or f?
f
Let w = -51 - -71. Let j be (6/(-10))/(1*(-2)/w). Is j at least 11?
False
Let c be 6/(-118)*(-8)/(-3). Suppose -853 + 841 = 12*q. Which is greater: c or q?
c
Let j(r) = r**3 + 17*r**2 + 30*r. Let z be (10/(-5) - -12)/((-2)/3). Let c be j(z). Suppose -4*w - 4*w + 208 = c. Is 25 < w?
True
Let l = -89029/4 - -23048. Which is bigger: 792 or l?
792
Let a be (1085/31 + -35)/(1/(-2)*-2). Which is smaller: a or -3/34741?
-3/34741
Let b = 227 + -208. Suppose 5*l = -3*j - 11, -20*l + b*l + 2*j + 3 = 0. Is l < 44?
True
Let y = 21636 - 21636. Is y bigger than 212/147?
False
Suppose -4*w - 16 = -3*s, -2*s + 3*w + 9 + 2 = 0. Suppose z - s*p = -0*z - 22, 2*z + 44 = 3*p. Is z less than -20?
True
Let o(r) = 29*r - 204. Let u be o(7). Let k be (1 + (-772)/784)*u/3. Which is bigger: k or 1?
1
Let j(o) = -14*o**3 - 4*o - 47. Let u be j(-4). Are 867 and u unequal?
True
Suppose -11 + 77 = 3*p. Suppose -148 = 18*l - p*l. Suppose -11*j = -12*j - l. Which is smaller: -2/5 or j?
j
Let p = -19022/7 + 2717. Is p > 433?
False
Let q = 128682 - 23806258/185. Which is greater: q or 1?
1
Suppose -6*u + 8*u = -2*y + 960, 3*y - 3*u = 1416. Let p = y + -286. Which is bigger: p or -0.1?
p
Let i = -28 - -28. Suppose i*p = -r - p - 40, 4*r + 115 = 5*p. Let w = -3 - r. Which is smaller: 31 or w?
31
Suppose 3*i = -3, -249 = 190*g - 186*g + 5*i. Suppose 2*n - 74 = 2*c + 48, 124 = -2*c + 4*n. Which is greater: g or c?
c
Suppose 14*s - 1798 = 1968. Suppose -s + 237 = 4*o. Which is smaller: -7 or o?
o
Let a be 0 + 2 + 0 - (-6)/30*-5. Which is smaller: -3/1040 or a?
-3/1040
Let g = -62872/7371 - -738/91. Which is smaller: g or -1?
-1
Let s = 22364 + -64969/3. Let i = 380005/537 - s. Which is smaller: i or 1?
i
Let l be 2*(-1 - -2) - (12 - 13). Suppose 257 = l*m - 5*c, 2*m - 3*c - 171 = -0*m. Is m != 85?
True
Let a = -47/2 + 24. Let b be -7 + (-7)/(245/(-340)) - 3. Is a not equal to b?
True
Let z = 3978 + -3981. Is z at most -45/16?
True
Suppose 0*a = 4*a + 5*y - 6, 3*a = -y - 1. Let n be (-3 - 235/(-78))/(-3 + 190/80). Which is smaller: n or a?
a
Let c = -1 + -4. Let g = -464 - -773. Let q = g - 300. Which is greater: q or c?
q
Let w(c) = c - 12. Let k(q) = 12. Let b(f) = -6*k(f) - 4*w(f). Let r be b(-6). Let o be (1 - r)*(-1 + -1) + 1. Is -5/3 equal to o?
False
Suppose -5*h + 3*h - 4*a = -310, 0 = 3*h + 3*a - 480. Let z be h/159 - 1/1. Which is smaller: -0.01 or z?
-0.01
Let t = -53 - -53. Suppose 197 = -4*p + x - 203, t = -2*p + x - 198. Which is bigger: -407/4 or p?
p
Let z be 1 + (-64)/12 - -5. Let f be 4/10 + (-441)/(-1960). Is z less than f?
False
Suppose -3*l + l - q = 24, 5*q = -5*l - 70. Let u(x) = x**3 + 9*x**2 - 12*x - 11. Let a be u(l). Suppose -a*n + 7 = -8*n. Is n not equal to 13/2?
True
Let j = -31 - 196. Let f = -202 - j. Is 2/5 greater than f?
False
Let c = -12199 + 12402. Is 203 greater than c?
False
Suppose -2*w + 4 = -3*m - 3, -3*m + 3*w - 12 = 0. Let v be (-2 + 110 - 1)/(m + -2). Which is greater: v or -108?
v
Suppose 15929 + 11307 = 411*b - 6466. Is 72 equal to b?
False
Let u be (3 + 2 + 3)*2. Suppose 0 = 2*p - 10, 4*o + u = 12*p - 8*p. Are o and 2/3 unequal?
True
Let y = 1311.05 + -1276. Let r = -0.05 + y. Let f = r + -36. Is f <= 25?
True
Let x = 2.858 - 2.758. Which is smaller: x or -1.438?
-1.438
Let j = -479 - -306. Let l = -109 - j. Let n = 62 - l. Which is bigger: n or -8?
n
Let n = 105125/143 + -8145/143. Are 679 and n non-equal?
True
Let q be ((-18)/36*(-1 + -3763))/2. Are q and 943 equal?
False
Let q = 5911 - 5789. Is 0.04 less than or equal to q?
True
Let v be (-2*1)/((-5)/10). Let c = 361 - 356. Suppose -c*x - 24 = -19. Which is smaller: v or x?
x
Let l be 150/1125 + 1516/780. Let h be ((-2)/4)/(3/(-6)). Which is smaller: l or h?
h
Let x = 1678 - 5032/3. Is x at least as big as 703?
False
Let v be ((-6)/15)/(2 + 2472/(-1230)). Is 42 greater than v?
True
Let x = -12 - -10.5. Let r = x - 18.5. Let p = -20.03 - r. Is p smaller than 1/5?
True
Let j = -0.0283 - 4.2417. Let u = -181.27 - j. Which is greater: u or -0.2?
-0.2
Let d = -237 + 204. Let j = -210 + 178. Is d equal to j?
False
Suppose -23*o - 33 = -26*o. Suppose 9*b = 124 + o. Is b greater than 15?
False
Let s = 0.6 + -0.5. Let o = -221.9 - -207. Let d = -17.1 - o. Which is smaller: s or d?
d
Suppose -i - 6*t - 83 = -8*t, -4*t - 198 = 2*i. Let j = -78 - i. Is j not equal to 66/5?
True
Let p(h) = h - 10. Let m be p(11). Let i = -28 - -64. Let u = i + -34.2. Which is greater: u or m?
u
Suppose 0 = -3*c + 4*u + 33, 3*c - 4*c + u + 10 = 0. Suppose c*y + 99 = 99. Is 2/33 at most y?
False
Let x = 0 - -1. Let d = -407 + 404. Let q be 0/d - x/(2/64). Is -32 smaller than q?
False
Let k = -11082 - -30176289/2723. Is k bigger than 0?
True
Let z = 3 + 0. Suppose -28 = -5*m + 2*i + 2*i, -3*m - 2*i = -8. Suppose -m*l + 5*y = 44, y - 10 = z*l + 3*y. Is -5 equal to l?
False
Let k be 2 + (-947656)/135296 + 5. Let c = -1/112 + k. Which is smaller: c or 0?
c
Let i = 30 - 4. Let g = 58 - i. Let f be 19/(-57) + g/6. Is 6 less than f?
False
Suppose 4*a = 5*z - 391 + 6843, 8065 = 5*a - 3*z. Is 1614 at least a?
True
Let v = 419 - 390.5. Let x = -30.5 + v. Which is greater: x or -0.04?
-0.04
Suppose 40004 = 24*o + 308900. Let x = -5859694/523 - o. Which is smaller: 2 or x?
x
Suppose -4*h - 2 = 4*m - m, 2*m = 3*h + 10. Let b be 4*2 + (m - 4). Let r be 8/b + 374/(-51). Is r at least as big as -8?
True
Let f be -10*14/(-280) - (-177)/6. Do f and 17 have different values?
True
Let n = 1126 - 1127. Which is smaller: n or 48/233?
n
Let k(w) = -495*w - 3. Let u be k(1). Let s = -498 - u. Is 0 at least s?
True
Let b be -55 + (24 - (-512)/(-16)). Is b at least -190?
True
Let t be (-1670)/(-40) + (-2)/(-8). Let s = 62 - t. Let w be (-28)/s + (-4 - -2). Which is smaller: w or -3?
w
Suppose -2*r - 1 = -2*w - 3, 3*r - 3 = -5*w. Let t be (-3)/(299/(-26) + 13) + (-1536)/(-766). Which is smaller: t or w?
w
Let q be 0 - 8*(-14)/(-24) - (-4 + -1). Let o = 155.799 + 0.201. Is q smaller than o?
True
Let r = 20 + -9. Let w(s) = -s**2 - 3*s + 194. Let x be w(12). Suppose -x*b = -16*b + 4. Is b less than r?
True
Suppose 0 = -11978*i + 11697*i. Let g be ((-16)/(-3))/(49/(-3)). Do g and i have different values?
True
Suppose -m = -1 - 0. Let j = -21612/17 - -1491143/1173. Which is greater: m or j?
m
Let m(l) = -l**2 - 6*l + 7. Let q be m(-6). Suppose -13 - q = 10*z. Let p be (17 - -4) + 0/z. Do p and 21 have the same value?
True
Let n(r) = r**3 + 8*r**2 + r + 13. Let w be (3 + -5 - 0) + 6*-1. Let s be n(w). Which is greater: -2/29 or s?
s
Let i = 4095/2 - 2048. Which is smaller: i or 162?
i
Let z = 102568979/20166094704 - 1510/200283. Let m = z + 1/217. Is 0 >= m?
False
Let t be (-1*20/(-246))/((-2)/(22 + -178)). Is t > 6?
True
Let o = 19657 - 23317. Is o <= -3660?
True
Let a(g) = g - 18. Let l be a(10). Let k be (13/((-5668)/l))/(-1). Are 2/5 and k non-equal?
True
Suppose 16*s - 23572 - 24188 = -14*s. Is s at least 1590?
True
Let m = 65 + -55. Let t be 25 + -27 + -40*m/4. Do t and -102 have the same value?
True
Let f(c) = 3*c**2 - 6. Let x be f(10). Suppose -3*t = -4*a - x, -4*t + 5*t - 108 = -2*a. Suppose -t*m = -98*m - 48. Which is greater: -0.2 or m?
m
Let q(g) = 6*g**2 - 9*g. Let d be q(2). Let o be (-111)/(-9) + 3 - d. Let i be (-10)/((-1)/1) + -2. Which is bigger: o or i?
o
Suppose -4*w = 3*q - 0*q - 26, -3*q = -2*w + 4. Suppose 3*t - 4 = -5*z, 2*z - z - q*t - 6 = 0. Let p be (-12)/z*(2 - 1). Is -7 less than p?
True
Suppose -6*v + 10 = -5*v - 4*f, -2*f - 8 = 0. Let i be (v - -2)/(-4660 - (-16)/8). Is 0 not equal to i?
True
Suppose -4*x - 4 = 3*w - 53, -2*w = -4*x + 34. Which is bigger: x or 153/16?
x
Let z = 13.032 - 0.032. Let s = 3.3 + -17.3. Let m = s + 14. Is m at least z?
False
Suppose 5*a + 2*d = -265, 5*a = 6*d - 5*d - 250. Let o be (4/20)/((-1)/a). Which is bigger: 0 or o?
o
Let x = -21345 - -21348. Is x less than or equal to -340?
False
Let g = 153 - 154. Let l be (2/(-3))/(360/(-6075)). Which is smaller: g or l?
g
Suppose 141 = 40*m + 7*m. Is -21 bigger than m?
False
Let b = 10