ter: h or -3/2?
h
Let x(o) = -7*o**2 - 334*o + 96. Let y be x(-48). Which is smaller: -3/517 or y?
-3/517
Let n = -20.6 - -19. Let c = 0.42 - 0.494. Let w = c - -0.174. Which is bigger: w or n?
w
Let p(v) = v**3 + 14*v**2 + 3*v - 4. Let i be p(-13). Let r be 39/i + (-8)/48. Suppose 3*b - 3*d = 0, 4*d - 2 = -3*b + 5. Which is smaller: b or r?
r
Suppose -519*c = -578334 - 630936. Do c and 2331 have the same value?
False
Let i(u) = u + 9. Let a be i(-8). Let f be a/((-4)/8) + -29. Let t = f + 31. Is 0 less than or equal to t?
True
Let n = 2 + -3. Let h = 105.81 - 105. Let j = h - 0.81. Which is smaller: j or n?
n
Let i(z) = 3*z - z**3 - 3 - 14*z**2 - 6 - 10*z - 3*z. Let x be i(-13). Let l be (-2)/(-8) - 36/x. Is 1/26 bigger than l?
False
Suppose -4*r - 3*w = 9 + 21, 5*w = -r + 1. Is -225/23 greater than or equal to r?
False
Let u be (12/(-6))/(-5 + (-3)/(-1)). Is u > 4/57?
True
Let n = 37 - 32. Suppose 25 = -5*h + n*a, -3*h - 5 = -2*h + a. Are -16/3 and h unequal?
True
Let i = 15842101/235 + -67413. Is i at most 0?
False
Suppose -q + 20 = b, 3*b + 8*q - 3*q = 62. Suppose 24*g - b*g - 255 = 0. Suppose 0 = -8*t + 141 + g. Which is bigger: t or 25?
25
Suppose -48 = -a + 57. Let p = -108 + a. Let u = -2.83 + -0.17. Is u at least p?
True
Let l = 24510/13 + -1297691/689. Which is bigger: 3 or l?
3
Suppose -6*p = -3*y - 2*p + 100, -82 = -2*y - 5*p. Let m be (-9)/2*456/(-513). Is m at most as big as y?
True
Let r = -1093 - -1559. Suppose r - 170 = -8*t. Is t not equal to -39?
True
Let h(k) = -k**3 - 23*k**2 - 54*k + 70. Let l be h(-20). Suppose -208 = 8*q - 4*q. Which is smaller: q or l?
q
Let r be 252/(-84) - (2 - 4)*-17. Is r less than -54?
False
Let p be (4508/(-16) + 2)/(78/4). Let o = -180/13 - p. Is o != -36/7?
True
Let w = -0.267 + 0.14. Let y = w - 0.013. Is 0 < y?
False
Let p = 642 + -3221/5. Let g = -126 - -126. Suppose -5*d + 2*x = -5, -x + g*x - 4 = -d. Which is smaller: d or p?
p
Let k = -2.97 - -2.76. Let z = 0.31 + k. Let t be (-5)/((-130)/(-44)) + 2. Is z smaller than t?
True
Suppose 0 = -0*z - 4*z + 24. Suppose 0 = -4*y - k + 5, 4*y - 5 = k + z. Let u be ((-4)/(-70))/(y/20*-8). Which is smaller: u or 1?
u
Let t(f) = -f - 5. Let l be t(-3). Let r be -1*(l/(-3))/((-14)/(-609)). Let j = 28 + r. Is -2.6 equal to j?
False
Let w be (-2424)/909*((-46)/(-20) - 2). Is w >= -2196?
True
Suppose 2547 - 2611 = -64*k. Is 8/1061 greater than or equal to k?
False
Let z(v) = -12*v - 24. Let n be z(0). Let b be (237/12)/(1/(-4)). Let t = 55 + b. Is t greater than n?
False
Let p = 82 + -146. Let t = p - -26. Let v = -23/153 + -61/612. Which is greater: v or t?
v
Let b = -0.0439 - 0.0312. Let a = b - 2.2249. Let p be -2 - -1*15/7. Are p and a nonequal?
True
Let f(k) be the second derivative of k**4/6 + 3*k**3 - 6*k**2 - 3*k - 13. Suppose -2*o - 27 = o. Let m be f(o). Do -12 and m have different values?
False
Let v = 1/24409963756 - -99974887746934745/11204173364004. Let k = v + -8923. Is 1 at least k?
True
Let b = 22 - 14. Let t = b + 21. Let n = t - 28.93. Which is greater: n or -4?
n
Let w = 148208273/2030 + -73009. Which is greater: 1 or w?
1
Suppose -7 = -u - o, o = 2*u + 5*o - 22. Suppose u*f + w = 6*f - 47, -84 = -5*f - 4*w. Suppose f*x - 14*x = 20. Is x equal to 8?
False
Let i = 6294.7 + -6292. Is -22 greater than or equal to i?
False
Let k be (100/(-60))/(10/12). Let o be 5 + k + (-2 - 1). Do o and 2/669 have different values?
True
Let t = 0.132 - -0.022. Let i = 2.254 - 2.2. Let u = t - i. Which is greater: -19 or u?
u
Let q be 4/(-8) + 338/(-348). Let k = -4/29 - q. Suppose 14 = 4*f - 2*z, -45*f + 4*z = -42*f - 18. Are k and f equal?
False
Let v be -11 + (5/2 - (-4)/(-8)). Let b be (-93)/155*((-13)/v + -2). Which is greater: b or -4/37?
b
Let m be (-7)/(-66)*42/147*252/(-10). Which is greater: m or -2?
m
Suppose 6*g - 12 = 2*g. Let z be (g/2)/((-18)/(-12)). Let n = 2 + z. Is n at least 0?
True
Suppose -5*v = -2*u + 540 + 772, -3*v - 800 = 2*u. Let l = v + 267. Which is smaller: -32 or l?
-32
Let l = -11 - 33. Let o = -1216 - -1336.1. Let y = o + -120. Which is bigger: y or l?
y
Let v = 5186 - 5185. Is v != 2/51617?
True
Suppose 0 = 4*q - 2*d - 64, -9 = -q + 2*d + 7. Let k(u) = 30*u - 13. Let s be k(14). Let r = s + -406. Which is bigger: q or r?
q
Suppose 2*a = 4*g - 2*g + 6, -2*a + 16 = -4*g. Let i be (-6)/(-9) + 17714/51. Let n = i - 343. Which is smaller: g or n?
g
Suppose -3*s = 2*s - 35. Let k(j) = j**3 + 5*j**2 + 7*j + 9. Let g be k(-2). Suppose -2*m - 10 = -v, -m + g + 15 = 4*v. Are v and s non-equal?
True
Let b = 36.06 + -32.4. Let k = b + 64.34. Which is smaller: 1 or k?
1
Let o = -5.24 + 3.05. Let y = -18.81 + o. Which is bigger: y or 0.5?
0.5
Let s = 5749 - 6070. Is s equal to -0.05?
False
Suppose 5*u = -4*w - 17 - 3, 3*u + 12 = w. Is w greater than or equal to 4/153?
False
Let o = -11897/31448 + 13/3931. Let v = 35.4 + -39. Is v > o?
False
Let z(k) = -3240*k - 5990. Let q be z(-5). Is 10210 at most as big as q?
True
Let m(s) = 6 - 2 - 1 - 147*s + 3. Let d be m(-1). Which is greater: 154 or d?
154
Let y be -7 - -7 - -6 - 4. Let l be 1*(8/25)/8*y. Which is smaller: 0 or l?
0
Let m be (-7)/(-8) + (-3)/6. Let k be 30/12 - (-2)/(-4). Let x be ((-11)/k - -4)*(-2)/(-3). Is x not equal to m?
True
Let s = 5791 + -5960. Let v = -0.8 - -0.8. Is v at most as big as s?
False
Let v = -445 + 437. Let z be (-7)/(28/(-32)) + v. Which is greater: 8/15 or z?
8/15
Suppose 0 = -5*j - 24*j - 348. Let k be (j/(-42))/(2/5). Suppose 4 = -b + 5*b. Is k less than b?
True
Suppose 2*r + 10 = -60. Let v be 171 - ((-7 - -4) + (-2 - -7)). Let a be v/(-5) - 2 - 4/20. Is r smaller than a?
False
Let l = -25 - -51. Suppose -51 = -4*n + 101. Suppose 4*t = -d + 117, 4*t + 2*d - n = 3*t. Which is smaller: l or t?
l
Let l(g) = -g**3 - 15*g**2 + 10*g + 32. Let b be l(-7). Let s = 427 + b. Which is smaller: s or -27/16?
s
Let d(q) = -q**3 + 11*q**2 - 20*q + 26. Let v be d(13). Let h = v + 474. Which is smaller: -290/3 or h?
h
Suppose 3*m = 2*m - 4, -4*y + 776 = -4*m. Let h be y/(-16) + (-9)/72. Let q = h - -11. Which is bigger: q or -8?
q
Let u(m) = 139*m**2 + 5*m - 1. Let c be u(0). Suppose -2*b = -0*b. Is c <= b?
True
Suppose 3*u - 2*u = 40. Let s be 64/u*5/(-2). Suppose 35 = 5*a - 5*i, 2*a + 2*i - 7*i - 26 = 0. Are a and s equal?
False
Let h(g) = g**3 + 8*g**2 + 6*g - 6. Let u be h(-7). Suppose 5*k = -q + 10, -k - q - u = 1. Let y be 3/(-6) - k/(-30). Which is smaller: 0 or y?
y
Suppose -56 = -9*k + 4*k - 2*f, -2*k + 14 = 5*f. Suppose k*d + 14*d = -26. Which is greater: -6 or d?
d
Let m = -9/2 - -4. Suppose 243 = 4*i + 231. Suppose i*f - 4 - 7 = 5*j, f - 6 = 4*j. Which is greater: m or f?
f
Suppose q = 2*x + 4, 0*q + 3*x - 1 = -2*q. Suppose 4*r + 1 + 7 = 4*y, q*y - 14 = -3*r. Let v be 130/150 - 2/(-15). Is r < v?
False
Suppose -6 = a - 3. Let p be a/(-6)*(2 - 2). Are 2/1077 and p equal?
False
Suppose -19*i = -239*i - 15400. Is i smaller than -71?
False
Let t = -26 - -15. Let w be 21/7*t/3. Let k be 15/(-2) + (-20)/(-40). Which is smaller: w or k?
w
Suppose -180*t + 172*t + 40 = 0. Let g be t/20*-10*6/(-5). Which is bigger: g or 120/31?
120/31
Let w = 19974.245 + -20017. Let y = w + 0.855. Let o = 42 + y. Is 25 equal to o?
False
Let p be -1 - 1/(6/(-13)). Let i = 46241 + -46241. Which is smaller: i or p?
i
Let w = -3/121820 - -1955837/272754980. Is 1 greater than w?
True
Let l = -66403/664130 - 1/66413. Let t = 4 - 8. Let a = t - -5. Which is greater: l or a?
a
Let d(i) = 2*i**3 - 18*i**2 + 11*i - 22. Let r be d(9). Let b be (6/r)/((-6)/(-42)). Which is bigger: b or 2?
2
Let i = 20.592 + -20.7. Let s = -0.098 - i. Are s and 4 unequal?
True
Suppose 0 = 18*y - 14*y + 20, 0 = 2*q + 5*y + 9. Which is smaller: 10 or q?
q
Let p = -801 + 1424. Let h = 621.3 - p. Which is smaller: -0.6 or h?
h
Suppose 34*x = -5*x + 31590. Which is smaller: 807 or x?
807
Let i(n) = -3 + 85*n**2 + 115*n**2 + 27*n**2 + 14*n**2 + 5*n - 3*n**2. Let b be i(1). Which is smaller: b or 238?
238
Suppose -j + 22 = 2*l, 6*l - 11*l = -j - 55. Suppose 3*s = -4*q - 136, 0 = 13*s - l*s + 4*q + 88. Is s > -49?
True
Let u = -2/1945 - -2111/161435. Let t = 46 + -44. Suppose 5*f = -20, -t*r + 13 = -5*f - 5. Which is smaller: u or r?
r
Let o = 0.239 - 4.899. Let j = -528.34 + o. Which is smaller: j or 1?
j
Let q = 