*p + 90*p = 289583. Is v bigger than 11136?
True
Let d = -97 + 110. Suppose 37*m - 24 = d*m. Which is smaller: m or -8/17?
-8/17
Let o be 18/42 + 50/14. Let c be o/(-30) - -1*(-1941)/(-45). Which is greater: 42 or c?
c
Suppose -4*v = -9*v + 230. Let w = v - 47. Let s be ((-68)/(-51))/(w/(-3) + -1). Is s >= -9/10?
False
Suppose -8*p = -4*p + 280. Let w = 18 + p. Let g = -95/28 + 22/7. Which is smaller: w or g?
w
Let j = -316 - -419. Is j greater than or equal to 93?
True
Let f be 45/(-9504)*(-2 + 898/440). Let a = 34553713/77440 - f. Let y = -448 + a. Which is smaller: y or -3?
-3
Suppose -70894*r + 101032 = -70902*r. Does r = -12628?
False
Suppose 7*a - 5*a - 1408 = 0. Suppose -5*j + v = 2*v - a, j - v - 142 = 0. Let o be 2 + -1 + j/(-147). Which is bigger: o or 0?
o
Let c = 9332 + -27997/3. Let d = -1 - 0. Is c at least as big as d?
True
Let j = 5615 + -5238. Is j bigger than 369?
True
Suppose 0*a = -2*a - 5*b + 47, a + b = 16. Suppose 5*k - 13 = 92. Suppose k + 23 = 4*i. Is i > a?
False
Let h be (-15)/(-20) - (-9 + 24122/2472). Do h and 1 have the same value?
False
Let g = 401.035 - 401. Let d = -81 + 79. Which is bigger: g or d?
g
Suppose -4*o - 23 = -5*r, 0 = 4*r + 2*o - 18 + 36. Which is bigger: r or 5/2589?
5/2589
Let x be ((-36)/56 + (-450)/525)/((-810)/(-64)). Are 0 and x non-equal?
True
Let q(h) = 2*h**2 + 5*h - 9. Let k be q(-4). Suppose -4*o - 3*y - 12 = -11, -y + k = -2*o. Which is bigger: -20/11 or o?
o
Let s = 0 - -3. Suppose -j - 6 = -s. Let y be j/(30/8) - 2/5. Is y != -2?
True
Let q = 0.398 + -0.728. Let l = 0.43 + q. Which is smaller: 2/7 or l?
l
Let i = -4021 + 6255. Do i and 2236 have the same value?
False
Let x = 51835/9966 + -170/33. Which is smaller: 1 or x?
x
Let l be 8/(-20) + 272/5. Let w = 56 - l. Let x be (123/(-9) - 1) + w/3. Which is bigger: x or -16?
x
Let v = 9 + 3. Let h = v + -8. Suppose 5*f = n + 2*n - 17, 0 = -h*f - 16. Which is bigger: n or -2?
n
Let b be -1*(13 + -21) - 75. Is -63 at most b?
False
Let t = -6.311 - 1373.689. Is t < 2?
True
Let f = 94.842 - 95.4. Let d = 15.558 + f. Which is bigger: -0.2 or d?
d
Let a(b) = -b**3 - 6*b**2 + 7*b + 1. Let p be a(-7). Let j be 3 - p/13*3 - 4. Which is smaller: j or -1?
j
Let x = -9900971/525 - -18859. Do x and 1 have the same value?
False
Let q = 4/1097 + 17276/75693. Which is smaller: q or -1?
-1
Let g(r) = 12*r**2 + 147*r - 5. Let q be g(-12). Let j(d) = d**2 - d - 40. Let f be j(0). Let w = f - q. Which is greater: -10 or w?
w
Suppose -5*k + 14 = 2*w, 2*k = -w - 2*k + 10. Let p(t) = 165*t - 73. Let q be p(w). Is 0 less than q?
True
Let k = -71 - -164. Let q = -159 + k. Let h = -67 - q. Do h and -19 have the same value?
False
Let k be ((-15)/21 - -1) + 60/35. Let a(u) = 468*u**k + 2*u - 503*u**2 + 3 - 2. Let t be a(1). Is -32 less than t?
False
Let d be (22/44)/(2/6156). Let u be (-1)/2 - d/(-1242). Is u equal to 0?
False
Let p = -78.73 - -86.03. Is p greater than 16/13?
True
Suppose 5*c + 2*g - 2093 = 0, -2*c - 3*g + 102 = -733. Let u = c - 418. Is u > 11/15?
True
Let d be (2/(-6) - -2)/((-45)/(-81)). Let u be -2 - d - (-14 - (-64)/8). Is -2/259 < u?
True
Let d = -31871/3 - -10634. Which is bigger: d or -5/79?
d
Let k be (195/(-2))/(-13)*(-52)/(-3). Let i = -122 + k. Suppose 5 = -4*t + 37. Is i at most as big as t?
True
Suppose -h = -0*h. Let c(x) = -x**3 - 8*x**2 - 9*x - 14. Let b be c(-7). Suppose -5*v = -9 - 6, b = -3*m - 4*v - 36. Which is greater: m or h?
h
Let z = -5350/2667 - -601/381. Let a(m) = m + 5. Let h be a(-5). Suppose h*u + 5*f - 31 = -4*u, -4*u + 4*f + 4 = 0. Is u less than or equal to z?
False
Let s = -16.6 + 18. Let r = 0.6 + s. Let a(t) = t**3 + 22*t**2 + 34*t + 755. Let n be a(-22). Which is bigger: r or n?
n
Suppose -46 = -i + 3*r, 48 = 2*i + 738*r - 740*r. Suppose 5*x - 582 = -147. Suppose 4*f = c + 53, 5*c + x - 26 = 3*f. Is f at least i?
False
Let k = 0.0793 + -10.2873. Let j = 0.092 - k. Let z = j + -1.3. Is z >= 3?
True
Let s = -215 - -858. Let m = s + -452. Is m smaller than 0.1?
False
Let z = 0.101 - 3.101. Let n = -26.78 - -27. Let w = n + -14.22. Is z != w?
True
Let f be 9 - (46732/(-382))/(-14). Is 1 less than or equal to f?
False
Suppose -195*o - 713 = -w - 199*o, -3*o + 2121 = 3*w. Which is bigger: w or 1/2?
w
Let z = -6916 + 103742/15. Do 199 and z have different values?
True
Suppose 6*v + 35 = 11*v. Suppose 114 = -5*r + v*r. Let x = -57 + r. Is x less than 6/11?
True
Let q = 0.22506 + 11881.77494. Which is smaller: -2 or q?
-2
Let f(x) = -113*x + 2374. Let g be f(21). Which is smaller: -4/419 or g?
-4/419
Suppose -29180 = 5*q - 5*x, x + 11091 + 605 = -2*q. Which is smaller: -5846 or q?
-5846
Let q(b) = -133*b + 923. Let p be q(7). Is 201 greater than p?
True
Let o(b) = -b - 31. Let j be o(10). Let y = 31 + j. Let p be (5 - 6)*y/(-26). Which is smaller: 1 or p?
p
Let q = -0.06 - -0.76. Let u = q - -5.3. Let h be 5*(-6 + 848/140). Which is bigger: h or u?
u
Let c(r) = 30*r + 146. Let b be c(-5). Is -70/19 greater than b?
True
Let d = 175 - 161. Let o(k) = k**3 + 56. Let c be o(0). Suppose -c = -4*s + 4*a, -a - 33 - 20 = -4*s. Is s at most as big as d?
True
Let n = -24 - -175. Let t = n - 151.02. Let g = 0.03 - 4.03. Is t at least g?
True
Let l = -131.4 - -764.4. Let v = l - 638. Which is bigger: 13 or v?
13
Let z be (-1)/(18/(-10)*(-20)/12). Let j = 50 + -46. Suppose j*d - v - 11 + 70 = 0, -21 = d + v. Is d at most z?
True
Let u(v) = v**3 + 23*v**2 + 73*v - 396. Let i be u(-18). Which is smaller: i or -83?
i
Let m = 63724/7 + -9103. Which is smaller: -103/9 or m?
-103/9
Let y = -19609 + 21449. Are 8 and y nonequal?
True
Let m = -51 + 148/3. Suppose 24 = -78*a + 76*a. Let o be (-4 - 39/(-12))/(a/16). Does m = o?
False
Let t = -1332 + 21315/16. Let r(b) = b**2 + 8*b + 7. Let h be r(-7). Which is bigger: h or t?
t
Let i = 4.14917 + -4.44917. Let x = 411898/99 + -44136/11. Let n = x - 148. Is i bigger than n?
False
Let r = -1765 + 1765. Which is bigger: r or -3/1903?
r
Let t(y) = -y**3 + 6*y**2 + 4*y - 9. Let s be t(6). Let d be ((-70)/28)/(s/(-24)). Does 46/9 = d?
False
Let r(q) = -q**2 + 8*q - 5. Let g be 4/26 - ((-356)/52 + 4). Let y be r(g). Suppose 7 = 3*p - y*p. Do p and -1/21 have different values?
True
Let c = -2215.1 - -2318. Is c equal to -2/3?
False
Suppose 0 = 6*d - 9*d - 45. Let i = -25/23 - 937/69. Is i at least d?
True
Suppose -v + 9 = -16. Let o = 486 + -483. Let a be (-1425)/38*(-2)/o. Is a smaller than v?
False
Let c = -0.2004 + 0.1004. Is c equal to -0.098?
False
Let z = -54434 - -54434. Suppose -2*x = 5*i + 9, 5*x - 3*i = x - 31. Is z != x?
True
Let r = 1494 + -14859/10. Let f = -89/10 + r. Which is smaller: f or 0.09?
f
Let g = -1128/55 - -3024/11. Which is smaller: g or 2?
2
Let p = -105.38 + 105.18. Which is smaller: p or 5/603?
p
Let h be 60/75 - 112/(-10). Let y be h/6*(-2)/6. Is y greater than 128?
False
Suppose 3*y = 4*c - 15, -4*y - 4 = 2*c - 6. Is y at least 1/2800?
False
Suppose 0 = -p + 3*p - 4. Let k(d) = -2*d**3 + d**2 - 8*d + 11. Let x(r) = r**3 + 4*r - 6. Let i(q) = -4*k(q) - 7*x(q). Let v be i(p). Which is smaller: 3 or v?
v
Let v = 31747162117/73542 - 863375/2. Let z = 14406062/12257 + v. Let t = -1163 + z. Which is bigger: t or 11?
t
Suppose -143*h + 140*h = -4*f - 64168, 5*f + h = -80248. Is -16048 < f?
False
Let z = 268 + -283. Let a be 0*z/20*(-8)/(-12). Which is smaller: 18/17 or a?
a
Let d(z) = 2*z**3 - 7*z**2 + 29*z - 179. Let n be d(6). Let u be ((-3080)/n)/(2/5). Which is smaller: -43 or u?
u
Let g be -2 + -1 - (-29 + -2). Let f be g/14*26311/910. Let q = f + -405/7. Which is smaller: 0 or q?
q
Suppose -72 = -4*g + m, -5*g - 4*m = -9*m - 105. Suppose 3*l - 5*l + 3*i = -g, 0 = -3*i + 3. Let d be (2/l)/((-13)/(-65)). Is 2/147 less than d?
True
Suppose -h + 1 = -s - 2, 0 = 5*s + 5*h - 5. Let x be (77/(-63))/(60/(-9)). Let t = -1/3 + x. Which is smaller: t or s?
s
Let x = -4.1 - -4. Let d = 11.5 + -11.525. Let s = d - 10.975. Is s less than x?
True
Let w = -184 + 180. Let g = 26 - -14. Let c be (-1)/1 + g/(-25). Is c <= w?
False
Let h be (-6)/(-15) - (-624)/15. Let d(n) = 5*n**2 - 32*n - 23. Let w be d(8). Is w not equal to h?
True
Suppose 4*j = -8*j + 180. Suppose j*x - 611 - 274 = 0. Is x at least 57?
True
Suppose 3*s - 16 = -5*v + 82, 4*s = 3*v - 53. Suppose -24*t - 525 = -v*t. Is