 s be k(1). Let p = s - m. Which is greater: p or 20/9?
20/9
Let d(f) = 62*f**2 + 14*f + 9. Let q be d(-4). Let i be 7/(-9) + (-15)/(q/14). Is -9/16 not equal to i?
True
Let u(v) be the second derivative of -5*v**3/3 - 27*v**2 - 2*v. Let h be u(-12). Suppose 8*p + 67 = 9*p. Which is greater: h or p?
p
Suppose -2*p + 2 = 4*t, -12*t - 4*p = -7*t - 7. Let v be 3/(2/14*t). Which is smaller: v or -22?
-22
Let u = 4306/645 + -482/43. Let g = u - -4451/1005. Let f = -251/3685 - g. Does -1 = f?
False
Let c = -101 - -110. Let k be ((-14)/(-8))/7 - c/4. Let g be ((-408)/60)/(k/10). Is g equal to 34?
True
Let g be (120/8)/(9/6). Let t = -10 + g. Suppose 0 = -t*u + 8*u + 8. Which is greater: u or 1/34?
1/34
Let z(k) = 45*k**3 + 2*k**2 + 12*k + 10. Let x be z(-1). Is x <= -57?
False
Let q be 1343/4 + 3/(-6). Let o = q - 334. Is 2 greater than o?
True
Let r = -3719 - -3798. Suppose -5*a = 25, -4*m + 3*a + 405 = m. Which is smaller: m or r?
m
Suppose -20*x - 6808 = 3*x. Let i = 317 + x. Is 21 < i?
False
Let j be (10/15)/(4/1230). Let g be (424 + (8 - 22))/(-1 + 3). Do g and j have the same value?
True
Let w = -0.728 + -0.122. Let k = w - 8.15. Is 7 at most as big as k?
False
Let a = 1249 - 1249. Which is bigger: -0.5 or a?
a
Let g = 173324829/1364 - 127071. Is -1 bigger than g?
False
Let z be -3*((-1)/(-3) + (-2)/7). Let s = 37.2 - 66.3. Let w = 29 + s. Which is smaller: w or z?
z
Let c(p) = -p - 21. Let m be c(-11). Let x be (m/(-6))/(1/3). Suppose -2*y + 5*h + 34 - 7 = 0, x*y + 4*h = -15. Which is bigger: y or -2/35?
y
Let l = 1508 + -2339. Let q = l + 825. Let i(g) = -2*g**3 - g**2 + g. Let w be i(1). Which is greater: q or w?
w
Let c be ((-183)/(-2))/(1*((-9)/18)/1). Which is smaller: 26 or c?
c
Suppose -y + 98 = y - 4*x, 3*y - x - 127 = 0. Let u be y/(-4) - (-1 - 1). Let o = u + 7. Is o >= 0?
False
Suppose 0 = -5*z + 4*i + 11, -z = i + 3*i - 7. Suppose -z*c + 86 + 67 = 0. Suppose 12*g + c = -129. Which is bigger: -14 or g?
-14
Let x(n) be the third derivative of n**4/24 - 2*n**3/3 + 7*n**2. Let z be x(8). Let g be 142*(-1)/36 + z. Which is greater: g or 1?
1
Suppose 4*z + 3*m + 120 = 8*m, -5*z - 3*m - 150 = 0. Let t = -43 - z. Let b be 2/(-47)*49 + (t - -15). Is b > 0?
False
Let v be (15/(-20) - 0)*(-8)/33. Suppose 8*g - 15 = 3*g. Suppose 1 = -g*o + 4. Which is greater: o or v?
o
Let t = 26 - -4. Suppose -44*f + 8 = -40*f - 3*a, -2*a + 2 = f. Let b be f/t*3*6/9. Is 1 not equal to b?
True
Let j = -85.51 - -85. Let g = -1.21 - j. Let m = -3.7 - g. Which is smaller: m or -18?
-18
Suppose -293 = -29*v + 84. Suppose -v = -11*m + 12*m. Which is bigger: m or -23?
m
Let d be (15/30)/(35/1346). Let g be ((-33)/10)/((-5)/30). Let s = d - g. Which is bigger: s or -4?
s
Let t(c) = c**3 + 22*c**2 + 41*c - 61. Let o be t(-20). Let v be ((-1035)/o - 13) + (-88)/(-234). Is v greater than or equal to -7?
True
Let x be 24/10*(-3 - 117). Let y = -5470/19 - x. Is y < 0?
False
Let u = -225 + 332. Let b = -737 - -843.6. Let d = u - b. Are -4 and d non-equal?
True
Suppose -3*i + 3093 - 3104 = 2*h, -4*h = i + 17. Which is smaller: 2/26185 or i?
i
Let k(u) = u**3 + 11*u**2 - 3. Let z be k(-12). Let v = -147 - z. Is 2/31 greater than v?
True
Suppose 3*a + 137 = 3*m + 146, 0 = -3*m - 4*a + 19. Is -5/437 less than or equal to m?
True
Let c be 124/(-4)*(-57 + 175). Which is greater: c or -3659?
c
Let x = -116 + 125. Suppose x*k = 30 + 6. Which is bigger: 6 or k?
6
Let i be 18/4 - (-21852)/(-5328). Do 0 and i have different values?
True
Suppose 3*n = 4*p + 206, -3*n = p + 3*p - 190. Let g = -15 + n. Is 51 at least as big as g?
True
Let g = 943 + -1036. Which is smaller: -95 or g?
-95
Let p(t) = 11*t + 35. Let c be p(12). Let i = c + -166. Which is smaller: i or -3/38?
-3/38
Let m = 256/11 - 29707/1276. Suppose -5*u + 2 - 2 = 0. Suppose u = -4*h + h + 3. Which is bigger: m or h?
h
Let p(k) = 2*k**3 + 18*k**2 - 6*k - 51. Let d be p(-9). Which is smaller: -80/7 or d?
-80/7
Let y = -0.0117 - 0.0031. Let q = 13.4852 - y. Which is smaller: q or -0.1?
-0.1
Let f be -4 + -25 - (-2 + 1). Let k(g) = 5*g - 19. Let b be k(19). Let l be b/(-16) + 5 - 117/4. Which is smaller: f or l?
l
Suppose 0 = -5*p - 4*u - 65, 6*p - 9*p - 39 = u. Let b be p + 6/3 + -1. Which is greater: -105/8 or b?
b
Let g = 7621 + -7619. Which is smaller: 29/79 or g?
29/79
Let c(o) = 3*o - 8. Let v(y) = -4*y + 9. Let i be 105/(-35)*(5/(-3) + 1). Let u(n) = i*v(n) + 3*c(n). Let k be u(6). Do -2/77 and k have the same value?
False
Suppose 2*b = 5*i - 3340 - 68, 0 = -2*i + b + 1363. Are 682 and i nonequal?
False
Let u = 0.236 + -0.342. Let z = u + -3.894. Let p = 6 - 3. Which is greater: z or p?
p
Let w = 15111 + -15008. Is 4 not equal to w?
True
Let s be ((-7)/14)/((-1)/(-6)). Suppose 8*n - 5*n - 12 = 0. Let y be ((-4)/20)/(n/30). Are s and y non-equal?
True
Let z(g) = 5*g - 2. Let f be z(2). Suppose 3*y + 2*n + 74 = f*y, -n = -3. Suppose -y + 0 = -4*r. Are 4 and r equal?
True
Let h = -2398 - -4797/2. Are 0.911 and h nonequal?
True
Let c be ((-33)/(-6) + -3)/((-1)/(-2)). Let f = -2 + 20. Let a = f + -15. Which is smaller: c or a?
a
Suppose -4*q = -5*y + 3*y + 246, 5*y + 225 = -4*q. Suppose -z = 44 + 16. Let v = q - z. Is -4/9 less than v?
True
Suppose 52*b + 5 = 50*b - 5*v, v = -b - 1. Which is smaller: b or 2/551?
b
Let r = 618.2 - 618.4. Is r greater than or equal to -169?
True
Let f = -3 + 3.2. Let c = 1.9194 + -1.367. Let p = -0.0476 - c. Which is bigger: p or f?
f
Suppose 4*o + 17 - 41 = 0. Suppose 0 = o*d - 6138 - 19962. Let p = 34855/8 - d. Is p smaller than 7?
True
Let y be (-565)/25 - -23 - (-1 + (-97098)/(-69370)). Is 1 at least y?
True
Suppose -2*j = -z - 1, -3*j - 4*z + 14 = -5*j. Let u = -1.194 - 0.046. Let r = -1.24 - u. Is j less than r?
False
Let i = -29473 + 29897. Which is bigger: 421 or i?
i
Let h = 10022 + -10010. Is h bigger than -399?
True
Let v(o) = 29*o + 49*o**2 - 31 - 57*o**2 - 44*o. Let t be v(-7). Which is smaller: -319 or t?
-319
Let u = 687.9603 + 0.0397. Let g = 688.13 - u. Which is bigger: g or 0.2?
0.2
Suppose -3*a - r - 17 = 0, -a + 5 = -6*a + 3*r. Let l be (10/a)/(18/(-36)). Suppose -6*t + 3*t = s - 3, 5*t - l = s. Which is bigger: 12/5 or t?
12/5
Suppose 0 = 61*x - 58*x + 15, 3*x + 834 = a. Are a and 818 equal?
False
Let i = -6512.5 + 6477. Which is bigger: i or 2/13?
2/13
Let x = -17 + 24.1. Let b = -4.49 + 13.59. Let o = x - b. Which is greater: o or -2/37?
-2/37
Let r = -80.52 - -76.52. Is -1.981 <= r?
False
Let b = -12.55 - -3.9. Let w = 0.35 - b. Are 5 and w equal?
False
Let c = -29 + 18. Let z be (-140)/(-6)*1850/(-3885). Which is smaller: z or c?
z
Suppose 0 = -5*m + 5*d + 5, -5*m = -0*d + 2*d + 16. Let c be (-1262)/(-46) - (528 + -500). Which is smaller: c or m?
m
Let b = -904/13 + 4553/78. Is -12 greater than or equal to b?
False
Let n be 0/((2/3)/(4/12)). Suppose -3*m + 39 + 327 = n. Suppose -32 = 2*z + m. Which is bigger: z or -76?
-76
Let n = 68 + -68.93. Let o = 0.83 + n. Is -0.1 at least as big as o?
True
Let s be 270/132 + (-3)/(-6). Suppose -9*r + 14*r = 240. Let z = -45 + r. Which is smaller: s or z?
s
Let m = -2174.1 - -2174. Which is greater: m or -2989?
m
Suppose 18*o - 4752 = 9*o. Suppose 19*q = -5*q - o. Is q >= 4?
False
Let p = 122 + -212. Let a = p + 157. Let u = a - 68. Which is greater: -11/2 or u?
u
Suppose 13*s = 483 + 50. Let k = 155 + -118. Are s and k non-equal?
True
Let f = 67.16 - 37.16. Which is smaller: f or -194?
-194
Let o be ((-8)/(-16) + (-62)/120)/((-1122)/(-55)). Which is smaller: o or 0?
o
Let h = -1729.6 - -1729.4. Is h <= -5033?
False
Let w(x) = 98*x**2 - 851*x - 6. Let s be w(9). Suppose -3*j + 4*f = -2*j - 286, 4*j + f - 1093 = 0. Which is smaller: s or j?
s
Let p = -92885.069 + 92778. Let x = 0.069 + p. Let i = -99 - x. Are i and 1 equal?
False
Let d(n) = n**3 + 7*n**2 - 10*n - 24. Let z(o) = -o**3 + 9*o**2 - 8*o - 8. Let v be z(8). Let h be d(v). Does h = -11?
False
Suppose -4*t - 5*p = -201, -4*t + 8*t = 5*p + 231. Is 37 at least t?
False
Let o = 363 - 360. Suppose -4*u = -3*q + 24, 6*u = 8*u + o*q - 6. Which is smaller: -15/8 or u?
u
Let g be 770/8 - (-3 + (11 - (-465)/(-60))). Is 91 at most as big as g?
True
Let r be (-12 + 2)*((-15)/(-6) - 2). Let t be (r/3)/((-15)/18). Let z be t + 0 - (-4 + 40). Does z = -35?
False
Suppose -3*w + v 