t z be x(y). Which is greater: z or 10?
z
Let i(g) = 4*g**3 + 1. Let m be i(-1). Let n = -78414/209 + 12756/19. Let y = -296 + n. Which is bigger: m or y?
y
Let q be (-6 - (-8159767)/(-7077))*-3 + 6. Let h = q - 3483. Let w be (0 - 0) + (-1 - 0). Which is smaller: h or w?
w
Let s = 302 + -506. Let n = 205 + s. Is -35 at most as big as n?
True
Let x be ((-5)/(-4))/((-1)/(-4)). Let l be ((-5)/(60/(-696)))/(2/(-23)). Let h = 669 + l. Is h at most x?
True
Let v = 36.002 + -0.002. Let l = 114 + -149.7. Let i = v + l. Which is greater: i or 0.08?
i
Let h be (-5 - (-108)/20)/((-47)/(-294455)). Is h greater than or equal to 2510?
False
Let k = -1644394/7 + 234506. Which is greater: k or -407?
-407
Let i(w) = -w**2 + 3*w + 13. Let v be i(7). Which is smaller: -114 or v?
-114
Let q = 2692 + -2976. Which is smaller: -1137/4 or q?
-1137/4
Let x be (-3)/((-156)/53) + -1. Suppose 11111*j = 11192*j. Which is smaller: j or x?
j
Let v be 14060/(-777)*(728/18)/4. Which is bigger: -182 or v?
-182
Suppose -6285 = -308*y + 158*y + 165*y. Let v be -6*(600/9 + 3). Which is smaller: y or v?
y
Let j(r) = -37*r - 16. Let l be j(0). Suppose 3*u - 3 = -5*t + 2, -5*u - 29 = -t. Suppose t*q = q - 39. Which is greater: l or q?
q
Suppose 223*x - 226*x = 3. Let d be (-8 - 22)*x/7. Is d at least as big as 3?
True
Let o = 755.17 - 0.17. Let p = -756 + o. Is -0.104 > p?
True
Suppose -1500 = -4087*h + 4107*h. Do -74 and h have different values?
True
Let v(y) = 73*y + 58*y - 56 + 21*y - 111 + 14. Let p be v(2). Does 151 = p?
True
Let z be 42/(-4)*(-8)/(-6). Suppose -4*n + 4*j = -76, 4*n + 156*j - 76 = 153*j. Suppose 4*k = -n*a + 18*a - 9, 0 = 4*a - 2*k + 54. Which is bigger: a or z?
a
Suppose 0 = -t - 15 - 53. Let j = 258 + t. Let w be (-6)/(1 + j/(-4)). Is w less than 1/3?
True
Let f = -5704 - -51496/9. Let y(x) = 13*x**2 + 226*x + 104. Let c be y(-17). Which is greater: c or f?
c
Suppose -302*m + 3846488 = 699648. Is 10420 >= m?
True
Let z be ((-2)/6)/((-40128)/(-4455) - (1 - -8)). Suppose -4*k - a - 186 = 0, k + 3*a = -40 - 1. Is z greater than or equal to k?
True
Let u(p) = 91*p**3 - 11*p**2 - 255*p + 1288. Let o be u(5). Which is greater: 11111 or o?
o
Let z = -80913 - -41508355/513. Which is greater: -1 or z?
z
Suppose 1138*j - 1135*j - 351 = 3*h, 2*h + 4*j + 198 = 0. Is h < 0?
True
Suppose 0*p + 24600 = 14*p + 36*p. Which is smaller: 3448/7 or p?
p
Suppose -4*s - 10*k + 8*k = -14, -5*k = s + 1. Suppose s*m + 4*l = -16, 10*m = 11*m - 4*l - 16. Which is smaller: 8/135 or m?
m
Suppose 44*x - 20*x = 72360. Is x bigger than 3014?
True
Suppose 10 = i + 2*j, 2*i + 2*j + 2 - 14 = 0. Suppose -i*q - 16 = 24. Which is greater: q or -77/4?
-77/4
Let c be 3 + (-1 - 0 - -87). Suppose -4*x = -3*x - c. Which is smaller: x or 2?
2
Let g = -423 - -425. Suppose 3*m - 10 = -7. Suppose 3*t + x = m, -x + 6 = 4*t + 5. Is g less than or equal to t?
False
Let o be (39/14534)/(((-15)/(45/24))/2). Does o = 0?
False
Let t = -141 - -142. Let i be (-7 + 3)/(1 + t). Let y be 4 + (8/i - (1 + -2)). Is -2/385 at least y?
False
Suppose -4*o + 4*f = 0, 2*o = 4*f - f - 3. Suppose 0*u + u + 5*i - 6 = 0, 54 = o*u - 3*i. Suppose -4670 = -830*z + 4067 + 5373. Which is greater: z or u?
z
Let o be (-75)/30*(-8)/(-5). Let q be 0 - (-70 - 30)*o/(-5). Is 79 at least as big as q?
False
Suppose 4*z + h - 997 = 0, -5*z + 1243 = -5*h + 3*h. Suppose 0 = -l - 1, -2*y - z = -7*y + 4*l. Let t be (4/(-6))/(y/(-3) + -4). Which is smaller: t or -1?
-1
Let l(o) = o**2 - 6*o + 4. Let j be l(6). Suppose 3*y = 2*c - 7, 1 + j = -2*c - y. Suppose 6*b + 10 = -3*q + 2*b, -2*q + b - 3 = 0. Which is greater: c or q?
c
Let g be 12/(-10) - ((-33)/(-99) + (-64204)/(-330)). Which is smaller: g or -196?
g
Let f be (-1)/((-1)/(-70))*-1. Let k = -74 + f. Let p be k - 10*14/(-34). Which is smaller: p or -2/5?
-2/5
Let u(c) = -c**3 + c + 1. Let t(b) = 2*b**3 + 5*b**2 + 2*b - 24. Let d(n) = -t(n) - 3*u(n). Let x be d(5). Which is smaller: -5/2 or x?
x
Let g(w) = 3*w**2 - 2*w + 1. Let i be g(2). Suppose -24*o + 29*o + 7*d + 28 = 0, 3*d = -3*o - 12. Is i smaller than o?
False
Let g = -140 + 239.45. Which is bigger: 1 or g?
g
Let s(i) = i**3 + 2*i**2 - 4*i + 2. Let n be s(-6). Let r = n - -118. Suppose r = 9*j - 7*j + 14. Which is smaller: -8 or j?
-8
Suppose 78*c - 29*c = 31*c - 22212. Do -1236 and c have different values?
True
Let j = 99029/145 - 683. Let g = j - -283/3335. Let a = -2078 + 2079. Which is greater: g or a?
a
Let j be (1041/6)/((-6)/384). Which is greater: j or -11105?
j
Let x = 1984.21 - 1901. Let i = -82 + x. Which is bigger: -0.2 or i?
i
Let b(v) = -45*v + 70. Let r(t) = 2*t. Let i(n) = -b(n) - 20*r(n). Let q be i(10). Is q greater than or equal to -4?
False
Let d(b) = -b**2 - 26*b - 47. Suppose -14 = -31*h - 758. Let s be d(h). Is -3/149 less than s?
True
Suppose -2*a - 9 - 3 = 0. Let i be 3/((-7)/(154/a)). Let o be 0 + (-6 - -4) - (1 + -16). Are i and o equal?
False
Let t = 5.4967 - -1.5033. Let h = 51 + -46.4. Let b = h - 0.6. Is b <= t?
True
Suppose -9*p - 88 + 421 = 0. Suppose -4*k + 92 = -5*a, 4*k + 5*a - 160 = -k. Let b = k - p. Is b bigger than -10?
True
Let t(k) = k**3 + 4*k**2 - 2*k. Let w be t(0). Let d = -34.15 - 0.85. Is w greater than or equal to d?
True
Suppose 492 + 54 = -26*u. Let t(v) = v**2 + 23*v + 43. Let s be t(u). Which is smaller: 4/87 or s?
4/87
Let f(s) = s**3 - 10*s**2 + 15*s + 13. Let q be f(8). Suppose 0 = -4*v + 6*v + 3*u - 69, -u = -q. Which is greater: v or 25?
v
Let f(g) = -92*g - 2858. Let t be f(-45). Is 14118/11 less than t?
False
Suppose 4*y + 3 = 3*d, -13*y + 12*y = 0. Are d and 5/77 nonequal?
True
Suppose 74*w - 72*w + 4 = 0. Let q(a) be the first derivative of -a**4/4 - 4*a**3/3 - 2*a**2 - 3*a - 4. Let l be q(-2). Which is smaller: l or w?
l
Let o = 426.86 - -0.14. Let v = o + -435. Are 28 and v equal?
False
Suppose 5*x - 31 = -g, -2*g - x + 2*x + 7 = 0. Suppose -2*o + 30 = 5*z, z + g*o - 8*o = 6. Which is smaller: 7 or z?
z
Let s be 1/(((-2)/(-4))/1). Suppose 3 = s*w - 5. Suppose 232 = -w*k - 2*p, -4*k + 3*p - 237 = 5. Is k != -58?
True
Let d = -87.9 - -0.9. Let t = d - -87.5. Which is greater: -17 or t?
t
Let o(h) = h - 6. Let j(k) = -k - 1. Let x be j(-4). Suppose -x*q - 3*z = -57, -3*q + 4*z - 46 = -5*q. Let y be o(q). Which is smaller: 11 or y?
y
Let u(p) = -234*p + 3486. Let r be u(14). Which is smaller: r or -57?
-57
Let a be 14/(-10) - 2/(-5). Let i = -7192 + 5940591/826. Is i bigger than a?
True
Suppose 3197 = 93*z - 1496 - 3956. Which is bigger: 87 or z?
z
Let p be ((8/31)/1)/2. Let n be (-6)/(-9) - (-12 + (-112)/(-6)) - -7. Do n and p have the same value?
False
Let d = 2356 + -2355.9. Which is smaller: -2070 or d?
-2070
Suppose 22*m = -14*m + 208429 + 71219. Which is smaller: m or 7766?
7766
Suppose 0*r = -2*r - 24. Let l be (-74)/(-5)*(r/(-4) + 2). Suppose 0 = 5*m - 2*k - 125, 0 = -3*m - 2*k + 3*k + l. Which is smaller: m or 1?
1
Let d = 13552 - 13543. Are d and -5.05 non-equal?
True
Let w = -23421 - -85041653/3631. Let z = w + 159750/25417. Which is smaller: 6 or z?
6
Let z be (-16 + 24752/(-80))*20. Which is greater: 0.1 or z?
0.1
Suppose 1050 = -6*o + 3*o. Let m be (70/4)/(899/(-17980)). Is o >= m?
True
Let g be -5 + 18/(-9)*(-6)/12. Is -183/41 at least g?
False
Let h(p) = -p**3 + 4*p**2 - 4*p. Let u be h(-6). Let j = 262 - u. Which is greater: -121 or j?
-121
Let q = 749 - 745. Suppose -q*w - 5*t + 0*t + 208 = 0, 5*w + 2*t - 277 = 0. Is 54 != w?
True
Let y = 1.02 - 0.02. Let o = -25 + 25. Suppose 0*i + 4*d - 38 = i, o = d. Which is greater: i or y?
y
Let c be (-60)/57*(-14580922286)/1855. Let a = 8274038 - c. Let o = a - 12/19. Which is bigger: o or 0?
o
Let j = 2482771/11 + -225701. Suppose 3*s + 3*g = 2*g + 19, -2*s - g + 13 = 0. Which is smaller: s or j?
j
Let x be 9*(-2 - (-54)/28)/(27/(-126)). Let v be 41/(-3)*(-9)/39. Is x < v?
True
Let w = 39603 + -1148397/29. Which is greater: w or -18?
w
Let r = 3 + -2.96. Let o = 124.76 - 124.7. Let c = r + o. Which is smaller: c or 9?
c
Suppose -10*d - 1368 = -18*d. Let i = d - 263. Is i at least 1/2?
False
Let v be ((-2)/(-4))/(-9*6/(-34668)). Suppose 1119 + v = -6*g. Which is greater: -241 or g?
g
Suppose -10*r + 8880 = -15*r + 5*w, 7112 = -4*r - 4*w. Which is smaller: r or -1776?
r
Let o = 0.4038 - 0.465. Let i = 0.4588 - o. W