se
Let o(u) = -3*u**2 + 123*u + 2819. Let a be o(-28). Which is bigger: -2980 or a?
a
Suppose 5*k + w = -1100, -6*k + 4*w - 1075 = -k. Let a be (-15 + (-12752)/(-416))*-14 - (-6)/39. Is a less than or equal to k?
True
Let l(z) = -1 - 3 + 13 + z**2 + 16*z. Suppose -1995 = 6*a - 1905. Let m be l(a). Is m at least as big as -2?
False
Let m = -1.0016 + 0.0016. Let h = 96.17 - 97. Is m at least as big as h?
False
Suppose 2 = 3*r - r. Suppose -4*y = 4*k - 96, 4*k - 122*y = -119*y + 12. Which is smaller: k or r?
r
Suppose -4*g - 2*a = -28, a - 11 = g - 3*a. Suppose g*d - 5*y + 6 = 1, -2*y = 0. Which is smaller: d or 2/205?
d
Let t be (-1044)/45 + (-36)/45. Which is smaller: -72 or t?
-72
Let h = -144.04 - -59.04. Is -13/2 greater than or equal to h?
True
Let u be 5/(15/(-9)) - -2. Let z be (2/4)/((-36)/(-32) + u). Let w be (z/(-1670))/((-32)/10 + 3). Which is smaller: w or 0?
0
Let m be (-32)/64*(-2 + 2 + -6). Suppose -o = -v + m*v - 10, -v - 2*o + 11 = 0. Is v > 9?
False
Let k(r) = r - 1. Let x(d) = 54*d + 19. Let o(a) = -6*k(a) + x(a). Let q be o(-3). Is -119 bigger than q?
False
Let g(x) be the second derivative of x**5/20 - 29*x**4/12 - 61*x**3/6 - 16*x**2 - 48*x. Let o be g(31). Is -27/17 greater than o?
False
Let z be 20/4 + 7091/14. Which is greater: 513 or z?
513
Let p = -3550 - -3551. Which is greater: 51/184 or p?
p
Let d be (-2)/(-10) + (-6760245)/3225. Which is greater: d or -2094?
-2094
Suppose i = 13 - 0. Suppose 15*h - i*h = 8. Let j be -2*2/18 - h/(-18). Which is bigger: j or -3/76?
j
Let o be 42/(21/(84/(-12))). Is o <= 6?
True
Let p = -1049.01 + 1035. Let n = -0.7 + 14.7. Let y = p + n. Which is bigger: 0.2 or y?
0.2
Let n = 260 + -260.0491. Let i = n + 69.0491. Is i less than or equal to 1?
False
Let p = 535 - 303. Let r = 213 - p. Which is bigger: r or -3?
-3
Let r = -2266.31 - -2276. Let t = 0.31 + r. Which is smaller: t or 8?
8
Suppose 54 = 5*g + d, -2*g + 4*d + 16 = 3*d. Suppose -g = 11*b - 16*b. Let p be 1*b/8*52. Are p and 13 nonequal?
False
Let n = -0.1 + -45.9. Let c = 69 + n. Let x = 7 + c. Is -0.2 at most as big as x?
True
Suppose -311 + 386 = -5*b. Let n = -96 + 81. Is n greater than b?
False
Suppose -4*z - 20 = z. Let f be (-3)/27 + 1320/(-270). Let k be (z + f + 10)*-29. Which is smaller: k or -30?
-30
Let y = -3969 + 3969.179. Which is smaller: -1.7 or y?
-1.7
Let w = -316 + 318. Suppose g = -4*b + 78, -w*g - 4*b = 3*g - 326. Is g at most 62?
True
Let k(y) = -79*y + 4. Let p be k(7). Let h = p - -578. Is 31 less than or equal to h?
False
Let f be 5 + 2/(-7) + 1200/(-210). Which is bigger: 0.34126 or f?
0.34126
Suppose -2 = -5*n + 8. Suppose -45 - 184 = 3*f - 5*a, f = n*a - 77. Is -75 >= f?
False
Suppose -4*k = 3*x - 193, k = 2*x + 19 + 32. Suppose -2*h + 7 = k. Let f = h - -20. Is f less than or equal to -1/5?
True
Let y = -1575910/75981 + 16/3999. Let j = y - -11872/589. Is j greater than or equal to -2?
True
Suppose -9*n = -16*n + 357. Suppose -2*h = -3*p + 158, -4*h = 2*p - 0*h - 100. Is n less than p?
True
Suppose -x + 2*t - 105 + 533 = 0, 844 = 2*x - t. Let v be 11/(-22) - (-2)/x*-178. Let h = 17/14 + v. Are h and 6/7 nonequal?
True
Let z be (6/2)/((-654)/(-4)). Let u = -96 + 100. Suppose 7*i - 3 - u = 0. Which is greater: i or z?
i
Let q(z) = 2*z**2 + 4*z + 7. Let g be q(-3). Let c = -2323 - -9345/4. Is c greater than or equal to g?
True
Let x = 1.33 + 5.37. Let j = 1.6 - x. Let s = -6.1 - j. Which is smaller: s or -15?
-15
Let j(m) = -m**3 - 3*m**2 + 5*m + 6. Let z be j(-4). Suppose -5*i - 23 - z = 0. Let c(l) = 111*l - 2784. Let h be c(25). Which is smaller: i or h?
h
Suppose -5*u - 36 = 2*v, 4*v = -4*u - 53 - 7. Suppose 0 = -79*k + 196*k - 4914. Let q = v - k. Is q bigger than 1?
False
Let c(a) = 73*a + 1608. Let l be c(-22). Let k be (-2)/(-5) - 448/(-180). Is k greater than l?
True
Let o(b) = 6*b**2 - 26*b - 60. Let d be o(0). Which is smaller: 1/3 or d?
d
Let i be 6/12*14 - 4. Suppose -7*h - 8 = -5*h - i*n, 0 = 4*h - 2*n + 8. Which is greater: -3/233 or h?
-3/233
Let r = 1.866 - 1.966. Let b(v) = -v**2 - 7*v + 2. Let t be 7 + -4 - (0 + 10). Let u be b(t). Which is smaller: r or u?
r
Let i = -39.553 + 39.653. Which is smaller: i or 56?
i
Let d = -1.079 + 0.059. Let z = 0.02 + d. Let y = z + 1.08. Which is bigger: 1/4 or y?
1/4
Let l be (((-90)/(-300))/(3/6))/(-2). Is 28/11 <= l?
False
Let j(r) = 13*r**2 - 1. Let x be j(1). Suppose -21*m - 3980 + 4064 = 0. Let q = m - x. Is q <= -10?
False
Let p = 360.008 + -360. Which is greater: p or 1/6?
1/6
Suppose 116*v - 10469 - 4090 = -2495. Let a = -29 + 132. Which is greater: v or a?
v
Let j be 44933524/(-12360) + 20/50. Let g = j + 3635. Which is greater: 1 or g?
1
Let u = 10783 - 10783. Is u != 48/55?
True
Suppose -10*d + 1 = -9. Let q be d + -369 + (-30 - -29). Which is smaller: q or -368?
q
Let z(w) = w**3 - 3*w**2 + 2*w - 4. Let b be z(3). Let i = b - -13. Let t(r) = -r**3 + 14*r**2 + 16*r - 15. Let q be t(i). Which is bigger: -5/27 or q?
q
Let m(c) = 9*c**2 + 103*c + 43. Let i be m(-11). Which is smaller: i or 3/205?
i
Let p = 3827 - 3826. Is -9/655 greater than or equal to p?
False
Let l = 13020 - 13020. Is l <= -113/98?
False
Let q = 15410.9 + -15411. Is 3140 smaller than q?
False
Let k = -10021 + 10020. Is k less than 0.331?
True
Let x be ((-4)/6)/((-92)/46)*(-27)/(-115929). Which is smaller: 1 or x?
x
Let v = -17215 + 16837. Which is greater: v or -374?
-374
Suppose 84*d = 85*d - 22. Suppose -4568 = d*u + 1174. Is u equal to -260?
False
Let c be (-4)/((-16)/(-294)) + (-579)/(-386). Which is bigger: -361/5 or c?
c
Let t(z) = z**3 + 23*z**2 + 290*z + 4. Let g be t(-12). Which is smaller: -1893 or g?
-1893
Let f(c) = c**3 - 13*c**2 + c - 3. Let y be f(13). Which is greater: -2 or y?
y
Let j = 68 - 112. Let r(b) = -b**3 - 17*b**2 + 223*b - 329. Let h be r(-26). Is j != h?
True
Let s(z) = -4*z + 572. Let n be s(32). Do 450 and n have the same value?
False
Let w be (0 - 6/9)*(-38 - 1). Suppose w = 4*b - 2*z, b - 4*b - 2*z = -30. Suppose b + 12 = 10*l. Is l < 7/6?
False
Let f be 0 + -1 + (-8)/(-5). Let m(p) be the second derivative of -17*p**3/6 + 69*p**2 + 3*p + 4. Let x be m(8). Is f smaller than x?
True
Let x = 0.595 + 779.405. Let u = x + -530. Is u greater than or equal to -0.1?
True
Let v = -1.663 - -704.663. Let f = 518 - v. Which is smaller: 1 or f?
f
Suppose -5*p + 4*r - 62 = -5, -21 = 4*p + 5*r. Let a = 1 + p. Suppose -140 = -7*m, -5*n - 41 = -2*n - 2*n - 3*m + 26. Are a and n equal?
False
Let b = -4840/3 + 1593. Let j(m) = -2*m**3 + m**2 + 20*m + 6. Let d be j(-5). Let z = d + -200. Is b != z?
True
Suppose 4*i - 96 + 12 = 0. Let m be (-6)/i*-7*(-2)/(-5). Is m > 0?
True
Suppose 0 = -4*r + d - 35, 13*r - 8*r = -d - 37. Let p be (r/(-4096))/(4/(-24)). Which is greater: 1 or p?
1
Suppose -8 = 4*v + 3*w, -3*w = 5*v - 2*v + 9. Suppose -1 = -4*f - x, 9*f - v = 14*f - x. Let o = -51 + 305/6. Which is greater: o or f?
f
Let k be (-66638)/196 + 1 - (-1 + 1). Let b = k - -339. Let y = 53 + -53. Do y and b have the same value?
False
Suppose -5 = -3*j + 4*j + 4*v, -4 = 2*v. Let y be (-306)/231 + ((-105)/(-33) - j). Let d be 0/(-3*4/6). Is d <= y?
False
Let l = 33211/249 - 11/249. Let y = l - 6806/51. Let u = 1 - 1. Which is smaller: u or y?
y
Let j be (-5)/(-42) + ((-92)/28 - -3). Let y be 4/(-14) + (-4194)/21. Let x be (1 - 22/20)*y/(-160). Is j at least x?
False
Let d be (1 + (-6)/7)/((-184968)/71932). Suppose -5*i - 11 = -4*i + 2*t, 0 = -4*i + 3*t + 11. Let o be (i/2)/(10/(-8)). Which is smaller: d or o?
d
Let k = 102 - 102.099. Let m = k - 0.011. Is -5 <= m?
True
Suppose 430*o - 51*o = 10991. Suppose 2*d - 33 = -i + 5, 3*i - 2*d = 74. Which is greater: o or i?
o
Let z(w) = -w**2 - 6*w - 3. Let y be z(-2). Suppose -y*l = -7 + 557. Let b be 26/65 - (-34)/l. Which is bigger: -1 or b?
b
Let q be (-675)/(-339) - (-20)/(-10). Is -1 >= q?
False
Let p = -26.75 + 28.75. Let i = -3.68 - -3.3. Is p less than i?
False
Let q = 1 + -88. Let r = q - -89. Let j be (-3 + 4)/(((-6)/r)/(-3)). Which is smaller: 3/13 or j?
3/13
Suppose -j + 26 = -20*w + 25*w, -4*j = 2*w - 14. Are j and 13/38 nonequal?
True
Suppose 0 = -4*u + t - 2298, t = 4*t - 6. Let y = u + 574. Is -4.9 at most y?
True
Let v(d) = 1196*d**3 - 7*d**2 - 14*d - 19. Let w be v(-2). Is -9587 less than w?
False
Sup