 2300. Which is bigger: 1702/5 or t?
1702/5
Let f = -3459.1 - -3456. Are -2 and f non-equal?
True
Let g be (675/(-18))/(2/8). Let l = g - 9. Is l greater than -160?
True
Suppose -4*z - 3 + 19 = 0, 5*r + 3*z - 1182 = 0. Suppose 0 = x - 4*n - 113, 5*x - r = 4*n + 283. Do 103 and x have the same value?
False
Let g = 93 - 112. Let k be ((-9)/(-42))/(g - -18). Which is smaller: k or 5?
k
Let s = 2 + -8. Let m(d) = -2*d**3 - 2*d**2 - 2*d - 5. Let u be m(-2). Suppose 3*p + u + 17 = 0. Which is smaller: s or p?
p
Let c be 1 + -34*(-611)/(-20696). Let s = 16 + -17. Which is smaller: c or s?
s
Let v(z) = 4*z**2 - 4*z - 19. Let a be v(-9). Suppose -8*c - a = 2539. Let g be 6/(-4)*(-96)/c. Is g != 5/9?
True
Let u = 10 + 0. Let n be (1 - (-424)/24)*6. Suppose -14 = -14*l + n. Is u bigger than l?
True
Let f = -195 + -210. Let i be (-2)/5 + (-9477)/f. Does 95/4 = i?
False
Suppose 3*c = 25 + 29. Suppose -g + 4*j + c = -0*g, -5*j = 3*g - 88. Suppose -g + 46 = f. Is f less than or equal to 20?
True
Suppose x = 7*k - 8, -3 = x - 86*k + 84*k. Are x and -8/171 non-equal?
True
Suppose -2483 = 5*g + 10732. Is g equal to -2643?
True
Let n be ((-468)/165)/(-3) + -1. Suppose -22*m = -2296 + 2274. Is n > m?
False
Let s = 1025/364 - 6/91. Let z = 25646.5 + -25647. Which is smaller: z or s?
z
Let k be (-3 + -35 + 38)*2/(-12). Which is smaller: -16/1049 or k?
-16/1049
Suppose 0 = -783*o + 1566*o - 795*o - 34824. Does -2901 = o?
False
Let g = -0.44 + 0.49. Let y = -7.95 - g. Is -1/4 bigger than y?
True
Suppose 1114*w + 17570 = 1060*w + 100190. Is 1530 > w?
False
Suppose 8 = -4*b + 4*n, -4*b + 1 = -3*b - 2*n. Let s = -1 - b. Let r be (0/1 + -16)/((-468)/104). Does s = r?
False
Let u(z) = -14*z + 135. Let s be u(10). Suppose -4*f - 45 = -f. Let k be -15*(f/s)/(-9). Which is bigger: 3 or k?
k
Suppose 11*a = 4*a - 1155. Let u(o) = -7*o**2 + 9. Let k be u(5). Which is smaller: k or a?
k
Let u(i) = i**3 + 24*i**2 - 15*i + 587. Let w be u(-25). Is w > 338?
False
Let o(z) = z**3 - 4*z**2 - 24*z - 9. Let c be o(-3). Which is bigger: c or -3/1310?
c
Suppose 0 = -0*p - 5*p + y - 358, -5*p + 4*y = 352. Let l = p - -48. Suppose 7*h + 3*c - 36 = 9*h, -3*c = 29 - 11. Is l at most h?
False
Let a = -10734 - -11004. Is a smaller than 242?
False
Let x(k) = 131*k + 323. Let n be x(-2). Is n equal to -2?
False
Let l = 0.09 - -0.41. Let c = 0.4 - l. Let o = 0.78 + -0.18. Is o > c?
True
Suppose 9018 = -33*z + 76965. Is 6179/3 less than or equal to z?
False
Let t = -76 + 35. Let g = -68 - t. Let m be ((-6)/2*-1)/(90/(-840)). Is m at least g?
False
Let q be ((-424)/371)/((-16)/28). Which is smaller: q or -19?
-19
Let c(f) = 22*f + 175. Let p be c(-7). Suppose -55692 = -57*j - p*j. Which is smaller: j or 713?
713
Let m(p) = -2*p**3 - p + 30. Let d be m(-7). Suppose -4*t = d - 251. Let o = 68 + t. Does -50 = o?
True
Suppose 30*t - 120 = 6*t. Is t >= -104?
True
Let m = -1304311 + 271518. Let b = m - -852054086/825. Let q = -1/75 + b. Is q < -0.1?
True
Let i = -2 - -3. Let l = 1 + i. Let g be 275/(-495) + 16/(-36). Is l bigger than g?
True
Let z be -3 + (303/(-404))/(1/(-8)). Let y = 7 - 2. Which is bigger: z or y?
y
Let o = -0.108 + -14.642. Let b = 14 + o. Let d = 0.35 + b. Is d equal to 0?
False
Let p(w) = -w**2 + 2*w - 3. Let h be p(2). Let i be (-1734)/560 - (-55)/(-1925). Is i <= h?
True
Let g = 163/30 - 11/2. Let u = 15 + -15. Let f be u/(3 - 1/1). Is f at least g?
True
Let w(u) = -u**3 + 10*u**2 - 9*u - 30. Let q be w(9). Let s be (q/45)/(2/(-45)). Let f = s - -28. Is f < 43?
False
Let t = -230 + 266. Let g = 35 - t. Which is bigger: g or -6?
g
Let k = -566.04 - -823. Let a = 257 - k. Are a and 0.9 nonequal?
True
Let s(j) = -7*j + 178. Let u be s(25). Suppose -54 = 5*f + u*k, 3*f + 5*k + 30 = 2*k. Is f equal to -62/5?
False
Let w = 1271/3 - -50/3. Do 441 and w have different values?
True
Let s be -27 - -29 - (1 - (-118564)/114). Let d = 1039 + s. Is d equal to -1?
False
Let s(c) = -c - 1. Let g(n) = 24*n + 26. Let b(y) = -g(y) - 12*s(y). Let i be b(-4). Let l = i + -34. Do 1/97 and l have the same value?
False
Let t = -2253 - -11267/5. Let q(y) = y**2 - 4. Let w be q(3). Is w >= t?
True
Suppose 0 = 4*u - 5*m - 2 - 3, 5*m = -2*u - 35. Let t = u + 9. Suppose 0 = w - 2*n + 5, -t*w + 3 = 4*n - 13. Which is greater: 2/13 or w?
w
Let d = 122 - 168. Let r be -3*(d/1127)/(-1 + -1). Is 1 at least r?
True
Let m = -1548 - -4833. Which is bigger: m or -0.3?
m
Let v be (6 + -4)/((-4)/12*-2230). Let r = -11171/7805 + v. Let q = 0 - -0.2. Is r at most q?
True
Suppose 0 = m + 4*h + 1, 2*h + 1 = -m + 3*h. Let x be (-2 - m)/(1496/17). Is x less than or equal to 0?
True
Let m = -24547 - -24561. Which is smaller: m or -30.3?
-30.3
Suppose -b = -2*k - 0*k - 380, -k = -4*b + 1506. Suppose -6*q + 118 = b. Is q > -46?
True
Let g = -10 + 13. Suppose 0 = -g*r + 2 - 8. Let s be 73/r + -2 + (-9)/(-6). Which is smaller: s or -35?
s
Let k = -14487/35 + 6098901/14735. Is k at most as big as 0?
True
Let g = 43 + -60. Let w = -28 + 28. Suppose w = 5*c - x + 79, 2*x + 8 - 16 = 0. Is c >= g?
True
Let j = 2180 + -2149. Let v be (-18)/(-15)*-3*5. Let i = 48 + v. Is j at least as big as i?
True
Suppose -5*p + 6*z + 20 = -7*p, 2*p - 7 = 3*z. Do 2/5063 and p have the same value?
False
Let u = -199 - -197. Let a be (-87)/(-5) - u - (-100)/(-250). Suppose -3 = 4*n - 67. Is a smaller than n?
False
Suppose 3*f - 2677*v + 5336 = -2679*v, -5330 = 3*f + 5*v. Is f bigger than -1781?
True
Let z = -125 + 122.7. Let y = -3.77 - z. Let n = y - 0.03. Which is smaller: n or 2?
n
Suppose 2*f - 2 = -h + 4*h, 4*h - 5*f + 12 = 0. Let c = 133 - 55. Let w = -77.6 + c. Which is smaller: h or w?
w
Let h = 0.465 + -0.038. Let a = -0.527 + h. Which is smaller: a or 2/31?
a
Let c = -30.964 - -31. Let y = -33.964 - c. Let z = -35 - y. Is z at least 3/10?
False
Let s(p) be the third derivative of -p**5/60 + p**4/6 - 14*p**3/3 - 15*p**2. Let v be s(10). Is -89 at most v?
True
Let t = -8497/5168 + 17/304. Let d = 311/153 + t. Let w(u) = -u**3 - u**2. Let y be w(-1). Is d > y?
True
Let k = -4749 - -4749. Which is smaller: -1017 or k?
-1017
Let x = -4758 - -4758. Which is smaller: -3/19574 or x?
-3/19574
Let g = 890 - 624. Let v be (g/28)/(1/(-2)). Is -19 > v?
False
Let q = -1320.16 + 1267. Let x = -0.16 - q. Which is smaller: x or 1/3?
1/3
Let k = -32 - -45. Let j = -102 + 106. Suppose 5*s = -j*s + 126. Which is bigger: k or s?
s
Let n = -168 - -177. Suppose n*i = 693 - 2493. Is -199 at most as big as i?
False
Suppose 0 = 3*k + 3, -2*t + 5*k - 109 = 2886. Which is bigger: t or -2999/2?
-2999/2
Suppose -4*u - 157 = 2*d + 61, -129 = 2*u - 3*d. Let s be 78/(-19) - (13 - (-747)/u). Which is bigger: s or -49/11?
s
Let n be (783/18)/((-5)/390). Is n less than or equal to -1/2?
True
Suppose 0 = -4*t - t. Suppose 23 = -t*n - n. Let j(r) = -178*r + 1223. Let k be j(7). Is n <= k?
True
Let v = -0.0626 - -0.4556. Let j = v - 1.393. Is j bigger than -13/9?
True
Let m be 4/(0 + 2/8). Suppose -5*v = -4 - m. Let a = -213939 - -213947. Which is smaller: v or a?
v
Let u = -1201.5 - -1200.5. Which is smaller: u or 3/581?
u
Let x = -477/2 + 238. Let u = -11/144 + -1/9. Which is bigger: u or x?
u
Let b be 215*81/(-135)*(2 + -17). Which is bigger: 1945 or b?
1945
Suppose 12 = -0*t + 4*t. Suppose 3 = 87*x - 86*x. Let y be (-114)/(-20) + (-13)/65 - x. Is t bigger than y?
True
Let a be (-9 + ((-98248)/(-24) - -8))/(2/(-3)). Is -6139 >= a?
True
Suppose -20*j = 342 + 498. Let y be (j/12 + -1)/(-12). Which is smaller: y or -1?
-1
Let d be 6 - -7 - 0 - 8. Suppose d*t = 54 + 1061. Which is greater: t or 222?
t
Let f = 14936 - 23244. Is 0.1 less than f?
False
Let x be 57291/24 - (4 - (-155)/(-40)). Let w be 6/(-7) - (-3201)/x. Which is smaller: -1 or w?
-1
Let w be 3 - (-140)/12 - 1. Let g be (1*13)/(49 - 48). Is w greater than or equal to g?
True
Let k = -2/4605 + 557209/9210. Let z = k + -55. Is -0.3 equal to z?
False
Let m = -252759/148 + 6831/4. Let g be -1 - 1 - (2 - 3). Which is greater: m or g?
m
Let k be 265190/782 - 10/85. Is -6 smaller than k?
True
Let u(c) = 2*c**3 + 25*c**2 - 9*c + 30. Let z be u(-13). Let k = 25 - z. Is k greater than 45?
True
Let d = 249513/35 + -7129. Let u = 0 + 0. Which is greater: u or d?
u
Let m(k) = -91*k + 45. Let b be m(6). Let f = 502 + b. Which is