0/11. Let t = -75 - -186. Are p and t equal?
False
Let w(d) = d**2 + 6*d + 1. Let v be w(-6). Let b = 18 + -12. Let l = b - 6.1. Which is greater: v or l?
v
Suppose 4*g + 652 = 2*m, -63*m + g + 988 = -60*m. Which is smaller: 5/7 or m?
5/7
Suppose -3 = -3*d - 21. Suppose -3*p - 3*q + 21 = -5*p, 4*q = -3*p - 74. Let g be ((-6)/p*-2)/(4/6). Do g and d have different values?
True
Let l(t) = -t**2 + 3*t + 55. Let y be l(-6). Which is greater: y or 5/352?
y
Suppose 2*j - 3*c = -54, 3*j + 3*c + 81 = -0*j. Let g = -3/47 - 3610/141. Which is bigger: g or j?
g
Let n = 30 - 25. Suppose -8*k - n = -t - 4*k, 3*t + 3*k = 0. Suppose 9*f + 1 = t. Is -4/29 greater than or equal to f?
False
Suppose -5*d - 16 = -2*l + 33, -3*l + 16 = 4*d. Let u be -1 - (131/(-77) - l/21). Is u > 2?
False
Let d(s) = s**3 - s**2 + s - 1. Let v(o) = -3*o**3 + 4*o + 15. Let f(a) = -2*d(a) - v(a). Let k be f(-2). Is 2/287 equal to k?
False
Let w be -3*(1/4)/((-9)/636). Let p(j) = -j - 9. Let i be p(-10). Let s be i + -2 - (w + -2 - -1). Which is smaller: 1 or s?
s
Suppose -18*z + a = -19*z + 4, -2*z + a = -23. Suppose 3*i = 4*s - 29, 0 = 2*s + s - i - 23. Which is smaller: s or z?
s
Let o(s) = s**3 - 19*s**2 + 5*s + 28. Let y be (-4)/(4/5) - -18. Let v be o(y). Let x = v - -9193/10. Which is bigger: x or -1?
-1
Let i(b) = 17 + 0*b - 4*b**2 - 19 - 3*b**3 - 3*b. Let w be i(-1). Is -1/286 less than or equal to w?
True
Suppose 7*b - 4284 = 16*b. Let v = 470 + b. Which is bigger: -4 or v?
-4
Suppose -5*a = 5*z - 5970, 10*z - 7*z = 0. Which is smaller: a or 1193?
1193
Suppose -296 = -20*r + 12*r. Suppose -32*j + r*j + 43 = 3*b, 5*b - j = 101. Is b less than or equal to 21?
True
Let k = -56 - -57. Let x = -31 - -17. Is x less than k?
True
Suppose 1914 = 10*k - 4*k. Is k at least as big as 319?
True
Let v(b) = 5813*b - 608. Let h be v(-1). Is -6419 >= h?
True
Let a be -1 + (-3 + 4)*149. Suppose 24*j - 28*j = -a. Let o = j + -68. Is -31 less than or equal to o?
True
Let b = -98.89 + 98.49. Is b smaller than 25.11?
True
Let c(m) = 49*m - 23. Let x be c(-2). Let g be 1208/(-10) + (-1)/5. Is x smaller than g?
False
Let b = 5 - 5.15. Let l = 2116.25 + -2116. Let p = l + b. Is p at least as big as -7/6?
True
Suppose 20*s - 28 + 57 = 9. Is s less than -68.87?
False
Suppose 2*l = -2*m - 4307 - 39, 5*m - l + 10823 = 0. Is m < -2165?
True
Let d be 261345/917*(136/(-10) + 2/1). Which is smaller: -3308 or d?
-3308
Let l = -3.07 - -0.07. Let z = -171.4 - -194. Let w = z + -22.9. Which is greater: w or l?
w
Let a = -12938 - -12935. Which is smaller: a or -328/159?
a
Suppose -5*d - 4 = 11, -p - 2*d - 2 = 0. Suppose -r + 2 = 2*w + 13, 3*w + p*r + 29 = 0. Is -11 < w?
True
Let i be 28*(-1)/((-1292)/(-9)). Let h = 3/19 - i. Let d = -309/85 + 55/17. Is h greater than or equal to d?
True
Suppose 4350 - 4340 = -10*m. Is m < 3/2056?
True
Let y = 1/14991 - -1535743/24985. Which is bigger: 61 or y?
y
Suppose q = -0*q + 5*i + 3, 2*q - 3*i - 13 = 0. Let c be -1*4*(0 - 6/q). Suppose -2*l = c*l, 0 = 3*d + 2*l - 3. Do 1/6 and d have the same value?
False
Let a(w) = w**3 - 14*w**2 - 30*w + 4. Let z be (-3 - -1)/(1*3/(-24)). Let j be a(z). Let h = -67 - -104. Is j at most h?
True
Suppose 0 = -11*y + 12*y - 24. Suppose 4*q + 2*j - 121 = -23, 5*j - 120 = -5*q. Which is smaller: y or q?
y
Let b = -4.2 - -1.4. Let u = 21.2 + -25. Let d = b - u. Which is bigger: d or 0.4?
d
Let s(r) = -49*r**2 - 294*r + 8. Let w be s(-6). Let h = 10 - 10.1. Let v = -0.1 + h. Which is smaller: w or v?
v
Suppose -1 = 3*r - j - 2, 17 = r + 3*j. Suppose r*m = 7*m + 105. Let p be 22 + m - ((-2)/(-2) + 1). Which is smaller: p or -0.054?
p
Let p(j) = 24 + 4*j**2 - 11782*j - j**2 + 0*j**2 + 11808*j. Let m be p(-7). Which is smaller: m or -9?
m
Let m = -320 + 112. Let p = 423519 + -423517. Which is smaller: p or m?
m
Let y be (1*-5 - -2)*105/(-45). Let f(o) = -y*o + 9*o - 4*o. Let i be f(6). Is -12 at most as big as i?
True
Let u(c) = 5*c + 36. Let g be u(-8). Let i be (-1)/g - (-1245)/12. Suppose 2*d + 52 = -3*x + 7*d, -5*x = -4*d + i. Which is bigger: -26 or x?
x
Let u be 8/(-3) - (-61)/((-1018761)/(-44308)). Is 5 <= u?
False
Let g be (-26 - 225/(-15)) + 148. Which is bigger: 144 or g?
144
Let w = 72.42 - 20.47. Let o = w + -52. Let j = o + -0.05. Does -0.11 = j?
False
Let w = -203/111 + 6/37. Suppose 0 = -25*v - 34791 + 34741. Is w at least as big as v?
True
Let r = 187/489 - 8/163. Is 1.527 <= r?
False
Suppose 23*h - 19*h + 19899 = 5*m, -14948 = 3*h + m. Is h at least as big as -4983?
True
Let v be (-4)/26 + (-10244601)/(-31031). Let u = -330 + v. Is 0 smaller than u?
False
Let h = -115 - -113. Let i(w) = -4*w + 4. Let a = 22 + -18. Let n be i(a). Is h less than n?
False
Let m be (-14)/3*30/(-10). Let a(c) = 17*c - 85. Let s be a(m). Are s and 153 equal?
True
Suppose -6*x + 7*x + 45 = 0. Let h(a) = a**2 - 9*a - 1. Let o be h(10). Suppose 220 = -o*v + 4*v. Which is smaller: v or x?
x
Let h = 0.0558 - 0.7558. Let a = 39 - 13. Let m = 24 - a. Which is smaller: m or h?
m
Let i = 1.5 + -3. Let l = 7.8311 - 5.8311. Which is bigger: l or i?
l
Let o(m) = -5*m**3 - 2*m**2 + 17*m + 31. Let i be o(-4). Suppose 242*n - i*n + 18 = 0. Which is greater: n or 32/11?
32/11
Let p = 25 + -74. Let b = 42 + p. Let k = 197 + -195. Is b != k?
True
Let w = -1.396 - 586.604. Let h = -588.9 - w. Let u = 2 - 2.2. Which is greater: u or h?
u
Let q be (1 + 921/(-45))/((35/(-21))/(-5)). Are -57 and q equal?
False
Let r be (-11 - -27) + (6 - 21). Is 179/6 at most r?
False
Let x(h) = -13*h**2 + 120*h + 597. Let l be x(-5). Which is bigger: l or -1639/5?
-1639/5
Let k(f) = -f**3 + f**2 + 1. Let r be k(1). Let h be ((-6)/(-8)*-2)/((-5790)/5018). Are h and r equal?
False
Let d be 13/364*16*(-14)/(-4). Suppose 0 = -6*l + d*l + 4. Which is bigger: l or 2/67?
l
Let k = -17049 - -118688/7. Let n = k - -94. Let c(w) = -w**2 + 9*w - 17. Let s be c(6). Is n smaller than s?
True
Let s = 128.4 + -85.7. Let j = -45 + s. Let p = j + 1.4. Is -2/3 != p?
True
Let b be ((-465)/775)/((-9)/5). Is b >= 1/214?
True
Suppose -29*f = -13*f + 16*f + 4352. Which is greater: -131 or f?
-131
Let n = 3491833/247 - 14137. Let g(i) = i**3 + 20*i**2 + 64*i + 38. Let p be g(-3). Which is bigger: p or n?
n
Let q = -5501293/148432 - -2/9277. Is -38 greater than q?
False
Let n = 1/14 + -1/70. Let p = n + -136/1155. Suppose 202*w = 167*w. Is w smaller than p?
False
Let x be (-1)/((-1)/3) + (-1458)/(-486) - (-230)/(-45). Suppose -p + 2*p + 9 = 3*m, 2*p = -m + 3. Which is greater: x or p?
x
Let s be (-36)/10*70/(-21). Suppose 7*b - 5 = -s. Let d be (87/12 - b)*-4. Is -34 at least as big as d?
False
Let h be 2*(-1 - 20/(-25)). Do 0.0564 and h have different values?
True
Let i = -56.1 - -56.0617. Which is smaller: 0.4 or i?
i
Suppose 22*o - 24*o + 2*j + 44 = 0, -4*j - 8 = o. Let z(l) = 2*l**3 + 3*l - 3. Let a be z(2). Which is smaller: a or o?
o
Let d = -362 + 269. Let s be 0 + d/(-369) + (-4)/(-12). Do s and 0 have different values?
True
Let z be (-9)/12 + ((-4389)/(-468))/11. Let i(a) = -a**3 - 7*a**2 - 2*a + 10. Let r(g) = -g + 1. Let t(h) = i(h) + 2*r(h). Let y be t(-6). Is z != y?
True
Let v(u) be the third derivative of -u**4/8 - 31*u**3/6 + 26*u**2. Let i be v(-15). Suppose -t - i + 42 = 0. Is t at least as big as 27?
True
Let t be (0 + (-2)/3)/(1116/54 + -20). Is 5/4954 greater than t?
True
Suppose -3945 = -3*l + 3*b, 0 = 3*l - 544*b + 539*b - 3937. Do l and 1317 have the same value?
False
Let m = -7 - -9. Suppose -m*u + 6 = -3*u. Let h be (-2)/u + 44/12. Which is greater: -1 or h?
h
Let n(k) = -k**2 - 35*k + 366. Let j be n(-43). Let w = 9 + 8. Suppose w*s - j*s + 50 = 0. Does s = 9?
False
Let h be (-96)/24 + -2 + ((-3087)/172)/(-3). Which is greater: h or 0?
0
Let w(k) = -k**2 + 11*k + 91. Let a be w(19). Which is smaller: 5 or a?
a
Suppose 5*b - 42 = -4*v - 2, 3*b - 5*v = 24. Let t be 142/b - 9/12. Suppose -84*g + 112*g = 504. Which is smaller: g or t?
t
Let l be (-12)/54 - ((-2)/(-30))/((-12)/4). Which is bigger: -19 or l?
l
Let g = 1 - 1.2. Let v(m) = 2*m**3 + 28*m**2 + 33*m + 76. Let j(n) = n**3 + 29*n**2 + 32*n + 75. Let a(o) = -3*j(o) + 2*v(o). Let k be a(32). Is k at least g?
False
Suppose -2*x + 48 = -0*n + 3*n, -x = 0. Let l be (1 + -1)/(n/(-8)). Suppose 0 = -3*u + 5*z + 7, u - 5*z - 9 = l. Which i