). Let p = z - 27. Let v be (-2)/3*(-3)/(-42). Is p <= v?
True
Let m = -5557 + 5591. Which is smaller: m or -13?
-13
Suppose 19882 = -3*g - 24*g - 9602. Which is smaller: 12 or g?
g
Let u be (5/2*-6)/((-21114)/(-612)). Suppose -i + 0*j - j - 1 = 0, 0 = -i - 4*j - 1. Which is bigger: u or i?
u
Suppose 0 = 3*v + 18 - 24. Suppose 0 = g - 19 - v. Is 18 greater than g?
False
Let z be -6 + ((-25220)/(-78))/((-6)/9). Which is bigger: -489 or z?
-489
Let u be 14/10 + (-2)/5. Let x be (18/5)/((-1742)/335). Let s = x - -492/767. Is s at least u?
False
Let t = 4.747 - -1.253. Does 5 = t?
False
Suppose 2*m - 332 = 16*m - 402. Which is greater: -621 or m?
m
Let n = -11 - 2. Suppose 0 = 15*d + 22*d - 2*d + 385. Which is smaller: d or n?
n
Let y(p) = 3*p + 7. Let k(g) = -g + 16. Let h be k(11). Suppose -h = 5*j + 3*i, -2*j = -0*j - 4*i + 2. Let d be y(j). Which is greater: 6 or d?
6
Let b be -1 + 1 - (-7)/4. Let m = -583 + 360. Let l = 225 + m. Is l at most b?
False
Let x be (12/(-8))/(((-88)/3504)/(-11)). Is x > -657?
False
Let o = -560 + 635. Let g = -193 + 270. Is o less than g?
True
Let w = -16.65 - 0.35. Let s = 241 + -370. Let v = -127 - s. Which is greater: w or v?
v
Let l be 1/1 - -1 - (-16 + 2). Suppose -3*g + 4*r = 1, 4*r - l = g - 13. Is 0.074 not equal to g?
True
Let y be (8/(-74))/(7 + -6 + -3). Suppose 9 = -k + 2*h - 4*h, 3 = k - h. Does y = k?
False
Let u be (-1)/1*53*1. Let s(w) = -w**3 + 18*w**2 - 11*w - 12. Let d be s(15). Suppose 504*c = d*c - 318. Do c and u have the same value?
True
Let y = -4705 - -4709. Which is bigger: y or 49?
49
Let v(b) = b + 6. Let t be v(-3). Suppose 0 = w - 2*h - 42, -t*w - 6*h = -h - 159. Let g be (-36)/w*2/3. Is g greater than or equal to -1/5?
False
Let w = 154 - 151. Suppose -4*q = 3*o - 133, w*q + q - 2*o = 158. Let v = -38 - -74. Which is smaller: q or v?
v
Suppose -4*q = 15*q - 6*q. Is q less than or equal to 13/97?
True
Let b be 0/(11 + -24)*(0 + -1). Let l = -40977/43 + 953. Which is smaller: l or b?
b
Let d = -20 + 31. Suppose -3*a - p + 0*p = 76, a - 5*p + 52 = 0. Let r = a + 38. Is r <= d?
True
Suppose 249*p = -63*p + 8112. Are p and 184/7 non-equal?
True
Let i = 0.00879 + 0.09121. Is i != 144/43?
True
Suppose -z + 4824 = 4687. Which is smaller: 9 or z?
9
Let m = -10252 + 10348. Is 15 at least as big as m?
False
Suppose -2*x + 226 + 84 = 0. Let z be (-3)/5 - 62/x. Let y be 2 - 3/(3/7). Is y <= z?
True
Let r = 125 + -125. Suppose -u = 3*b, 0*u - 5*u + 5*b + 20 = r. Which is greater: u or 7?
7
Let l = 7/214 - -2723/8346. Is l < 0?
False
Suppose 12*d - 15*d = -579. Suppose 3*u - g + d = -5*g, -5*u + 5*g = 275. Is 1 < u?
False
Let o = -51457 + 51468. Suppose 31 + 59 = -5*q. Let a = -7 - q. Is o < a?
False
Let a(s) = -58*s + 1212. Let p be a(21). Let g = -24 + 16. Is p less than g?
False
Let p be ((-124)/(-17))/((1/2)/((-19)/(-1292))). Which is smaller: p or 1?
p
Let s = 1497 + -1525. Which is smaller: s or -10?
s
Let f be 44/2 - -5*(-8)/20. Let x be (-6 - -7)/((-1)/f). Which is smaller: -21 or x?
-21
Let u = -7390 + 7002. Is -396 != u?
True
Let y(k) = k**3 + 4*k**2 + 5*k + 8. Suppose 2*a + 4*n = 2 - 26, -n + 16 = -5*a. Let w be y(a). Is w >= -12?
True
Suppose -123480 = -719*f + 656*f. Which is smaller: f or 1961?
f
Let k = 105 - 77. Let v be k/(-56)*((-8)/(-246) - 0). Is v smaller than -1?
False
Let j be -2 + 45 - (-16 - -21). Suppose -6*w + 3*a + 157 = -2*w, -5*w = 5*a - 170. Is w greater than or equal to j?
False
Suppose 2*w + 8 = 0, -3*r + 85*w = 88*w + 2118. Which is greater: r or -703?
r
Suppose -178*n - 820 = -512214. Is n smaller than 2873?
False
Let y = 1002.1 - 1002. Let j be (-2)/(-4) - 52/8. Let x = j + 3/2. Does x = y?
False
Suppose 0 = -12*r + 10*r. Let o be (-4)/360*(26 - 28). Which is smaller: r or o?
r
Let d = 6928 + -7632. Which is smaller: d or -697?
d
Let n = 8 - 56. Suppose 2*a = 3*d - 43, 0 = 35*d - 31*d - 4. Let o be ((-45)/a)/(9/n). Is o less than or equal to -13?
False
Suppose c + 389 - 400 = 5*i, 2*c - 7 = -5*i. Is -4/1407 less than or equal to i?
False
Let c = 249 + -222. Let p(x) = -x**3 + 30*x**2 - 78*x - 30. Let q be p(c). Is 2 < q?
True
Let w be 805/1694 - -2*2/(-24). Let x = w - -3/121. Let q = 0.2 + 0.2. Is q at most x?
False
Suppose a = -5*y - 2*a - 55, -5*a = -3*y + 1. Suppose 0 = -2*g + 6*g. Suppose -u = -g*u + 8. Is y less than u?
False
Suppose 7*d + 174 = -918. Let q = 157 + d. Which is greater: q or 9/28?
q
Let t be (-1 - -3) + 5 + (-4900)/25. Which is greater: -195 or t?
t
Let r(z) = z**2 + 36*z + 82. Let x(u) = -28*u**2 + 6*u - 2. Let k be x(-1). Let t be r(k). Do t and 84 have the same value?
False
Let r(b) = -b**2 - 6*b - 13. Let a be r(-4). Let u = -6 - a. Let s be -4 - 3/u - 1. Is s at least -3?
True
Let g = -25921 + 751494/29. Which is greater: -6 or g?
-6
Suppose 25*k - 27*k = -4*g + 14, k + 2*g = 5. Are k and 2/9181 nonequal?
True
Let z be (-12100)/3300 - 2*-2. Which is smaller: z or -7479?
-7479
Let g = 42.4 + 40.2. Let t = -187 - -105. Let y = g + t. Which is smaller: -2 or y?
-2
Let z = 11573 - 11368. Are 179 and z unequal?
True
Let m(t) = -4*t - 10. Let c(b) = b - 1. Let i(n) = c(n) + m(n). Let v = -2900 - -2898. Let f be i(v). Are f and -50/9 non-equal?
True
Let w(z) be the first derivative of -29*z**2/2 - 140*z + 47. Let b be w(-7). Is b greater than 63?
False
Let d = 2175 + -1508. Let x be (2 - 0) + d/1. Let h = -4708/7 + x. Which is bigger: -4 or h?
h
Let f = 162.375 - 156.375. Let z = 1 - 0.6. Which is smaller: z or f?
z
Let w be 63 - 2*5/5. Let n = w + -56. Suppose -2*x + 3*a = x + 27, -n*x - 40 = -4*a. Which is bigger: x or -6?
x
Suppose 0 = -4*g - 2*o + 1198, 6*g = 4*g - 2*o + 596. Let p = g + -300. Are 17/27 and p unequal?
True
Let g be (4196/40 - 2) + (-1)/(-10). Which is greater: 508/5 or g?
g
Let f = -51 - -30. Let p(w) = 2*w + 6. Let k be p(-3). Suppose k = 2*r - 106 + 148. Is r > f?
False
Let d be (-6)/(-1) + 17 + -19. Suppose 4*c - 92 = 5*p, -5*p = -c - d*c + 120. Is c bigger than 27?
True
Let z be -8 + -6*((-12)/(-9) + -1). Suppose 0 = -3*d + 6*d + 3. Let a = -8 - d. Which is bigger: a or z?
a
Let s = -24 - -30. Let k be 36/(-60) + s/10. Suppose -4*u - 40 + 48 = k. Is u at least as big as 2?
True
Let w(k) = 4*k**2 + 6*k + 6. Let d be w(5). Let f = 1739 + -1604. Is f bigger than d?
False
Let z = -38879/9 - -4331. Let y be (14 + -156)*(-4 + 6). Let w = 295 + y. Is z at most as big as w?
False
Let h = -28946 - -28956. Suppose -2*d + 61 = -13. Suppose 5*n - d = 23. Is n at most h?
False
Let p = -1213 + 714. Let w = p + 1513/3. Is 6 at least as big as w?
True
Let s be (5 - -4) + -5 + 4/4. Let y(p) = -2*p**3 - 19*p**2 - 11*p - 13. Let b be y(-9). Does s = b?
True
Let q = 612 - 255. Let o = q - 356. Which is greater: -1/166 or o?
o
Let h(j) = j + 29. Let w be h(-14). Let l(a) = 9*a + 1. Let t(u) = -2*u. Let v(c) = -2*l(c) - 14*t(c). Let m be v(2). Which is bigger: m or w?
m
Let i be (16784/(-4172) - -4)/(1/(-7)). Is i >= 1?
False
Let h = 14819 - 14832. Is h >= -30?
True
Let b(r) = -r**3 - 22*r**2 + 13*r - 47. Let q be b(-17). Are -2 and q equal?
False
Suppose 4*a + a - 5*c = 2275, 5*a + 4*c - 2248 = 0. Let k = a - 4978/11. Which is smaller: -26 or k?
-26
Let z = -12174 - -10912. Which is smaller: z or 3?
z
Let r(n) = -n**2 - n + 3. Let y be r(2). Let s = -907 - -906. Is y less than or equal to s?
True
Let n be 17/(-15) + 218/1635. Let d = -17210 - -3011758/175. Which is greater: n or d?
d
Let z be (4/(-55))/(26/2405). Let g = 6460/957 + z. Is 1 < g?
False
Let u = -477018413/98350 - 5050/1967. Let f = u - -4853. Do f and 0 have the same value?
False
Let t = 63 - 62.918. Let p = t - 0.072. Let q = p - -12.99. Which is smaller: -0.4 or q?
-0.4
Let x(a) = -a - 24. Let c be x(11). Let p = c - -36. Let h be ((p/(-3))/1)/(179/6). Is h at least -1?
True
Let d = -55 + 35. Let l be 9 + (-14025)/450 + (-3)/18*-1. Do d and l have different values?
True
Suppose 0 = 4*f - 4*i - 880, -5*i = -83*f + 79*f + 879. Which is greater: 665/3 or f?
665/3
Let h be 39/(-23)*50/(-75). Suppose 107*k = 60 + 154. Which is smaller: h or k?
h
Suppose -w - g = -4*g + 81, 4*g = -5*w - 405. Let i = w + 255. Let u = i - 95. Is u equal to 79?
True
Let u(y) be the second derivative of -y**5/20 - 7*y**4/6 - 4*y**3/3 + 26*y**2 - 2*y - 27. Let a be u(-13). Which is smaller: a or -