p
Let m = 1.35 + 118.65. Let k = m + -71. Let w = 53 - k. Is -0.2 less than w?
True
Suppose f = -48 + 47. Let v = -8133/76 + 107. Is f != v?
True
Let x = -819 - -816. Let k = 10 + -7. Suppose -4 = k*a - a. Which is smaller: a or x?
x
Let m = -4549 - -15375. Are 10827 and m equal?
False
Suppose 44*h = -41*h + 42*h + 387. Is h greater than 182/19?
False
Let s = 13.63 - -1.57. Let d = -14 + s. Let f be (3 - -1)*10/(-100) - 154/(-110). Is f at most d?
True
Let b = -300 + 102. Suppose -59*q - 11173 = 568. Is q not equal to b?
True
Let r = 133 - 130. Suppose 7 - 7 = r*a. Which is smaller: 19/14 or a?
a
Suppose -153*u = -158*u + 2*t + 1444, -2*t = 5*u - 1476. Which is smaller: 256 or u?
256
Let d = 3247 + -3221. Which is greater: d or 197/8?
d
Let v = -13 - -14. Let b = -1239174/13 + 95518. Let c = b + -197. Which is greater: c or v?
v
Let c = -1 - -9. Suppose m - 10 = 5*l, -3*l - c = -m - 2. Is -12/41 != m?
True
Let f = 1379 - 4150/3. Let t(p) = -p + 10. Let i be t(14). Is f < i?
True
Let a = -605/3 + 202. Let g = -125 + 138. Is a < g?
True
Let u = 15.7 + -78.7. Let w = u - -85. Let r = -32 - -33. Is r smaller than w?
True
Suppose 4*n = y - 560, -3*n + y - 420 = 3*y. Let w = -1681/12 - n. Suppose 4*g - g = 2*k - 11, 0 = -5*g + k - 9. Which is bigger: g or w?
w
Let f = -75.51 + 75. Let p = f - -0.71. Let s be (4 - 33/9)/(2/114). Which is smaller: p or s?
p
Let k = 7.7 + -4.7. Let c = 38 - k. Let r = c + -33. Is r <= -2/7?
False
Let b = 81 + 237. Let q = b + -317.8. Which is greater: -18 or q?
q
Let y = -232 + 393. Suppose -y = -11*n - 161. Which is bigger: n or 1/18?
1/18
Suppose 60*n - 27*n + 963 = -74*n. Is n at least as big as -223/23?
True
Let k = -30.341 + 4.341. Is k less than or equal to -7?
True
Let l be (-99)/36*(-3)/((-3)/4). Let b be -1 + (l/2)/(15/30). Let y = -7 + b. Is -18 <= y?
False
Let j be (-6)/(-8) - 53487/(-10108) - 6. Is 0 less than j?
True
Let q(i) = -i**3 - 4*i**2 + 65*i + 202. Let m be q(-3). Let f = 25 + -16. Let w = 14 - f. Which is smaller: m or w?
m
Let w = -67979839/76968 + 7949/9. Which is smaller: w or 1?
w
Let w = -1389 + -631. Is -2020 at most w?
True
Let c be 335158/2938 - 1/13. Is 573/5 < c?
False
Let f = -103433/4 - -26024. Let i = f - 167. Let c = -2118 - -2118. Which is smaller: i or c?
i
Suppose -3*g - 220*k + 225*k - 171 = 0, 284 = -8*g - k. Let h be 4/(1 - (0 - 1)). Let q be -38 + (h + -2)/(-2). Is q > g?
False
Let j = 5622 - 5621. Are -21/146 and j equal?
False
Suppose -16450 = 53*o - 28*o. Is 2 at least as big as o?
True
Suppose -255 = 3*b - 5*m + 739, 3*b + 2*m = -1001. Do -333 and b have different values?
False
Let n be (2/(-42)*7)/((-1)/(-3)). Which is smaller: n or 19/883?
n
Suppose -3*k - y + 1374 = 0, -4*k = y + 2*y - 1827. Do k and 459 have the same value?
True
Suppose -5*c = 0, 0 = 2*p + c + c. Let m(y) = -y**2 + 1. Let k be m(p). Let z be (-3)/(-44)*(k - 92/60). Is 0 <= z?
False
Suppose -3*a + 2*i - 15 = 0, 4*a - a + 6 = 5*i. Which is smaller: 84 or a?
a
Let h = -42855768093/13960 + 15349474/5. Let m = h + 1/349. Which is greater: m or -3?
m
Suppose b - 830 = -4*v + 488, 0 = -5*b + 10. Which is smaller: v or 5574/17?
5574/17
Let g be 5 + ((-2)/(-10) - 66/30). Let o be 0 - (-5*2 + -4 + g). Let q(p) = 2*p**2 - 12*p + 12. Let h be q(6). Which is smaller: h or o?
o
Let f = -7632 - -7632. Which is smaller: f or -0.02625?
-0.02625
Let h be 316*(11 + (-1989)/162). Is -403 smaller than h?
False
Suppose 3*o - 12*f = -9*f - 18, -2*o + 5*f = 27. Let y be o - 3/(-5) - 11490/525. Is -23 less than or equal to y?
True
Suppose -9*f = -80 + 89. Is -2/3729 at least as big as f?
True
Let m = -0.05022 + -0.04978. Which is greater: m or 18/79?
18/79
Let v = -2.442 + -0.29. Let m = v - 0.268. Which is bigger: -5 or m?
m
Suppose 4*b - 3*n = 514, -b = -4*n - 183 + 61. Suppose 8*v + 30 = -b. Is -22 > v?
False
Let k be -1*(-1 + 2)*-298. Let w = -2088/7 + k. Which is smaller: w or 30/23?
w
Suppose 4*u + 1053 = -3*x, 278*u + 1771 = -5*x + 274*u. Are x and -1078/3 nonequal?
True
Let q = 11500004/83 + -138552. Is q bigger than 3?
False
Let p = 4 - 2. Suppose 4*i + 3 = 3*w - 1, i + p*w + 12 = 0. Let y be 12/8*i/10. Is -2 greater than or equal to y?
False
Let n be 1 + 246 + -4 + -1 + -1. Let w = 1447/6 - n. Which is smaller: 150 or w?
w
Suppose 3*o - 3*f + 96 = 0, -o + 0*f - 35 = 2*f. Let j = 663 - 699. Which is smaller: j or o?
j
Let s(n) = -n**2 - 32*n - 84. Let l be s(-24). Let i(o) = 24*o + 12. Let v be i(4). Are l and v unequal?
False
Suppose 45 = 43*o - 52*o + 24*o. Suppose -3*b = -b - 36. Let v be (48/b)/(4/6) + o. Is v at most as big as 6?
False
Let z(j) = -j**2 - 31*j + 22. Let f be z(-36). Which is greater: f or 2?
2
Let f(r) = -r**3 - 4*r**2 - 3*r. Let n be f(-3). Let i = -35926.7 - -36145.7. Is n not equal to i?
True
Suppose 3*h = 4*h - 0*h. Let w be (((-3)/(-6)*h)/(-1))/2. Is 24/19 smaller than w?
False
Let s be 3*4/(-78) - 81*(-77)/(-273). Is -0.17 less than or equal to s?
False
Let x = 15 + -8. Suppose 3 = 4*t - x*t. Suppose 202*v + 3 = 191*v + 3. Do t and v have the same value?
False
Let o = -43713730 + 513068049543/11737. Let f = o - 3/121. Which is smaller: f or -1?
-1
Let a(o) = 3*o**3 + 3*o**2 + 23*o + 45. Let y be a(-2). Let w be -56*3/(1 + -7). Suppose 0 = c + 5*m + w, 2*m + 0*m - 20 = 2*c. Is c not equal to y?
False
Let p = -169095 + 10990854/65. Is -5 bigger than p?
False
Let g(r) = r - 22. Let u be g(12). Let t be (0 + 5)*u/(-30)*12. Is t less than or equal to 24?
True
Let f(s) be the third derivative of 5*s**4/24 + 3*s**3 - 4*s**2. Let a be f(10). Let m = a - 70. Does m = 0.9?
False
Let i be (-665)/76 + (-171)/76. Which is bigger: i or 51?
51
Let u be 2/6 + (-2)/(-3). Let w(l) = l**2 + 29*l + 80. Let v be w(-26). Let f be 12/(-40) + v/5. Which is bigger: u or f?
u
Let w = -202.9773 - 0.0227. Let s = w + 205. Is s equal to -2/31?
False
Let v = 12581 - 12609. Do -24 and v have the same value?
False
Let d = -2106 + 2127. Let z(u) = u**3 + 11*u**2 + 6. Let t be z(-11). Is t > d?
False
Let g = -83 + 17. Let s be ((-13)/((-39)/20))/(1/(-10)). Let k = g - s. Is k equal to 2/13?
False
Let h = 43208 + -61922. Let u = 314621/17 + h. Let v = u + 207. Which is smaller: -1 or v?
-1
Let t(h) = h**3 - 2*h**2 - 3*h - 1. Let a be t(3). Suppose 15 = 3*f + 3*y, -4*f - f - 4*y = -30. Let d be ((-420)/141 + 3)/(11 - f). Is d >= a?
True
Suppose -1920 - 238 = -83*j. Is -8 > j?
False
Suppose 2*z = -0*z. Let w be (z + 248/(-12))*-6. Suppose 4*l = -4*c + w, 0*c - 27 = -c + l. Is c smaller than 30?
True
Suppose 3*b - 4*b = 4*v + 608, 0 = 5*v - 2*b + 760. Let d = v + 161. Which is greater: 7 or d?
d
Let w be (-1)/(12/(-10) - -1). Suppose 17*u - 104 - 66 = 0. Let d be (-120)/u*2/(-4). Are w and d nonequal?
True
Suppose 5*p = 2*t + 22, 2*t + 24 = 3*p - 2. Let i be t - 106 - (1 - 7). Is -116 < i?
False
Let n = -318/5 + 64. Let z = 63 + -56. Let h = z + -8. Do h and n have different values?
True
Suppose -3*f + 2*r - 58 = -6, 5*f - 5*r + 95 = 0. Let q be (-7 + 10 - 4)/(1/11 + 0). Is q > f?
True
Let l be ((-4057)/(-12) - (-265)/212)/(-1). Is -339 greater than l?
True
Let n = -9801 - -9607. Which is bigger: -22 or n?
-22
Suppose 10*v - 13*v = 2*p + 231, 3*p - 274 = 4*v. Which is smaller: v or -75?
-75
Let b = 1409/7 + -200. Let c(u) = 9*u**3 - 89*u**2 + 3*u + 14. Let r be c(11). Suppose 5 = r*v - 1252*v. Is v greater than or equal to b?
False
Suppose 8*y = 3*y. Suppose y = -12*t + 15*t - 108. Let x = 27 - t. Is x at most -10?
False
Let y = -0.024 + 3.624. Let d = -161 + 156.9. Let b = d + y. Which is smaller: 0 or b?
b
Let b(n) = -6*n**2 - n + 4. Let h be b(-2). Let d(f) = -f**2 - 17*f + 8. Let c be d(h). Is -12 at most as big as c?
True
Let m(i) = 7*i**3 + i**2 + i. Let c be m(-1). Suppose 0 = 5*n + 5*x + 2615, 822 = -3*n - 2*x - 742. Let r = n - -513. Is c less than r?
True
Suppose 93 - 93 = 60*w. Is w not equal to -1/3205?
True
Let g = -37589/5 - -7538. Let u(j) = 17*j + 2. Let l be u(1). Which is greater: l or g?
g
Let x be ((-96)/30)/(31/12710). Is -1314 <= x?
True
Let b be -1*(-1 + 1 + 0) - 536/(-356). Is b smaller than 3?
True
Let s = -6.9 - -6.804. Let u = s - 35.904. Let x = 188/291 - -2/97. Which is smaller: u or x?
u
Let m = 0.807 - 610.807. Let z = 608.5 + m. Which is smaller: z or -6?
-6
Suppose 157241*s - 157220*s = -642