((-9)/((-63)/(-11))). Which is bigger: w or m?
m
Let d be (-245)/98*(-58)/(-5). Suppose -35 = 5*r + 100. Which is smaller: d or r?
d
Let s be (328/11 - -3) + 8/44. Suppose 22 = -3*w + 49. Suppose -5*k + s = -2*z - 0*k, k = z + w. Which is bigger: z or -1?
-1
Let u = -9.112 + -0.088. Let z = 8.2 + u. Is z greater than or equal to 0.015?
False
Suppose 5*b - 21 = -6. Suppose -4*x + 2*k + b*k + 20 = 0, 3*k = -5*x + 25. Suppose -x*q + 5*v + 24 = -2*q, q = -v + 8. Which is bigger: 7 or q?
q
Let r = -379/9 - -42. Do r and 0.3 have the same value?
False
Suppose 30 = 6*r + 4*r. Suppose 3*d = -0*d. Suppose d = l + r + 6. Is l at most as big as -9?
True
Let t = 2255 - 2251. Let z be (12/80)/(1/4). Are t and z unequal?
True
Suppose -c + 4 - 6 = 0. Which is bigger: 5 or c?
5
Suppose 279 = 4*m - 3*o, -5*o - 234 = -4*m + 39. Suppose -84 = -6*x + m. Suppose -3*k + h + 0*h + 33 = 0, -2*h = -2*k + x. Which is bigger: 9 or k?
k
Let k be 1*2 + 155/(-78). Let n(b) = -27*b - 1161. Let w be n(-43). Which is smaller: w or k?
w
Suppose -58 + 79 = i. Let s be 200/6 + 1/(-3). Suppose 3*a + s = -5*h, 0 = 3*h + h - 3*a + i. Is -4 < h?
False
Suppose -2*q + 9*x - 3 = 14*x, q + 4 = -5*x. Let l = 4/1366495 + -76255801/1837935775. Let r = 2/1345 + l. Is r at most as big as q?
True
Let z = -8081/7 + 1157. Which is smaller: z or 1/14?
1/14
Let n = 63 - 67. Which is bigger: 1 or n?
1
Let n = -13/40 - 23029/280. Which is greater: -83 or n?
n
Suppose p - 19 = -2*r, -3*p + 140 - 59 = -2*r. Is 30 greater than or equal to p?
True
Let u be (-18)/4*(-22)/33. Suppose -4*l - 2*y = 30, 2*l + 12 = -2*l + 4*y. Let v be (0 - 2) + l/(-2). Which is bigger: u or v?
u
Suppose i = -3*i + 12, -3*i - 101 = b. Let p be 4/(-10) - (-66)/b. Is -1/8 at least as big as p?
True
Let u be 64/(-80)*(-3)/(-4). Let g = 19/15 + u. Is -2/43 <= g?
True
Suppose -56 + 6 = 25*k. Is 9/10 greater than or equal to k?
True
Let p be (-9905)/28*-2 + -1. Which is smaller: p or 706?
706
Let o be 4*(-1)/1 + (-28)/(-8). Which is smaller: o or -89?
-89
Suppose -5*o - 2 = -d + 2, 2*d = -3*o - 18. Suppose 0 = -l - 4*g - 8, -32 = 36*l - 32*l + 5*g. Is d bigger than l?
True
Let r = 496 + -482. Do -4 and r have the same value?
False
Let k(z) = -z + 46. Let s be k(46). Do -2/41 and s have the same value?
False
Let o = -6.903 - 0.097. Is 9 > o?
True
Let h = -232.54 + 233.5. Which is smaller: h or -1/3?
-1/3
Let j be -8 - -10 - (0 + -5). Is j less than or equal to 0.6?
False
Let u = 349.6 - 323. Let s = -2.4 - u. Let f = -23 - s. Which is bigger: -0.2 or f?
f
Let k be ((-154)/357)/11*(-4)/8. Is k > -1/5?
True
Let p be ((-45)/(-12))/((-2)/16). Let h be (3236/p)/((-102)/9). Let z = h - 47/5. Which is bigger: -1 or z?
z
Let s = -837 - -837. Are -293 and s unequal?
True
Let a = 122 - 197. Is a > -76?
True
Suppose 2*a = a. Let r be (a + -3)*(-4)/3. Let y(o) = -4*o - 39. Let u be y(-10). Is u greater than or equal to r?
False
Suppose 0 = 3*m + 3*a - 9, -a = -m - 5*a + 6. Let k be (-44)/36 + m/9. Let r be k*(204/(-3))/4. Is 16 not equal to r?
True
Let l(w) = w**2 + 22*w + 48. Let u be l(-19). Is -96/11 less than u?
False
Let k = 4 + -1.1. Let c = -5.6 + 7.1. Let n = c - k. Which is greater: n or 0.1?
0.1
Let t(f) = f**2 - 14*f - 35. Let z be t(-8). Suppose -107 = -8*v + z. Is v != 31?
False
Let y = -5 - 2. Let t(h) = 3*h**3 - h**2. Let p be t(1). Let o be (-40)/(-10)*(-3)/p. Which is smaller: y or o?
y
Suppose -4*w - 46 = -3*h, 0*w = 3*w + 12. Suppose h = -3*c + 2*l, -4*c + 2*l = -0*l + 12. Is -5/2 at most as big as c?
True
Let y = 24 + 417. Are y and 442 equal?
False
Let i = 3 + -1. Let k = 55.6 + -67. Let c = -14.4 - k. Is i at least c?
True
Let t = -35901/50 + 718. Which is smaller: 0 or t?
t
Let d = 606 - 605.9. Which is smaller: 130 or d?
d
Let s = -18 + 56. Let f be 48/s*((-44)/16 + 3). Suppose 0 = -3*h - 2 - 1. Does f = h?
False
Suppose -4*x + 0*x = -5*i + 32, -x = -2. Let l be (-6)/i - (-3)/(-12). Is -4/9 equal to l?
False
Let m(t) = t**2 - 6*t + 6. Let g be m(5). Suppose -g = -4*v - 121. Let f be v/(-9)*1/2. Are f and 1 non-equal?
True
Let z be (4/(-5))/((-24)/60). Suppose 3*t - 4*k + 6 = -0*t, -z*k + 6 = 0. Is t equal to 1?
False
Let p = -40 - -29. Let o be ((-1)/3)/(p/(-33)). Is -4/15 > o?
True
Let o = 286/15 + -92/5. Let w = 7 + -5. Is w > o?
True
Let z be (-4)/6 + 8/3. Suppose 68 = 6*r + 38. Suppose 0 = -z*p - 3*p + r. Is 2/11 smaller than p?
True
Let z(v) = -3*v + 24. Let x be (-8 - -3)*(-4 - -3). Let l be z(x). Which is bigger: -0.3 or l?
l
Suppose -6*j + 4*d = -5*j - 8, -2*d - 4 = -5*j. Which is bigger: j or -6?
j
Let v(a) be the second derivative of a**5/20 - a**4/2 - a**3/6 + 3*a**2/2 - 10*a. Let y be v(6). Which is smaller: 1/5 or y?
y
Suppose -4*t = -0*t - 8. Let q be (1 - 4) + 1 - t. Is -4 at most as big as q?
True
Let m be (-2)/4121*(3 + 7636/8). Let s = m - -1/317. Is -2 <= s?
True
Let x = 16364/167 + -98. Is x < -1?
False
Suppose -1 = -2*f - 5. Let j be (-1 + f + 4)/11. Let a(u) = -u**2 - 20*u - 100. Let y be a(-11). Is y > j?
False
Suppose 0 = -3*q + 6*q - 54. Let f be (9/q)/(10 + 1). Is f at least as big as 0?
True
Let j = 5183/546 - -2/273. Which is bigger: 11 or j?
11
Let v = 480 + -524. Is -44 > v?
False
Suppose -4*v - 4 - 5 = -3*n, 0 = -2*v + 5*n - 15. Which is bigger: v or -4/309?
v
Let j be 318/(-9)*(-1 - -5) - 0. Let v = j - -142. Let p be (-2)/4 + (-1)/6. Is v greater than or equal to p?
True
Suppose 6 = 2*c, 4278 = -q - q - 2*c. Let i be q/162 - (-2)/9. Which is bigger: i or -2?
-2
Let u(a) = a - 14. Let w be u(7). Let t be 114/(-190) + (-1 - (-32)/(-5)). Which is greater: t or w?
w
Suppose -n + 2*n = 15. Let u = 203 - 186. Let w = n - u. Which is greater: -3/2 or w?
-3/2
Suppose -3*s + 20 = -3*m - s, 4*s + 40 = -2*m. Let w = 12 + m. Suppose 0 = -0*d - 2*d + w. Are -2/57 and d equal?
False
Let h = 47 + -43. Suppose 5*k + 5*n - 10 = 0, h*k = k + 3*n + 6. Are k and 3 equal?
False
Let l be -6*(-2 - 24/(-9)). Let h be (0/(4/l))/2. Let c(p) = -p + 1. Let j be c(-6). Which is smaller: h or j?
h
Suppose 1136 = 2601*k - 2609*k. Is -141 at least as big as k?
True
Let g = -17 - -16.93. Let y = 0.06 + g. Let b be (-5 - (-185)/30) + -1. Are b and y unequal?
True
Let k(u) = -13*u**2 - 7*u. Let a(o) = 4*o**2 + 2*o. Let c(t) = 21*a(t) + 6*k(t). Let f be c(-2). Let p = f + -14. Which is smaller: p or 9?
9
Let j(f) = f**3 - 4*f**2 - 4*f - 3. Let c be j(5). Suppose c*i + 0*i = 10. Let t be (-14)/49 + 69/21. Do i and t have different values?
True
Let w = -103115/67 + 1539. Let r = 1299845/48642 + -3129/121. Let z = r + w. Which is smaller: 1 or z?
z
Let r be (-35)/(1575/54) - (-11)/5. Which is smaller: r or -2/4645?
-2/4645
Let h(a) = a**3 + 4*a**2 + 5*a + 2. Let j be 2/2*16/(-8). Let z be h(j). Which is greater: -2 or z?
z
Let v be ((-40)/21)/(426/(-9)). Let o = v - 4322/33299. Is o smaller than 1?
True
Let y be 4/(-8) + (-1233)/(-6). Let a be y/540 - (-1)/4. Let c = a + 1/27. Is c != 2?
True
Suppose -5*v - 32*v - 2516 = 0. Is v greater than -137/2?
True
Let t = 10 + -12. Suppose -7*y - 285 = -26*y. Are t and y equal?
False
Let b = 78 + -26. Let f = -39 + b. Is 2 not equal to f?
True
Let q be 2 + (23525/(-2392))/5. Let b = 1/184 + q. Suppose 0*l = -10*l. Which is greater: l or b?
b
Let z(q) = q**2 - 18*q + 76. Let r be z(7). Are r and -21 equal?
False
Let d(n) = -27*n + 171. Let t be d(6). Do t and 9 have the same value?
True
Let w(p) = -p**2 + 13*p - 18. Let x be w(11). Suppose t = x*d - 359, 0*d - 2*t = 3*d - 261. Is d >= 89?
True
Let b be 2/(-4) + 1114/14. Let k(x) = 2*x**3 + 20*x**2 - 11*x + 42. Let o be k(-11). Let q = o + b. Is 0 at most as big as q?
True
Let n be -2 - (-4)/(20/25). Let f be (-243)/(-12) + (-2)/8. Suppose b - n*b = f. Which is bigger: -11 or b?
b
Let r(g) = -g + 7. Let f be r(6). Let j = 249 - 249.123. Let c = j - 30.877. Is c <= f?
True
Let x = -1 - 1. Let d = -4.2 + 4.1. Which is greater: d or x?
d
Let y = 334 + -342. Let w = -9.1 + 15. Let b = w - 6. Which is smaller: y or b?
y
Let x(v) = -14*v - 76. Let r be x(-7). Is r less than 26?
True
Let v be ((-4)/(-72))/((-2)/(-8)). Suppose -3*b - 3*z - 20 = -8*b, -5*b = 4*z + 15. Is v >= b?
False
Suppose -5*z - 1 = -2*u - 2*z, 0 = -z + 1. Suppose u*q + 7 + 1 = 0. Suppose 6 = -3*d + d. Which is greater: q or d?
d
Let v = 79 + 188. Is 0 bigger than v?
Fal