 114 + -362. Let o = -411 - j. Which is greater: o or -0.1?
-0.1
Let t(b) = -b**3 + 28*b**2 + b - 4. Let r be t(28). Let f be (-60)/r - (-10)/4. Which is smaller: 55 or f?
f
Let o be 8 + ((-380)/(-50))/(10/25). Is 74 smaller than o?
False
Let b be 3/((-9)/(-80)) + 2. Suppose 64*j + 12*j + 15*j = 2639. Which is bigger: j or b?
j
Let d(c) = 2*c**2 + 4*c - 74. Suppose -5*i = -2*u + 42, 0 - 16 = 2*i - u. Let o be d(i). Which is smaller: 87 or o?
o
Let u = 4484 + -4655. Do -168 and u have the same value?
False
Let r(m) = m**3 - 10*m**2 + 20*m - 2. Let o be r(8). Let w(i) = -i - 8. Let v be w(-8). Suppose v*l + 58 = 2*l. Which is smaller: l or o?
l
Suppose 3*u - 5 = -26. Suppose 13 + 11 = 3*h + 2*z, -2*z = -4*h + 32. Suppose 0 = -2*m - 5*b + h, 0 = -6*m + 5*m - 2*b + 2. Which is greater: m or u?
m
Let v = -1018280 + 1017905.9928. Let z = v + 0.0072. Is z less than or equal to -1?
True
Let o be (-718)/8 - (-6)/(-24). Let j be (-26)/(-21)*12/o. Let d = j + -2/35. Which is greater: d or 0.03?
0.03
Let a(s) = s**2 - 61*s - 1049. Let g be a(75). Which is greater: g or 2046?
2046
Let b = -127 - -192. Suppose b*o = 62*o - 51. Is -18 != o?
True
Let b be (-42)/6 + (-122)/(-14) + 0. Let k = 0.36 + -0.16. Which is smaller: b or k?
k
Suppose -11*n = 4 - 15. Let r(p) = 9*p**2 - 10*p + 11. Let s be r(n). Which is smaller: 8 or s?
8
Let v be (6*(-6)/(-72))/1. Let u(g) = 4 + 9*g - g**2 - 1 - 11 - 10. Let y be u(8). Which is smaller: y or v?
y
Let n = -57.71 - -10.71. Is n at least -15/8?
False
Let b = 221 - 381. Let k be ((b/6)/5)/((-5)/(-15)). Which is smaller: -18 or k?
-18
Let i(w) = -2*w**3 + 5*w**2 - 5*w + 10. Let g be i(6). Let u = g + 240. Let c(r) = -r**3 + 5*r**2 + 9*r + 3. Let k be c(7). Is u greater than k?
False
Suppose -3*x + 94 + 123 = -7*n, 2*x = 5*n + 155. Which is greater: 194 or n?
194
Let o = -3190 - -3123. Which is smaller: o or -750/11?
-750/11
Let x(s) = -5*s**2 - 7*s + 17. Let a = -245 + 240. Let l be x(a). Which is bigger: -72 or l?
-72
Suppose 63*z - 2*z - 19*z = 0. Let b = -100 - -310. Which is smaller: b or z?
z
Let b be 2 - (-1 - -2) - (-5 + -35). Suppose 38*k + 3 = b*k. Which is greater: 6/125 or k?
k
Let j = -7879 - -7888. Suppose 8*n - 3*n - 120 = 0. Which is greater: j or n?
n
Let l be (126 + -127)/(((-2)/4)/(4/(-8))). Which is smaller: l or -2271?
-2271
Let m be (1 - 2)*(-2 + 0). Let k be 6 + (-1812)/918 + -4. Let t = k + -413/9945. Is t > m?
False
Let p = 3185 + -3182. Which is bigger: p or 242?
242
Let j = -100.79 + 100.89. Is -3/142 greater than j?
False
Suppose -3*r - 25 = 23. Suppose 0 = -2*x - 4*h + 6, 3*x - 6*x - h + 4 = 0. Let k be (0 - x/5) + 434/(-30). Is r greater than k?
False
Let s be (30/(-4))/(10 + (-345)/6240*181). Are 1039 and s non-equal?
True
Suppose 314*v - 319*v - 2 = -2. Which is smaller: 42/241 or v?
v
Let l = 21510.637 - 21620.6. Let y = -110 - l. Do y and 0 have different values?
True
Let g be (1/(-1)*0)/(6 - 0 - 8). Are -19/485 and g non-equal?
True
Let g be 22*(3 + -3 + (-6)/(-12)). Suppose -11*c = -0*c - g. Which is bigger: c or -2/21?
c
Suppose -468466 + 22676 = 58*y + 14846. Is y at most -7940?
True
Let y = 303.3 - 303. Let n = 5/204 + -47/2958. Let i = n + 223/1044. Is i at most as big as y?
True
Suppose 0 = -3*q + 4*v - 5784, 2*q = -v - 1655 - 2212. Are -1932 and q equal?
True
Let w = 494 + -446. Let k be (w/(-4))/(-6) + 14. Which is greater: 18 or k?
18
Let v(n) = n**3 - 8*n**2 + 13*n - 2. Let w be v(3). Suppose 0 = 2*b + 9 - 3. Let y = b - 4. Which is bigger: w or y?
y
Let y be 2 + (-60)/29 - (277794/21402 + -13). Let x(t) = -2*t**3 + 2*t**2 + t. Let z be x(-1). Suppose 5*q = z*q. Which is bigger: y or q?
q
Let q = -17215 - -17201. Is q >= 32?
False
Let i be 0 + (-157 - -16 - (-3 + 1)). Let t = i - -114. Are t and 2 unequal?
True
Let s(a) = -a**3 - 8*a**2 - 3*a + 46. Let q be s(-7). Let g be (-131)/(((-18)/81)/((-1)/q)). Which is greater: -34 or g?
g
Let q be 255/1955 - 59/276. Is q <= -8/11?
False
Suppose 9*c = 5*c + 200. Let p be 1/(((-4)/c)/((-192)/120)). Is p != 210/11?
True
Let o = 20.1 + -15.55. Let d = o + -11.14. Let a = 0.41 - d. Which is greater: 0.7 or a?
a
Let p(a) = a**2 - 8*a + 10. Suppose -k = -21 + 14. Let v be p(k). Suppose 2 = -3*u - 1, v*g + 179 = u. Is g != -60?
False
Let h(j) = j**3 - 3*j**2 - 3. Let q be h(3). Let x be (3/(-2))/((-7)/1036) - q. Let t = x - 2253/10. Is -1 at most as big as t?
True
Let m be (-6)/(-9)*18/(-12). Let q be -3 + 6 + (m - 14). Let h = 117 - 127. Which is smaller: h or q?
q
Let a(p) = 2*p**3 + 3*p**2 + 5*p. Let j be a(-2). Let l(w) = -3*w - 14. Let u be l(-6). Suppose -2*x = x + u*c + 25, 5*x - 4*c = -95. Which is smaller: j or x?
x
Let q(z) = -z**3 + 7*z**2 - 5*z - 8. Let u be q(6). Let t(k) = -68988 + 22991 + 23000 + 3*k + 22993. Let b be t(u). Is -0.1 > b?
True
Let k be (35/7 - 3)/(-4) + (-38)/(-92). Let c = 69 - 4679/68. Let o = c + 1/17. Which is greater: o or k?
o
Suppose 10*m + 51 - 121 = 2*u, 3*u + 25 = -m. Let n be (-76)/(-22)*65/(-26). Are n and u unequal?
True
Let n be ((-20)/(-3725))/((16/360 - 0)*1). Let s = 2 + -1. Is n <= s?
True
Suppose 5*q - 4*o = -7*o + 28109, -3*o = -5*q + 28091. Suppose -12*m + q = 8*m. Is 281 greater than m?
False
Suppose 16*w = 13*w + 48. Suppose 14*j - 8*j - 114 = 0. Is j at most as big as w?
False
Let f = 10549 + -10597. Let l = -77 - -119. Let u = f + l. Which is smaller: u or -0.3?
u
Suppose -2*b - 97 = -b - 77. Let x be 7/1 - 14/7. Does x = b?
False
Let l = 1998/55 + -3374347/92895. Which is greater: 1 or l?
1
Suppose -3*j - 6 = -m + 5, -2*m = j + 6. Is m at most -168/101?
False
Suppose -3*a + 8 = -66*p + 64*p, -5*a + 4 = -2*p. Does a = 2/1675?
False
Let j = -20428879/1178 + 17342. Which is smaller: 1 or j?
j
Let x(w) = w**2 + w + 2. Let g be x(-14). Suppose -g = 7*z + z. Let t = -22 - z. Which is smaller: 1/49 or t?
1/49
Let g = -3460 - -3322. Is -139 bigger than g?
False
Let w(x) = 5*x - 3. Let z be w(4). Suppose z*i - 12*i + 175 = 0. Let k be 2*(-3)/((-6)/i). Which is smaller: k or -34?
k
Suppose -h + m + 6 = 0, -3*h - 15 = 4*m - 26. Let d be -1091*(-1)/h + (-172)/860. Is d less than 217?
False
Let q(o) = -3*o**2 + 23*o + 12. Let r be q(8). Suppose -r*l + 5*s + 71 + 294 = 0, s = -5*l + 420. Is 85 less than or equal to l?
True
Let f = 9057552/546905 - 1474/89. Is f greater than 0?
False
Let o(n) = n**3 - 8*n**2 + 24*n - 258. Let d be o(9). Is 86 greater than d?
True
Let d(n) = 7*n + 33. Let b be d(-6). Let o(h) = 3*h + 25. Let l be o(b). Let p be (3 - 7/3)*6 + l. Is 0.19 at least p?
False
Suppose 87*u - 337*u = -38962 - 2038. Is 177 < u?
False
Let g be (-13896)/(-26634) - (1 - 2)*(2 - 1). Is 2 != g?
True
Let u be 3 + (-2)/(-3)*3. Let p be ((-2)/u)/(3/5). Let w be (3 + 527/(-170))*25. Which is smaller: p or w?
w
Let d(t) = t + 1. Let j(r) = 7*r + 9. Let c(i) = -5*d(i) + j(i). Let s be c(-7). Let h = -1025/3 + 4097/12. Which is greater: h or s?
h
Let r be -18694 - (9/6)/(1 - 9/12). Is r at least as big as -18700?
True
Let w = 523.2 + -11.2. Let t = w + -506. Is -2/25 equal to t?
False
Let n = -13921 - -14069. Is n less than -38?
False
Suppose 69*q + 100 = 73*q. Let f = q + -24. Let s = -8.965 - 0.035. Is f equal to s?
False
Suppose 123*j + 20*j - 10 + 10 = 0. Is j greater than or equal to 3/5860?
False
Suppose 0*o - y = o, 4*o = 3*y. Let f be (9/1092)/(15/(-60)). Which is bigger: f or o?
o
Let x = 1157.98 - 892. Let w = -267 + x. Which is bigger: w or 3/5?
3/5
Suppose -4*i = 40 + 4. Let m(o) = o**2 + 10*o + 9. Let w be m(-7). Let n = w - i. Is -1/4 smaller than n?
False
Let m be (-3)/(-6) + 2/4. Let c be (-31922)/363 - 14 - 6/99. Is m at most as big as c?
False
Let f = 161.16 + 1.84. Let z = f - 152.3. Let p = z - -2.3. Does 0.1 = p?
False
Let a be (-2958)/156 + (-2)/(-4). Let m = 654/65 + a. Let w = -1532 + 1525. Is w >= m?
True
Suppose 27 = 4*n - 5. Let w(p) be the second derivative of p**5/20 - 7*p**4/12 - 3*p**3/2 + 2*p**2 + 74*p - 1. Let v be w(n). Which is greater: v or 2?
2
Suppose -14 = -5*w + 5*c + 21, -14 = -9*w + 2*c. Which is smaller: w or 12/3295?
w
Let y be 4 - (1664/91 + (-4)/14). Let p be 171/2 + 21/y. Which is bigger: p or 0?
p
Let w be 6/4 + -2 - (-2940)/120. Are 41 and w equal?
False
Let n(f) = -2*f**3 - 35*f**2 + 17*f - 19. Let l be n(-18). Let a be ((-76 - -1) + l)*22/(-44). Which is 