((-8)/28)/(2/(-4)). Which is greater: m or n?
m
Let z be (-12)/(-10)*4/32. Let r(l) = -l - 13. Let j be r(-14). Which is greater: z or j?
j
Suppose -3*u + 27 = -3*w, -2*w = -4*u - w + 45. Suppose 3*s + u = -0. Is -4 bigger than s?
False
Let t = 53 - 46. Which is greater: t or 70/9?
70/9
Let y = 1165809/70 - 16655. Let a = 2/7 + y. Let j = a + -11/5. Which is smaller: -4 or j?
-4
Suppose 2*x - 4*q = 0, 5*x - q - 8 = q. Let f = x - 3. Let m = 93 - 1115/12. Which is smaller: f or m?
f
Let b = -701/1160 - 3/145. Let o(r) = r**3 + 2*r**2 - 3*r - 1. Let f be o(-3). Let k(g) = -2*g**2. Let p be k(f). Is b at most as big as p?
False
Let f be ((-288)/(-388))/3*(-4)/8. Which is smaller: 0 or f?
f
Let y be 2*-1*(168/51 + -3). Which is smaller: y or -1?
-1
Suppose -595 = -5*z - y, 0*y - 3*y - 103 = -z. Let f = 50 - -67. Are f and z equal?
False
Let r(w) = -2*w**2 - 4*w - 5. Suppose 4*x + 3 = -3*o, -o - x + 3 = -4*o. Let t be r(o). Does t = 0?
False
Let q(l) = l**2 - 5*l - 8. Let j be q(7). Suppose 4*t = j + 10. Let r be 0/2 - 2 - -6. Is r >= t?
True
Let k = -437 - -437. Is k > -2/3?
True
Suppose 18*h + 1320 = 8*h. Is -131 bigger than h?
True
Let d = -8 + 2. Let s be (-8)/(-12) + 34/d. Suppose 6*q = 97 - 133. Are s and q equal?
False
Let i = 18 - 15. Let u = i - 0. Suppose 1 = -2*a + u*a. Is -3/8 >= a?
False
Let o = -231 + 240. Which is smaller: o or -3/37?
-3/37
Let x(z) = z**2 + 16*z - 10. Let c be x(-17). Let a = 12 - 20. Let o = c + a. Is o less than -9/10?
True
Let f(x) = 50*x**3 - x**2 - 3*x + 3. Let l be f(5). Let s = 528099/85 - l. Do s and 0 have the same value?
False
Suppose 34 + 10 = 4*u. Is u at most 12?
True
Let y = -1.348 - -1.3. Let j = y + -1.952. Which is smaller: j or 8?
j
Let i = 0.39 + -0.09. Let o = i - 0.37. Let j = -0.03 + o. Which is smaller: -3 or j?
-3
Suppose -4*q - 5*s + 147 = 0, 5*s = -5*q + 4*q + 48. Which is bigger: q or 35?
35
Let z be 320*(4 - (-420)/(-104)). Which is greater: z or -13?
z
Let m be (-23)/(-4) + -6 + (-57)/(-180). Are m and 0.1 unequal?
True
Let q be 55 + (-1)/(-4)*-4. Which is smaller: q or 57?
q
Let i be 13/7 - (-53)/371. Which is smaller: i or 44/21?
i
Let p be (39/(-15))/((-1)/2). Let d be -3*1/((-6)/8). Is p less than or equal to d?
False
Let l(b) = b**3 + b - 1. Let q be l(0). Let k be q*9/3 - -3. Is k != -3?
True
Let m(f) = -f + 4. Let y be m(0). Suppose 0 = -2*b + y*b + 3*d + 18, -3*d - 12 = 0. Let h be 1*(-124)/36 - b. Is 1 at least h?
True
Let r be -2 + (-10 - (-1 + 0)). Suppose -18 = -4*p - 2. Let j(b) = b - 15. Let v be j(p). Is v >= r?
True
Let h = 3/5 + -37/45. Which is bigger: h or 0.076?
0.076
Let b = -26/11 - -6102/2563. Which is smaller: b or 1?
b
Suppose -5*v + 9*v - v = 0. Is -9/62 <= v?
True
Let k(a) = a**2 + 13*a - 25. Let n be k(-15). Let c be ((-32)/(-420))/(2/n). Is c greater than 0?
True
Suppose 5*h + 5 + 56 = 3*m, 2*h = 2*m - 34. Let s be 3/(-9)*m*-1. Suppose 2*f - 30 = s*f. Which is bigger: f or -14?
-14
Let m(l) = -4*l - 99. Let g be m(-29). Is 4 greater than or equal to g?
False
Suppose -1 = 2*i + 3. Let s be i/(-3) + 40/3. Is 15 > s?
True
Suppose 0 = -10*x + 62 - 52. Which is bigger: 75/31 or x?
75/31
Suppose 0 = -7*p + 5*p. Let l be (1 - 1)/1 + p. Let s be ((-1)/3)/((-3)/(-2)). Is s greater than or equal to l?
False
Let f = 47.014 + -0.014. Let u = f - 46. Are u and -0.9 nonequal?
True
Suppose 8 = -2*x - 4. Let k = x - -37. Suppose 4*t = -f + 4, -t + 0 + k = 4*f. Which is smaller: f or 7?
7
Let b(y) = -13*y + 10. Suppose -21*f - 2 = -19*f. Let v be b(f). Are v and 24 unequal?
True
Suppose 2*k = c - 4, 2*c + 3*c - 20 = -5*k. Let b be 6 + ((-23)/(-3))/(-1) + -3. Let h = b + c. Which is smaller: h or 0?
h
Suppose 12 = -3*g + 3*p, g + p = -4*g - 2. Which is greater: g or -12/43?
-12/43
Let s = 2.1 + -2. Let n = -10 + 9.2. Which is smaller: n or s?
n
Let i = -401.69 - -402. Is 2/9 less than i?
True
Let x be 5/(-10)*-2*1. Is x > -2/495?
True
Let c = 5 + 24. Which is greater: c or 43?
43
Suppose -u + 5*h - 1 = 2, -71 = -3*u - 5*h. Let t = -279 - -279.1. Which is greater: u or t?
u
Let t = -448 + 448.1. Let j = -0.1 + 0.1. Which is smaller: t or j?
j
Let q = 37 - 37. Suppose -5*z + q*o - 2*o + 13 = 0, 4*z = 5*o - 16. Is 7 != z?
True
Suppose -4 = -c + 2*b, -3*b = -c + 2*b + 4. Suppose -2 + c = 2*v. Let j = 0.8 + -3.8. Is j not equal to v?
True
Suppose 5*v = -y - 24, 2*v + 3*y + 7 + 13 = 0. Let d be -1 + (-9)/(-3) + v. Let w be ((-1 - d)*2)/(-2). Which is smaller: w or -2?
-2
Let g = 0.03 - 0. Let z = -0.04 + g. Let j = z + 0.11. Do -0.2 and j have different values?
True
Let w be (-16 - -8)/24*78. Suppose 3*v + v = -5*b - 151, -b + 5*v = 7. Which is smaller: b or w?
b
Let k be 1/(-3) - (-44)/123. Suppose -19 = 82*p - 17*p - 19. Which is smaller: k or p?
p
Let h = 62546337/108170 + -573/3730. Let l = h + -578. Suppose 2*q - 1 = 3*q. Which is bigger: l or q?
l
Let b = 47 + -45. Let k be (-42)/(-448) - (2 - b). Which is smaller: 1 or k?
k
Suppose -2*w - 4*m + 440 = 0, 0*m - 610 = -3*w + 4*m. Let p = w + -328. Is -118 not equal to p?
False
Let a be 35/6*47/329. Which is bigger: a or 2?
2
Let d = -231 - -164. Let o = -62 - d. Which is greater: 4 or o?
o
Suppose -11*c = 25*c - 33264. Is 924 <= c?
True
Let g = -17 + 20. Suppose 4 = -2*o - 3*d, -g*d - d + 8 = 0. Let l(w) = -2*w - 9. Let a be l(o). Which is greater: a or 7?
7
Let v = -2.32 - -2.318. Is -2 <= v?
True
Let b = -0.44 + -4.36. Let i = b - 0. Let x = i - -1.8. Which is smaller: 1 or x?
x
Suppose 96 = -4*x - 4*y, -4*x - y = 2*y + 92. Let w be x*(-2)/28*1. Which is greater: 0 or w?
w
Suppose -15 = -3*r, -4*r + 5*r = 2*f + 499. Which is greater: -246 or f?
-246
Suppose 0 = -5*i + 2*n - 184, 3*n = -5*i - 199. Do i and -37 have different values?
True
Let r be -437*(456/(-56) + 8). Which is smaller: 61 or r?
61
Let q = -0.677 - -1.318. Let z = -0.059 - q. Which is bigger: z or 0.1?
0.1
Suppose -n - 5*f = 6, f = n - 0*n - 6. Let m(s) = s**3 - s**2 + 4. Let w be m(n). Are 53 and w equal?
False
Let s be 4/380*1*2. Let d be (-3 + 1)*3/6. Is d > s?
False
Let d = 287 - 6031/21. Which is bigger: d or 4?
4
Let h(v) = v - 5. Let m be h(5). Suppose f + m*f = 0. Let s(u) = u + 4. Let w be s(f). Is 16/3 smaller than w?
False
Let t = 7049751197/45 + -156647872. Let q = -65653/5 + t. Let a = -135 + q. Which is smaller: 0 or a?
0
Let s = 61 + -37. Let z be (s/16 + (-2)/1)*18. Are -8 and z nonequal?
True
Let q be (-6)/(-27) + (-48)/(-27). Suppose 3*u = 2*j - 11, q*u + 11 = 2*j + 3*j. Let l = 3379/2410 + -1/482. Which is smaller: l or j?
j
Let s(m) = -m + 12. Let j be s(10). Suppose -j*b + 60 + 20 = 0. Suppose 2*p - b = 7*p. Is p greater than or equal to -8?
True
Suppose 0 = 10*z - 2*z + z. Suppose -4*f + 3*s - 4 = z, 2*f + 3*f + 5 = 3*s. Which is greater: -43 or f?
f
Let d(o) = 3*o - 30. Let b be d(11). Suppose -b*w + w = 4*g + 28, g - 11 = w. Is -45/4 greater than or equal to w?
True
Let z(s) = -5*s**3 - s + 1. Let u be z(1). Let h = u - -8. Let q = 1/21 + -5/7. Is q < h?
True
Let b be 9/(-18)*44/10. Let n be -1*(-8)/(-20)*-5. Let l be n/3 + 5/(-3). Which is smaller: l or b?
b
Let u be -2 - -6 - -17 - 1. Let b be 5*4/u*-2. Which is smaller: b or -1?
b
Suppose 3*r + 246 = 5*l, -5*l - 13 = 3*r - 247. Is 238/5 < l?
True
Let v(l) = -l**3 + 8*l**2 - 8*l + 9. Let a be v(7). Suppose -47 = -a*p - 117. Let z be (p/(-5))/((-1)/1). Which is smaller: -6 or z?
z
Let i = 12.8 + -12.9. Is i < 1.79?
True
Let w = -2898 + 29009/10. Let d = w + -2/5. Suppose 4 = -32*t + 30*t, -p + 3*t = -8. Is d at least p?
True
Let t(p) = -2*p - 305. Let a be t(-12). Is a < -282?
False
Let i be ((-15)/6 + 2)/((-14)/28). Which is smaller: 19 or i?
i
Let x(m) = 2*m - 6 + 10*m**2 + 1 + 7. Let g be x(-1). Is g less than -1?
False
Let d = -190 + 184. Which is bigger: d or -62?
d
Let b = 8.7 + -8.48. Let f = -0.28 - b. Is -1/5 equal to f?
False
Let l = 5 - 16. Let w be ((-6)/(-4))/(l/(-22)). Let o(q) = -q. Let x be o(-1). Which is smaller: w or x?
x
Let i be 3/2*30/9. Suppose -3*y + i*y = 0. Suppose y = 4*d - 2*d + 3*x - 10, 4*x = 5*d - 2. Is d <= 3?
True
Let b be (-295)/15 + (-4)/(-6). Let o = -55/3 - b. Suppose h + 5 = 7. Is h greater than o?
True
Let m be (-4 - -5)/(2/(-4)). Let k be (-10)/50 + (-1033)/35. Let v = k + 1816/63. Which is smaller: v or m?
m
Let r = 2.39 + -2.3. Let b = r - 0