r - 48. Suppose d + 5*j + 17 = -12, 0 = -d - 3*j - 27. Let n be k(d). Which is greater: 1/46 or n?
1/46
Suppose 228 = -92*f + 86*f. Is f bigger than -402/11?
False
Suppose 7*q = 8*q - 11. Suppose -3*b + 7 = -q. Is b > 4?
True
Suppose -5*u = -9 - 1. Let o = -4 + 5. Suppose u*j = -o - 1. Is 1/17 less than or equal to j?
False
Let z = 1381/117 + -139/13. Which is greater: z or -1?
z
Suppose -32*i = -23*i + 54. Let c be (i/10)/((-4 + 8)/(-180)). Is c equal to 28?
False
Let l be 16*(-110)/(-920) - (-6)/69. Let w be (-1)/(1/(-3)) + 0. Which is greater: w or l?
w
Let v be ((-8)/(-30))/(8 + -14). Suppose -s = -1, 0 = f - 0*s + 4*s - 5. Do f and v have the same value?
False
Let s = -0.95 - -10.95. Is 0.26 <= s?
True
Let q be 4/(-6) - (-6)/(-36). Let y be 12 - 2/6*21. Which is greater: q or y?
y
Let k be (3 + 17/(-3))*(0 - -9). Is k less than or equal to -27?
False
Let i(n) = -3*n**2 - 85*n - 33. Let y be i(-28). Which is bigger: y or -39?
y
Let f be (14/35)/((-2)/50). Let w(n) = -4*n + 8. Let s be w(f). Let c be (s/36)/(2/3). Is c less than 12/13?
False
Suppose 3*g = 4*v - 0 - 1, g - 17 = -3*v. Suppose -36 = -v*z + 2*j, -5*j = 2*z - 2 + 8. Let i be -5*2 - (6 - z). Are i and -10 nonequal?
True
Let m be -1*(2 - 129 - -4). Let s = -123 + m. Which is greater: -3/77 or s?
s
Let l be (-219)/(-13) - (49 - 56). Which is greater: 23 or l?
l
Suppose -55*z - 14700 = -34*z. Is z at least as big as -699?
False
Suppose -4*t - 1512 = 5*j, 33*j - 36*j = 0. Which is smaller: -379 or t?
-379
Let c be -15*(-8 + 906/108). Suppose 2*q + 9 = k, 7*k = -3*q + 2*k - 33. Which is smaller: q or c?
q
Let m = -2345 + 2301. Which is greater: m or -40?
-40
Suppose -58572 + 21186 = -31*s. Is 1206 at most as big as s?
True
Let y = -0.039 - -0.14. Let w = y - 0.001. Is 0 greater than or equal to w?
False
Let d = 2354/975 + -30/13. Is -1 <= d?
True
Let x(i) = -24*i**2 + 16*i - 21. Let v be x(3). Is -1322/7 greater than v?
True
Let s = -36 + 41. Suppose -1 + 1 = -s*g. Which is bigger: -5/7 or g?
g
Let b = -17 + 27. Suppose -4*d + b = 118. Is d greater than -27?
False
Let j(o) = 17*o - 25. Suppose -16*g = -14*g - 6. Let u be j(g). Which is smaller: 28 or u?
u
Let v = -44 - -52. Suppose -v*u = 32 + 24. Which is bigger: u or -8?
u
Suppose 0*o + 1425 = -25*o. Which is smaller: o or -53?
o
Suppose 21*r - 26 = 16. Let m be 0 + (53 - -1) + 0. Let t be (6/m)/(r/(-4)). Which is smaller: -1 or t?
-1
Let s = 5 + -6. Let c be 8/36 + (-1)/((-5)/(-10)). Is c < s?
True
Let d be (4/(-3))/(4/(-6)). Let x be 2/3 + (-286)/33. Let z be (-3 - x/d) + 0. Which is smaller: -1 or z?
-1
Let s = -20246/5 - -4036. Let m(k) = -k**2 - 3*k + 4. Let i be m(3). Is s at least i?
True
Let t = 35.7 - 5.7. Let a = t - 12. Let d = -18.6 + a. Is d < 0?
True
Let a = -10 - -1. Let f = 23 + a. Let c = 14.2 - f. Which is bigger: c or 3/7?
3/7
Let p = -253/6 + 128/3. Let j be 54/(-10) + 2/5. Which is greater: p or j?
p
Let k be (-4)/7 + 75888/(-476). Which is smaller: 1 or k?
k
Let x = -0.064 - -1.064. Let v = 79 + -82. Which is smaller: v or x?
v
Let a = -59 - -90. Let d = a + -31.11. Does d = -1?
False
Let l = -356 - -371.1. Let u = -16 + l. Which is smaller: 7 or u?
u
Suppose 26*c = 21*c + 160. Suppose 0 = -3*f + 34 + 59. Which is greater: f or c?
c
Let i = 4 - 2. Suppose -1 = 3*y + i. Let v be 0/(y/((-2)/4)). Which is greater: v or -5?
v
Let p = -2303 + 3848. Which is smaller: 1546 or p?
p
Let u = -0.41 + 0.376. Let c = u - 0.166. Is c equal to -2/7?
False
Suppose 4*r - 93 = -3*q, -4*q = 2*r - 5*r + 76. Suppose r = -5*m - 16. Let p be 56/140*14*5/(-4). Is p != m?
True
Let v = 2/3243 - -42139/32430. Let z = v - 121/70. Is z greater than 1/4?
False
Suppose -4*r + 3*u - 29 + 147 = 0, u - 95 = -3*r. Let t(l) = 39*l + 188. Let i be t(-4). Which is bigger: r or i?
i
Let f(u) be the third derivative of -5*u**4/24 - 22*u**2. Let s be f(0). Which is greater: s or 1/153?
1/153
Let c = 89 + -85. Suppose -6*r = 2*s - 7*r, 2*s + c*r - 10 = 0. Let u be ((-6)/22)/(-1 + 0). Which is bigger: s or u?
s
Let s be 36/30*270/12. Are s and 18 equal?
False
Let g be (-4)/10*(-2 + (3 - 6)). Let s be ((-4)/10)/(2/(-10)). Let z = g - s. Does z = 1/5?
False
Let x be (-155562)/(-1910) + 2 - 3. Let p = x + 144/191. Let k = -82 + p. Which is smaller: k or 1/4?
k
Let i be (6/9)/(1/3). Let u be 9/2*7/(21/2). Suppose 2 = -u*j - 4*b + 22, 0 = -2*j + 5*b - i. Is j at most as big as 5?
True
Let w be 30/1064*6790/168. Let q = w + 1/304. Let z be 2/4*2/1. Which is smaller: z or q?
z
Let k(j) = -j**3 + 7*j**2 - 8*j + 4. Let x be k(5). Let l = -178 - -193. Is x greater than or equal to l?
False
Let a = -2.3 + 0.1. Let x = 2.5 + a. Let t = x + 21.7. Which is smaller: 0.1 or t?
0.1
Let z = 412 + -410. Which is greater: z or -147?
z
Let x = -2.4 + 2.46. Let b = 3 - -5. Let f = b - 8. Is f <= x?
True
Let q be 1/(-5) - 1148/(-190) - 5. Which is bigger: -6 or q?
q
Let f(s) = s - 1. Let k be f(6). Suppose k*y + 14 = 2*g, y + 2*g + 0*g = 2. Let q be (-1 + y + 3)/(-2). Is q at most as big as -1/5?
False
Let m = -8075/3 - -2691. Let g(r) = r. Let n(a) = -a - 2. Let d be n(0). Let v be g(d). Which is smaller: v or m?
v
Let v(j) = j**2 - 1. Let n(f) = 2*f**2 - 4. Let r(d) = -n(d) + v(d). Let h be r(0). Is -0.4 greater than h?
False
Suppose -3*q + 18 = z, 7*z - 3*z - 37 = -5*q. Suppose -5*r + 2*r - 390 = z*f, -4*f = 12. Let h = r + 891/7. Which is smaller: -6 or h?
-6
Let f = -3357 - -3356.7. Let s = 1 + 0. Which is greater: f or s?
s
Let h = 2/1441 + 1385/40348. Do h and 0 have the same value?
False
Suppose -51 + 1 = 5*q. Which is greater: q or -15?
q
Let v = 49.5535 + -49.5. Do v and -0.1 have different values?
True
Let u be 1632/(-72) + (-1)/(-1). Which is smaller: u or -22?
-22
Suppose 6*f = 5*x + 3*f - 20, -4 = -x - 2*f. Suppose 0 = -3*g - 2*j + 5, -g - 4*g - x*j + 9 = 0. Let q be (-24)/(-28) + (-1)/g. Are q and -1 non-equal?
True
Let o(p) = -p**3 + p**2 - p. Let r be o(0). Let k be (-28)/(-740)*147/(-18). Let b = k - -1/111. Which is greater: r or b?
r
Let v(u) = 46*u**2 - u. Let w be v(1). Suppose 17*c + 163 = 911. Do w and c have the same value?
False
Let x be (6/9 + -1)*-9. Suppose 2*c = -z + 3*c, -x*c + 8 = -5*z. Are z and -20/7 equal?
False
Let f be (-11)/((-374)/(-4)) - (-2544)/(-51). Let r = 75 - 124. Is f smaller than r?
True
Suppose 0 = r - 2 - 0. Let g = 27 - 24. Suppose -3*u + 5*f = -14, -4*u + u = -g*f - 12. Is u less than r?
False
Let i be 30/(-12)*(-8)/2410. Which is greater: i or 1?
1
Suppose 3*t = -1 + 7. Let g be -1 + (t + -4 - -5). Suppose 11 = f - 3*a - 2, 4*f = 2*a + g. Is -3 greater than or equal to f?
False
Suppose t + 3*t - 192 = -5*h, -3*t = -3*h + 99. Is h greater than or equal to 44?
False
Suppose -4*q - 56 = 36. Are -22 and q non-equal?
True
Let t(f) = 2*f**2 - 8*f - 5. Let v(o) = 3*o**2 - 15*o - 10. Let a(z) = -5*t(z) + 3*v(z). Let l be a(-5). Let i = -1.9 - -1.9. Which is greater: i or l?
i
Let v be -2 + -2 + (-18)/(-4). Let n be (12/10)/((-4)/(-10)). Let m be 15/(3 - -2) - n. Is m at most v?
True
Let w = 2280 - 2279. Suppose 3*f - 69 = -5*q + 55, -184 = -5*f + 3*q. Let s be f/(-3)*(-3)/2. Which is smaller: s or w?
w
Let h = -85 - -343/4. Let p = -130 + 23. Let g = 106.9 + p. Is h bigger than g?
True
Suppose 10*x + 4*x = -280. Is x equal to -131/7?
False
Let b = -91 - -79. Let x be (-2)/2*-1*-1. Is x <= b?
False
Let y = 108/161 + -5/7. Is y equal to -0.4?
False
Let o = -939 + 944. Is -7 <= o?
True
Let y be 4 + 1 + -3 + 3. Let p be ((-2)/(-3))/(2/15). Suppose -p*f + 4*a - 56 - 29 = 0, -3*f - y*a - 14 = 0. Which is smaller: -14 or f?
-14
Suppose 0*h + 4*h + 4*q = 20, 0 = 3*h - 4*q - 43. Is 130/17 < h?
True
Let y(c) be the first derivative of c**2 - 15*c + 326. Suppose 3*g - 12 = g. Let v be y(g). Which is greater: -9/4 or v?
-9/4
Let c = -29.48 + -0.52. Let q = -17 - c. Let h = q - 13.1. Does -6 = h?
False
Suppose -7 = -3*b + 3*u + 2*u, b - 4*u = 0. Let n be -5 - ((-2)/(-5 + b))/2. Suppose -41 = 3*i + 4*k, 4*k + 5 = 2*i - 1. Is n bigger than i?
True
Suppose 0 = 4*t + 2*h - 746, 10*t - 9*t = -5*h + 191. Is t less than 185?
False
Let v be -1 - (-5)/2085*411. Is v less than or equal to 0?
True
Suppose 4*c - 2*c = -8. Let d be ((-4)/(-6))/(c/(-6)). Let x = -2/3003 + 3019/24024. Is d bigger than x?
True
Let a be (-2)/5 - (-4)/10. Let h(u) = 53 + 2*