equal?
False
Let p be 7*(4 - 0) - (18 - 17). Suppose p*i + 1 = -1295. Is i bigger than -146/3?
True
Let j be ((-6)/18)/(7/(-42)*2). Which is bigger: -2/23815 or j?
j
Suppose 5*a = 125 - 30. Suppose 0 = 3*w + a + 107. Let n = -710 + 670. Do n and w have different values?
True
Suppose 126*p + 20826 = 108*p. Is p smaller than -1155?
True
Let o(z) = z**3 - 9*z**2 + 3*z + 43. Suppose 0 - 80 = -10*q. Let i be o(q). Let x be 1*(1 - (0 + -4)). Which is smaller: i or x?
i
Let d(c) = -c + 1. Let u(o) = 3*o + 6. Let s(r) = -4*d(r) - 2*u(r). Let t be s(-8). Let i be t + (4 - 8) + 6. Which is bigger: 8 or i?
8
Suppose 2*a + 2 = 5*q + 1, -2*a - 5*q = -9. Suppose 0 = h - a*k + 4, 4*k = 4*h - 3*h + 4. Is -21/8 smaller than h?
False
Let q be 1775/(-15)*(-2)/(-25). Let o = q + 44/5. Let r = 4202 + -79830/19. Is o less than r?
True
Let m = 220.43 - 206.323. Let d = -0.207 + m. Which is smaller: 0 or d?
0
Let h be (4/(-8) - 4) + (-8)/(-2). Let w = -26 - -27.1. Let j = 1.2 - w. Which is greater: j or h?
j
Suppose -2*s = y - 16, 0*y = 4*s - 3*y - 12. Let b(t) = -t**2 + 7*t + 3. Let k be b(s). Let w be (-4)/4 - (-13)/k. Is -1 at least w?
False
Let r = -112 + 103. Let z be ((-3)/15)/(r/(-27)). Let s be 4/(-6) - (-2 + 2). Is z at most s?
False
Suppose -g - 383 = 2*t + 111, -4*t = 3*g + 994. Is -247 less than t?
True
Suppose 5 = k + 4*k. Suppose -2*l = -u - 274 + 5, -3*u + 3*l = 798. Let g = u + 6047/23. Which is smaller: g or k?
g
Let h(q) = 271*q + 4743. Let o be h(-19). Is -421 greater than or equal to o?
False
Let s be 8/(-44) - (21300/(-4620) + (-3)/(-7)). Suppose 9 = -10*k + 7*k. Is k >= s?
False
Let p = -170.9 + 176.9. Is 1 >= p?
False
Let i = -2541 + 2543. Which is smaller: i or -349?
-349
Let x(j) = j**3 + 11*j**2 - 19*j + 9. Let k be x(-9). Suppose 2*s = -3*q + 253, -2*s - s + 3*q = -k. Let z be (-51)/s + (-244)/(-14). Is z > 17?
False
Suppose 0 = -921*x + 968*x. Which is smaller: x or -22/109?
-22/109
Suppose -4*p + 0*p + i + 11 = 0, 5*p = i + 13. Let z be ((-2)/p)/(29/58). Let v = 0 + -1. Which is bigger: z or v?
v
Let f be (-1 - (2 - (-76347)/19087)) + (12 - 5). Is 0 <= f?
True
Suppose m + 2 + 0 = 0. Suppose -4*u = -3*t + 21, 0 = -4*u - 3*t + 2*t - 25. Let h be -9 - 9/(-3)*m/u. Is h at most -8?
True
Let c be (-2)/(-8)*6/(-4). Let w = 8226.09 + -8226. Which is smaller: c or w?
c
Suppose 6*h + 2 - 4 - 10 = 0. Suppose 52 = 5*p - 3. Which is smaller: p or h?
h
Let c = -10515.997 + 10516. Which is bigger: 1.05 or c?
1.05
Let t(z) = -2*z**3 - 4*z**2 - 3*z + 4. Let c be t(-2). Suppose 0*x = -4*x + 20. Suppose 4*b - c = x*b. Which is smaller: b or -12?
-12
Let q(x) = x - 1. Let t(u) = -2*u - 59. Let c(d) = -22*q(d) - 2*t(d). Let p be c(8). Which is bigger: p or 10?
10
Let j(s) = -2*s**3 + s**2 - 1. Let f(o) = 7*o**3 - o**2 + 22*o - 3. Let u(p) = -f(p) - 4*j(p). Let a be u(6). Is a bigger than -21?
True
Suppose 0 = -3*t - 2*t + 35. Let q(x) = -x**2 + 7*x - 3. Let k be q(t). Let v(o) = o**3 - 2*o**2 - 6*o - 3. Let z be v(0). Do z and k have the same value?
True
Suppose -5*a = -3*d - 176, -4417*d + 4420*d + 166 = -5*a. Is d less than or equal to -65?
False
Let h(p) = p**3 + 8*p**2 + 17*p + 4. Let o be h(-4). Suppose -2*z + z = o. Is z greater than or equal to -49?
True
Let o(d) = 19*d**2 + 24*d - 98. Let f be o(4). Is 302 smaller than f?
False
Let d(k) = -k**3 - k**2 + 16*k - 15. Let z be 1 + 14 - (-87 + 95). Let w be d(z). Do w and -295 have different values?
False
Let c be (-11 + 12)*(-16 + (-2 - -2)). Let f(w) = -w**3 - 15*w**2 + 33*w + 46. Let b be f(c). Is -225 less than b?
False
Suppose -18 = -3*x + 12. Let z be ((-14)/(-21))/(x/(-6)). Let f = 574 + -553. Is z > f?
False
Let h(w) = -39*w - 17. Let g be h(-5). Suppose -18 = 10*k - g. Is 18 greater than k?
True
Let h = -15283 - -9163. Which is smaller: h or -6122?
-6122
Let x be ((-4)/(-5))/((-36)/1070) + 0. Let o = x + 22. Let h = -1 + 0. Is h > o?
True
Let j(l) = -2*l + 2. Let a = 10 + -5. Suppose -a*g = -55 + 45. Let r be j(g). Is -2/3 at least as big as r?
True
Let o(j) = j**3 + 6*j**2 + 6*j - 3. Let s be o(-4). Suppose 25 = -5*d - 5*t, 2*d + 0*d + s*t + 22 = 0. Are 3 and d equal?
False
Let p = -5673385/3 - -3908955631/2067. Let k = 134/39 + p. Which is smaller: 1 or k?
k
Let s(q) = q**3 - 22*q**2 + 31*q - 2. Let a be s(21). Let z = -203 + a. Which is bigger: z or 70/13?
70/13
Let y = -0.0729 + -372.9271. Let z = -373.1 - y. Let s = 12 - 25. Which is greater: z or s?
z
Suppose -11*t + 393 = 404. Let n be -2 + -1 + 178/2. Let p = n + -1288/15. Which is smaller: p or t?
t
Let m(l) = -2*l + 36 - 62*l**2 - 11 - 26. Let k be m(-1). Is k at most as big as -61?
True
Let u be 2 + -1*(-16)/(-9). Let s(b) = -31*b - 165. Let t be s(-14). Let m = t - 269. Which is bigger: m or u?
u
Let z be 18/5 + -3 - 96/75*8. Is z greater than -11?
True
Let a = -14418.2111 + 14418. Which is smaller: -0.1 or a?
a
Let n = -3096 + 12513/4. Which is bigger: n or 0.2?
n
Suppose 7*t - s = 8*t - 59, 3*t + 5*s = 175. Suppose -t*o = 131 - 11. Let z be 50/96 - 1/3. Is z smaller than o?
False
Suppose -37*v - 12*v + 2254 = 0. Let t be 94/(-126) + -1 - v/(-207). Does -0.1 = t?
False
Let m be (-5 - ((-36)/(-10) + -5))*45. Is -0.02 at most as big as m?
False
Suppose 0 = 3*u - 5*k - 13, 16*u + 3*k = 14*u - 23. Let g be (4 - (-4113)/(-1028))*u. Which is bigger: g or -1?
g
Suppose 5*b - 15*n + 23 = -12*n, -4*b - 5*n + 26 = 0. Which is bigger: b or 279?
279
Let m = 0.1 - -0.1. Let f(g) = -g**3 + 22*g**2 - 41*g - 22. Let x be f(20). Let h = x + 23. Is h > m?
False
Let o = 55494 + -269645345/4859. Which is smaller: o or 1?
o
Let h(b) = -b**2 + b + 21. Let d be h(5). Let o be (-6)/(-27) + d/(36/(-44)). Which is bigger: o or -2/357?
-2/357
Suppose 5*g - 3*c - 744 = 0, 3*g - 4*c = -0*c + 453. Let m be -2*(g/(-28))/(6/16). Suppose -m + 64 = -3*b. Which is greater: b or -10?
-10
Let w(s) = s**2 + 6*s - 248. Let a be w(13). Which is smaller: a or -2/585?
a
Let h = 11817/7 + -70601/42. Let n = 8 - 1. Which is greater: n or h?
h
Let v be (-4)/(-22) + 111/22385*-77. Is v <= 1462?
True
Let a = -9476 + 9475. Do -60/427 and a have different values?
True
Let y = -483.6 + 126.6. Do y and 3 have the same value?
False
Let p be (-3)/(-30)*6*5. Suppose 2*r + 3*z = -9, p*r - r + 2*z = -6. Suppose 5*a = 2*y + 1, 3 = 3*y - 3*a - r. Is 13/5 less than or equal to y?
False
Let c be 23655/(-171)*(-12)/5. Which is bigger: 326 or c?
c
Let a(m) = -m**3 - 6*m**2 + 3*m - 17. Let w be a(-7). Suppose -w*g = 69 - 289. Is 22 less than g?
False
Let v = -1 + 3. Suppose -b + v*d = 11, 3*b + 2*d + 3 = -2*d. Let t = 210.1 + -217.1. Which is smaller: b or t?
t
Let x be 3*(2/(6/(-3)))/(-3). Suppose -4*n + 36 = -3472. Let y = n + -28939/33. Which is greater: x or y?
x
Let q(p) = 2*p**2 + 2*p - 1. Let y be q(-4). Let o(s) = 4*s**3 + 3*s**2 + s + 1. Let r be o(-3). Let x = r + 107. Which is greater: y or x?
x
Suppose -57394 = 18*y + 50318. Is -5984 > y?
False
Let p be ((-57273)/(-68) - 24)/((-6)/(-16)). Do 2184 and p have the same value?
False
Let z be ((-20)/120)/(1/2)*-1473. Which is bigger: z or 489?
z
Let r(h) be the third derivative of h**5/60 - h**4/24 - 2*h**3 - 27*h**2. Let t be r(0). Let w be (-7)/(-5) - t/(-30). Which is smaller: 92 or w?
w
Suppose 2*a = 34 - 216. Suppose 44*z + 20*z + 5888 = 0. Which is smaller: a or z?
z
Let s = -55 + 46. Let m be 18/s - 14/(-6). Is m at most -1.59?
False
Let h(f) = 2*f**2 + f. Let o be (-4)/3 - (-2)/6. Let d be h(o). Let x = 16934 - 321749/19. Is d less than x?
False
Suppose 2*n + 759 = x, -3*n + 1420 = -5*x + 5264. Is x > 783?
False
Let k be 44/8*2*13 - 4. Let r = -139 + k. Is -2/179 != r?
True
Suppose -51421 = -151*x + 72550. Which is smaller: x or 812?
812
Let s be (-2)/(-6) + 25/(-3). Let u(y) = -3*y**2 + 4. Let w = 74 + -72. Let v be u(w). Is s at most as big as v?
True
Let h = -0.32362 - 1866.67638. Which is greater: h or 2/5?
2/5
Let n = -98.896 + 99. Let y = -38.104 + n. Let v = y + 40. Is v at most 34?
True
Let z = -162 - -171. Let q = -61 - z. Is q at least as big as -69?
False
Suppose -553*g + 649*g - 8493 = 1875. Let a be 109 - -2*(-1)/(-2). Which is greater: g or a?
a
Let w = -22359 + 22359. Which is greater: -40/277 or w?
w
Suppose 0 = -2*o - 5*i - 6, o - 3*i + 2*i - 11 = 0. Let g(l) = -4 + l**2 - o*l + 0*l + 0*l**2 + l. Let b be g(8)