 y?
True
Let w(k) = -k + 13. Let p(l) = -l**2 - 5*l - 6. Let o be p(-3). Suppose 3*a = 4*v - o*v - 43, 5*v - 4*a = 55. Let d be w(v). Which is smaller: d or 2?
2
Let f(i) = i**2 - 56*i - 50. Let o be f(57). Suppose -2 = -r, 10*j - o*j = r + 22. Which is bigger: 10 or j?
10
Let c(d) = d**3 - 3*d**2 - 23*d + 22. Let i = 563 + -557. Let x be c(i). Is -8 greater than x?
False
Let k(j) = -22*j - 50. Let q = 167 + -175. Let c be k(q). Which is greater: c or 127?
127
Let n be 0 - 1/((-570)/(-1983)). Let p = n + 17/5. Let i = 1067 + -1068. Are i and p equal?
False
Let v = 5.33 - 6.9. Let n = 1.57 + v. Which is bigger: 109 or n?
109
Let f be 3/57 - 6/((-456)/(-4)). Which is bigger: f or -17/1765?
f
Let z be (-80)/25*(-105)/2. Suppose 113*s - 107*s - z = 0. Is 26 at least as big as s?
False
Suppose -5*x = 2*l + 15983, 0 = x + 3*x + 5*l + 12800. Suppose k = -2*g + 11, -5*g - 8*k = -7*k - 35. Let b be (x/(-21))/3 - g/(-28). Which is smaller: b or 49?
49
Suppose 2*f = -3*d - 7640, -3941 - 7510 = 3*f + 3*d. Is -3810 greater than f?
True
Let g be (-264)/(-1144)*(-26)/(-10) - (-24)/(-15). Which is smaller: -1846 or g?
-1846
Suppose -v + 3*s - 494 = 0, 0 = -4*v + 3*s - 957 - 1064. Is -512 != v?
True
Let j = -165 - -154. Let q = j + 24. Which is greater: 12 or q?
q
Let j be (8 - 8)*1/2. Suppose -m + j*m + 10 = 0. Let x be (-36)/((-155)/m + -1). Which is bigger: x or 1?
x
Let n(c) = c**3 - 4*c**2 + 2. Let h be n(4). Suppose h*a - 5*a = 87. Suppose -2*z - 6 = 0, 5*w = -3*z + 2686 - 2845. Is a at most w?
False
Let d(f) = -2*f + 2 - 2*f - 11*f - f**2 + 27*f. Let k be d(12). Are -47 and k unequal?
True
Let v = 0.74 + -0.821. Let m = 0.081 + v. Which is smaller: 2/83 or m?
m
Let m = 56 - 48. Suppose -378*v + 374*v = -m. Which is greater: 8/7 or v?
v
Let i be 1/(5 - (-180)/(-35)). Let v = i - -79/11. Which is smaller: 19 or v?
v
Let y = -342 + 307. Suppose -3*r = 72 + 36. Is y != r?
True
Let d be 50/(-5) - (1 + -1 + -1). Let n be (-6)/20*((-1542)/d - 0). Which is smaller: n or -52?
-52
Let p(q) = -4*q**2 - q + 1. Let r be p(-2). Suppose 580 = -2*w - 4*s, -w + 20*s - 23*s = 285. Let z be 6 - (-15)/(w/112). Which is greater: z or r?
z
Let g = 2085/2 - 1027. Let f = -17 + g. Which is bigger: -1/40 or f?
-1/40
Suppose 3*j = 15 - 21. Let y be ((-2)/(-21))/(j + 14/6). Which is smaller: 63 or y?
y
Let d = 19420/9 - 41231/18. Let a = d - -277/2. Let g = 20 + -13. Which is smaller: g or a?
a
Let s be (-2 + 0)*12/240*4. Let g = 9.5 + -1.5. Is g equal to s?
False
Let f(a) = 29*a**3 - 3*a**2 + 54*a - 199. Let z be f(4). Is z equal to 2?
False
Suppose 19*w - 941 = -276. Let d be w/176 + (-74)/407. Are d and 1 non-equal?
True
Let d = -520 - -519.9. Is -12/397 greater than or equal to d?
True
Let h(p) = -4*p**3 - 13*p**2 + 9*p**2 + 91*p - 93*p - 121*p**3. Let n be h(-1). Is n bigger than 123?
False
Let z = 101.9 - 60. Let i = 42.1 - z. Is 1/149 at most as big as i?
True
Let o = 2 - 60. Suppose -11*z = -39*z + 1680. Let q be (17 - -11)/7 - (z + 1). Is o less than q?
True
Suppose -24*r - 8*r = 22464. Let l be ((-3)/(-2))/((r/981)/13). Is -26 bigger than l?
True
Let y be (-4)/(-14) + -2 - -2. Let u = -91488 - -91185. Is y at most as big as u?
False
Suppose -2*g + 559 = 3*g + 3*o, 336 = 3*g + 2*o. Let f be (-411)/15 - (g/(-25) + 4). Which is smaller: -7 or f?
f
Let j = -5529 - -6365. Which is smaller: j or 840?
j
Let s = 36967 + -36966.5. Which is smaller: s or -3734?
-3734
Let b be ((-10)/7 + 1)/(190/450). Let z = b - -3/19. Let v = -10 - -8. Is z smaller than v?
False
Let k(u) = -5*u**3 - 8*u**2 - 3*u + 6. Let w be k(-4). Let y = w + -246. Is -34 bigger than y?
True
Let i(v) = -11*v**2 - 40*v - 25. Let d be i(-3). Which is smaller: d or 122.5?
d
Let u be (-5106)/(-167388) - (-18)/348*4/(-3). Which is smaller: u or 2/81?
u
Suppose -3*c - 4 = -7*c. Let a be c*-30*(13 + -1 + 1). Let f be ((-6)/(-15))/(3/a). Which is bigger: f or -53?
f
Let k = -12016 + 6633. Do k and -5381 have different values?
True
Let k = -20.716 - -18.716. Let r be -8*(0 - (-2)/14). Is r > k?
True
Let a(p) = -p**2 + 93*p - 1980. Let q be a(60). Is q smaller than -1/3752?
False
Let u(j) = -j**3 - 36*j**2 + 86*j + 380. Let i be u(-38). Which is greater: i or 605?
605
Suppose -49*y - 5*i = -53*y - 19127, -23950 = 5*y + 2*i. Are -4784 and y equal?
False
Let z be (-10)/(-36) + 1/(-2). Let c be (-25068)/228 + 3/(-57). Is z greater than c?
True
Let x = 10115 + -17169. Which is smaller: x or 2/3?
x
Let j(o) = -34*o - 19 + 54*o - 30*o**2 - 35 - 2*o**3 - 31*o. Let b be j(-15). Is b at least as big as 111?
True
Suppose 0 = 12*o - 11*o + 21. Let h be -2*(-2)/(-1) + o/21. Is -6 at least h?
False
Let b = 3641 + -2854541/784. Do b and 0 have different values?
True
Let g = 3056 - 3055.8. Is g at least as big as 0.7929?
False
Let q(n) = n**3 + 6*n**2 - 8*n - 1. Let t be q(-7). Let s be 54/5*20/t. Let d(r) = 2*r**2 - 12*r - 19. Let g be d(9). Are s and g non-equal?
True
Let a = -159567 + 159567.1. Let y = -0.031 + 48.031. Are y and a non-equal?
True
Let y = -0.3722 - -1.3722. Which is bigger: y or -7291?
y
Let a(k) = k**2 - 34*k + 3342. Let u be a(52). Is u equal to 4276?
False
Suppose -10*y - 184 = -164. Let l be (5 - 2)/(62/22) - 3. Which is bigger: y or l?
l
Let d(a) = a**3 + 21*a**2 + 16*a + 12. Let l be d(-20). Let r be (99/(-33))/(6/l). Which is bigger: -49 or r?
r
Let t = 11.49 + -11.69. Let h = -28 - -19. Let c = 20 + h. Which is bigger: t or c?
c
Let t(f) = f**3 - 13*f**2 - 30*f - 3. Let w be t(15). Let i be 3/(6/8) - (-6 - -4). Is i at most w?
False
Let g = -1447582/15 - -96424. Is -82 smaller than g?
True
Let c = 665 + -657. Suppose -3*g - 53 = 5*u, 3*g + 4*u = c*g + 76. Is -2 >= g?
True
Suppose -5*l - 270 = -14*l. Suppose 4*d = 18 - l. Let y be (-39)/(d + 4 + 1*3). Does y = 1?
False
Let m(a) = -42*a**2 + 598*a + 17. Let p be m(17). Is -1954 less than or equal to p?
False
Let s = -41 - 205. Let z = 162865 - 163110. Which is smaller: z or s?
s
Suppose -4*y = -3*j + 5*j + 676, 0 = 4*j + 2*y + 1322. Which is smaller: j or -326?
j
Let l = -3037 - -3115. Is 22 <= l?
True
Let u = -308 - -308. Does u = -10/853?
False
Let z be -1*30*(-11)/(-528). Which is smaller: -11/3 or z?
-11/3
Let r be (-8)/(16/(-3849))*(-6)/(-9). Let h = -21793/17 + r. Which is greater: 0 or h?
h
Let t = 16267.9 + -16268. Which is greater: 11813 or t?
11813
Let x = -8922 + 8947. Is 189/8 less than x?
True
Let z = 25.36 - 0.86. Let s = 68.7 - z. Let r = -48 + s. Do r and -1 have the same value?
False
Let k be (-170)/(-12) - (-736)/(-276). Let u = 6 + 5. Which is greater: u or k?
k
Let a = -109.1 - 11.9. Let h = a + 123.15. Is h greater than or equal to 0?
True
Let x be (-200)/105 - -3 - 30/315. Let v(a) = 3*a - 12. Let t be v(4). Suppose -4*u - 2*d + 14 = 0, -u - 2*d + 3 + 8 = t. Is u at most as big as x?
True
Let y = -575 - -527. Which is greater: 2.6 or y?
2.6
Let o = -46 + 48. Suppose 0 = -o*r + 7 + 7. Suppose r*a + 20 = 5*a. Is a <= -11?
False
Let x = -7200422/28995 - 1/9665. Let w = x - -259. Suppose 2*z - 30 = -z. Which is greater: w or z?
w
Let s be ((-56)/(-196) - (-24616)/(-14)) + 0. Let h = s + 297101/169. Is h bigger than 0?
False
Suppose -275587 = -69*l - 45058. Which is smaller: l or 1/6?
1/6
Let t = 2/13589 - 50316/157211141. Which is smaller: t or -1?
-1
Let h = -106 - -111. Suppose h*i - 190 = 5*s + 185, 2*s - 306 = -4*i. Suppose 2*t + 0*t - 150 = 4*x, -2*x - 150 = -2*t. Is i at least as big as t?
True
Suppose 167*r - 40551 = 45831 + 1293. Is 526 < r?
False
Let m(g) = 692*g. Let t be m(-5). Let c be (1*61)/(5/(11940/(-42))). Let i = t - c. Are 9 and i equal?
False
Let c = -118700/23 + 5160. Let r be ((-103 - -118) + -1 + -8)/(-6). Is r < c?
True
Suppose -17*v = -13*v - 3360. Suppose 20*q - 8*q = -v. Let y = q - -69. Which is smaller: y or -21/11?
-21/11
Let o(u) = -3*u**2 - 30*u - 9. Let l be o(-6). Let f be (l/5)/(-12 - (-1204)/100). Is 316 greater than f?
True
Let i = -461673199/36 - -12822611. Let b = i + 1645. Let o = b - 2/9. Is 1 less than o?
False
Let b = -58.85062 - 0.14938. Let p = -103/291 - -2/97. Is p equal to b?
False
Let u = -5924260/157 + 37734. Is 1 greater than u?
True
Let w = 83848 + -83847.858. Let j = 0.1 - -0.1. Which is greater: w or j?
j
Let p be (-1262)/(-24609) - (330014/(-78) - 2). Is p < 4231?
False
Let i(c) = -3