*o = 14*o - 10. Let l be (16/(-4) + 4)*o/2. Suppose l = 3*q - 7*q - 20. Is -3 <= q?
False
Suppose 7*i - 16 = 11*i. Let o be 1/(((-12)/i)/(-12)). Is o at most as big as -23/5?
False
Let w = 1805.94 - -425.06. Are -4/5 and w unequal?
True
Let i = -72.7 + 72.472. Which is bigger: i or -1?
i
Suppose j - n = 4, -n + 4 = -j - 2*n. Let i be ((-6)/5)/((-252)/(-189)). Is i equal to j?
False
Suppose 151*k = -34397 - 80061. Which is smaller: -760 or k?
-760
Let f = 2176246/11 - 197856. Let p = 32 - 48. Which is bigger: p or f?
f
Let y = -52 - -52.0473. Let z = -0.0527 - y. Do 80/7 and z have different values?
True
Let h(f) = 3*f**3 + 6*f**2 + 35*f - 7. Let d be h(6). Is 9596/9 >= d?
False
Let z be (-120)/200 - (-2994)/(-10). Let j = z + 72. Is j <= -229?
False
Let k(z) = -z**2 + 3*z + 13. Let q be k(5). Suppose 4*w + q*b + 345 = -2*b, -2*b = -5*w - 390. Is -80 less than or equal to w?
True
Let d = 275 + -273. Suppose 2*y + 4*c = 3*y, d*y = -3*c. Is -3/118 at most as big as y?
True
Suppose -54*o - 24760 = 27312 + 12512. Which is bigger: -1194 or o?
-1194
Let t be 3685/(-1273) - (-2 - (-160)/76). Is t greater than or equal to -114/73?
False
Let p = 3 - 2.2. Let c = -1.1 + p. Let k(t) = -11*t**2 + 4714*t + 2168. Let i be k(429). Which is smaller: c or i?
c
Let l be 8/(-28) - 214393202/(-1102360). Let u = -1/15748 - l. Let x = 195 + u. Are x and 2 equal?
False
Let c be (-21)/(609/29)*(-1 + -27). Is -1/10 bigger than c?
False
Let b(u) = u**3 + 11*u**2 + 15*u + 14. Let s be b(-10). Let r = 34 + s. Let h be (0 - 1/r)*0. Which is smaller: -5/18 or h?
-5/18
Let r(g) = -g**3 - 10*g**2 - 14*g - 30. Let s be r(-9). Let u be -3 - (10/s)/(5/(-39)). Which is smaller: u or 3?
u
Let y = -11306 - -3199586/283. Is y smaller than -0.2?
False
Let v = 7017 - 5159. Which is smaller: -2 or v?
-2
Let x(a) = 3*a**3 + 21*a + 3004. Let r be x(0). Is r less than or equal to 3004?
True
Suppose -13*z + 10*z + 89778 = 3*k, 5*k - 149630 = z. Let q = 33307636/1113 - k. Is -1 less than or equal to q?
True
Let h be (-20)/(-6)*(-6)/5. Let v = -134 + 128. Let p(g) = g**3 + 8*g**2 + 13*g - 2. Let l be p(v). Which is bigger: h or l?
h
Let w = -11880 + 11884. Is -27.9 <= w?
True
Let d = 9977 - 9976. Which is bigger: -1/2833 or d?
d
Let t = 227 - 194. Suppose 0 = -t*l + 25*l - 296. Let c be (2 + -2)/(0 + 1). Which is smaller: l or c?
l
Let n = 0.0272 + 23.9728. Which is smaller: n or -1/133?
-1/133
Suppose -3*w + 9 = 3*m, -5*m - 92*w = -94*w + 6. Which is smaller: m or 1/1764?
m
Let v = -7603/1175 + 306/47. Suppose -r - 10 = 4*r. Which is smaller: r or v?
r
Suppose 5*j = x - 162, -7*j + 4 = x - 122. Which is smaller: x or 170?
x
Let b = -508 - 22. Let g = b + 370. Which is greater: g or -161?
g
Let t = -620 - -619.541. Let b = t + 0.059. Is -0.09 greater than or equal to b?
True
Let r = -189 - -38. Suppose w + 150 = -f - 0*f, 0 = -f + 2*w - 150. Which is greater: r or f?
f
Suppose -2*h + 5*o + 0 = 33, -2*h + 3*o = 39. Which is bigger: -9 or h?
-9
Let h = -217/6 + 221/6. Is h less than or equal to -68?
False
Let b(j) = j**3 - 30*j**2 + 58*j - 46. Let g be b(17). Is g bigger than -2816?
False
Let z = -22/3 - -35/6. Let i be -12 - (-2253)/195 - 2/13. Is z equal to i?
False
Let a(d) = d**3 + 13*d**2 + 18. Suppose 39 = -11*c + 8*c. Let q be a(c). Is q equal to 1?
False
Let i(p) = 9*p**2 - 2*p. Let a be i(2). Suppose -38*c - 24 + 181 - 81 = 0. Suppose -18*s = -c*s - a. Which is smaller: s or 7/3?
s
Suppose -6*y + y = 0, 5*t - y = -5. Let j = 8283 - 1242427/150. Let h = 1/75 + j. Is h < t?
False
Let n(u) = -5*u**2 + 9*u + 29. Let a be n(6). Do a and 9 have the same value?
False
Let n be 10/(-424)*(-64)/(-6)*6370/(-2275). Which is smaller: n or 1?
n
Let v be (1290/(-50) - -25) + 1/(-5). Is v smaller than -6/589?
True
Let c(w) = 15*w**2 - 27*w - 203. Let q be c(33). Which is greater: q or 15240?
q
Let g = 70 + -70. Suppose -16*l - 10 - 6 = g. Let w = -1730/13 - -133. Are l and w non-equal?
True
Suppose 8*b = 22 + 26. Suppose -b*l = -9*l - 861. Which is bigger: -288 or l?
l
Let x(f) = -24*f + 3. Let g be x(-2). Let b be ((-24)/9)/(-4*(-2)/(-156)). Which is smaller: b or g?
g
Let j be (-21702)/(-2115) - 420/3150. Which is bigger: 9 or j?
j
Let u = -0.133 + -73.867. Let j = u + 8. Let n = -64 - j. Is 1/3 smaller than n?
True
Let x be (-400)/(-60)*5/((-10)/12). Let s be 32/x*115/(-2)*1. Let y = s - -8. Is y at most 55?
True
Let r be (-4)/18 + (-2308)/(-18). Let d(i) = 11*i + 514. Let o be d(-35). Is o equal to r?
False
Let i = -6444568715/6 - -3802299219001/3540. Let s = i - 4155/4. Is s at least as big as -1?
True
Let k = -1616 + 1662. Let h = -22 - -100. Let l = h - k. Is l bigger than 32?
False
Suppose 0 = -12*a - 6*a - 234. Let y be 2/(-5) - 924/(-35). Let i = -41 + y. Which is smaller: i or a?
i
Let s = -21848 + 21952. Does 116 = s?
False
Let r(w) = w**3 + 6*w**2 - 3*w + 7. Let h be r(-7). Let b(c) = c + 26. Let d be b(h). Let s(j) = -2*j + 11. Let x be s(d). Is -2/37 at least x?
False
Let c = 0.006 + 5.994. Is 49 not equal to c?
True
Let y(t) = t + 12. Let m be y(-7). Let l = -383 + 470. Suppose -2*x + l = -u, m*x - 2*u - 225 = -6. Which is smaller: 44 or x?
44
Let m = -32/15 + 9/5. Let l = -43 - -40. Let n be (-1)/(3/l + 2)*0. Which is greater: m or n?
n
Let b = -38984 - -27674. Let a be b/(-2829) + (14 - 18). Which is bigger: a or 1?
1
Let w(a) be the first derivative of -a**3/3 + 5*a**2 + 76*a - 37. Let h be w(17). Is -41 not equal to h?
True
Suppose 0 = 2*t - 0*g - 4*g + 8, 0 = -2*t + 2*g - 4. Suppose -12*a + 12 + 0 = t. Which is smaller: a or -2/77?
-2/77
Suppose 3*r + 0*r - 4*h = 680, 4*h = -2*r + 440. Let i be r/63 - (0/2 - -4). Is i < -1?
False
Suppose -3*l + 22 = d + 3*d, -4*d = 5*l - 26. Let z be (-4)/10 + (-8)/(-20) + d. Suppose 20 = -5*s - 2*v, z*v + 16 = -4. Which is smaller: 2 or s?
s
Suppose -403*s + 32 = -202*s - 200*s. Which is bigger: s or 873/28?
s
Let s = -8665 - -251281/29. Which is smaller: s or -1?
-1
Let u(n) = -2*n**3 + 11*n**2 - 30*n + 216. Let z be u(6). Is -4/479 at most z?
True
Let c(a) = -10*a**3 + a**2 + 3*a - 3. Let p be c(2). Let b = p - -260. Let q = 391/2 - b. Which is smaller: 0.1 or q?
0.1
Suppose -4*j + 11*j = 91. Let o be (-2 - -10)/((-8)/(-32)). Suppose 0 = -5*s + 5*l + 37 + 13, 3*s = l + o. Which is bigger: s or j?
j
Suppose 3*v - 22 = -4*y, 3*y = 16 - 4. Suppose 0*n + 9 = 3*n. Suppose -v*q = -t + 10, -5*t + 11 = 2*q - n. Are -22/7 and q nonequal?
True
Let i(c) = -c**2 - 2*c + 95. Let w be i(-10). Let x be ((-2)/w)/((-11)/(-2)). Is -1 at least as big as x?
False
Suppose -4*y + 954 = 5*p, -4*y = 4*p - 1273 + 313. Is 252 at least as big as y?
True
Let a = 176 - 232. Let w be ((-1)/4)/(26/a). Is 0.1 > w?
False
Let q be 1/(-2) - (-178)/4. Let o = 28165 - 28166. Is o < q?
True
Let j be 1319/(-1748) - 18/(-24). Let m be -8 + 15 + (-27)/(810/200). Is j bigger than m?
False
Suppose -445*b = -432*b + 572. Which is bigger: -40 or b?
-40
Let f = -0.77 + 4.77. Let j = f + 80. Is j greater than or equal to -0.1?
True
Let q = 2181.5267 + -2182.4. Is q != -1?
True
Let p be 6 + (-11 - 273/(-11)). Which is bigger: p or 20?
20
Let y(p) = -20*p**2 - p. Let s be y(2). Suppose -7*l + 220 = -12*l. Let o = s - l. Is o at most -38?
True
Let k be (-15)/(-2)*(-68)/(-85). Let o = 68 - 68. Let i be -2 + (o + -1)*-13. Is k less than i?
True
Let n = 21048 + -21053. Is 742 bigger than n?
True
Let h(n) = -n**3 - 20*n**2 - 20*n - 28. Let m be h(-19). Let y be (((-4)/3)/4)/(m/(-2286)). Which is greater: -84 or y?
-84
Let s = -140.7 - -154. Let h = s + -70.3. Which is smaller: -1 or h?
h
Let c(h) = -h**2 - 14*h - 18. Let l be c(-13). Let d(v) = -v**3 - 4*v**2 + 6*v + 8. Let b be d(l). Suppose -b*f - 13 - 5 = 0. Which is bigger: f or -9?
f
Let r be 1/(363/(-6)) - 0. Let l(v) = -v - 2. Let s(d) = 4*d + 9. Let b(g) = -6*l(g) - s(g). Let u be b(-2). Is u <= r?
True
Let a = 0.8 + 3.8. Let i = a + -4.52. Let n = i - 1.08. Is n smaller than -12?
False
Suppose -2*w - 24 = 5*x, -w - 32*x - 6 = -31*x. Let k = -7/9 + 10/9. Is w < k?
True
Suppose -88011 + 9576 = 189*g. Which is smaller: g or 0?
g
Let u be (3/2)/(12/(-112)). Suppose 10 = 2*g - 22. Suppose -6*t = -g*t - 120. Do u and t have the same value?
False
Let x = -1800637/331 - -5440. Let r = x - -933/6620. Let o be (-1)/(-2) + (-1)/(-2). Is o less