-4)/(-32))). Let g(j) = j - 6. Let q be g(6). Which is smaller: p or q?
p
Let a = -1733.734 + 18.734. Is 0 less than or equal to a?
False
Let l be 8717/92 + 1*(9/4 - 2). Which is smaller: 101 or l?
l
Let i(b) = -2*b**3 + 32*b**2 - 37*b + 105. Let u be i(15). Is 2/11 less than u?
False
Let z = 641 + -635.5. Which is smaller: -1 or z?
-1
Let k be (-36)/(-5) - (-68)/85. Suppose 3*f = -2*q + 192, -12*f = -k*f - q - 267. Suppose u - 74 = -0*u - 3*z, 0 = 2*z - 6. Which is smaller: f or u?
u
Let n = 2661.1 + -2660. Which is smaller: -0.23 or n?
-0.23
Let s = 6.814 + -6.914. Which is bigger: 151 or s?
151
Let b be -5*4/(-6) - (-4)/6. Suppose -23 = -o + b*s + 4, s + 4 = 0. Suppose o + 15 = k. Is k greater than or equal to 25?
True
Suppose 1836 = -3*v + 3*c, 12*v - 10*v = -4*c - 1254. Is -613 >= v?
True
Let m be (-8)/(-10)*(-5)/(-3)*16038/(-33). Are -648 and m unequal?
False
Let v be 3 + -4 + (0 - -1). Suppose b = 4*b + l - 10, v = -4*b + 4*l + 8. Let g = -28233 + 254111/9. Which is smaller: b or g?
g
Let o = -61204/189203797 + 2/22003. Let g = -16920/1195261 + o. Which is smaller: -1 or g?
-1
Let v(d) = 34*d**3 + 33*d**2 + 9*d - 22. Let p be v(4). Is 2720 <= p?
False
Let v(k) = -k - 12. Let z be v(-14). Suppose z*n = 7*n + w - 42, -2*w = 5*n - 44. Let a(i) = i**3 - 9*i**2 + 6*i + 5. Let l be a(n). Is -11 <= l?
True
Let s = -31.463 - -34.963. Which is greater: -17/3 or s?
s
Let z = -80 - -82. Let o be 0/(-1)*((-25)/10 + z). Which is smaller: o or -2/193?
-2/193
Let w be 8/(-76) - 447216/4389. Let a be 4*3/6*-1. Which is greater: w or a?
a
Suppose -3575 = 188*h - 201*h. Let u be (1 - 34/4)*60/h. Let l be (-1)/2*(6 + -4). Is l at most as big as u?
False
Let s(z) = 144*z**3 - z**2 + 65*z - 127. Let k be s(2). Is k at least as big as 1161?
False
Suppose -24*d - 679 = 155 + 78. Is 2/9 less than or equal to d?
False
Suppose 4 = 4*f - 12. Suppose -v - f*m = 22, 3 = 2*v + 3*m + 22. Let q be v - (74/(-14) - -3). Are 1 and q unequal?
True
Let s be ((-40)/(-140))/((-7)/(-34545)). Which is bigger: 1412 or s?
1412
Let q(b) = -2*b**2 + 21*b + 39. Let c be q(12). Suppose 14*p - 1430 = c*p. Let w = -139 + p. Is w equal to -42/5?
False
Let n = -385/46 + 17/2. Let i(a) = 135*a + 15390. Let z be i(-114). Is n at most z?
False
Let n(z) = 192*z**3 - z**2 + z + 1. Let h be n(1). Suppose -3*i - 107 - h = 0. Let v be ((-6)/65)/(40/i). Which is smaller: 0 or v?
0
Let n(g) = -g + 8. Let z be n(4). Suppose -5*u - 2 - 18 = z*r, 3*u - 2*r = 10. Suppose u = p + 2. Is p smaller than -6?
False
Let r be 1 - (16 - 5) - (-2 - -2). Is r <= -192?
False
Let p = 6 + -1. Let w be -3 - 5 - (p + -1). Let g = -3.33 - -3.53. Are g and w non-equal?
True
Let l be 353481/348 - (1 - 1/4). Suppose 1008*k - l*k = 28. Which is bigger: 143 or k?
143
Let f be (-3115)/(-525) + (-2)/(-30) - (6 - -1). Is f != -2/4329?
True
Let i be -1*2 + 32/18. Suppose -z = 3*w - 4*w + 2, 0 = -2*w + 4. Suppose -2*y - 4*b + 14 = z, 2*b - 12 = -5*y - 1. Is y < i?
False
Suppose -4*h + 4 = -0*h. Let d be 42/(-63)*96/(-5728). Which is greater: d or h?
h
Let t = -88 + 970/11. Let h be ((-17962)/12)/(-7) - 0/(-4). Let l = h + -214. Which is bigger: l or t?
t
Suppose 23*q + 5040 = 5*q. Let o = q - -158. Let t = -123 - o. Which is bigger: 1/23 or t?
1/23
Suppose -4 - 2 = 3*m - k, -5*m - 3*k = -4. Let h = 16577/12 - 25097/18. Let s = h - -100/9. Which is smaller: m or s?
s
Suppose 2*x + 6*u - 4*u = 0, 2*x + 4*u - 4 = 0. Suppose -5*j = -2*c, -4*j - 3*c - 18 - 5 = 0. Let f be j*x/(-12) + 448/(-6). Which is greater: f or -76?
f
Let s = 119 + 352. Let i be -4 - (0 + s/(-6)). Let r = i + -70. Do 6 and r have different values?
True
Let t(x) = -x**3 - x**2 - 2*x + 5. Let l be t(0). Suppose 0 = 5*w - 4*k - 3 - l, -2*w + 3*k - 1 = 0. Suppose w*v = -40 + 4. Which is smaller: -8 or v?
v
Let r(t) = -t**3 + 10*t**2 + 29*t - 343. Let q be r(9). Which is greater: q or 1/8393?
1/8393
Let q be ((-9)/(-117))/((-1)/(-34)). Let x be ((-32)/6 + 2)/((-185)/222). Which is bigger: x or q?
x
Let b = -161 + 220. Let f = b - 62. Which is bigger: -11/4 or f?
-11/4
Suppose 14*q + 5374 + 2774 = 0. Which is smaller: q or -2333/4?
-2333/4
Let r be (-17)/((-935)/(-22))*(-10)/(-4)*73. Is r less than or equal to -21?
True
Let q = -27.1 + -2.3. Let d = q - 23.6. Is 0.2 greater than d?
True
Let o(q) = -16*q - 3. Let z be o(-4). Let m = 245/4 - z. Let c be ((-296)/(-111))/((-224)/24). Is c != m?
True
Let s = -1409/12 + 651/4. Is 46 smaller than s?
False
Let a = -52146 - -2398915/46. Let s = -167/828 - -1/36. Let j = s - a. Do j and 0 have the same value?
False
Let l(z) = -z - 449. Let j be l(-37). Which is smaller: -413 or j?
-413
Let g = -163066 - -12556307/77. Is 4 < g?
False
Let m = 98.89 - -6.11. Which is smaller: m or 2?
2
Let m = 9137 - 9049. Are m and 58 non-equal?
True
Let h(l) = 2*l**3 + 17*l**2 - 50*l - 9. Let s be h(8). Which is bigger: 1702 or s?
s
Let s be (-2148)/32 + -3 + 0. Let o = s - -70. Let u = o + -5/24. Are u and 2/33 unequal?
True
Let a = -1681/6 - -902/3. Let x be ((-5)/2)/((-2)/16). Is x equal to a?
False
Let w = 232.203 - 232. Let j = w + -0.003. Is -2/167 smaller than j?
True
Let h = -1077178 + 278988440/259. Let f = h + -64/37. Do -3 and f have the same value?
False
Let d = -391/14 + -487/14. Is d at least -64?
True
Let m be 1*10*(-3)/(-6). Suppose m*s + 82 = c, -c + 374 = 3*c + 3*s. Suppose 0*i = 2*i + 5*z - 46, c = 4*i - z. Is i >= 23?
True
Let o = 407/4 - 2913/28. Let y = 4 - -1. Let h = y + -6. Which is smaller: o or h?
o
Suppose 0 = 9*c - 820 - 1367. Let n be (-2016)/c*(-3 - 3). Which is bigger: 49 or n?
n
Let x be 1566154/258 - 48/36. Let o = x - 6069. Which is bigger: 0 or o?
o
Let l be (-2)/14*(8 - 2). Let c be (-14)/21*(-6)/(-4). Which is smaller: l or c?
c
Suppose -16 = 4*x + 4, 0 = -2*g + 2*x + 23374. Suppose -15*q - g = 9138. Let c = q - -51352/37. Which is smaller: -1 or c?
-1
Let h = 1393.9 - 1395.9. Is h greater than or equal to -0.02?
False
Let l(g) = 18*g**3 - 11*g**2 + 2 + 7*g - 17*g**3 + 0*g**2 + g**2. Let b be l(8). Is b greater than -69?
False
Suppose -12*u - 1416 = 4*i - 8*u, 4*u - 12 = 0. Is i < -1070/3?
True
Let o be 1495/(-1794) + (-530)/(-24). Which is smaller: 3/11 or o?
3/11
Let f be ((-20)/50)/(3/285). Let j(a) = -12*a**2 - 13*a - 7. Let b be j(-5). Let p be (-1)/(2/(-14))*b/44. Which is bigger: p or f?
f
Let i = 16131 + -16929. Which is smaller: i or -3195/4?
-3195/4
Suppose 4*r - 3 = -i, -8 = -4*r - 5*i + 23. Are -1/134 and r equal?
False
Let c = 577627/49 - 11789. Which is greater: -1 or c?
c
Let c = -28 - 336. Let t = c + 225. Is t less than or equal to -141?
False
Let p = -2162 - -2117. Is 0.6 greater than or equal to p?
True
Let o = -255.03 + 256. Let b = -4.97 + o. Are b and 2.3 non-equal?
True
Let k = 36 - 47. Let i = k + -31. Let c = i - -44. Which is bigger: c or -3?
c
Let c(d) = -d - 9. Let a be c(-13). Suppose 2 = -2*f + a*f. Let q = 5926/7 - 845. Which is bigger: q or f?
q
Suppose 0 = 3*p + 4*p. Let a = -3479 + 2946715/847. Are a and p nonequal?
True
Suppose 5*n - 6*n = -10. Let i = -2 + n. Suppose -i*f = -f + 7. Which is greater: f or 1/23?
1/23
Let f be (-34 + 5004/72)/(6/(-4)) - 2. Let h be (-1)/1 + -26 + 0. Is f equal to h?
False
Let t = -473422/99 + 4782. Suppose -b + 15 = -3*w, 5*b + 5*w + 27 - 2 = 0. Which is smaller: b or t?
t
Let k = -345 - -345.46. Does k = 3?
False
Suppose 4*g + 37 = -l, -4*g + 28 - 80 = -4*l. Let q be ((-7)/((-42)/(-4)))/(g/285). Which is bigger: 4 or q?
q
Suppose 78 = -3*s + 6*s. Suppose -31*p + 27*p = 16. Let a be (p/(-6))/((-76)/78 + 1). Is s < a?
False
Suppose -s - 2*w + 197 = -156, 0 = 2*s + w - 712. Suppose -4*y + s = 69. Suppose 0 = -2*k + 5*p - y, -58 = k + k + 2*p. Which is smaller: -29 or k?
k
Suppose 6*q - 486 + 42 = 0. Which is smaller: 88 or q?
q
Let v = -4043 + 4037. Are 43/3 and v nonequal?
True
Let f = -1170 + -1438. Are f and 2 non-equal?
True
Let q = 2.1615 - -0.4025. Are q and -2/3 equal?
False
Let u(f) = 31*f**2 - 9*f - 142. Let r be u(-7). Is 1437 > r?
False
Let o = -179020 + 759223814/4241. Do o and -1 have the same value?
False
Let g = -645.93136 + 0.03136. Let t = 647 + g. Is -3/8 less than t?
True
Let j = -11.05 - 3.05. Let p = -4814 - -4799.9. Let g = j - p. Is 82 < g?
False
Let z = 13 - 11. Let q be 456/209 - z/11. Let n = 607/820 - -2/205. D