3/(-6))/7. Which is smaller: -28 or u?
u
Let v be (6 - -1) + -5 - (-1786)/2. Which is smaller: 894 or v?
894
Let f = 237.2 - 237. Is -2/9 greater than or equal to f?
False
Suppose 2*r + 3*s - 570 = 0, -r + 4*s = -s - 285. Suppose -3*n + 3 + 0 = 0. Let c be 155/r - n/3. Is -1 equal to c?
False
Let a = 18 + -18. Let f = -53 + 53. Is f <= a?
True
Let z = -34 + 103/3. Let a be 3 - (-2 + 5 - -2). Let s be (-3)/(-30) - a/4. Which is smaller: z or s?
z
Let j be (16 + (0 - 1))/1. Suppose 5*a + j = 2*q + 3*q, -5*a - 2*q = 8. Are a and -1 non-equal?
True
Let w = 685 - 673. Let o = -735/2 - -379. Is w not equal to o?
True
Let g = -2.64 - -2.86. Is 1/3 less than or equal to g?
False
Suppose -5*l + 25 = 5*k, 2*l - 23 = -2*l - 5*k. Suppose l*h + 1322 = 7*h + j, 0 = -2*j + 4. Let u be h/(-15) - (-3)/5. Is -18 not equal to u?
True
Suppose 6*z - 5*z - 5*y = -15, -3*z + 2*y = 45. Let h = -18 - z. Let c be 4 - ((h - -3) + 12). Which is smaller: 0 or c?
c
Suppose 2526 = -43*o + 45*o. Let u = -13873/11 + o. Which is smaller: 3 or u?
u
Suppose -4*j = -i + 413, -3*i - 317 + 11 = 3*j. Do -103 and j have different values?
False
Suppose 0 = -3*p + 4*p. Let k = -4328/9 + 481. Is k >= p?
True
Let m be (-135)/(-33) + 4/(-1). Let o(q) = -q + 2. Let h be o(3). Are h and m equal?
False
Let c be (1 + (-185)/50)*30/10. Which is smaller: -9 or c?
-9
Let z = -12 + 14. Let m = 30 + -43. Which is smaller: z or m?
m
Let k = -122.3 - -122.2. Which is greater: 2/173 or k?
2/173
Let h = -1.13 + 0.13. Let a = h - 5.75. Let i = a + -0.25. Which is bigger: i or 0?
0
Let a(h) = -h**2 + 8*h - 6. Let z be a(6). Suppose 0 = 2*n + 2*l + 2, -5*l - 8 - z = -4*n. Let o be 8/(-10)*(-1 + 42/52). Is n less than or equal to o?
False
Suppose 0 = -3*s + 5*h + 358 - 9, -3*s - 2*h = -356. Suppose s - 12 = -2*v + r, 3*r - 63 = v. Which is bigger: v or -50?
-50
Suppose 40 = 4*c - 3*q, 2*c + 3*q + 2*q - 46 = 0. Let h = -21 - -33. Which is smaller: h or c?
h
Let z(l) = -l**2 + 11*l - 13. Let s be z(9). Suppose 0 = -a - 1 + 5, 0 = -s*r - 3*a + 12. Is -0.037 bigger than r?
False
Let q be (-8)/6*(-825)/220. Are 61/11 and q equal?
False
Let x(a) = 4*a + 4. Let u be x(2). Suppose 2*o = -2*r + u, r = 4*o - 5 - 9. Suppose r*y = y + 3. Which is smaller: 7 or y?
y
Let m = -818 - -9023/11. Is 1 < m?
True
Suppose -2*d - 6*k = -4*k - 66, -5*d + 172 = -2*k. Suppose 5*o = 20, 16 + 10 = i - 2*o. Do i and d have the same value?
True
Let n(g) = g**3 + 6*g**2 + 7*g + 16. Let j be n(-6). Suppose 0 = 5*m - 10 - 100. Let f = j + m. Is 1/3 >= f?
True
Let h be ((-9)/18)/(6/(-24)*158). Suppose 0 = -3*z + 2*z. Is h at least z?
True
Let q be 0 - (5 - 0 - 26/78). Which is smaller: q or 4?
q
Let j be 500/4 - 2/1. Is 123 at least j?
True
Suppose 0 = 2*s + 3*v - 2*v - 6, 5*v = -s + 21. Let h = -4 - -8. Suppose 0 = -3*g + h - 1. Is s <= g?
True
Let x be -1*(20/(-25))/((-2)/(-5)). Let l be 3 - (x/18 + 3). Is l <= -1?
False
Suppose -96*v + 106*v + 10 = 0. Let n = -687/299 + 31/13. Which is greater: v or n?
n
Let j(z) = z**2 - 6*z + 1. Let k be j(7). Suppose d - k*d + 42 = 0. Is 6 <= d?
True
Suppose 23 = 3*f - 2*w, 0 = -2*f - 12*w + 17*w + 8. Is f at least 24?
False
Let j = 1/3837 + 20459/19185. Which is smaller: 2 or j?
j
Let f(v) = -4*v**2 - 16*v. Let t = 82 + -86. Let l be f(t). Is l less than 3/73?
True
Let n(w) = 38*w + 191. Let o be n(-5). Let m be (-18)/(-16)*(-3)/(-18). Which is smaller: m or o?
m
Let d be 5 + -14 - (-120)/14. Is d equal to 1?
False
Let w(t) = -t**2 + 34*t - 137. Let f be w(24). Are f and 105 equal?
False
Let h = -19 + 26. Let l be (-2)/4 + h/(-2). Suppose 5*d + 24 = -1. Which is smaller: l or d?
d
Let q = -143 - -228. Let z = 85.06 - q. Which is smaller: z or -1?
-1
Let c be (-35)/2*(-7 - -1). Let k = c + -76. Do k and 0.2 have different values?
True
Suppose 5*d - 19*b + 1 = -17*b, 3*d = -4*b + 15. Which is bigger: d or -2/1031?
d
Let y(x) = x**2 - 21*x + 46. Let r be y(14). Which is greater: -154/3 or r?
-154/3
Suppose 2*v + 2 = -2*h - 2, 18 = 3*v - 5*h. Let t be 4/18 - 7285/(-2655) - 3. Which is bigger: t or v?
v
Let f = 3 + -1. Let i(j) = 3 - 5*j + 4*j + f*j. Let b be i(-6). Which is smaller: b or 2/5?
b
Let y = 4.028 - 2.84. Let r = y - 0.038. Let b = -0.15 + r. Is b less than or equal to 0.1?
False
Suppose 105*x - 10 = 106*x. Is -7 <= x?
False
Suppose -4*q = s + 72, -3*s + 4*q = -0*q + 232. Let k = s - -77. Is -6 greater than or equal to k?
False
Suppose 5*g + 2*n - 667 = 0, 3*g - 330 = -3*n + 63. Let i = 9451/70 - g. Which is bigger: 0 or i?
i
Let c be (-4)/10 + (-4)/(-35). Suppose 0 = -2740*h + 2758*h. Are h and c non-equal?
True
Let z = -44 + 45. Let j be ((-60)/8)/5 - z/(-2). Is j bigger than 1?
False
Let r be (0 - -1) + 1/(-1). Let f(b) = -b**3 + 11*b**2 - 7*b - 22. Let j be f(10). Suppose -7*q = -j*q. Is r != q?
False
Suppose -3*t + 2*t + 34 = -2*b, b + 20 = -t. Let g be b/15*20/(-6). Suppose -1 + 22 = 3*q - g*p, -4*p + 28 = 4*q. Is q at least as big as 1?
True
Let s(x) = 2*x. Let c be s(-6). Let k = -37 - -48. Suppose n = -0 - k. Is c < n?
True
Suppose 3*a + 1484 = -625. Let k = -44386 + 135248/3. Let d = k + a. Is -5 <= d?
False
Let i(h) be the second derivative of h**5/20 - 2*h**4/3 + 5*h**3/6 + 3*h**2/2 - 18*h. Let j be i(5). Are j and -48 nonequal?
True
Let i be ((-82)/(-14) + 6)*-1. Which is greater: i or -11?
-11
Suppose -2*d = -36 + 4. Suppose -d = -4*g - 3*r, 0 = g + 4*r - 6 + 2. Suppose g = n + 5. Is n smaller than -1?
False
Let h = -8255/3 - -2838. Is 85 != h?
True
Let k = -55 - 287. Let y be (2/k)/((-33)/198). Which is smaller: 1 or y?
y
Suppose 33 - 286 = 11*f. Is f greater than or equal to 1?
False
Suppose z + 1 = -0*z. Let a = 4002/232361 + -8/733. Which is smaller: z or a?
z
Suppose 0 = -3*y - y + 8. Let q = -96.99 - -1.99. Let m = 96 + q. Are m and y equal?
False
Let p = -41 - -51. Suppose -2*i = -p - 0. Suppose 7*w = 2*w - 4*j + 25, w = j + 5. Do w and i have the same value?
True
Suppose -2*t = -72 + 100. Let p be 15*(-2 - t/6). Which is greater: p or -3?
p
Let x(q) be the second derivative of 29*q**3/6 + 11*q**2/2 + 12*q. Let v be x(-4). Let b be ((-4)/(-7))/(225/v). Are b and -1 non-equal?
True
Let m(p) = -10 - 2*p + p**2 - 8*p + 2*p + 0*p**2. Let b be m(10). Suppose 2*o = -b, -5*x - o + 5 = -4*o. Which is smaller: x or 1?
x
Let t be (-17)/2 - 12/8. Let b = 14 + t. Suppose -12 = 4*d + b. Which is bigger: 0.2 or d?
0.2
Let w = 330/23 + -11005/759. Is w bigger than -1?
True
Let n be (1/((-20)/(-24)))/((-12)/(-40)). Suppose -4*z + 12 = -z. Suppose z*u = -0*u + 8. Which is smaller: n or u?
u
Let i = -0.054 - 21.946. Let l = 16 + i. Let c = 8 + l. Is 9 bigger than c?
True
Let b(q) = -2*q**2 + 8*q - 7. Let w be b(4). Let g be (-37)/(-4) - w/(-28). Which is greater: g or 5?
g
Let j be (-644)/345 + 2/(-15). Let w be (70/(-17))/j + -2. Let r = -2 + 3. Is w > r?
False
Let k be (-4)/6 + (-49)/21. Suppose 0 = -4*x - 3*u + 24, 0 = -0*x + 5*x - 3*u - 30. Suppose -15 = -h + x*h. Is h less than k?
False
Let r be (-5116)/(-45) - 4/(-36). Which is smaller: r or 114?
r
Let d(o) = 11*o + 230. Let x be d(-20). Suppose 0 = -3*t + 2 + 4. Which is bigger: t or x?
x
Let t = -2182 - -1360. Are -821 and t equal?
False
Let k = -2960.1 + 2960. Which is smaller: 732 or k?
k
Let f(d) = -12*d - 36. Suppose 7*m + 9 = -12. Let k be f(m). Which is bigger: 24 or k?
24
Let u be (20/(-25))/(16/1640). Which is smaller: u or -79?
u
Let o = -27.509 - -0.509. Do o and 0.06 have different values?
True
Let o = 1.72 - 1.8. Let s = o + 0.13. Let m = s + -0.05. Is m > 1.5?
False
Let h = 1.1 + -1.3. Let t = -35.1 + 34. Is h >= t?
True
Suppose -30 = -4*k - 2. Which is bigger: k or 6?
k
Let g be (0/(-1) - 14553/(-2409)) + -6. Is 0 <= g?
True
Let u = -0.12 - -9.12. Let y = -54 + 42. Let g = y - -82/7. Which is smaller: g or u?
g
Let i be 230/(-118)*1/((-45)/(-77064)). Let m = i + 3338. Which is greater: m or 0?
m
Let r = -76.916 + -0.084. Which is smaller: r or -0.1?
r
Let k = -1398 - -1397. Which is smaller: -287 or k?
-287
Suppose 33*i + 866 - 2780 = 0. Which is greater: i or 55?
i
Let s = -49 + 3. Which is bigger: s or 2?
2
Let l = -1.5 - -38.5. Let s = 48 - l. Is s bigger than -2?
True
Let q(f) = -f**3 + 13*f**2. Let i be q(13). Suppose i*w - 4 = -w. Suppose -1 = -4*s + 3*s - t, w*s + 4 = -2*t. Which is greater: s or -2?
-2
L