
False
Let y be (-465)/20 - 11/(-44). Let t = 8 - 33. Is y smaller than t?
False
Suppose 0 = 5*p - 4*o + 82, 93 = -5*p - 4*o - 5. Let g be (-11)/(p/24*(-2)/(-3)). Suppose -4*f = 5*r + 39, 3*f + 16 + g = -5*r. Is r > -7?
False
Let r be (109/((-8175)/(-250)))/((-1)/3). Which is greater: r or -655?
r
Let v = 1/1005 - 1219/2033115. Which is smaller: v or 1?
v
Suppose -2457*w - u = -2459*w + 4249, -4*w - 5*u = -8491. Is w greater than or equal to 2125?
False
Let v be 2/(2/(-289)) - (24 + -24). Let i = v - -255. Does -33 = i?
False
Let u = 12 - 11.78. Let s = u - 0.32. Which is greater: 75 or s?
75
Let p = -114 - -376. Let h = p - 358. Which is smaller: h or -0.1?
h
Let c(t) be the second derivative of t**6/180 + t**5/40 + t**4/12 - 19*t. Let w(y) be the third derivative of c(y). Let r be w(-5). Which is smaller: -16 or r?
r
Let w = 1 - -47. Suppose -17*l = -18*l + w. Which is smaller: l or -2/5?
-2/5
Let z = -5584 + 5583. Which is bigger: 2/3641 or z?
2/3641
Let b be (-7674)/42 + (1 - 1) - (-24)/(-84). Is -187 bigger than b?
False
Let y = -130 - -227. Let r = -116 + y. Let w = r + 19. Is -28 > w?
False
Let p = 44.26 - 43.8. Is p smaller than -27?
False
Let k = -22 - 180. Suppose 5*l + 478 = -3*d - 143, 4*l = -5*d - 1022. Is k < d?
False
Let u = -475/3 - -158. Let t = -6 + 7. Let f be t/(2/(-3))*-1. Which is greater: f or u?
f
Let j(d) be the first derivative of -9/2*d**2 + 23 - 8*d. Let h be j(-2). Is h smaller than 10?
False
Let s = -2 + -4. Suppose 3*f - o = 29, -4 = 23*f - 19*f + 4*o. Is f not equal to s?
True
Suppose -10*m + 19*m + 9 = 0. Let v be (-297)/(-27) + (0 - (-2)/m). Let j(f) = f**2 - 10*f + 6. Let l be j(v). Is -22/9 < l?
False
Let k = 306 - 303. Let x be (225 + k)/(2 + 2 - 5). Are -229 and x equal?
False
Let s(o) = -216*o - 33. Let p be s(-3). Suppose 1065 + p = -14*l. Is l at least as big as -120?
True
Let u(y) = y**2 - 2*y + 2. Let k be u(3). Suppose k*j - 884 = -q - 175, 4*q + 714 = 5*j. Which is smaller: j or 425/3?
425/3
Suppose 0*i + i = -3*q - 101, -i = 2. Let n be -5 + 1184 + -7 + -4. Let s = n + -1202. Which is bigger: q or s?
q
Let n = 7860 - 7968. Which is smaller: -4/9 or n?
n
Suppose 7*t + 1666 = 9*t. Let i be t/34*(-24)/3. Which is bigger: -2/5 or i?
-2/5
Let f(l) = -l + 16. Let c be f(14). Suppose -2*m = -c*j - 10, -2*m + 5*j + 6 = -19. Let s be (30/33 - 1)/(2/(-7)). Which is bigger: s or m?
s
Let h = 114929/210 + -353/210. Are h and 547 nonequal?
True
Let u = 0 - -11. Let d = -67 + 65. Is d > u?
False
Let d be (-4)/54 + 22470/(-2835). Is d not equal to -602/9?
True
Let p be 3 - ((-252280)/22933 + 14). Is -8 greater than p?
False
Let d be (-2)/7 - ((-9234)/(-315) - -3). Let i = -27186249/40 + 679622. Let g = d - i. Is g at most 2?
True
Let v = 32676 - 33063. Which is smaller: -3/11 or v?
v
Let s = 775.6 + -770. Is s not equal to -1?
True
Let t = -25.22 + 25.409. Which is bigger: t or 10?
10
Suppose -5*x - 4 = 1. Let n = 104/2049 - 16306/563475. Which is smaller: n or x?
x
Let c(z) = -43*z**2 - z. Let l be c(1). Let n be 928/5346 + 8/l. Let w(b) = -4*b**3 - 15*b**2 - 5*b + 13. Let x be w(-3). Is n not equal to x?
True
Suppose 4*s = 11 - 63. Let j = -84 - -74. Does s = j?
False
Let g = 0.633 + -0.033. Let h = 0.05 - 2.65. Let f = h + g. Is f >= -0.2?
False
Let p be (-169)/78 + 2 - (-2)/12. Is p less than 0.635?
True
Let c = 20508 - 20515. Which is smaller: -252/31 or c?
-252/31
Let d = 140.27 - 138.07. Let l = 0 + -6. Is d >= l?
True
Let m = -9.5 + 7. Let a = m - -6. Let x = a + 3.5. Is 0.1 != x?
True
Let i be (-12)/27*1/2. Let r = -41 - -39.36. Let o = r - -3.04. Is o greater than or equal to i?
True
Let o = 5810 + -5772. Is 7/18 at least as big as o?
False
Let v = 175283/8 - 21863. Which is smaller: v or 48?
v
Let d(x) = -x**3 + 6*x**2 + 2*x - 9. Let q be d(6). Suppose 5*t - 3*t - 68 = 3*r, -2*r = q*t - 76. Which is greater: t or 23?
t
Let m = 6321625/202 + -31295. Which is smaller: -1 or m?
-1
Let f(y) = 19*y**3 - 3*y + 2. Let i be f(1). Suppose -i*p - 417 - 69 = 0. Suppose -84 = 4*d + 32. Do d and p have the same value?
False
Let k = -27151/65 - 3792/13. Let p = k - -709. Does -15.1 = p?
False
Suppose -5*r = 22 - 17. Let n be 3/75*2/r. Let t = n - -7/25. Which is smaller: t or 1?
t
Suppose 58*o + 7872 = 17*o. Let i be (-2)/2*(-2101)/(-11). Which is greater: o or i?
i
Let z = -16 + 22.4. Let d = -31.4 + z. Let j = d - -25.1. Do j and -5/8 have the same value?
False
Let j be 5506/280 - (1364/77 + -18). Which is greater: 19 or j?
j
Let r = -544.9881 - -0.9881. Which is smaller: -3/2 or r?
r
Suppose 79*t + 126 = -47*t. Is t greater than 5/694?
False
Let w be 9/6 + 49/6. Suppose -5*p = 2*n - 9 - 30, 0 = -5*n - 2*p + 129. Suppose 0 = 5*g + h - n - 26, 3*h - 16 = -2*g. Is w >= g?
False
Suppose 1683 = -17*j + 1700. Which is bigger: j or 4/1341?
j
Suppose 281*q - 142*q = -296*q. Is -93/109 less than or equal to q?
True
Let b(z) = -z**3 - 25*z**2 - 6*z + 94. Let v be b(-25). Suppose 0 = 3*x - 3*w - 249, -v = -5*x + 2*w + 165. Is x greater than or equal to 81?
True
Let j = -28 - -18. Let s be (-1)/(j - -10 - 2/(-2)). Let q be ((-6)/4 + 1)/(s/4). Which is greater: -18 or q?
q
Let x = -36.5 - -19.1. Let t = -12 - x. Let b = t - 75.4. Are b and -1/2 non-equal?
True
Let q = -4510 + 3888. Which is bigger: -621 or q?
-621
Let p = 2/57 - 175/114. Let f = -1 - p. Let s = -4/873 + -56729/3492. Is s != f?
True
Let z = -484.706 - 0.294. Let w = 477 + z. Suppose 2*o + 11 = 5*i + 41, -2*i = -2*o + 18. Is w bigger than o?
False
Let u = 3966.1 - 3969.8. Let y be (-4 - (0 + -2)) + 1. Let t be (-10)/(-15)*y/(-2). Which is smaller: t or u?
u
Let n(i) = -i**3 + 9*i**2 - 45*i + 264. Let y be n(11). Which is smaller: -474 or y?
-474
Suppose 5897 = -11*o - 21*o + 29321. Which is smaller: 729 or o?
729
Let i = -3.3 - -2.31. Let l = i + 0.99. Let o be (2 + (-16)/6)*4. Is o != l?
True
Let c(n) = -34*n - 1. Let w be c(1). Suppose -5*q - 18 = 102. Let g = q - w. Which is smaller: 10 or g?
10
Let o be (2 - (-20)/(-8))/(1/2). Let h be (3*(-16)/12 + o)*2. Suppose q + 6 + 6 = 0. Are q and h non-equal?
True
Let r = 672 + -359. Suppose 3*q - 346 = -r. Is q less than or equal to 15?
True
Let w(n) = -87*n - 323. Let f be w(-5). Let a be 1248/f - (-3)/(-21). Let r(j) = j**3 - 2*j**2 - 6*j + 2. Let o be r(4). Which is greater: a or o?
a
Let t be (2/66*11)/(4/(-40788)). Which is greater: t or -3401?
t
Let n be -2 + (-266)/30 + -1 + 12. Is -1/53 at most as big as n?
True
Let x = 13.061 - -0.439. Let c = 9.82 + -0.12. Let f = x - c. Do f and -2 have the same value?
False
Let i = 2278 + -2279. Which is greater: -22/85 or i?
-22/85
Suppose z + 3 = -2*f + 4*f, -5*f = -z - 12. Suppose 1 = -f*t + 1. Which is greater: t or 1/25?
1/25
Let i be (2 - 1)/(-1)*(0 - 31). Suppose 3*f - 71 = m, -3*f - i = m + 2*f. Let g = m + 26. Which is bigger: -29 or g?
-29
Let j be ((-1)/(-923))/(138/(-276)). Is -3 at most as big as j?
True
Suppose 175*b - 1021 = -189*b + 71. Suppose 2*y = 2 + 4. Suppose -412 = 5*j - b*x, 3*j + y*x + 244 = 4*x. Is -80 at most j?
True
Let x(v) = -40*v + 566. Let i be x(18). Is -16 != i?
True
Suppose 123*a - 18144 = 104*a - 143*a. Suppose 131 - 701 = -5*d. Which is greater: a or d?
d
Let p be 97/(-2)*(0 + 2). Let m = -261511/7 - -37261. Are p and m unequal?
True
Suppose 20*g + 33 = 9*g. Let u(v) = v**3 - v**2 - 7*v + 1. Let l be u(g). Which is smaller: 6 or l?
l
Suppose -l + 26*k = 30*k + 98, k = 4*l + 324. Suppose -77 = 5*v + 338. Do l and v have different values?
True
Suppose 57*s = 58*s + 5235. Let z = s + 10019/2. Let b = z - -5849/26. Is 0 smaller than b?
False
Let i = 21769 + -16912. Is 4857 <= i?
True
Let m = -5945089/17271 - -3098/9. Which is smaller: m or 0?
m
Suppose -49 = -8*d - 9. Let x(p) = p**3 - 5*p**2 - 2*p - 1. Let r be x(d). Let f(v) = -v - 8. Let k be f(5). Is k less than r?
True
Let j = 28121 + -28120. Is j at most as big as 15574?
True
Suppose -2*f + 0 + 2 = 0. Let a be (-250)/(-50) - (804/(-260) - -8). Which is smaller: a or f?
a
Let u(b) = -b**2 + 10*b + 24. Let x be u(12). Let w(p) = -p**3 + p**2 - p + 5. Let k be w(x). Suppose -5*y - 13 = -4*f + 6, 14 = -3*y + k*f. Does -14/9 = y?
False
Let g(r) = -5*r + 1. Let s be g(0). Suppose -4*i + 12 = -i, -a + 4*i = -59. Which is smaller: a or s?
s
Let p be -3 + 14/(-10290)*-1990. Is 1 smalle