*i - 15*k + 26. Which is greater: i or -3?
i
Let a be -18*(-10)/825 - (-2)/11. Let l = -3 + 3. Suppose c + i = 2*i + 6, l = -4*c + i + 9. Is a less than c?
True
Let u be -668*(34/8 + -4). Suppose 7*m - 4*b + 182 = 6*m, 4*b = -5*m - 814. Is u > m?
False
Let r = -0.709 - -444.009. Which is smaller: -0.1 or r?
-0.1
Suppose v = 4*s + 3, -3*v + 2*s = 3*s + 43. Let d = v + 11. Let g be 9/(-6) + d - -4. Is g at most as big as -1.8?
False
Let b be (-2)/19 + (-45)/(70110/6676). Which is smaller: -5 or b?
-5
Let o = -245/24 + 21949/2136. Do 0 and o have different values?
True
Suppose 300*f + 14 = 296*f - 3*n, 2*f = -4*n - 22. Which is greater: f or 17/47?
f
Suppose 11*b = -117*b - 43*b - 22914. Which is greater: -114 or b?
-114
Let d(x) = -56*x + 73. Let i be d(8). Let f = i + 4116/11. Let t be (3/2)/3*0. Does t = f?
False
Let d be 108*(11/6)/((33 + -5)/1568). Does 11088 = d?
True
Let p = -0.3521 + 0.3721. Is 5/56 less than or equal to p?
False
Suppose -2*l - 14 = -8. Let b be 2/27*l + 100/18. Let c = -29/6 + b. Which is greater: c or -1/6?
c
Let o be (30 + -31)*1*59. Let h = o - -61. Suppose h*y - f + 0*f = -12, 4*y + 5*f = 4. Which is bigger: y or -9?
y
Let k(x) = 2*x**2 - 6*x - 7. Let q be k(4). Let l = 73/9 + -1393/171. Is l less than q?
True
Let t = 2.99 - 3.342. Let p = t - -0.409. Do 0 and p have the same value?
False
Suppose -2*r + 18 = -6. Suppose 5*c = 11*c + r. Is 7.4 at most as big as c?
False
Suppose -5*b + 18*d - 19*d = -4923, 4*b = 3*d + 3946. Which is greater: b or 2951/3?
b
Let b(o) = 6*o**3 - o + 2. Let s be b(2). Suppose 165 = -709*f + 698*f. Let x = f + s. Is 34 >= x?
True
Let r be 6215*(-20)/(-7250) - (-12)/10. Which is bigger: r or 17?
r
Let j(m) = -4*m - 42. Let h(s) = -10*s + 220. Let y be h(23). Let f be j(y). Which is smaller: f or 88/7?
f
Let h = -4190 + 4191. Do 7/326 and h have different values?
True
Let v = 23.42 - -0.58. Let p = 40 - v. Let t = p + -15. Do t and 1 have the same value?
True
Let v be (-3134)/7 + (-4)/14. Suppose -20*i = -110*i - 20176 - 20234. Which is greater: v or i?
v
Let n be -2 - 305 - (2 - -1). Suppose -2*x = -4*j - 0*j - 642 - 594, 4*x = 0. Which is bigger: j or n?
j
Let u = 922/87 - 288/29. Do -764 and u have the same value?
False
Let l be 105/(-70) + (-81)/(-2). Let j be (-3)/78*-4 + (-4647)/l. Which is smaller: j or -120?
-120
Let g = -27.7 - -29.7. Which is smaller: g or -36/139?
-36/139
Let b be (25848/(-1944))/(2/(-3)). Do 19 and b have the same value?
False
Let l be (-174200)/(-195) - 1*2/6. Is l <= -3?
False
Let f = -143785/28993 + 392/79. Suppose 0 = 3*h - h. Is f greater than h?
True
Let i = -6487261/278 - -46671/2. Let g be 1 + -2*1 + 1. Which is smaller: i or g?
g
Let c = 36 + -10. Suppose c + 10 = -3*q. Let j be 6/8 + (-51)/q. Which is greater: 21/5 or j?
j
Suppose 915*r - 922*r = 301. Is r <= -30?
True
Suppose 0 = 22*t + 27*t - 8624. Suppose 7*q - 825 = t. Which is smaller: q or 144?
q
Suppose -4*d - 5*l - 3 = 0, 2*l = 3*l - 5. Let z = d - 26. Let x be (-1270)/40 + 27/(-108). Which is smaller: z or x?
z
Let q be (352/(-59))/1 + 42 + -36. Suppose 4*b = 2*r - 6, -2*b + 15 = 5*r + 3*b. Suppose n - r*d = -13, 5*d = 3*n + 27 - 4. Which is smaller: n or q?
n
Let c = 0.32 + 2.28. Let d = 3.5 - c. Let p = -0.9 + d. Is -88 at least p?
False
Let l(h) = h**2 + h + 1. Let o be l(-3). Suppose -o*m - 8 = -1. Let n be (-1 - m)/(4 + -5). Is n < 1/69?
True
Let u = 29560 - 206919/7. Which is bigger: 0.062 or u?
u
Let y be (-173308)/(-111) - ((-1)/3 + 28/(-6)). Is y greater than or equal to 1565?
True
Let v be (-588)/(-2608)*34/(-204). Let p = -5170688/489 + 10574. Let j = p + v. Which is smaller: j or -1/2?
-1/2
Let n = -10 + 14. Suppose 0 = 3*c - 233 - 247. Let j = -153 + c. Is n not equal to j?
True
Let o(a) = -9*a - 1439. Let x be o(9). Is x greater than -1522?
True
Let s = 424 + -292. Let f = -129 + s. Do 5/4 and f have the same value?
False
Let m = 34 + -33.61. Let d = 10878 - 10878.03. Which is greater: m or d?
m
Suppose 3*i - 3 = 0, 4*q + 2*i - i = -47. Let j(v) = -5*v**2 - 90*v - 88. Let p be j(-17). Let h = q - p. Is h > -1?
False
Suppose -22*d + 75782 = -8*d. Let t = d - 2240981/414. Is t less than 2/13?
True
Let b = -0.1 - -4.1. Let t = -1102 - -1101. Let c = b + t. Which is bigger: c or -14?
c
Suppose -5*c + 0*d + 739 = 4*d, 0 = -5*c + d + 759. Let f be ((-5)/(-35))/(2/(-2110)). Let y = f + c. Which is bigger: -0.05 or y?
y
Let b be -1 - 4 - 8/(-2). Let f = 63.9 + 13.1. Let r = f - 75. Are b and r equal?
False
Let d(p) = p - 6. Let j be 6/30*40/(-8). Let z be d(j). Which is smaller: 3 or z?
z
Let y = -42 - -31. Let x be (y - -5 - -2)*(-22)/4. Let d = 87/4 - x. Is d greater than 1?
False
Let t be 600/(-280)*((-8)/(-20))/((-4)/140). Let u = 6090 - 30298/5. Which is bigger: u or t?
u
Let b = 10/111 + -649/222. Suppose 6 + 8 = -7*g. Is b at most g?
True
Let x(k) = -k**2 - 18*k - 6. Let w be x(-17). Let z(t) = 7*t**2 - 78*t - 22. Let c be z(w). Which is bigger: -1/3 or c?
-1/3
Suppose -3*s - 249*w + 57 = -254*w, 4*w = s - 40. Is s at most 176/59?
False
Suppose 2*t - 5*w = -24 + 10, -20 = -5*w. Let f be (-3)/2*(-2 + 72/(-27)). Let k be (-7)/(f/t) + (4 - -1). Is k greater than 2?
False
Suppose 3*t - 10 = -2*t, 3*t + 399 = -5*w. Let n = 48 + w. Let z be (-216)/n*(1 + (-7)/4). Is z bigger than -4?
False
Let c be 546/(-39) - 273/(-18). Which is smaller: 2/69 or c?
2/69
Let n be (-35)/(-1) - (-140)/14. Is n greater than or equal to 39?
True
Suppose -6*d + 8*d + 6*u - 356 = 0, d = 3*u + 184. Which is smaller: d or 185?
d
Suppose -817*i + 847*i = 0. Is 20/183 > i?
True
Let v be (-7 - (-600)/(-27)) + 3 + (-14)/(-63). Is -30 at least as big as v?
False
Let x = 810 + -766. Let g = -147 + 189. Which is greater: g or x?
x
Let n be ((-438)/(-73) + 8/(-3))*(-3)/(-18). Suppose -3*c + 30 = 2*c. Suppose u - 3*g - c = 0, 5*u = -4*g - 5 - 3. Is u at most n?
True
Let a = 2093545431/14170 - -18968/1417. Let d = 148048 - a. Let x = d + -290. Which is smaller: x or 1?
x
Suppose 4*c + 4*v = 5*c - 8, -3*c - 5*v - 10 = 0. Suppose -f = -p - c*p - 3, -20 = -4*p. Suppose 0 = 3*w - f - 238. Is -0.1 > w?
False
Let p be 43 - -2*(-6)/12. Let n be 14/p - (-20)/(-6). Suppose -4*y - 20 = -3*w + 8, -3*y - 5*w = -8. Which is smaller: n or y?
y
Let f(q) = -q - 11. Let c be f(-1). Let j be -3 + 3 + c/(-2). Which is smaller: -0.08 or j?
-0.08
Let r = -0.8854 - 3474.1146. Which is smaller: r or 0.2?
r
Let l = 572 - 1605. Let p = l + 54743/53. Suppose -5*s - 1 = -2*s - k, k - 8 = -4*s. Is s smaller than p?
False
Suppose d + 1356 = -2*x + 1550, 0 = x + 7. Is 226 at least d?
True
Let o be (-1)/(-4) + (-252)/504. Is -4809 < o?
True
Suppose 0*v - 4*v + 6263 = x, 1536 = v - 4*x. Is v at least as big as 1562?
True
Let z(u) be the third derivative of -u**4/6 + 7*u**3/3 + 3*u**2 - 310. Suppose 5*q - 10 = -0*q. Let j be z(q). Which is smaller: j or -4?
-4
Let o be -1 + ((-4)/2)/(-2). Suppose 0 = 168*w - 170*w + 3046. Let c = w + -82241/54. Is o at least as big as c?
False
Suppose -5*x + 110 = 2*s, -158 = -s - 2*s - 4*x. Suppose -6*w = -3*w - 153. Which is smaller: s or w?
s
Let k(y) = -12*y**2 - 71*y + 54. Let s(t) = 2*t**2 + 14*t - 11. Let d(o) = 2*k(o) + 11*s(o). Let b be d(4). Is b != -51?
True
Let p = 379 + 245. Let g = p - 625. Which is smaller: g or 5/23?
g
Suppose 20 = -8*t - 4. Let y be ((-4)/t)/(46432/(-48)). Let z = y + 36283/5804. Which is smaller: z or 5?
5
Let h be (-573)/(-191) - (3 + 1). Let f(t) = 2*t - 2. Let w be f(2). Is w < h?
False
Let l = -201 + 325.1. Let a = -124 + l. Let b = 32 + -18. Is b less than a?
False
Suppose -17 = -109*w + 92*w. Let k = 36879/8 + -4625. Let i = k - -15. Which is bigger: w or i?
w
Let z = -1390 + 1416. Let m = -8 - -7.92. Let u = m + 0.18. Is u smaller than z?
True
Let k be 3 + (-2 - (2 + 419)). Let r = k + 372. Which is smaller: -195/4 or r?
-195/4
Let b be (-400)/45 + (-1)/9. Suppose 2 = 6*q + 56. Is q at most as big as b?
True
Let z be 40/18 + 4/(-18). Let m be -1 - z*11/(-2). Let l = -2195 - -2195. Which is smaller: m or l?
l
Suppose 3 - 7 = -4*m. Let p be -143 - -1 - (-5 + m). Let l be (-2 - 2)/((-12)/p). Which is smaller: -47 or l?
-47
Let r be 0 + 2/(-43578)*630/81. Let q = 6054354037/8040141 - r. Let t = -753 + q. Is 0 greater than t?
False
Let d(h) = h**3 + 4*h**2 - 1. Suppose 5*v - 19 = 