7 = k. Suppose 52 = 3*r + 142. Let t = k + r. Which is bigger: 1/12 or t?
1/12
Let t(r) = r**3 - 4*r**2 - 2*r - 1. Let a be t(4). Suppose 359 = -15*l - 811. Let q be l/135 + 2/a. Is q greater than -2?
True
Let h = 8.1 - 8.49. Let w = h - 0.61. Is w at most -1?
True
Let p = 230 - 229. Which is bigger: 4/61 or p?
p
Let r = -23 + 22.9. Which is smaller: r or 6?
r
Let k = -358 - -106. Are -253 and k non-equal?
True
Let b be -3 - -66*20/45. Let n(p) = p**3 + p**2 + p - 26. Let s be n(0). Let q = s + b. Which is greater: 1 or q?
1
Let s = -179/4 - -45. Which is greater: -22 or s?
s
Let r = 9 + -10. Let x = 6.8 - 52.8. Let t = x - -46. Is r smaller than t?
True
Let w = -124.372 + 0.372. Which is smaller: w or 0.2?
w
Let b(s) = s**3 + 6*s**2 + 13*s + 10. Let y be b(-4). Is -8 < y?
False
Let u be 1017/6*122/671. Which is bigger: 31 or u?
31
Let v be (-400)/3 + (-6)/(-18). Let k = -122 - v. Are 62/5 and k non-equal?
True
Let a(q) = 5*q**2 - 9*q + 11. Let m be a(5). Let r = 86 - m. Does -13 = r?
False
Let p be (3 - -1)*(-1)/(-2). Suppose 2*o = -5*x + 7*o + 160, -54 = -2*x - 3*o. Let m be p/(-6) + 5/x. Is -1 >= m?
False
Let c be -1 - 1 - (-20)/8. Suppose -25 - 5 = -6*w. Let l be w/(-1*15)*1. Is c <= l?
False
Let w = -119566902/45685 + 24/9137. Let a = 2606 + w. Which is smaller: a or -11?
a
Let h be -1 + 307/404 - 26/(-104). Let i = -36 - -36. Is h less than i?
False
Let s = 80 - 77. Is 6 != s?
True
Let o = -1.511 - 699.489. Which is greater: o or 0.1?
0.1
Let r(x) = -1. Let l(d) = d**2 + 3*d + 5. Let q(o) = -l(o) - 4*r(o). Let z be q(-3). Let m be (-2)/(-8) - z/(-4). Is -2/23 at most as big as m?
True
Let f(i) = i**2 + 5*i - 10. Let b be f(-7). Suppose 0*d - b*d = 2*x - 22, d - 3 = 2*x. Which is smaller: x or -1/6?
-1/6
Let h = -124.3 - -137. Is h bigger than 0.1?
True
Let v(q) be the second derivative of q**4/12 + q**3 - q**2/2 + q. Let p be v(-7). Which is bigger: p or 8?
8
Let o be 4/(-3)*3/2. Let c be -18 + (0 + o - -2). Is c greater than -18?
False
Let k = 46887 + -178498807/3807. Which is smaller: k or 1?
k
Let d be (4 + 1900/(-44))*1. Let t = d + 39. Is -4 greater than t?
False
Let h = 642 - 633. Let m(o) = -o**3 - 4*o**2 + 5*o. Let k be m(-5). Which is smaller: h or k?
k
Let p(o) = 2*o + 49. Let f be p(-15). Suppose 2*b = 3 + f. Which is smaller: 12 or b?
b
Let u(t) = -15*t**2 + 45*t. Let s be u(5). Which is greater: s or 0?
0
Suppose -2 = -z - 0. Let p be (2/5)/((-4)/(-50)). Suppose 0 = 4*n + 2*o - 16, -z*o + 13 = p*n - 3*o. Which is smaller: n or 2?
2
Suppose 0 + 3 = n, t - n + 2 = 0. Suppose i - 2 = -4. Let g be (-8)/(-36) + i/90. Which is smaller: g or t?
g
Let d = 5.124 - 2.124. Let i = 0.3 - 0.2. Is i < d?
True
Let w = 0.93 - 0.38. Let t = w - 0.45. Which is greater: t or 49?
49
Let l be -4*(-5)/(-8)*4. Which is smaller: -11 or l?
-11
Let c = -3142 + 9220/3. Let v = c - -69. Is v at most 0?
False
Let k = 0.4 - 0.36. Let q = 1.2 + -1.34. Let a = q + k. Which is smaller: a or -4?
-4
Let t = 12 - 6. Let h be t/30 - 228/(-10). Which is smaller: h or 22?
22
Let p = -26 + 25. Let z be (9 - 5) + 3*p. Is -2/83 at least as big as z?
False
Let k be -6*(3 - (-44)/(-12)). Let u be (6/k)/((-2)/(-4)). Let s be (288/15)/4 + -3. Which is smaller: u or s?
s
Let q be (-144)/16*(-2)/(-6). Which is bigger: -1.1 or q?
-1.1
Let l be -4 + -2*(-4)/2. Let b = 11893/3 - 4038. Let t = b - -75. Is t not equal to l?
True
Let a = 2 + 4. Let g = -322 + 454. Let t be (2/(-7))/(g/(-77)). Does a = t?
False
Let f(s) = s**3 - 30*s**2 - 61*s - 79. Let m be f(32). Suppose o + 2*o - 3 = 0. Which is smaller: m or o?
o
Let v = 24 + -24. Let n(d) = 2*d**3 + 2*d - 6. Let l be n(v). Which is smaller: l or -3?
l
Let w(p) = -5*p**2 + 211*p - 43. Let m be w(42). Is -2/2775 < m?
False
Let g = 220 - 1538/7. Which is greater: g or -0.31?
g
Let s = -3 - -10. Let v be (2/28)/(5*(-5)/100). Is s less than v?
False
Let z = -4953434/957 + 5176. Does -1 = z?
False
Suppose -3*m + 11 = 4*d - 0*m, 0 = -3*d - 4*m + 3. Let l be (1 + -7 + d)/((-1)/(-51)). Do l and -52 have different values?
True
Let c be 34/5 + (-15)/(-75). Let p be (-2)/c + 9/7. Is 9/8 < p?
False
Let a be 365/(-876)*(0 + (-9)/2). Let h = 0.97 - -0.03. Is h greater than or equal to a?
False
Let l be (-7)/(-13)*(-276)/(-14). Which is greater: 11 or l?
11
Let l be 318/63 - (-22)/77. Let q = -3 - -6. Suppose -r - 1 = -s, 0 = 2*s - q*r + 2*r - 7. Which is bigger: s or l?
s
Let s(o) = o**3 - 13*o**2 + 30*o - 25. Let d be s(16). Is 1224 at most as big as d?
False
Let p be (-10)/35 - 2112/(-126)*3. Is 195/4 smaller than p?
True
Let g = 0.03 + -0.13. Let i = 0.0638 + 0.2362. Is i at least as big as g?
True
Let r be (8/240)/(-3*12/4770). Which is bigger: -5 or r?
r
Suppose -4*v = -22*v + 216. Suppose 0 = v*s - 13*s - 23. Which is smaller: -24 or s?
-24
Suppose 967*l - 955*l = -252. Is 2 at most as big as l?
False
Let f = 599.6 - -186.4. Which is greater: f or 0?
f
Suppose -d - 21 + 14 = 0. Is d equal to -7?
True
Let k = -6545527029/9258323 - 1770/67579. Let t = -707 - k. Which is smaller: -1 or t?
-1
Let z = 1.71 + -1.65. Which is smaller: z or 28?
z
Let k(g) = -14*g + 11. Let i be k(-1). Is i != 26?
True
Let i = -219.01 - -220. Which is greater: -2/7 or i?
i
Suppose i - 71 = -70. Is i greater than or equal to -1/23?
True
Let v(c) = -3*c**2 + 51*c + 4*c**2 - 39*c + 4. Let y be v(-12). Let a(l) = l**3 + 4*l**2 + 2*l - 1. Let h be a(-2). Is y less than h?
False
Suppose -3*u + 475 = -2*s, -4*u + 5 = -15. Do -229 and s have the same value?
False
Let p = -289.044 + 289. Which is bigger: p or -1?
p
Suppose -1 = y, -2*y - 12 = m + 11. Let b = -7 - m. Let z = b - 53/4. Which is bigger: z or 4?
4
Let o(z) = 3*z - 38. Let w be o(7). Are -5 and w unequal?
True
Let w = 1.56 - 1.76. Is -55 <= w?
True
Let g(o) = 22*o - 208. Let y be g(-46). Is y >= 1?
False
Let o be 1 - 2 - (2 + -10). Let k = 7 - o. Is -1/29 < k?
True
Let v = 75 - 90. Let r = 11 + v. Is r bigger than 0?
False
Let a = 55 - 50. Suppose x - a = 5. Which is bigger: x or 9?
x
Suppose -4*i - 5*b + 12 = -68, -i = -2*b - 20. Let j = i - 19. Let m = 0.3 - 0.1. Which is bigger: j or m?
j
Let n = 96/971 - -162371/17478. Let a = n - 98/9. Which is smaller: a or 1?
a
Let q be (5/(-2))/((-28)/8 - -4). Let b = 91 - 634/7. Do b and q have different values?
True
Suppose -4*x = -2*r + 234, 2*x + 3*r + 70 = -43. Is -58 greater than or equal to x?
True
Let l = 1047 + -1048. Is l != 2/603?
True
Let p be ((-18)/(-12))/(1/2). Suppose 2 = v + p. Let c be 50/(-20) + v/(-2). Is 0 <= c?
False
Suppose 564 = 4*i + 5*g, -5*g - 70 - 388 = -3*i. Let r be 1/(-3) + (i/6 - 3). Is r less than or equal to 22?
True
Let t be 4/(-18) + (12 - (-961260)/(-81621)). Is -1 at least t?
False
Let x = 7 + -7. Suppose -4*h + x - 16 = 0. Are -4 and h equal?
True
Let z be 4/6 + (-128)/183. Let r(g) = 2*g**2 + 2*g - 1. Let y be r(-2). Suppose 0 = y*k + 18*k. Which is smaller: z or k?
z
Let j(n) = n**3 - 14*n**2 - 16*n - 21. Let s be j(15). Which is smaller: s or -28?
s
Suppose g = 2*g - 4, -5*d + 3*g = -1808. Let i be d/(-26) - (-4 - (-1 - 0)). Is -11 smaller than i?
False
Let r be ((-20)/(-12))/((-4)/(-240)). Let j = r - 1301/13. Which is smaller: j or 1?
j
Suppose 59*j - 58*j - 9 = 0. Let o be ((-15)/j - -1)*9/309. Is o >= -1?
True
Let b(p) = 6*p**3 - p**2 + p - 1. Let k be b(1). Suppose t - k*s = 8, -2*t + 78 = 2*t + 3*s. Suppose 703 = 23*f + 14*f. Is f at most t?
False
Let i = -138508/51 - -2716. Is i equal to -1?
False
Let n be ((-12)/(-66))/((-2)/(-22)). Let z be (2/(-14))/((-3)/27). Which is greater: n or z?
n
Let q = 96/17 + -185/102. Which is smaller: q or -3?
-3
Let d = -1/48 - -13/48. Let t be (5/12)/(-5)*1. Let n = d - t. Which is bigger: n or 1/11?
n
Let a be 2*22/11 - (-4 - 1). Is 8 > a?
False
Suppose -j = -v - 7, -v - 21 = -2*j - j. Suppose -j*q - 11 = 3. Let n be 3*q*(-1)/6. Is n at most as big as 6?
True
Let w = -56 + 4369/78. Is 0.2 equal to w?
False
Let d = -671 + 670.4. Is 4.3 > d?
True
Let x(f) = -27*f - 28. Let k be x(-7). Is k at least 161?
True
Let f = 59 - 39. Suppose 3*g - 7*g - f = 0. Is -2 greater than g?
True
Let w = 3395/51084 + 2/1161. Let v = 1/4 - w. Is -3 equal to v?
False
Suppose -45*c + 2291 = 86. Is 52 greater than c?
True
Let v = 1 + -1. Suppose -10*f - 680 = -14*f. Let q = f - 3229/19. Is v less tha