 + 14*l. Is l greater than 148?
True
Let a = 5 - -53. Which is smaller: a or 60?
a
Suppose 0 = -2*i - 4*v - 8, -3*i + v = -4*v + 1. Let t(p) = 2*p + 1. Let d be t(i). Are -1 and d unequal?
True
Let u = -320 + 312. Which is smaller: -1/5 or u?
u
Suppose -82*l - 208 = -95*l. Which is greater: l or 258/17?
l
Let j be -2 - 24/(-3 + 1). Suppose -5*a + j = 0, -2*q + a + 98 = 2*q. Which is smaller: 24 or q?
24
Let u = -2463/10 - -246. Is -2 less than or equal to u?
True
Let j = -13.2 + 1.4. Let q = -12 - j. Which is smaller: 2 or q?
q
Let s = 43/4 - 19/2. Which is smaller: s or 1?
1
Let t be (-4)/(-2486) + 7 - 7. Which is greater: t or 0?
t
Suppose w - 429 = 2*r, -2*w = 9*r - 7*r + 444. Which is bigger: -216 or r?
-216
Let k be -2572*((-15)/14 - -1). Let i = k - 184. Let o = 0.537 - 0.037. Which is greater: i or o?
o
Suppose -3*g + 1 = 4. Let r be (-282)/1260 - 3/(-15). Is g >= r?
False
Let b = 0.5 - 0.4. Suppose -93*r = -84*r - 126. Is r at most as big as b?
False
Let x(q) = 3*q + 2. Let w be x(6). Suppose 0 = -5*c - 3*d + 65, -2*d + 7*d = -2*c + 7. Let n be (-5)/(-1)*c/w. Which is greater: n or 0.2?
n
Let q(c) = -c**3 + 5*c**2 - c + 6. Let u be q(5). Let w = 164/255 - -273341/2805. Let t = w + -98. Which is smaller: u or t?
t
Let r(a) be the third derivative of a**5/15 + a**4/24 + 12*a**2. Let b be r(-1). Suppose b*f = -5*f. Which is greater: f or -3/40?
f
Suppose 9 = w + 2*r, w + 2*r - 4*r + 7 = 0. Let x be 80/(-32)*w/(-5). Suppose 0 = -2*o + 4. Is x <= o?
True
Suppose u = -2*r + 7 - 3, r = -9*u + 19. Let o = -11 - -15. Suppose o*t - 8 = 2*t. Is u >= t?
False
Suppose -s = -y - 1206, 0 = -120*y + 124*y + 5*s + 4779. Which is greater: -1202 or y?
y
Let k be 2/(-24)*(55 - 7)/(-6). Let j = 2 + -3.5. Which is smaller: k or j?
j
Suppose -4*d - 36 - 48 = 0. Let b = 20 + d. Let z(f) = -3*f - 4. Let s be z(b). Is -2/49 at least s?
True
Suppose -50*z + 1 = -51*z. Which is smaller: -2/35 or z?
z
Let w be 0 - (3 + 4/(-2)). Let u(a) = 59*a + 10. Let t be u(-7). Let c = 4027/10 + t. Which is greater: c or w?
c
Let u = -24 - -123. Let m = u - 99.2. Is -67 bigger than m?
False
Let r(i) = i - 4. Let p be r(8). Suppose -5*m = p*z - 72, z + 0*z + 3*m - 25 = 0. Do -1 and z have different values?
True
Let c = 3.1 - -0.9. Let x = -9 + c. Let h = x - -4.9. Is 8 smaller than h?
False
Let i(p) = 6*p**2 + 2*p. Let w be i(0). Which is smaller: -3/5 or w?
-3/5
Let k(s) = -2*s - 6. Suppose -l = 2*l + 21. Let f be k(l). Suppose 3*z + f = -5*z. Is z bigger than 1/5?
False
Let g(d) = d**3 - 7*d + 2. Let l be g(0). Suppose -n + 8 = -4*h, -3*n + 8 = -3*h + l. Which is greater: n or 9?
9
Suppose -2*c = 3*n - 285, -4*c + 122 = n + 37. Which is smaller: n or 100?
n
Suppose 9 = 3*h - 0. Suppose 23 = 2*g + h. Is 9 >= g?
False
Let k = -5 + 9. Suppose 0 = -6*c - 10 + k. Which is smaller: c or 4/25?
c
Let p(l) = -6*l - 11. Let t be p(-3). Is 11 >= t?
True
Suppose -512 = -16*t + 144. Is t less than or equal to 41?
True
Suppose 3*n - 7 = -d + 2, 5*d = -3*n + 21. Suppose 10 = 4*w - n. Let h be (-8)/(-6) - 14/(-21). Is w >= h?
True
Let f be ((-608)/760)/(7*(-2)/5). Let q be (2/(-6))/(2/(-18)). Let d = 2 - q. Which is bigger: f or d?
f
Suppose 5*o = -5*v + 1190, 3*o + 3*v = -2*o + 1192. Which is greater: o or 237?
o
Suppose 4*i + 57 - 17 = 0. Suppose 6*p - 3*p - l + 44 = 0, p + l = -16. Let k be (-5)/p - (-2)/6. Which is smaller: i or k?
i
Let k be ((-16)/(-10))/((-36)/90). Let w be -7 + 11 + k/1. Which is smaller: w or 2/27?
w
Let v(t) = -t**3 + 8*t**2 + 8*t - 7. Let r be v(9). Let c be (-2)/7 + (-57)/21. Let f(w) = 6*w + 2. Let j be f(c). Is j smaller than r?
False
Let y = -14 + 15. Let a = 25 - 22. Which is greater: y or a?
a
Let n be (4/(-6)*9)/(-1 - -8). Let b(k) = k**2 - 9*k + 6. Let d be b(8). Does n = d?
False
Let l(s) be the first derivative of -2*s**3/3 + s**2 + 2*s + 3. Let j be l(2). Which is smaller: j or -4/5?
j
Let f = 181 - 176. Is 8 at most f?
False
Let i = 3353 - 3347. Suppose -2*x = -4*x + 6. Suppose u = -3 + 2, 0 = -x*p - 2*u + 19. Which is bigger: p or i?
p
Let g be 639/78 + 4 + 1/(-2). Which is smaller: g or 12?
g
Let z(k) = k + 5. Let s be z(-7). Let n = 13 + -9. Suppose 0*x - 2*x + w - 4 = 0, -4*x - n*w = 20. Is s smaller than x?
False
Suppose 14*u = 9*u. Let a = -366 + 36964/101. Which is smaller: a or u?
a
Let u be 25/5 - (-165)/(-35). Suppose l + 0*l = 1. Which is greater: u or l?
l
Suppose -314 = -11*b + 16. Let g = -14 + b. Is -2 equal to g?
False
Suppose -p = 0, 3*p + 10 = -3*f - 2. Let s = 8 - 23. Which is bigger: s or f?
f
Let i = -11 - -11. Let v be (-4)/(-18)*3 - (-1)/3. Does i = v?
False
Let w be ((-2)/(-2))/((-3)/9). Let i(s) be the first derivative of s**2/2 + s + 5. Let r be i(w). Are -4 and r equal?
False
Let q(l) = 7*l - 39. Let j be q(9). Suppose -5 = -j*u + 29*u. Let t be ((-1)/(-2))/((-42)/(-4)). Is u > t?
False
Let s = 56/13 + -46/13. Let h = -4264 - -4265. Which is bigger: h or s?
h
Let c = 17 + -28. Let a = -8 - c. Let d = a - 3. Which is greater: 2/5 or d?
2/5
Suppose n - 18 = -n - 4*p, -p = -4*n + 72. Let q = n + -16. Which is bigger: 2/89 or q?
q
Suppose h + 3*w - 6 = 9, h - 5 = -w. Let j = 0 + 0. Let l = h - j. Which is greater: l or -2/9?
l
Suppose -3*t - 617 = 1078. Let w = 361968/11 + -7731865/231. Let l = w - t. Which is bigger: l or -1?
l
Let n = 0.02 - 0.25. Let c = -0.1 - n. Is 1 at most c?
False
Let v(t) = -t**3 + 8*t**2 + t - 8. Let d be v(8). Let p be (-24)/48 - (0 - d). Which is smaller: 2 or p?
p
Suppose 0 = -15*j - 721 + 136. Let u be (-2)/(-15) + j/(-45). Which is smaller: -4/35 or u?
-4/35
Suppose -42*q + 36*q = -288. Let i = 48 - q. Is i smaller than 4.3?
True
Let j(a) = a**3 + 8*a**2 + 20*a + 91. Let c be j(-7). Which is smaller: 2/183 or c?
c
Let f = 14 + -14. Let n be -1 + 4 + (308/16)/(-7). Which is smaller: n or f?
f
Let g be 3381/35 + (-6)/10. Suppose -g = -4*z - o - 3*o, -4*z = o - 90. Is z at least 23?
False
Let m = -604 - -604.1. Is 947 less than m?
False
Let d = -13224.3 + 13225. Let j = -0.1 + -0.1. Which is bigger: d or j?
d
Suppose z + 5*n - 4 = 4, -4*z - 2*n = -50. Let o = -23 + 26. Let m be 6 - (-5 - o)/1. Which is greater: m or z?
m
Let m = 1.4 + -1.6. Let g = -2.5 - -1.2. Let j = g - -4.3. Which is greater: j or m?
j
Let a = 292 + -290. Let w = 0 - -2. Let p be -2 + w/3 + 1. Is a at most as big as p?
False
Let m = 21 + -21.09. Let i = 1.09 + m. Let f = 23/5 - 14/3. Is f >= i?
False
Suppose s + 2*j - 4 = 0, 4*j = -4 - 0. Let a be (-24)/16*12/2. Let w be 3/a*s/(-50). Does w = 1?
False
Let d = -1127694/37 - -30480. Which is smaller: 3 or d?
d
Let z(c) be the first derivative of c**2 - 7*c - 6. Let w be 2/(-4*(-5)/40). Let f be z(w). Which is greater: f or -1/3?
f
Let c(w) = 5*w - 17. Let i be c(5). Suppose -i - 4 = -4*g. Which is greater: 7 or g?
7
Let c(p) = -p**2 + 11*p - 8. Let w be c(9). Let m = -18 + w. Do -11 and m have the same value?
False
Suppose 10*b - 30 = 4*b. Which is smaller: 35/8 or b?
35/8
Let x be (1 + -1*2)/((-4)/(-16)). Let m be x/(-3)*(-81)/(-378). Which is bigger: m or -1?
m
Suppose -2 = -4*n + 3*b, -n + 5*b = 4*b. Suppose -n*u - m + 22 = 0, -5*m + 4 = -2*u + 2. Which is smaller: u or 8?
8
Let v(r) = -8*r - 241. Let x be v(-31). Which is greater: x or 11?
11
Let z = -0.3341 + 0.1341. Is z at most as big as 240?
True
Let a = 125/83 - 7953/4399. Which is smaller: a or 2/5?
a
Let o(g) = 38*g**3 - 3*g**2 - g + 1. Let r be o(-2). Let q = 10328/33 + r. Which is smaller: q or -1?
-1
Let j = -201129/6436 + 1/1609. Is j at least as big as -31?
False
Let s = 13 + -12.992. Let q = 0.608 - s. Is q > 0.5?
True
Let u = 0 - -19. Let t = u - 31. Which is greater: 2 or t?
2
Let r = -170 - 401. Is r at most as big as -571?
True
Suppose 0 = -n - 3*z - 1, -4*z - 2 = 2. Suppose -t = -2*t + n. Let w be (t - 1)*4/4. Is w at least -1/4?
True
Let n(g) = -g**3 + g - 149. Let d be n(0). Let c be d/(-858) + 33/18 + -2. Which is greater: c or 1?
1
Let y = 3 + -2.97. Let c = y - -5.97. Let t = 5.7 - c. Is t smaller than 1?
True
Suppose 4 = u - 4*a, -u - 5*a - 11 + 42 = 0. Suppose 10*z = 11*z - 17. Which is greater: z or u?
z
Let i be 4 - (-1664)/(-552) - 1. Is i >= -1?
True
Let l = 3.69 + -4.69. Is l at least 3?
False
Let n(i) = 11*i - 45. Let a be n(4). Is a at least as big as -11/48?
False
Let n = -116.3 - -141. Let 