j + -0.92. Let t = -0.2595 + -0.0405. Is l equal to t?
False
Let j = 442 + -463. Let g be ((-90)/210)/(36/j). Is g bigger than 10?
False
Let o be (19/(464094/120))/((-2)/(-411)). Let l = -24/23 + o. Are l and 1 unequal?
True
Suppose w - g = 2, -2*g = -7 - 3. Suppose -64 = 3*k - w. Are 0 and k non-equal?
True
Let k = -1052 + 1051. Which is smaller: k or 28.51?
k
Let f = -4922383 - -50410123802/10241. Let l = f + -2/539. Is 1 not equal to l?
True
Suppose 16*m - 440 = -l + 21*m, -2*l - 2*m + 916 = 0. Is l > 455?
False
Let s = 1878 + -1786.1. Let a = 81.9 - s. Is a smaller than 25?
True
Let l(a) = 22*a**2 - 21*a**2 - 7*a - 213 + 45*a. Let z be l(-43). Let s be (10/(-15))/(22/(-21)). Which is smaller: z or s?
s
Let a be 8/16 + (-12)/27 + 409405/90. Which is bigger: a or 4550?
4550
Let u = -27319 - -27318.7. Let o = 5.8 + 36.2. Which is greater: o or u?
o
Let t = 0.44 - 0.04. Let l = 2538.37 + -2538. Let x = l + t. Which is smaller: 0.1 or x?
0.1
Let a be ((-8)/(-28) - -6 - 2)/(6/70). Is 47 at most as big as a?
True
Let a = 119182 + -119183. Let c = -0.85 + 0.29. Is a at least c?
False
Let p = 394.2 + -394.2. Let v be 306/300 - (1 + 0). Which is smaller: p or v?
p
Let a = 100.1 - 99.6318. Which is smaller: -1 or a?
-1
Let k be (6 - 114/15)*-20*1. Suppose 37 - k = -5*r. Let o be -3*(-3)/(-7)*1. Which is greater: r or o?
r
Let r be ((-177)/(-14))/(18/(-612)). Let h = r - -429. Which is smaller: -1 or h?
-1
Let w = -0.397 + -168.603. Let b = w + 169. Which is smaller: -2/21 or b?
-2/21
Let c be (-12)/(-12) + 1*(0 - 1). Let v be -291 - (3 + -6 - c). Which is bigger: -287 or v?
-287
Let d be ((-27)/(-15) - 1)*-5. Let r be d - ((-288)/68 + 0). Let t = r + -59/323. Is t greater than or equal to 1?
False
Suppose -26369 = 4*f - 11*f. Let c = -11488/3 + f. Is 1 at most as big as c?
False
Let a(l) = l**2 + 7*l + 5. Let r be a(-6). Let n be (26 + 99325/(-3857))/((-2)/(-8)) + -1. Which is smaller: r or n?
r
Let p be (20/60)/((-1)/(-6)). Let h(c) = 10*c**2 - 3*c**3 + p*c**3 + 3 + 2*c**2 - 22*c. Let q be h(8). Are q and 82 equal?
False
Let l = 18127 - 17918. Which is greater: 226 or l?
226
Let z be (-3843)/(-3267) + -1 + 10/(-55). Which is smaller: z or 0.2?
z
Let i(g) = -37*g - 94. Let n be i(-5). Suppose 184 + n = -z. Which is bigger: -274 or z?
-274
Suppose -96 = 3*s - 8*s + 4*j, 81 = 4*s + j. Suppose -4*d + 39 = -113. Suppose 2*o - 44 = 2*i, o - 3*o + d = 4*i. Is s >= o?
False
Let q be (-4)/38 - ((-180447)/25308 + 7). Do q and 1 have different values?
True
Suppose -35*l - 51*l + 26*l = 0. Let d = 2 - 0. Let z be (d/(-2))/(37 + 2). Which is smaller: z or l?
z
Let p(f) = 3*f + 66. Let m be p(26). Let i = 143 - m. Do -1/179 and i have different values?
True
Let f = 438 + -430. Let x be (-1 - f/(-10))*(-18 - 3). Is 5 at least x?
True
Let f = -94 - -92. Let j be -1*2*(-7)/f. Is j >= -10?
True
Let h be (-1)/9 + 5402/21536*(-736)/(-1656). Which is smaller: 0 or h?
0
Let g be (((-10)/(-25))/(-2))/(2177/(-6)). Which is greater: 0 or g?
g
Suppose 3*f = 4*z + 400, 4*z - 50 - 78 = -f. Suppose f = n + 125. Are -0.4 and n unequal?
True
Suppose -5*s - 5 = -0. Let q = 212 - 267. Let l be q/(-1365) - 1*4/28. Is s not equal to l?
True
Let j = 38.31 - 38.41. Which is bigger: j or -1747?
j
Let i be ((-6)/906)/((-1)/(-2)). Let d be (0 - -40) + (-4)/2. Let a = 38 - d. Which is greater: i or a?
a
Let z = -149 - -157.3. Let k = 8.2 - z. Which is greater: k or -0.28?
k
Let u = 867.7 - 68.7. Which is smaller: u or -3?
-3
Let c = 1040 + -982. Do 63 and c have different values?
True
Let j be 248/(-20) + 2/5. Let d be (18/(-15))/(j/40). Suppose 2*f + 5*u + 5 = 0, -2*f + f - 7 = d*u. Is f at most 4?
False
Let n(z) = -62*z + 14. Let d be n(-5). Let b be 2 - -4 - d/38. Which is greater: -3 or b?
b
Let o = -8203 - -8202. Which is smaller: o or -0.02442?
o
Let o(g) = -g**2 - 7*g + 146. Let s be o(-17). Let n = -29 - -54. Let k = n + s. Which is bigger: k or 1/33?
k
Let s(i) = 13*i + 16*i + 178 + 72. Let m be s(-8). Which is smaller: m or 135/7?
m
Let r(a) = -a**3 + 11*a**2 + 7*a - 72. Let l be r(11). Suppose -3*v = l*j - 362, -67 + 327 = 4*j - 5*v. Are j and 70 nonequal?
False
Suppose -51*d + 78 = -48*d. Suppose 4*u + 2*y + 34 = -d, 5*y + 7 = u. Let s = u - 31. Is -44 less than s?
False
Let o = 813.55 + -807. Let v = -5.75 + o. Which is greater: 7/4 or v?
7/4
Let r be 38*((-2)/4 + 1)*3. Let x be (19/r)/(1/(-9)*-1). Let p = 143 + -140. Is x equal to p?
True
Let d(s) = s**2 - 35*s + 56. Let v be d(70). Is v != 2/5?
True
Suppose -2*j + 50 = 2*i, 5*i - 4*i - 46 = -2*j. Let o be (225 - -36)/(j/2). Is o <= 25?
True
Suppose -56*a + 123*a - 46*a = -22764. Which is smaller: a or -1083?
a
Let r be ((-4)/(-8))/((-1)/94 + 0). Let n be (-33)/77 + 1/((-77)/r). Which is smaller: n or -1?
-1
Let p = 54479/27680 + -63/32. Which is smaller: p or 0?
p
Let i(w) = -w**2 + 10*w - 16. Let q = -35 + 39. Suppose 0 = -q*r + 32. Let y be i(r). Which is smaller: -1/23 or y?
-1/23
Let u = 604/1131 + 50/377. Which is bigger: u or -0.729?
u
Suppose 3*i = -4*q + 1327, 2*q + 3*i - 325 = q. Let p = q - 220. Suppose -p = f + 2*f. Is f less than or equal to -38?
True
Let g = 4.3 - 9.5. Let q = -3.8 + g. Let x = 44 - 133/3. Which is greater: q or x?
x
Let f(w) = -w**3 - 5*w**2 + 135*w + 131. Let y be f(-14). Let g be (-2)/(-8) - 17/4. Let q be -3 + 2 - -2 - g. Is y smaller than q?
False
Let a = -0.0038 - -4.0038. Is a > 30?
False
Let k(g) = -13. Let b(s) = 1. Let w(m) = -36*b(m) - 4*k(m). Let z(a) = -a - 47. Let p(u) = -8*w(u) - 3*z(u). Let j be p(-10). Do j and 1 have the same value?
False
Let c = 9442/21 - 114517/210. Are c and -96 non-equal?
True
Let y = 404 + -386. Let u(q) = 16*q - 405. Let w be u(y). Is w >= -235/2?
True
Let u = -503/2044 + -2/511. Suppose -5*q + 4*x = -28, q + q + 5*x = -2. Let r = -1 - q. Is u greater than r?
True
Let k = 29839857/109327 + -4640/17. Which is smaller: 1 or k?
k
Let m(s) = -s**2 - 15*s - 45. Let k be m(-9). Suppose y - 1984 = k*y. Is y >= -248?
True
Let y = -11 + -2. Let a = 0.769 - -0.031. Let u = 0.6 - a. Is u at most as big as y?
False
Let t(g) = -2*g**3 - 9*g**2 + 3*g + 33. Let a be t(-4). Suppose 25 = -3*b - a*v, -4*v - 15 = -3*b + 5. Is b equal to 2/541?
False
Suppose 0 = -2*p + 3*x + 410, -2*x = 22*p - 18*p - 820. Is p < 2855/14?
False
Let v = -2.7 - -2.6. Let t = -56.66 + 1.66. Which is smaller: v or t?
t
Suppose -56*c + 1307977 + 5931 = 30*c. Is c greater than or equal to 15277?
True
Let k be 28/(-49) + (-64)/(-112). Which is greater: k or -2/6853?
k
Let p(y) = -3*y + 1. Let r be p(4). Let g(t) = 6*t + 65. Let a be g(r). Which is smaller: a or 1/528?
a
Let r be (-14)/8*(31 + -47). Which is smaller: r or 921/32?
r
Let w be 6/(-27) + 6422*1/28656. Which is smaller: w or 0?
0
Let d = 23.8416 - -0.1584. Let a = 33.9 + -32. Let h = a - 2. Which is bigger: h or d?
d
Let r be (132/(-220) - (-47)/45)*4/202. Which is smaller: 1 or r?
r
Let v be -1*5 - 10164/(-26). Let b = v + -385. Is 2 > b?
True
Let w be (-6)/(-38)*(1064/(-48))/19. Let u = 1231 + -1231. Which is smaller: w or u?
w
Let b = 492 - 483. Is b < 226/25?
True
Let m = -0.1268 - -46.7768. Let u = 3.55 - m. Let p = u + 43. Which is greater: p or 0.12?
0.12
Let y be 24/16*(-20680)/(-30). Let k = y - 1015. Let l = -31 + 48. Is k bigger than l?
True
Suppose 161*x + 1 - 110 = 258*x + 279. Suppose 0 = 4*n - 4*p + 5 - 13, -2*n = 2*p - 20. Suppose 0 = -3*z + 2*z + n. Which is smaller: z or x?
x
Let h(c) = -7*c - 2. Let y be h(-1). Let x be 4 + (-4)/4 + y. Suppose -l = -10*s + 11*s - x, l = 5*s + 26. Is 7 <= l?
True
Let u be 2/2*-1 + 6. Suppose 2*x - 2*q = q + 17, -u*q = -2*x + 15. Let j(d) = -d**2 - 1988*d - 72176. Let l be j(-37). Does l = x?
False
Let h = 16.619 + 0.381. Let y = -3 - -15. Let j = h - y. Is 0.2 at most j?
True
Let u = 853 + -854.3. Do 1/6 and u have different values?
True
Let x be 13/(-1)*(79 - 78) - 11. Let u be (276/11)/(6/(-6)). Is x at least as big as u?
True
Let m(q) = -277*q**3 - 2*q**2 + 11*q + 14. Let n be m(-1). Is n <= 281?
True
Suppose -11746 = 61*c - 145031. Is 2185 smaller than c?
False
Let b = 40 - -19. Suppose w = -2*x + b, -3*w - 4*x + 129 = -42. Let i = -53 + w. Is i greater than -10/11?
True
Let l = 135 - 296. Let n = l + 99. Let o = -47 - n. Is 15 greater than o?
False
Let i be (-1 - -2)*(-4 + 23).