651/60 - 538424. Let z = p + -101/5. Is q < z?
True
Let x be (-2)/8*16/(-214). Let w = -236/1177 + x. Let p = -52/165 - w. Which is greater: 1 or p?
1
Let u = -0.24 + -0.06. Suppose 0*v - 4*v = 2*v. Suppose -5*s - i = -14, -5*s + i + v*i = -16. Is s <= u?
False
Let r be (-299)/(-182) - (-1)/(-2). Let l be ((-714)/(-57))/14 + (-4)/(-38). Is r bigger than l?
True
Let o = 64.01 + -64. Let h = o - -1.39. Let u = h - 1.5. Which is smaller: 2/11 or u?
u
Let z be -7*4*4/28. Let n be (z/298)/(16/(-48)). Is 1 less than n?
False
Let i = -17873/5 + 196593/55. Which is smaller: -1112 or i?
-1112
Let g = -714 - -322. Let t = g + 399.3. Do 0 and t have different values?
True
Let h be 10/6 - (-4242)/(-2547). Let k = 2261/2547 + h. Is k equal to 2?
False
Let a be (-6)/27 + (-764)/(-36). Suppose -2*b + a = 81. Which is greater: b or -31?
b
Let o(m) = -60*m + 659. Let c be o(11). Is 2/17791 < c?
False
Let i = 17086 + -153746/9. Which is greater: i or 249?
249
Let y(f) be the third derivative of 21*f**5/10 + f**4/12 + f**3/3 - 82*f**2. Let b be y(-1). Which is smaller: 127 or b?
b
Let h = -72 - -73. Which is smaller: h or 40/377?
40/377
Let w = 4803849/884 - 145291/26. Let t = -625/4 - w. Do -3 and t have the same value?
False
Let k(v) = -v - 12. Let x(p) = -p**3 + 5*p**2 - 8. Let y be x(4). Suppose 75 = -y*w - 21. Let d be k(w). Which is smaller: d or 12/13?
d
Let i = 1434/5 - 127956/445. Which is smaller: -2 or i?
-2
Suppose 3*y + 5*q - 2*q - 3 = 0, 0 = 3*y - 4*q - 3. Let a be -4 - -2 - -159 - y. Which is bigger: 155 or a?
a
Suppose 79 = -17*a - 23. Let v be ((-3)/a*1)/((-4)/(-296)). Which is smaller: 35 or v?
35
Let u = -59 + 20. Let d be (26/u)/(374/(-6)). Let c = -199/1122 + d. Is -1 bigger than c?
False
Let m = -123 - 153. Let r = m - -200. Which is bigger: -3/2 or r?
-3/2
Let u = 3454.8 - 3455. Which is smaller: u or 1000?
u
Let q be ((-336)/126)/(2008/180). Is 0 bigger than q?
True
Let d = 0.10323 - -0.03277. Which is greater: 0.1 or d?
d
Let s = 77.3 - 62. Let c = 9.7 - 4.4. Let n = c - s. Is 2/11 < n?
False
Let m(x) = -x**2 + 4*x - 3. Let n be m(4). Suppose 3*i + 9*i = 60. Suppose -3*j - 24 = -i*b, 0 = -j - 2*b - 0*b + 3. Is j smaller than n?
False
Let r = 129.1 + -129. Let z(j) = -j + 14. Let g be z(11). Let y be -2*g*21/(-36). Is r greater than y?
False
Let d be (-4162)/63330 - (136/(-15) - -9). Is 0 at most d?
True
Suppose 3*q = -2*c - 4, 0 = 4*c - 2*q - 3 + 11. Let n be (34/1105)/(c/(-50)). Are n and 0 nonequal?
True
Let c(k) = 224 + 2*k - 225 - k. Let r be c(1). Let f be 24/(-30)*(-1)/2. Is f bigger than r?
True
Let x(a) = 4*a**3 + 18*a**2 + 8*a - 20. Let g(r) = -9*r**3 - 37*r**2 - 18*r + 39. Let o(n) = -3*g(n) - 7*x(n). Let b be o(-16). Is b at least 312?
False
Suppose -7413 + 1021 = 47*i. Is -132 smaller than i?
False
Suppose 0 = 5*a - 4*j - 976, -21*a + j = -23*a + 393. Which is greater: 220 or a?
220
Let g be (81/12)/(4/((-768)/(-9))). Let t = 1066 - 923. Do g and t have the same value?
False
Let g(q) = q**3 + 2*q**2 + q - 76. Let d be g(0). Let c be 2/((-7)/((-70)/4)). Let y be c + -4 - (-5)/((-25)/390). Which is smaller: d or y?
y
Let g be (3 - (-8)/(-2))/((-17)/4 + 4). Suppose z = 3*z - 28. Let h = g - z. Is h bigger than -11?
True
Suppose 31*y = 28*y + 810. Suppose 10*l - 4*l + y = 0. Let z = 87/2 + l. Which is greater: -3 or z?
z
Let c(q) = 6*q - 146. Let a be c(26). Let v be ((-848)/(-44) - 0)*15/a. Is v bigger than 29?
False
Let k = -27 + 23. Let q be 108/280 + k/14. Let a = 0.65 - 0.65. Which is smaller: a or q?
a
Let f(g) = -3*g**3 - 66*g**2 - 8*g - 198. Let v be f(-22). Is -455/22 at most as big as v?
False
Suppose 0 = 122*v - 16*v - 30846. Is v at least 1/3?
True
Let m(u) = -u**3 + 4*u**2 + 9*u - 14. Let x be m(5). Suppose 0 = -n - 2*b + 16, 2*b = 2*n + x - 38. Which is smaller: n or -4/7?
-4/7
Suppose -20 = -4*q - k, 4*q - 3*k + 7*k = 20. Suppose 8*s - q*s - 72 = 0. Let f = -22 + s. Which is smaller: 4 or f?
f
Let p = -78 + 10. Let u = -45 - p. Suppose 3*z + 5*t + u = -0*z, 5*t = -5*z - 25. Is 2 not equal to z?
True
Let m(b) = -b**2 + 12*b + 923. Let z be m(-25). Do -56/37 and z have the same value?
False
Suppose 0 = -22*x - 18*x - 42*x - 19270. Is x at least as big as -253?
True
Suppose 0 = 12*g - 5*f + 349 - 49, 0 = -g + 3*f - 25. Is g smaller than 9?
True
Let w be (133/1)/((-37)/(-333)) - 2. Is 1193 less than or equal to w?
True
Let b = -6.5566 - -6.5. Let p = b - 4.0434. Is p at least as big as -2?
False
Let i = -280 - -374. Which is smaller: i or 50?
50
Suppose 17*h - 14*h = -k - 6, -k - 5 = 2*h. Let z be 2/3*k + 7 + -139. Do -134 and z have the same value?
True
Let n = 706 + -703. Is n not equal to 9/4?
True
Suppose 2*j + 80629 = -111*j - 15760. Which is smaller: j or 0.06?
j
Let j = 1242 + -1245. Which is smaller: j or 319?
j
Suppose 5*r = -2*n + 345, -10*n = -10*n - 4*r + 36. Let s be ((-8)/70)/((-4)/10). Which is greater: n or s?
n
Suppose 8*x - x - 8582 = 0. Let j = -1033520/843 + x. Which is smaller: j or -1?
-1
Suppose 8*y + 2 = 6*y - v, y + 4*v - 6 = 0. Which is bigger: -105/74 or y?
-105/74
Let k = 4 + -2. Suppose -12*n = -10*n. Suppose n = -10*m + 14*m + 28. Which is greater: k or m?
k
Suppose -3*k = 2*v + 5, -6*k + k - 13 = v. Let a be (-2)/(260/(-16) - k/(-12)). Which is bigger: a or -2/3?
a
Let v = 969671/264 - 3673. Suppose -2*i + 7*i = 0. Are v and i unequal?
True
Suppose -2*k + 4*k = 0. Let s = 25545 + -25276.18. Let d = s - 269. Which is smaller: k or d?
d
Let f be -6 + 12/14*-14. Let c be 4/16 - (-356)/(-16). Is c >= f?
False
Suppose -2*v = -8, -5*y = -2*v - 2*v - 244. Let a be y/130*(-110)/34. Is a at least as big as 0?
False
Let l be ((-385)/(-308))/(10/(-8)). Is l at least as big as 62/605?
False
Suppose 0 = 28*u - 23 - 285. Suppose -u*r + 636 = -827. Which is smaller: 131 or r?
131
Let r be (1 - 3)*122/(-4). Let v be (14/((-196)/(-483)))/(2/(-4)). Let u = v + r. Is -15/2 greater than or equal to u?
True
Let j be (-2)/(-210)*-10 - (-670)/8505. Suppose 3*i = 8*i. Is j < i?
True
Let n(x) be the first derivative of -3*x**2 + 59*x - 37. Let b be n(10). Which is smaller: -5/48 or b?
b
Let d be (-2 + (-334)/(-5))*(-2370)/(-316). Are d and 485 non-equal?
True
Let o be (6 - (-39)/(-6))/2 - 30/(-24). Are 1/7800 and o equal?
False
Let l = -0.09 - 13.91. Let u = 15 + l. Let d be (-1)/5 - 24/480. Are u and d non-equal?
True
Let h = 565 + -590. Which is greater: h or -24?
-24
Let f be (-1 + 3)*7/(-2). Suppose 5*w - 2*w = -4*b + 37, -5*w + 71 = 2*b. Let h = w + f. Which is greater: 20/3 or h?
h
Let s = 477 + -472. Suppose s*d - 5*m + 10 = 0, -3*m + 6 - 2 = -d. Are d and -1 nonequal?
False
Suppose v = -5*m + 36, 5*m - 22 = -3*v + 106. Suppose -v*y + 1508 = -17*y. Let p(f) = 2*f**2 - 8*f + 9. Let k be p(7). Which is smaller: k or y?
k
Let m be 42 - ((2 - (-46)/(-6)) + 44/66). Is 29 less than m?
True
Suppose 5*j + 20 = 0, -41*i - j = -36*i - 11. Suppose 19*l = 3 - i. Suppose 5*h + 14 = -1. Which is smaller: h or l?
h
Let b = -3310 - -2120. Which is smaller: -1189 or b?
b
Suppose 4*z + z + 2*n + 7876 = 0, -n + 7 = 0. Which is smaller: z or -1580?
-1580
Suppose 348 + 48 = -2*h. Let k = h - -102. Let z = k - -145. Does z = 48?
False
Suppose 0 = 28*l - 29*l - 133. Let p = l - -1464/11. Is -0.2 equal to p?
False
Let s be 39651/(-19) - 314/2983. Is -2087 bigger than s?
False
Suppose -42 = f - 4*x + 14, -2*f = -2*x + 124. Let i = f + 80. Suppose -152 + 616 = -i*y. Which is smaller: y or -30?
-30
Let q(j) = 993*j + 99. Let f be q(-1). Which is smaller: -895 or f?
-895
Let m = -61/12 + 1865/348. Suppose -15 = 3*g + 2*l, -3*l - 4 = 3*g + 17. Which is smaller: g or m?
g
Let a(c) = -c**3 - 2*c**2 + 2*c - 3. Let t be a(-3). Let i be -4*(-168620)/(-21760) + 31. Which is smaller: t or i?
t
Let a(t) = -2*t**3 - 5*t**2 - 3*t + 2. Let y be a(-2). Suppose 5*x = -f + 896, 2*x - 379 = -y*f - 17. Is 359/2 smaller than x?
False
Let s = 6138 - 14817. Which is greater: -8680 or s?
s
Let v = -925.8 + 926. Is 173 at least as big as v?
True
Suppose 0 = 116*w - 2093 + 1977. Are -2/32545 and w equal?
False
Let l = -39.2 + 308.2. Let w = l + -128. Is 1 != w?
True
Suppose -5*g = -21*g - 1984. Let x = g - -111. Which is bigger: -9 or x?
-9
Let v(f) = -3*f**3 - 23*f**2 - 29*f + 18. Let c be v(-10). Suppose c = -20*r - 16*r. Is -0.3 < r?
False
Suppose 