-252). Let p = a + 24398/161. Are p and z nonequal?
True
Let n = -365 - -635. Let r be (n/72)/(-2*2/(-144)). Do r and 134 have the same value?
False
Let o = -635 - -34932/55. Let r = -419/165 - o. Which is smaller: r or -3?
-3
Let t = 158 + -153. Suppose 0 = -t*f + 383 + 42. Do f and 85 have the same value?
True
Let z = 18801 - 18357. Which is smaller: z or 447?
z
Let i = 0.13 + -258.13. Let p = -246 - i. Which is smaller: p or -0.04?
-0.04
Let c = -2720 - -2736. Suppose -3*f + 0*d + d = 10, 4 = -2*d. Let x be 3/36*f/c. Is 0 less than x?
False
Suppose 11*r + 4 = -3*p + 9*r, -2*p + r = -2. Which is bigger: -6/2051 or p?
p
Suppose -o + 5 = -0. Let g be o/((-2)/(11 - 1)). Let q be 4*((-170)/24 + 42/19152*38). Which is greater: g or q?
g
Let j = 2314.99 + -2315. Is 0.118 at most j?
False
Let o be 1537/(-159)*18/(-2). Let v = 89 - o. Let q = 80 - 317/4. Is q > v?
False
Suppose 0 = 3*o - 14 + 50. Let u = 12 + o. Let q = -625 + 27497/44. Which is smaller: u or q?
q
Let q(g) = -g**2 - 4*g + 5. Let a be q(-5). Let w be 3*(220/(-33) + 0 + a). Is w > -26?
True
Let i = 19577 - 40144. Which is bigger: -20565 or i?
-20565
Let i = 7052 - 6415. Is 0 < i?
True
Let n be (7 - 8)*120/(-1). Suppose t + 2*o = -4*t - 300, 2*t + n = -4*o. Let x be (-900)/18 - (8 + 2). Is t greater than or equal to x?
True
Let c be 8*3/9*(-6)/(-2). Let p = 8 - c. Suppose p = 4*d + 3*h + 16, 2*d - 5*h = -3*d + 15. Which is greater: d or -2/51?
-2/51
Let z = -352 + 371. Suppose q + 20 = -4*n - z, -72 = 2*q + 2*n. Let i = -62 + 28. Which is bigger: i or q?
i
Let r = 9855777/43 + -229215. Which is greater: -10 or r?
-10
Let r = 4046 - 4046.369. Which is smaller: r or -5?
-5
Suppose -4*q + 10 = -326. Suppose -4*g - 948 = -4*p, -g + 5*p - q = 145. Which is smaller: -238 or g?
g
Suppose 261*a - 28*a - 40222 = -5*a. Does a = 60?
False
Let r = -0.4 + 1.3. Let c = 1 - r. Let l = -260 - -245. Which is smaller: c or l?
l
Let m be (-1)/6 + (-21)/((-1134)/(-279)). Suppose -2*c - 4 = 0, 2*a - 7*a - 3*c - 36 = 0. Is m at most as big as a?
False
Let d = 8146 - 9120. Is -0.3 equal to d?
False
Suppose -4952 + 7056 = 5*t - 3*y, 0 = 3*t - 4*y - 1258. Which is smaller: -4 or t?
-4
Let m = -373 + 393. Suppose 19 - m = r. Let t be (-14)/18 + (-2)/(-4). Which is bigger: r or t?
t
Let r be 5 + -6 + 8*1. Suppose 32 = 2801*c - 2797*c. Do c and r have the same value?
False
Let d be (224/15 + -15)/(-7). Which is smaller: 0 or d?
0
Let a be ((-102)/(-5))/(8/20). Let m = 56 - a. Let d be (-70)/(-24) - m/((-20)/(-12)). Which is smaller: 0 or d?
d
Let n(j) = -10*j - 24. Let k be n(-3). Suppose 26 + 322 = -k*d. Which is smaller: -56 or d?
d
Let s = -14.93001 + -0.06999. Which is smaller: s or -1.2?
s
Let m(s) = 2*s**3 - 3*s**2 - 7*s. Let j be m(7). Let z be ((-4816)/(-1032))/(1/105). Is z not equal to j?
False
Let v be (-7 - (-1 - -1))/((-82)/164). Let k be -2 + 74/v + -3. Is -1 >= k?
False
Let x = 8186.26 + -8268. Let m = x + -3.26. Is 4 bigger than m?
True
Suppose -2*i = -i - 4*a - 6, -i + a = 0. Let q = i + 2. Let s be 186*22/(-484) + 5 + 3. Which is greater: q or s?
q
Let d(v) = -v + 4. Let j be d(3). Let g be 0 - (4 - j) - -13. Suppose -8*w + g*w = 10. Is 4 >= w?
False
Suppose -1199*b = -1158*b + 11849. Does -287 = b?
False
Suppose 20 = 2*i + 4*u, 4*u - 4 = 5*i + 2. Suppose -6*d - 228 = -i*d. Let m = d - -48. Which is smaller: -10 or m?
-10
Let j = 4710 + -6953. Let c = j - -22467/10. Is c greater than 5?
False
Suppose -176 = -9*w + 7*w. Suppose -91*p = -w*p. Is -1/38 < p?
True
Let b(j) be the third derivative of j**5/15 + 7*j**4/24 - 22*j**2. Let a be b(-2). Let m be 2/(-9) - 17/(-9). Are m and a unequal?
True
Let l be 15/(-4 - -7)*-1*2/(-5). Which is smaller: 37/68 or l?
37/68
Let a = -132.063 - -0.063. Let w = a - -138. Which is bigger: -33 or w?
w
Let l = -7263/8 - -5433/8. Which is greater: l or -230?
l
Suppose 1545 = -12*m - 1719. Let s = -348 - m. Is 5 at least s?
True
Let u be (36/54)/((-3)/(54/(-4))). Suppose -3*h - 2*h - 12 = u*a, -4*h - 13 = -a. Is 7/5 <= a?
False
Let f be (326/(-109) + 3)/((55/(-22))/5). Let a be (-2)/2 + 0 + 2. Is f greater than or equal to a?
False
Let y = 1 + -2. Suppose -5*n + 5*a - 30 = 0, -5*n + 3*a = -10*n + 2. Let u be (n/1)/((-320)/(-56) - 5). Is u < y?
True
Let u be ((-12)/2 - -2)*(-8)/(-48)*1. Which is smaller: u or 0.4108?
u
Let r = -5.85 - 74.55. Let h = r + 80. Which is smaller: -66 or h?
-66
Let o be -2*(1 + -2 + 0/13). Suppose 0 = o*d + v + 23, d - 3*d - 4*v = 38. Let q be ((-2)/(-5))/(d*2/20). Is q at least as big as -1?
True
Suppose -6*o + u - 15 = -4*o, u - 45 = 5*o. Let b be 2*(o*(-6)/(-12) - -10). Let w be 4/(-14) + (-44)/(-7). Which is smaller: w or b?
w
Let a(z) = 9*z**3 - 16*z**2 + 20*z - 4. Let c be a(14). Let o = c - 108331/5. Let j = -6078/35 + o. Is -3 at most as big as j?
False
Suppose -j = -28*j + 162. Let c be j/17*(-21 + 20). Which is greater: c or -3?
c
Let s = -914.2 - -914.4. Which is greater: 0.3176 or s?
0.3176
Suppose 0 = -2*r + 5*q - 21, 3*r - 4*q - 1 = -15. Let y be (-265)/(-570) + (5/(-5))/r. Is -1 >= y?
False
Let b = 276 + -340. Let s = 0.07062 + -64.06062. Let x = b - s. Is x less than -0.2?
False
Let l(o) = -1223*o - 2446. Let w be l(-2). Is w at most 1/4519?
True
Suppose -3*a + 0*a - 96 = 0. Let y = a - -32. Suppose -3*s - 6*j + j = 8, 2*s + 2*j + 12 = y. Is s bigger than -10?
False
Let x be (-5 - (-35)/5)*1. Let g be -28 + ((-6)/15 - x/(-5)). Which is greater: -24 or g?
-24
Let k = -2632.37 - 35.63. Do k and 1 have different values?
True
Let t(b) = 167*b + 587. Let u be t(-8). Do u and -753 have the same value?
False
Let t = -4.4 + -19.8. Let q = t + 25.1. Which is bigger: 0.2 or q?
q
Suppose -k - 4*z - 29 = 0, k - 42 = 5*z - 35. Which is smaller: -186 or k?
-186
Let m = 2413 + -2413.04821. Are m and 0.1 unequal?
True
Let g = -2153/33099 - -46/561. Is g at least as big as 0.2?
False
Let p = 5.2 + -33.2. Let s = p + 30. Let g be 295/525 + (-2)/15. Which is smaller: s or g?
g
Let t = 1196228/75 + -15950. Which is greater: t or 0?
0
Suppose l - 2*s = -0*l + 31, 0 = 4*l + 5*s - 72. Suppose 26*y + 111 = l*y. Let t = 27 + y. Is -12 != t?
True
Let w be (-3 + 284/20)/(2/(-320)*1). Which is greater: -1791 or w?
-1791
Let m(u) = -17*u + 20. Let g be m(10). Suppose 0 = -5*q + 35*l - 38*l - 741, 745 = -5*q - 5*l. Is q <= g?
False
Suppose 5*n + 4*l + 10 = 0, 5*n - 42 + 17 = 3*l. Suppose -4*z = -2*c + 4, n*z = -3*c - 0*z - 2. Is -1/107 at least as big as c?
False
Let j be (114/4503)/(1/23). Are j and 2 nonequal?
True
Let q be (3 - 136/8) + (1 - 2). Let a = -18 - q. Which is smaller: a or 26?
a
Suppose 2*w - 4*a = 0, 3*a = -4*w - 2*a + 39. Let j = -10 + w. Suppose 3*z = -5*b - 248 + 256, 0 = z - b - 8. Which is smaller: j or z?
j
Let d = 7277 - 7265. Let o = 9 - 2. Let v = d - o. Which is smaller: v or -1?
-1
Let o = 26854 - 2712308/101. Let r = o - -7715/14241. Is r at least 1?
False
Suppose 0 = -27*d + 15*d + 24. Suppose 0 = -2*q, i + 4*q + d = -1. Let p be 3/9 + (-8)/6. Is p greater than or equal to i?
True
Let i(o) = -180*o - 2521. Let c be i(-14). Which is greater: c or 3/1714?
3/1714
Let p(h) = h**3 + 5*h**2 - 7*h + 48. Let n be p(-7). Let k be n/(-6)*(20 - 16). Which is bigger: k or 1.3?
1.3
Let x(u) = 153*u**2 + u + 6. Let b be x(2). Let w be -1 - 2/(b/(-305)). Which is greater: 1 or w?
1
Let u = -1050 - -1023. Is 14 less than u?
False
Let j = 290.45 + -289.45. Which is smaller: -0.09402 or j?
-0.09402
Let a be -8 - -5 - (6 - 5)*-3. Do a and 1/343 have the same value?
False
Suppose -42*v + 7 = -49*v - 21. Which is greater: -386/105 or v?
-386/105
Let m be (-2)/4*0/(-5). Suppose 4*d - 915 = -5*b - 40, -2*b - 5*d + 333 = m. Is b equal to 178?
False
Let v be (92584/(-7107029))/((-1)/5). Let i = v - 2/3229. Is i bigger than -1?
True
Let b be 9 + (-34716)/(-27) - 2/(-9). Let k be (1/4 + b/(-300))*-6. Is k equal to 23?
False
Suppose 6*u + y - 6*y - 248 = 0, 2*u - y - 80 = 0. Which is smaller: u or 311/8?
u
Let d = 2281/5 - 278097/610. Is 0 less than d?
True
Let h = -7/22 + -2/11. Let t = -111 + 112.41. Let l = t - 1.01. Which is bigger: l or h?
l
Let f be 12*((-15)/(-12) + (-3 - -2)). Let d be 66/(-30) - 2/(-10). Let m be d/4*(-1)/((-3)/f). Is m <= 0.5?
True
Let t be (1 - 4/(-48)*-4)*(-429 - -422). Let l(u) = -u**3 + 2*u**2 - 2*u. Let w be l(2). Wh