*2 + 26*g + 3. Let m(z) = -5*z**2 + 17*z + 2. Let k(r) = 3*m(r) - 2*p(r). Let x be (2*(2 - 3))/2. Let y be k(x). Is 23 >= y?
True
Let v = -11 + 6. Suppose -2*q + 383 = -k, -5*k + 8*k + 1158 = -3*q. Let d = k - -380. Does d = v?
True
Suppose f - 21 = -j - 0*f, 0 = 5*f - 25. Let g be (j - 6)*6/(-4). Suppose 17 + 5 = -4*o + 2*y, -4*o - y = 7. Is o smaller than g?
False
Let c be (12/36)/(2/(-30)). Let i be ((-3 - -9) + c)/((-4)/2). Which is smaller: 0.03 or i?
i
Let u be 7/(112/(-8))*-4. Let q be (1*(-20)/15)/(u/321). Which is smaller: -211 or q?
q
Let x = -1144.9 - -1212. Let s = x - 74.1. Which is smaller: s or 19?
s
Let j be 3*((-68)/(-42) - 2). Let b = -81017 + 81017.03. Which is bigger: j or b?
b
Let j be 50/(-3 + -5 - -10). Which is smaller: j or 23?
23
Let s be 4701/429 - (10 + 1). Are -1 and s non-equal?
True
Let b = -292 + 295. Suppose -b*h - 3*z + 108 = 0, -2*z = 14*h - 17*h + 128. Is h < 34?
False
Let u = -284785/102 + 2792. Is 0 at least as big as u?
True
Let b be -1193*(4 - 3) + (6 - 18/(-9)). Is b <= -1187?
False
Suppose -2904*t + 2893*t + 7777 = 0. Is 707 smaller than t?
False
Let x be (5/(-4))/(7/140). Suppose 44 + 16 = -2*z. Let j = z + 6. Are j and x nonequal?
True
Let u = -368 - -490. Let m = u + -857/7. Which is greater: -1 or m?
m
Let z(l) = -l + 26. Let c be (-1)/(-3 + 80/25). Let y be 42*(c - 64/(-12)). Let d be z(y). Which is bigger: 9 or d?
d
Let j = 26730 - 26730.5. Which is bigger: j or 0.261?
0.261
Let u be 2 + 12/(-14) + -1. Let x(k) = k + 29. Let b be x(-29). Let c be ((-2 - b) + 6)*1/(-4). Is u equal to c?
False
Let w(p) = 136*p**2 + 159*p - 621. Let a be w(4). Is a > 2190?
True
Let q be 148/10*(-685)/1268 - (-8)/1. Are -2/3 and q non-equal?
True
Let c = -99 - -2566. Let u = c - 244231/99. Is u greater than -1?
True
Let n be ((-12)/(-32))/((-19)/((-519384)/36)). Which is smaller: 285 or n?
n
Suppose 3 = 10*x - 217. Let d = x - 23. Is 1/170 equal to d?
False
Let j = 9524 + -6202. Is -2 != j?
True
Suppose 5*q - 220948 = q - 220396. Which is smaller: 84 or q?
84
Let p = 418689/149 - 2810. Which is smaller: p or -0.7?
-0.7
Let b = 3.02 - 17.92. Let y = -15 - b. Let c = 35.8 - 36. Are c and y unequal?
True
Let x(i) = i**3 + 8*i**2 - 2*i - 6. Suppose -4*u - 42 = 5*l, 3*l + 2*l = -10. Let o be x(u). Let g be (5/o*-3)/(2*1). Do g and -1 have different values?
True
Let p = 47909266098/473 + -101288178. Let r = p - -980/11. Is r not equal to -1?
True
Let x = 6220 - 56468/9. Do -55 and x have different values?
True
Let j = 11958 - 11938. Does 22 = j?
False
Let x = -70911/314 - -130078043/574306. Let i = x - 24/59. Which is smaller: 0 or i?
0
Let k(w) = 4*w + 27. Let m be k(-8). Let n = 15 - 100. Let r = n - -569/7. Which is greater: r or m?
r
Let d be 147 + (-12)/(13/13). Suppose -135 = -2*z + z. Do z and d have the same value?
True
Let o(l) = -l**3 + 6*l**2 - 5*l - 1. Suppose -4*j - 302 + 70 = 4*r, -176 = 3*r + 4*j. Let w = -51 - r. Let i be o(w). Which is smaller: i or 0?
i
Suppose -5*u + 525 = 2*o, 2*o + 299 = 3*u - 0*u. Let t(a) = 2102*a + 88285. Let c be t(-42). Which is smaller: u or c?
c
Let a = 0.035 - 0.035. Let l = -1.3 - -1.5. Let w = a - l. Which is bigger: w or 0.07?
0.07
Let y be ((-300)/(-130))/(-15) - (3/3 - 1). Are 375 and y nonequal?
True
Let l be (2 - 3)/(3/26). Suppose -81*r = -84*r + 1890. Suppose 0 = -6*p + 570 - r. Which is smaller: l or p?
p
Suppose -5*h + 42 = -3*w, 0*h - 4 = -2*h - 2*w. Let y be 2628/(-7776) - h/(-16). Which is bigger: -2 or y?
y
Let c(m) = -m**2 - 19*m + 4. Let x be c(-19). Suppose 2*v = 4*k - 384, -x*v = 3*k + 2*k + 703. Is v at least as big as 1?
False
Let b be ((-5)/(-20))/((-41)/123). Suppose 0 = -0*f + 5*f - 105. Which is greater: f or b?
f
Let i(h) = -h**3 + 7*h**2 + 4*h + 3. Let o be i(7). Let t = o + -50. Let d(q) = q**2 + 17*q - 1. Let g be d(t). Is 37 equal to g?
True
Let k = -67 + 65. Let v = 26 - k. Let b = 28.2 - v. Which is bigger: -1 or b?
b
Let x be -2 - (-18)/8 - 2. Let m = -14.923 - -17.923. Which is bigger: x or m?
m
Let g be (3 - 9/6)*10. Let z = -17 + g. Let s be (24/(-20))/((-4)/10) + 4. Do s and z have different values?
True
Let o = -161 - -160.6. Are -0.053 and o nonequal?
True
Suppose -3*u + 9 = -3*k - 2*k, -5*u = 3*k - 15. Suppose -53 + 10 = -4*v + a, -4*v - 2*a + 46 = k. Which is bigger: v or -2?
v
Let f be 558/66 - (-12)/(-3). Let t be ((-3)/11)/(21/(-140)) + 1. Let i = t - f. Is i less than or equal to -2?
False
Let q = 68 + -40. Let t(x) = -5*x + 25. Let f be t(6). Let m(j) = -j**3 - 2*j**2 + 10*j + 4. Let z be m(f). Is z > q?
True
Let b be (-8)/1294*((-73)/438 + (-4)/(-15)). Is -1 greater than or equal to b?
False
Suppose 0 = 31*q - 38*q. Suppose q = -m + j - 4, -15*m = -16*m + 5*j - 16. Which is bigger: -1/142 or m?
-1/142
Let f be 0 + -5 - (-26 - (-34879)/52). Is f >= -649?
False
Let v = -3.253 + 4.253. Let b be 1 - 1*(-66)/45. Let j = 3/10 - b. Which is smaller: j or v?
j
Let s = 3.83 + -317.83. Let m = -209.2 - s. Let j = 105 - m. Is j less than -9/5?
False
Suppose -55*l - 74*l + 138 - 525 = 0. Which is greater: -210/113 or l?
-210/113
Let x = 6.204 - 6.326. Are x and -0.15 equal?
False
Let w = -26683/130 + -711/26. Let k = w - -239. Do k and 7 have the same value?
False
Let n be (-1061)/639 - (28 - 445/15). Which is smaller: n or 0?
0
Let g(l) be the second derivative of l**5/20 + 3*l**4/2 - 10*l**3/3 - 9*l**2 - 2*l + 11. Let s be g(-19). Are 1/89 and s nonequal?
True
Let a = 0.18373 - 0.18595. Which is bigger: -2/3 or a?
a
Suppose -i + 59*z - 60*z = -5, 2*z = i - 14. Let c be (4/6)/(2/(-3)). Is i less than or equal to c?
False
Let d = -3 - -2. Let g = -122.931 + -0.069. Let i = g + 122.4. Do i and d have the same value?
False
Let j = 2275.9 - 2276. Is 0.01725 < j?
False
Let z(k) = 1. Let j(f) = -5*f**2 - 6. Let i(l) = -j(l) - 4*z(l). Let g be i(2). Suppose -2*d - 111 = -5*a + 2*d, 2*d = -5*a + 117. Is g at most a?
True
Let w(j) = 6*j**2 - 2*j + 6. Let m be w(0). Suppose 17*y - 11*y = m. Let p = -1/80 - 67/1040. Which is greater: p or y?
y
Let j be (-183)/793*(-1)/54. Which is bigger: 1 or j?
1
Let o = -1054 - -1087. Let y(a) = -a**2 - 31*a + 52. Let x be y(-32). Is x less than o?
True
Let b = 2759 + -1087. Is 1670 <= b?
True
Let h(x) be the first derivative of 9*x**2/2 - 242*x - 133. Let s be h(27). Is s at most as big as 1/628?
False
Suppose 3*g - a = -3*a + 17, -2*a = 4*g - 22. Suppose l - 19 = -u, 0 = 2*u - g*u - 5*l + 55. Which is greater: -4 or u?
u
Let k = -5896 + 1385. Is -4509 at least as big as k?
True
Let h = -5182 - -5183. Is h greater than -943/2?
True
Let y(g) = g - 1. Let p be y(2). Suppose -19*k = 657 + 2041. Let z be (146/k - p) + 2. Which is smaller: z or 1?
z
Let a(g) = 107*g + 84*g**2 - 82*g**2 - 7 - 108*g. Suppose 5*z - 4 = 6. Let t be a(z). Is t at least 13/8?
False
Suppose -130 = 5*l + 45. Let c = l - -41. Let t be (4/12)/((-2)/c). Is -3 at least t?
False
Let u(r) = -r**3 - 85*r**2 - 81*r + 252. Let h be u(-84). Which is smaller: h or -7/430?
-7/430
Suppose -58 = 6*n + 25*n - 89. Let y be ((-2)/(-82))/((-4)/8). Which is smaller: n or y?
y
Let o = 2353 + -1373.9. Let u = 1097 - o. Let b = -118 + u. Which is bigger: 5 or b?
5
Suppose 3*w - 5*w + 44 = 3*d, -2*w = -3*d + 28. Suppose d*y + 10 = 10*y. Let t(q) = q**3 + 5*q**2 - q - 16. Let c be t(y). Is c at most as big as -8?
True
Let u be (81716/295461)/((-2)/3) - (-10)/45. Is 1 at most as big as u?
False
Let p be 2/(-4) + 257/(-2). Let i(j) = 3*j**2 - 227*j - 4080. Let v be i(-15). Which is greater: v or p?
v
Let y be ((-114)/(-24))/((-1)/(-4)). Suppose -4*p + 3*u + 76 = 0, 5*u + 76 = 353*p - 349*p. Is y <= p?
True
Let b be (-41)/((-451)/(-143066)) - 2*3/2. Is -13011 less than b?
True
Let b(u) = -87*u + 854. Let p be b(9). Are p and 1119/16 unequal?
True
Suppose i = -v + 435, v - 431 = 7*i - 4*i. Let s = v - 154. Is 0 at least as big as s?
False
Suppose 3*z + 3*c - 18 = 0, -2*c = -0*c - 8. Let m be 6/z + 14 + 447. Let u = m - 7890/17. Is 0 <= u?
False
Suppose -37*v + 3144 + 5357 = 1804. Is 185 at most v?
False
Let f(h) = 238*h + 3. Let n be f(-6). Let t be -6*(-4 - 5710/n). Is 1 less than t?
False
Suppose -2*v + 2*t + 1328 = 0, 2*v = 4*v - t - 1328. Which is smaller: 663 or v?
663
Let i = 245 + -174. Let p be (-12557)/(-174) - 5/6. Is i at least as big as p?
False
Suppose -1