70/(-9) - 1) + (150/45)/(-10). Is k > -1496?
False
Suppose -u = 5*j - 56, 2*j + 2*u + 3*u = 27. Suppose -20*p = -j*p - 18. Which is smaller: -0.6 or p?
-0.6
Suppose 53186 = -16*s + 13*s + 5*b, 5*b = 35. Is s at least -17717?
True
Let v = -2.57 - -123.57. Let i = v - 121.1. Is i greater than or equal to 73?
False
Let p = 24.794 + -23.045. Which is bigger: p or -5?
p
Suppose 5*n = -2*q + 362, 14*q - 16*q - n = -370. Which is bigger: 185 or q?
q
Let n = -7.651 - 0.029. Let i = n + 7.7. Let m = i - 0.48. Which is smaller: m or -1?
-1
Let z = -0.032 + -12.968. Let o be (4 - 29/9) + -3. Let c = -26/9 - o. Are c and z equal?
False
Let a = 4/313 - -590/2817. Which is greater: a or -0.44?
a
Let l = 7738 + -46433/6. Which is smaller: -20/7 or l?
-20/7
Let f be (-1 - (-16)/14)*-3. Suppose -11 = 2*a - 21*c + 18*c, 0 = 2*c - 2. Which is smaller: f or a?
a
Let l = 76 + -74.4. Let s = l - 1.597. Let n = -2.003 + s. Which is smaller: n or 7?
n
Let u be (-2)/(-5) - 354/310. Let b(m) = 368*m - 64032. Let i be b(174). Which is bigger: i or u?
i
Let c = 372 - 373. Let t(s) = -60*s + 35. Let f be t(c). Is 99 less than f?
False
Let w be -3 + 64 - 10 - 12. Which is bigger: 40 or w?
40
Let v = 185786401/5835 + -31840. Which is greater: 1 or v?
1
Suppose 4*k + 71 = 327. Let l = 63 - k. Let h be ((-6)/252)/(l/20). Is 1 less than h?
False
Suppose 61 = -3*z + 130. Let y be 2/(-4*4/(z*-8)). Do y and 23 have the same value?
True
Suppose -3*w + 8 = -55. Let j(f) = -3*f**3 + 6*f + 7. Let i be j(-2). Which is smaller: w or i?
i
Let b = 18416 + -18447. Let z = -4 - -7. Suppose -3*k + z*p = -p + 70, 0 = p + 5. Which is smaller: b or k?
b
Let b(u) be the third derivative of u**4/24 - u**3/3 + 2*u**2. Suppose 2 = -2*v + 2*y - 6, -3*v - y = -4. Let o be b(v). Which is smaller: -7/2 or o?
-7/2
Let c = -2976 + 2592. Is c greater than -387?
True
Let r be 1*(-5)/25 - (-3)/(105/22). Are r and -1/4 unequal?
True
Let s(o) = -2*o**2 + 7*o + 4. Let w be s(5). Let h = -43/4 - w. Let j(l) = 13*l - 21. Let z be j(1). Which is smaller: h or z?
z
Let n be (-127 - -151) + (-304)/2. Is n bigger than -132?
True
Suppose 15*z + 18 = -87. Let s be (6 - 4) + -2 + 4. Suppose 3*i = -14 + 5, -49 = s*p + 3*i. Is p at least as big as z?
False
Let t = -681.78 + 685. Let u = t - 3.43. Is u less than -14?
False
Suppose 9*x - 13077 = -11601. Which is smaller: 4/7 or x?
4/7
Let p be -4 + 3 - 2 - (-54)/19. Suppose 12*h + 44 = -16. Let q be h/45 - (-1)/9. Are p and q unequal?
True
Let s = 15.04106 + 0.05894. Do 0.3 and s have the same value?
False
Let t = -45 + 251. Suppose t*b - 201*b - 15 = 0. Let d be (-2 - (-1 - -8))*(-1)/5. Is b less than or equal to d?
False
Let r = -49 + 49. Suppose 2*y = -5*g + 14, -2*g + r*g = -y - 2. Suppose g*p + 6 = 4*h, p + p = -5*h - 51. Is -14 bigger than p?
False
Let d = 87 - 111. Let q be 3/(d/68) + -1. Which is greater: -9 or q?
-9
Let v be 1*-4*(-6)/(-72)*3. Are -4/3089 and v nonequal?
True
Let l = 9497/43 - 285853/387. Let f = l - -20525/18. Let r = 600 - f. Is -23 at least r?
False
Let c = -132 + 147. Suppose -5*z + 25 = 5*l - c, -2*z + 3*l - 4 = 0. Is 3 >= z?
False
Let y = -14/5 - -1493/535. Let x = -6 - -6. Suppose x = 8*d - 5*d. Which is greater: d or y?
d
Let h be (-91)/63*5/5. Which is smaller: -9 or h?
-9
Let w = 918 + -956.3. Let b = -36 - w. Let d = b + 9.7. Which is smaller: d or 0.1?
0.1
Let r = 21474 - 21484. Which is smaller: 46 or r?
r
Suppose -2*r + 21*g - 19*g = -14704, -4*r - g = -29398. Which is greater: r or 7348?
r
Suppose 5*w - 10 = -5*u, -3*w + 14*u = 16*u - 8. Let h be w*(-39)/(-12) - (-6)/(-1). Are -6 and h equal?
False
Suppose -3*w - 755 = 2*w. Let u = w - -104. Which is bigger: -1 or u?
-1
Let r be (-1)/(-54)*414 - (0 - (-1)/(-3)). Is r at most 97?
True
Let x be 2 - ((-7)/((-35)/(-30)) - -21). Let n be (-1)/(-7) - x/((-182)/16). Let d = -701 + 13314/19. Which is smaller: n or d?
n
Let i be (14/8)/(-1) + 0. Let s be 0/(3 + (-8 - -2)). Suppose 10*j - 15*j = o + 13, -j + 2*o + 4 = s. Which is bigger: i or j?
i
Let q be (-4)/(-1 - (-27)/24). Suppose 2005 = -15*h + 2455. Let b = h + q. Are -7 and b unequal?
True
Let r(g) = 27*g**3 + 270*g**2 + 8*g - 36. Let p be r(-10). Let v(j) = 116*j. Let h be v(-1). Are h and p unequal?
False
Let r = -157.66 + -1.34. Let m = r - -162. Which is smaller: -0.025 or m?
-0.025
Let z(t) = -3*t + 4. Let n be z(-3). Let x be (1 - (3 - 4)) + 2. Let r be x/(-10) + 0 + (-27)/(-30). Is r greater than or equal to n?
False
Let m be (-968)/121 - 18143/(-2268). Is 0 equal to m?
False
Suppose -2*r + 6 - 2 = -4*k, 2*k = -18*r - 40. Is -443.1 < r?
True
Let n = 18959 + -18960. Which is smaller: n or -5/14?
n
Let m = -0.055 + 2.955. Let u = m + -9.9. Which is smaller: 1/4 or u?
u
Let o = 5739 + -5604. Let i = 3 + -2. Which is smaller: i or o?
i
Let r be (-7329)/(-4188) + 5/(-2). Which is smaller: -2418 or r?
-2418
Let b = -1320 + 6671/5. Suppose 0 = -38*k + 46*k - 1872. Let f = k - 221. Do f and b have the same value?
False
Let n be (-23 - -3)*((-25)/10)/5. Let b be ((-14)/(-35)*n/(-1))/(-98). Do b and 0.1 have different values?
True
Suppose 0 = 77*a - 12 + 23 + 66. Is -17/505 equal to a?
False
Let m be (-2648)/18 + 11*25/2475. Is -145 greater than m?
True
Let k be 0 + -3 + -4 + 225. Suppose -p + 0 = 2, k = 2*i + 4*p. Is 113 bigger than i?
False
Let i = 17 - 8. Let k = 24 + -301. Let u = 288 + k. Which is smaller: i or u?
i
Let h = 53 - 27. Let x = -9 + 19. Suppose 9*k + h = -x. Which is greater: -6 or k?
k
Let l = -48.007 + 0.007. Let g = -112 + 160. Let r = g + l. Which is greater: r or -32?
r
Let c be -8 + (3 - 0) + -3. Let i be (c/(-12))/((-200)/15). Do 2/5 and i have the same value?
False
Let m = -16071.98 + 16072. Is m less than or equal to -0.089?
False
Suppose -682 = -257*k + 288*k. Let u be -2*(5 - -9) + 2. Is u > k?
False
Let f(u) = 2*u - 14. Let a(o) be the second derivative of -5*o**3/6 + 29*o**2/2 - 2*o. Let j(b) = 6*a(b) + 13*f(b). Let l be j(3). Which is greater: -18 or l?
-18
Let x be (-4518)/8 + 1/(-4) - 2. Let y be 338/x - 32/(-56). Let o(v) = v**2 + 5*v + 5. Let z be o(-4). Does y = z?
False
Let l = -867.6 - -866. Is l less than or equal to 22?
True
Let g = 904.56 - 18.3. Let v = 888 - g. Which is smaller: -1 or v?
-1
Suppose 0 = 36*f - 35*f + 16. Let t be (1/2)/(8/f*1). Which is smaller: 1/200 or t?
t
Let f = 271 + -525. Let l(n) = 253*n**3 - n**2 - 12*n - 13. Let g be l(-1). Are f and g equal?
False
Let o be 4*36/(-480)*-6. Which is greater: -6 or o?
o
Let g be 30*(-3 - (-2285)/765). Let c = -349 + 350. Which is bigger: c or g?
c
Let b = -25714 + 25707. Which is bigger: 1097 or b?
1097
Let h = -136 - -142. Let t be -3 - 21/h*16/14. Let c be ((-2)/4)/((28/(-8))/t). Which is greater: 1/16 or c?
1/16
Let l = -0.13961 - 4.86039. Let u = -35 - -38.8. Does l = u?
False
Let h be (-1)/2*16490/(-7372). Which is smaller: h or 0?
0
Let f(t) = -t**2 + 11*t + 14. Let y be f(12). Let o = 637 + -775. Which is greater: o or y?
y
Let m be ((32/(-10))/8)/((-16)/51210). Let j = m + -2525/2. Is 17 less than or equal to j?
True
Let q = 152863 + -21553595/141. Let h = q + 2/47. Let o be (-69)/42 + (-1)/2. Is h at most as big as o?
False
Let v be (-2)/((8/(-10))/4). Suppose 2*f + v - 14 = 0. Let s be 5 + -1 + (-10)/f. Which is bigger: s or 2/59?
2/59
Let x = 3120 + -3121. Is x not equal to 0.0819?
True
Let q be (-19 + 13)/(6/(-3)). Let j be (18 - 18)/(q/3). Let v be ((-9)/10)/(24/10). Is j at most as big as v?
False
Let w(u) = -u**2 - u. Let z(s) = -2*s**2 + 10*s + 25. Let l(k) = -3*w(k) + z(k). Let q be l(-11). Let n be (9/26*(-1)/q)/(-6). Which is smaller: n or 0?
0
Suppose -t - 5 = -n + 4*n, -3*n = -9. Let v be 10 + t - (-7506)/1875. Is 0 <= v?
True
Suppose 3*p - 2*f + 7*f - 281 = 0, -3*p = 4*f - 286. Let z = p - 101. Is z less than or equal to -4/9?
False
Let b = 67 + -58.9. Let z = 8 - b. Which is smaller: z or -172?
-172
Suppose 6*y - 282 - 102 = 0. Which is smaller: y or 50?
50
Let d(p) be the first derivative of -p**2 + 17*p - 61. Let m be ((-33)/(-6) + -3)*4. Let j be d(m). Are 3 and j equal?
False
Let t = 4.05153 + -0.05153. Are -336 and t unequal?
True
Let c be (1/(-5)*16)/(-32 + (-445159)/(-13910)). Does -1142 = c?
False
Let a be ((-18538)/39767)/(12/14 + -1). Is a >= 2?
True
Let j = 38.68 + -39. Let x = j - 0.18. Let o = x 