. Let m(q) = -7*f(q) + 6*p(q). Let s be m(i). Is 2 greater than s?
False
Let o be (14620/(-145))/1 + (3 - 0). Let v = o - -98. Which is smaller: v or 1?
v
Let r = 2626 - 86668/33. Let l(m) = m**2 + m - 3. Let o be l(-2). Which is greater: o or r?
r
Suppose -121 = -5*n - 6*n. Suppose 0*w - 693 = n*w. Is -63 at most w?
True
Let t = 4 - 18. Let f be ((-8)/(-7))/((-4)/t). Is f >= 7?
False
Let p = 250 - 250. Which is smaller: p or -25/78?
-25/78
Let f(p) = 9*p - 6 + 18 + 13 - p. Let q be f(-3). Which is bigger: 1/6 or q?
q
Let j(u) = u**2 - 2*u - 36. Let a be j(-5). Let c be (1/(-3))/(19/6). Which is greater: a or c?
c
Let t = -487 - -486. Which is smaller: -2/29 or t?
t
Suppose c = -0*c - 94. Suppose -46*z + 170*z - 715 + 12371 = 0. Is z <= c?
True
Let u be 2180/80 - (-3)/4. Let k be 51/(-119) + 47/u. Suppose -6*a = -a - 5. Which is bigger: k or a?
k
Let a(n) = -2*n - 5. Suppose -2*h = 5*t - 35, 2*h - 25 = -2*h - t. Suppose h*l + 5*q = -10, 0 = l + 5*q - q - 4. Let c be a(l). Is c < 5?
True
Let z = -170/371 - 376967/742. Let a = z + 5029/10. Which is greater: -6 or a?
a
Let u = 1100.2736 + -0.2736. Is -1/3 smaller than u?
True
Let k(a) = a**3 + 18*a**2 + 7*a + 182. Let n be k(-18). Which is smaller: n or 47?
47
Let j(f) = f + 1 - 2 - 2*f**3 + f**3. Let t(y) = 4*y**3 - 2*y**2 - 2*y - 4. Let i(g) = 3*j(g) + t(g). Let k be i(3). Which is greater: 4 or k?
k
Let j = 716 - 1251. Is j less than -535?
False
Let t(n) = n**2 - 13*n + 48. Let a be t(6). Let l = 8 - 6.5. Let k = l + -2.5. Which is greater: a or k?
a
Suppose -5*c = 2*k - 119, -2*c + 3*k + 17 = -c. Are 20 and c equal?
False
Suppose -5*y - 3 = -5*j - 103, 2*j + 4*y = -16. Let p be (0*2/(-4))/(-14 - j). Let d(k) = k + 1. Let i be d(-1). Is i at least as big as p?
True
Suppose -18 = 2*y - 2*z - 14, -1 = 2*y - z. Which is bigger: y or -18/101?
y
Let r = 1/156 - 1883/1716. Let a = 8 + -12. Let j(s) = -s - 4. Let g be j(a). Which is bigger: r or g?
g
Let s = -4783/15 - -319. Which is bigger: -2/29 or s?
s
Suppose 17*o - 14 = -65. Which is smaller: -36/23 or o?
o
Let h(m) = m**2 - 21*m - 126. Let j be h(-7). Suppose -x - 2*x = -213. Are x and j equal?
False
Let u be 3 + ((-9)/((-378)/(-480)) - -4). Which is smaller: u or -4?
u
Let f(k) = k**2 + 302 - 6*k + 0*k - 299. Let t be f(2). Is 0 at least as big as t?
True
Let f be 11912/(-210) + 2/(-14). Let p = -182/3 - f. Which is smaller: -4 or p?
-4
Let j(r) = -3*r**2 + 59*r - 39. Let f be j(19). Is f at most as big as -3/5?
True
Let q = -28989/32 + 906. Which is smaller: 0 or q?
0
Let w(j) be the first derivative of 100*j**3/3 - 5*j**2/2 + 3*j - 7. Let r be w(3). Let z be (-2)/3*36/r. Which is smaller: z or 0?
z
Let q = -30 - -32. Suppose 5*z + 4*m + 6 = 0, 0*z - 5*m = q*z - 1. Let y be z/(-7) - 40/(-252). Which is smaller: 1 or y?
y
Suppose -q + 1 = 4. Let o(w) = -w**3 + 10*w**2 + 8*w + 25. Let r be o(11). Let u(x) = 2*x**2 + 17*x + 8. Let j be u(r). Is j not equal to q?
True
Let b = -2353/32895 - -21/215. Which is bigger: b or 0?
b
Let x be (36 - 3)*2/(-6). Let v(j) = -j**3 - 12*j**2 - 12*j - 7. Let f be v(x). Let k be 25/130*f/5. Which is bigger: 1 or k?
1
Let l be 26/10 - (-184)/460. Suppose 2*z = -3*w + w - 2, -4*z + 11 = -w. Do l and z have different values?
True
Suppose -3*m + 26 = 5*i, -5*m - 2*i + 22 = i. Suppose -4 = -2*w + 2*q - 14, 3*w - 10 = -m*q. Is w smaller than -14/9?
False
Suppose 0 = 3*u + 12, -k - 3 = -0*u + 2*u. Suppose 40 = -c - 2*d, -2*c = 7*d - 2*d + 85. Let l = c + 37. Which is bigger: l or k?
l
Let v be (1988/231 - 8)*6/4. Let k be 4/6*30/4. Suppose -5*w - 2 = 2*c, -2*w + k*c + 3 + 2 = 0. Which is smaller: v or w?
w
Let h be (-20)/44*(-2 - 84/(-10)). Which is smaller: -2 or h?
h
Let o = 73 + -104. Let b = o + 18. Is b smaller than -63/5?
True
Let u(s) = 3*s**3 + s**2 - 29*s + 6. Let h be u(-6). Is h at most as big as -432?
True
Suppose -8*i + 58 - 26 = 0. Is 5 at least as big as i?
True
Let a = -791/4 + 198. Which is smaller: a or 520?
a
Let c be (-4)/(-10) + 68/30. Let f be 30/8 + (-15)/20. Is c <= f?
True
Let g be ((-8)/(-20))/((-20)/250). Which is greater: g or -48/11?
-48/11
Suppose -5*g + 5*n + 365 = 0, -6*g - n = -5*g - 79. Let m be (-2)/9 + g/180. Which is smaller: m or 0?
0
Let k = 33/8 + -197/40. Suppose 4 + 6 = 2*p, -4*p + 22 = -2*n. Is k smaller than n?
False
Let q = 3 + -3. Suppose 0 = 5*o - q*o - 50. Suppose 0*b - o = -5*b. Is 2 >= b?
True
Let r be -2*5 - (-33 + 29). Let k = r - -7. Which is smaller: -1/39 or k?
-1/39
Let k = -240 - -240. Is -2/49 > k?
False
Let i be (-1 - (-2020)/2050)*(-50)/4. Is 1 at most i?
False
Let u = 0.22 - 1.22. Are 21 and u nonequal?
True
Let u be (1/((-3)/84))/(-2). Suppose -l = -o - u, 0 = 2*l + l + 4*o - 7. Is 12 greater than l?
True
Let r = -0.047 + -0.953. Is r < 2/845?
True
Suppose -5*w + 18 = t + 155, 5*t + 2*w + 708 = 0. Which is greater: t or -281/2?
-281/2
Let h(g) = -g**3 - 6*g**2 + 7*g + 2. Let p be h(-7). Suppose -p*q + 0*q = -10. Let v(s) = s - 5. Let n be v(q). Which is smaller: 1 or n?
n
Suppose 4*l - 576 = -14*l. Which is greater: 33 or l?
33
Let k = 411 - 428. Is k >= -13?
False
Let q(k) = -k**2 - 2*k**2 - 2*k**2 - 2*k + k**2 + 2. Let r be q(1). Which is smaller: r or -7/3?
r
Let k(b) = -b**3 - 3*b**2 - b - 3. Let z be k(-3). Let s = -43 - -55. Let w be 3/((-1 + 4)*s/24). Are w and z nonequal?
True
Suppose 49 = 3*u + 4*i - 39, u + 2*i - 26 = 0. Suppose 6 = -u*m + 39*m. Let o(n) = -n**2 + 5*n + 2. Let h be o(5). Is m > h?
False
Let a = 3741569/630 - 5939. Do a and 1 have different values?
True
Let y = -39518/33 - -1198. Is y < 1?
True
Let y(p) = -3*p**3 - 21*p**2 - p + 16. Let j be y(-7). Is j greater than or equal to 20?
True
Let h be (116/6 - 0) + 4/(-12). Suppose -29 - h = -6*n. Suppose c = -2*c + 27. Is c less than or equal to n?
False
Suppose 2*t - 4*t - 4 = 0. Let l = 0 + t. Let d be 29/(-10) - 4/(-10). Is d less than l?
True
Let w(g) = 6*g**2 - 9*g**2 + 1 + 4*g**2 - 13*g. Let v be w(8). Let m be -3*(v/27 - -1). Are m and -0.1 non-equal?
True
Let y = 12 + -17. Let m(w) = -w**3 - 6*w**2 - 4*w - 6. Let h be m(y). Let v be ((-6)/4)/(3/24). Is h < v?
False
Let u be ((-8)/(-24))/((-1)/15). Let p(o) = -7*o**2 + 7*o**3 - 10*o**3 - o + 4*o**3 + 2. Let x be p(7). Are x and u equal?
True
Let r(q) = 8*q + 3. Let s be r(10). Let d = s - 107. Which is greater: -26 or d?
d
Suppose 2*u - 17 = 6*u + t, -14 = 4*u + 2*t. Let f = -4229/4 + 1052. Are f and u unequal?
True
Let h = 72.6 - 72. Let l = -0.2 + -0.3. Let d = l + h. Which is smaller: d or -1?
-1
Suppose 2*i = -3*u + 5*u + 6, -3 = -i + 2*u. Suppose -4*n + 92 = -m, -56 = -2*n + 6*m - i*m. Is n smaller than 22?
False
Suppose 0 = -12*h - 5449 - 2195. Is h equal to -637?
True
Suppose 0 = 4*j - 4*t + 166 - 70, 0 = 4*j - t + 108. Which is smaller: -20 or j?
j
Let z(d) = -d**3 + 23*d**2 + 50*d + 20. Let s(t) = -t**2 - 10*t + 1. Let y be s(-6). Let p be z(y). Which is smaller: p or 18?
18
Let b = -133061/126 - -9352/9. Let q = -17 - b. Are q and -1 nonequal?
True
Let r = 115 - 117. Let j = -108 + 58. Which is bigger: j or r?
r
Let s = 0 - -3. Suppose 5*x - 6 = s*x. Suppose -8*l - 5 = -x*l. Is 2 >= l?
True
Suppose -5*n - 99 = 31. Let y(c) = -14*c**2 - 56*c - 83. Let a be y(-2). Which is smaller: a or n?
a
Let z(o) = o**3 - 19*o**2 + 37*o + 37. Let g be z(16). Are -140 and g equal?
False
Let d(m) = m**3 - 3*m + 2. Let h be d(0). Let x be (1 - 0/h)*(3 - 3). Is -5/4 at most as big as x?
True
Let x(t) = 226*t - 88. Let a be x(-3). Which is smaller: a or -1531/2?
a
Let r = -44.9 - -45. Which is smaller: r or 61?
r
Let u = 818 + -828.9. Are u and 3 nonequal?
True
Let s = 1.991 - 2.091. Let j be (-4)/(-10) - (-2)/(-5). Does s = j?
False
Let y = 14.23 + -14. Let v = 0.01 - y. Let o = v - -1.22. Which is smaller: -0.09 or o?
-0.09
Suppose 13*m = 15*m - 18. Suppose 269 + 424 = m*a. Which is smaller: 78 or a?
a
Let k = -159 - -159. Which is smaller: 4/49 or k?
k
Let l = 24 + -39. Let c be (2/26)/(5/l). Let j(o) = -2*o - 23. Let x be j(-11). Is c bigger than x?
True
Let b = 0.845 - 0.78. Let n = -0.765 + b. Which is smaller: 0.4 or n?
n
Let i = -1301.18 + 1313. Let b = i + -0.82. Which is smaller: 0.2 or b?
0.2
Let q = 799.019 - 797. Let t = q - 0.019. Are 2 and t unequal?
False
Suppose y - 4*w - 10 = 3*y, -4*y - 3*w = -5. Suppose 0 = -u - 2 - 