ess than i?
False
Let r(f) = -2*f**2 - 96*f - 760. Let m be r(-38). Do m and -1/24626 have the same value?
False
Let k be (-41)/((-1)/(-1)) - -1. Let q = k + 7. Suppose 0*w + 100 = -3*r - w, 2*r - 4*w = -48. Which is smaller: r or q?
q
Let c = 3371 + -4003. Is c at most as big as -631?
True
Let k = -155.38 - -156.263. Which is smaller: k or -1.6?
-1.6
Suppose 3*t - 17*x + 16*x = 10, -t - 3*x - 10 = 0. Let z be ((-3)/t)/((-99)/(-66)). Is -0.148 bigger than z?
True
Let p be 447380/(-1170) + 2/13. Is p greater than or equal to -383?
True
Let h = 0.59 + 29.41. Let m = h - 29.952. Let s = m + -0.104. Which is smaller: s or 1/4?
s
Suppose 3*f = 2*c - 6*c + 4335, -5*c = -5*f - 5410. Which is bigger: -1 or c?
c
Let x = 149 + -147. Let t = 5792/207 - 244/9. Is x bigger than t?
True
Let x = -2829 + 2999. Is x < 178?
True
Let j(f) = 2*f**2 + 9*f + 21. Let i(c) = -3*c**2 - 10*c - 22. Let v = 90 - 86. Let x(t) = v*i(t) + 5*j(t). Let u be x(5). Is 7 less than u?
False
Let c = -74.88 + 75.08. Which is greater: -2764 or c?
c
Let x be ((-20)/16)/(-5)*0. Suppose 5*f - 80 = -x*f. Suppose f*p - 12*p = 0. Is -3/5 >= p?
False
Let v(f) = -2*f - 28. Let t be v(-24). Let l = t + -39. Let s = l + 20. Which is greater: 5/18 or s?
s
Let i = 33467/7099117 + 1/16943. Is i greater than -2/3?
True
Let d be (-3)/12*-9*(-4)/12. Let k = 23/8 + d. Let c = -245/104 + k. Which is bigger: c or 0?
0
Suppose -4*i + 4*k + 1652 = 0, 41*i - 42*i + 425 = 2*k. Is 417 at most i?
True
Let g(b) = -65*b - 1. Let y be g(-1). Suppose 3*w + 119 = z - 8, w + y = -4*z. Let d(j) = j**2 + 15*j + 13. Let q be d(-8). Is w at most as big as q?
True
Let b be (1/2)/((-14)/8). Suppose -3*g = -3808 - 299. Suppose 0 = 9*c + 1378 - g. Is c > b?
False
Let g(x) = 2*x + 62*x**2 - 18*x - 63*x**2 - 11. Let i(h) = -h - 1. Let s(q) = -g(q) + 6*i(q). Let r be s(-4). Is r at least 1?
False
Let j = -7044.4 - -7030. Do j and -13 have the same value?
False
Let f be -6 + 2 + 37202/9291. Let y = 62083805 - 212512861567/3423. Let r = f - y. Which is bigger: -1 or r?
r
Let t be ((-12)/15)/(1/(-65)). Suppose 3*h + 5*b + 55 = 5*h, -4*b = -2*h + t. Let u be (3/(-6))/(10/h). Is 44 at least u?
True
Let q = 4702 + -13886/3. Let v(f) = 8*f + 10. Let u be v(8). Is u less than or equal to q?
False
Let b = 35044 + -35120. Is b < -53?
True
Let k be (-1)/(-3) - (-12)/(108/(-129)). Let s be ((-4)/k)/((-11)/22330*-15). Which is greater: s or 40?
40
Suppose -2*t = 4*z + 239 - 805, -4*z + 5*t + 559 = 0. Let i = -280 + z. Do -141 and i have different values?
True
Let i(n) = -37*n + 1109. Let f be i(41). Which is smaller: f or -404?
f
Suppose 47*k - 46*k + 3*u = -663, 4*k + 2716 = 4*u. Let l = k + 612. Is l bigger than -62?
False
Let w = -2057 + 2124. Which is bigger: 5 or w?
w
Let o(g) = 484*g + 3873. Let k be o(-8). Is k bigger than -5/2214?
True
Let w be ((-3)/(-4))/(1132596/(-377512) + 3). Let u = w + 4723. Is 4 != u?
True
Let v = -6625 + 33123/5. Is v at most as big as -2531?
False
Let b(v) = -v**3 - v**2 + 6*v + 5. Let f be b(-3). Suppose 5*a - 2*w - 30 = -0*w, -4*w = -f*a + 20. Let g = 1091/165 + -1/15. Is a less than or equal to g?
False
Let v = -237759/14 + 16973. Let d = v - -10. Which is bigger: d or 1/3?
1/3
Suppose -6*f - 25 = -49. Suppose -2*m + 2*u + 18 = 0, -m - 5*u = -5*m + 33. Let h = m - 10. Which is bigger: h or f?
f
Let b be (14 + 108/(-9))*(8 + -2 + 1). Is 268/19 less than or equal to b?
False
Let a be 126*24/126*18. Let o = a - 6482/15. Does o = -1/6?
False
Let b be 4*-1*(-13 + 12) - 5. Does 2 = b?
False
Let w be (8/642)/(1/(6/60)). Let u = 6 - 7. Which is bigger: u or w?
w
Let z be -14*(-665)/(-56) - 1/(-4). Let o = -157 - z. Suppose 2*b + 11 = 29. Is b greater than or equal to o?
True
Let w = 2658 + -2598. Is 1034/17 > w?
True
Let g = 6608/23 + -1460370/5083. Which is greater: g or -1?
g
Let k = -1208 - -1012. Suppose t - 195 = 2*t. Which is smaller: t or k?
k
Suppose 4*s = 9*s + 7*s - 5196. Are 4778/11 and s unequal?
True
Let t be 1/5*-77 - -2. Let r = 71/5 + t. Suppose 4*q + 3*w + 9 = -2, 4*q + 5*w + 21 = 0. Which is smaller: q or r?
r
Suppose -3*z + 4*k - 13 + 6 = 0, 0 = -4*z - 5*k + 1. Which is bigger: z or 46/97?
46/97
Let j = -7354 - -6208. Which is smaller: -1145 or j?
j
Let t be (-99)/3 - 32/(-4) - (0 - 5). Let x be (-2)/(-3) - 71/3. Is x less than t?
True
Let m be (-4 - 2)/(5/((-2040)/9)). Let c = m - 116. Which is greater: c or 1?
c
Let w(q) = 430*q + 859. Let s be w(-2). Which is greater: s or -1/46908?
-1/46908
Let m = -3 - -5. Suppose p + m*p - 141 = 0. Which is greater: 46 or p?
p
Suppose -2*d - 3*d = 0. Let w = -521803/139 - -3754. Which is smaller: w or d?
d
Let a be 2/7 - 633/84. Suppose -28*j + 9*j + 190 = 0. Suppose j*s = 16*s + 48. Is a not equal to s?
True
Let u = 4 + -5. Let y be 8*(3/(-2))/u. Let q be 1/(-2)*4 + 14 + 5/5. Is y greater than q?
False
Suppose -1 + 1 = 59*f. Which is smaller: 4/2879 or f?
f
Let k be -228*(-6)/(-3)*481/1196. Let l = k - -183. Which is smaller: l or 0?
l
Suppose -2*r + m = -199, -17*r - 5*m = -13*r - 433. Let k be (-1 - 1)*4/(48/r). Let a be (-4)/(-2)*6/(-12). Is k at most a?
True
Let f = 160 - 127. Let r be 1*((-6)/f + 4/22). Which is bigger: r or 4/3?
4/3
Let k be (-143451)/9603 + 7 + 13 + -5. Let l be (-2)/6 - (-2)/6. Which is greater: l or k?
k
Suppose 614 = 4*r - 522. Let b = -96 + r. Suppose 2*k - b = t + 3*t, -2*k = -t - 47. Is -46 >= t?
True
Let g = -700 + 1385. Which is bigger: g or 0.3?
g
Let h be (-249)/(-36) - (2*3)/1. Is h > 0?
True
Suppose 791 = 3*h + 39*z - 40*z, h = -4*z + 242. Let m = -278 + h. Is -16 at least m?
True
Suppose -100*l - 125240 = 53*l + 2*l. Which is bigger: l or -806?
-806
Let v(i) = -i**3 - 36*i**2 + 59*i + 833. Let q be v(-37). Suppose -4*n + 78 = 10. Is q at most n?
False
Let x = -205787/38 - -10831/2. Suppose 0 = f - 2 + 3. Which is bigger: f or x?
x
Let k be (-1189000)/(-57750) - (0 - 4/(-14)). Let w = k - 33622/1617. Is w greater than or equal to 1?
False
Let z be ((-2)/7)/((-2)/4*256/429952). Do z and 959 have different values?
True
Let g = 41792 - 41803. Suppose 0 = s - 3*r + 1 + 16, -s - 15 = -2*r. Is s at most g?
True
Let n = -37653 + 336470/9. Suppose -297 = -u + 5*g - 4, 2*g = -10. Let l = u + n. Which is bigger: l or 1?
1
Let k = 13425 + -13424. Is 317 less than or equal to k?
False
Let k(g) = -g**3 + 6*g**2 - 6*g + 5. Let m be k(5). Let f be (304/(-28))/(-4) + -3 + m. Let c be (2/3)/((-1)/(-3)). Which is smaller: f or c?
f
Let f = -6093 - -18278/3. Are f and -0.038 equal?
False
Let g = -8998 + 9280. Which is greater: g or 3096/11?
g
Suppose -172*v - 3776 = -3948. Which is greater: v or -346/49?
v
Let l = -23.4 - -23.397. Let a = l - 0.097. Is a equal to 47?
False
Suppose -3432*w + 3554*w + 153598 = 0. Which is smaller: -1261 or w?
-1261
Let h = 338 + -359. Let x = -3 - -6. Suppose -x*r - 94 = 5*q, 2*q - r = -2*q - 82. Is q greater than h?
True
Let m = -3935 - -3933. Is m equal to 5/167?
False
Suppose -3*s - s + 5*s = -0*s. Is 11/358 smaller than s?
False
Let c be (18/5)/((-3131362)/(-101010) - 31). Which is greater: c or 6995?
6995
Let n = 3.786 + -0.216. Let c = 92.43 + n. Which is smaller: -0.2 or c?
-0.2
Let d = -15420 - -108034/7. Which is smaller: 0 or d?
0
Suppose -5*t + 378 = -2*t. Suppose 2*q = -4*j + 23 + 89, -5*j + q + t = 0. Let u = -46 - -73. Are u and j nonequal?
True
Let i = -23087.2 - -23087. Which is smaller: 2.119 or i?
i
Let v be ((-2)/6)/(11/(1980/(-195))). Let y(a) = -a**2 + a. Let z be y(1). Does z = v?
False
Suppose 12*r + 12*r - 1800 = 0. Let w be ((-200)/r)/((-6)/27). Which is greater: 32/3 or w?
w
Suppose v - 58 = -2*q, v + 2*v - 189 = -3*q. Let z be ((-18)/(-2))/(-3) - -9*69/9. Which is bigger: z or v?
v
Let q be ((-108)/519600*-5)/(6/(-16)). Which is smaller: q or 1?
q
Let c be (-427)/(-7) + (-3 - 15). Which is greater: 1/80 or c?
c
Let g = -4035 + 20432/5. Which is smaller: 52 or g?
g
Let m be 474/(-46) + (5 - (7 - 8)). Which is smaller: m or -4?
m
Let w = 1752 - 1751.6. Do w and 5.95 have the same value?
False
Suppose 0 = 2*q + 2*s + 4514, -5*q + 8*q + 4*s = -6773. Let w be 6/(-1) + (-13640)/q. Which is greater: w or 2/23?
2/23
Let y = 265 - 134. Let k = y - 914/7. Is -0.03 < k?
True
Let p be (-140)/(-40) - (-1)/2. Suppose -3*q + 94 = -5*x, -p*q + 2*x = -1 - 115. Which is smaller: 25 or q