ppose -4*q - 505 = c, -3*q + j*c - 90 - 303 = 0. Are -129 and q nonequal?
True
Let b(u) = 527*u - u**2 + 1 - 532*u + 0*u**2. Let v be b(-1). Is v < -1/2?
False
Suppose -20*b - 328 = 32. Let i = 26 - 131/3. Is i less than b?
False
Let i = 279.6 - 284. Let d = i + 21.4. Let u = 0 + -0.1. Which is greater: d or u?
d
Let n be 17043/(-12) - 8*60/(-384). Which is bigger: -1421 or n?
n
Let f(b) = b**3 - 4*b**2 - 13*b. Let l be f(6). Let k = l - -2. Let c be (k/(-57))/((-44)/66). Which is smaller: c or 1?
c
Let g = -164 + 167. Let k be -5 - (-2 - 10/g). Are 50 and k equal?
False
Suppose o - 35 = -4*q, 2*q = -2*q + 2*o + 50. Let y = -5 - q. Let k be 13 + y - (0 + -1 + -1). Which is smaller: k or 1/10?
k
Let g(s) = -17*s - 6. Let l(d) = d**2 - 11*d + 11. Let q be l(10). Let v be g(q). Is -27 bigger than v?
False
Let p = 2.2307 - 35.1007. Which is smaller: 2 or p?
p
Let o = -74 + -140. Let y = 330 + o. Is 2/5 > y?
False
Let x = 395 - -883. Which is smaller: 1277 or x?
1277
Let m be ((-69)/639)/((-53)/(-159)). Which is smaller: m or -1?
-1
Let t = -624387/151 + 4135. Suppose 114 = p - 4*x, -2*p - 5*x + 218 = -8*x. Let s = -105 + p. Which is bigger: t or s?
s
Suppose 5*a - 285 = -2*o, -3*o - 150 = -0*a - 3*a. Suppose -5*v = 2*q + 2*q - 38, 5*v - 3*q = 24. Suppose -p = -v*p + a. Which is smaller: 13 or p?
p
Let t(l) = -l**3 - 4*l**2 + 11*l + 6. Let z be -3*(1/(-2) - 2/12). Suppose 27 = -z*k + 5*d, -5*k + 7*d - 39 = 4*d. Let g be t(k). Which is smaller: 21/2 or g?
21/2
Suppose 4*z + 0*y - 5*y = 20, 3*y = 3*z - 12. Suppose z = 4*j + 5*j - 72. Is j greater than -2/13?
True
Suppose -3*b - 3*p - 507 = 0, 499 = -3*b + p - 6*p. Let a = b - -1381/8. Let i = 469 + -469. Is i at least a?
True
Let c be (7/2 + -4)*-520. Suppose 7782 = 122*j - 17263 - 6797. Which is bigger: j or c?
j
Let t be 1169/116733*16/14. Is t at least -1?
True
Let m(p) = p**3 - p**2 - p - 1. Let t be m(-5). Let o be 1*t/150 - -1. Let c = -2 + 2. Which is bigger: c or o?
o
Let p be ((-1036)/(-6))/(37664/(-528)). Is -1 < p?
False
Let k be (-11)/(-2)*3348/682. Which is smaller: k or 28?
k
Let y = 94 - 50. Let z = -12 - -54. Let x = z - y. Which is greater: 1/5 or x?
1/5
Suppose -b + 18 = 45. Let c be 36/b - (-2)/(-3). Let u be ((-2)/c)/((-3)/6*2). Do -1/60 and u have different values?
True
Let u = -3040.8 + 2983. Which is smaller: 0.3 or u?
u
Let k = -2844 + 88173/31. Is -2/37 greater than k?
False
Suppose 2*v - c = 121, -2*v - 3*c = v - 177. Let n = v + -62. Are n and 25 nonequal?
True
Let u = 4.484 - 5.484. Are u and 680 unequal?
True
Suppose 0 = 629*s - 358*s. Which is smaller: 1/2851 or s?
s
Let o be -1 + 20/12 + 83/(-3). Which is bigger: o or -57?
o
Let j = -6198 + 6197.93. Does -318 = j?
False
Let t = 240 - 228.9. Let q = 0.36 - 0.26. Is t <= q?
False
Let w(x) = 26*x - 96. Let l be w(4). Let v be l + -4 + 4893/(-1221). Do 1 and v have the same value?
False
Suppose -i + 4 = 5. Let k be 2 + (-6 - (i + 0)). Suppose -107 = 5*y - 78*l + 81*l, 17 = -3*y + 10*l. Is k < y?
False
Let l = 1991 - 1035. Let o = l + -866.7. Let y = -89 + o. Is y less than or equal to -17?
False
Let f = 0 - -2. Suppose f*o = 4*o. Let m be 0/(4*(-4)/(-16)) - (-3)/(-8). Which is bigger: m or o?
o
Suppose 0 = -56*t + 53*t, -5*t = x - 0 + 1. Is 3/3382 at least as big as x?
True
Let s = -122670 - -860988/7. Let g = 328 - s. Is g equal to -1.2?
False
Suppose 896 = -q + 494 + 457. Is 22 equal to q?
False
Let h(q) = 29*q**2 + 1. Let x be h(0). Which is greater: -4/1567 or x?
x
Suppose 14330 + 13056 = -282*y - 14632. Suppose 2*v - 2*i + 296 = 0, 3*i - 540 = 5*v + 202. Is y at least v?
True
Let n = 0.4966 + 257.4534. Let y = -258 + n. Which is smaller: -2/73 or y?
y
Let u = -37/434 + 23/62. Which is greater: 12 or u?
12
Let b = 737.81363 + 0.14637. Let x = b + -738. Which is bigger: 52 or x?
52
Let z be 97888/4104*(6/4 + -3). Are -35 and z unequal?
True
Suppose 3*n - 2 = 2*n, -2*n = -k + 30. Let d be k/(-51)*((-27)/5)/3. Is -3 greater than d?
False
Suppose -c + 2*c + 5*l = -54, 3*c = -5*l - 142. Let a = c - -45. Suppose 5*q - 10 = -5. Is a less than or equal to q?
True
Let z be (3 - (-1 + 0)) + (-3 - -68). Which is bigger: 10 or z?
z
Let k be (-42427)/(-19855) - (-4)/(-10) - (2 - 1). Let n = 1 + 0. Let m = 1 + n. Is k at least as big as m?
False
Let p be (22 - (-7696)/(-351))/(-1). Which is greater: p or 704?
704
Let l = 352.3 - 353.3. Which is greater: -275 or l?
l
Let q = -1393 - -1115. Which is greater: q or -273?
-273
Let j = -4221/4 + 1048. Let g(n) = -n**3 + 9*n**2 - 2*n + 12. Let p = -30 + 39. Let w be g(p). Is w at most j?
False
Let r = 142/45 + -8/5. Let v = r - 65/36. Let b = 22 + -43/2. Is v at most b?
True
Suppose 0 = -y - 2*r + 665, 1324 = -23*y + 25*y + 2*r. Suppose -4*o = -l + 433, 192 = 2*l - 5*o - y. Which is bigger: 414 or l?
414
Let k = 86 - 90. Let g(r) = -12*r + 382. Let y be g(33). Which is greater: y or k?
k
Let w(u) = 12*u**3 - 5*u**2 - u + 10. Let m be w(3). Let f be ((-102)/(-4))/(-1)*m/(-39). Is f at most as big as 188?
True
Let u(c) = -c + 30. Let g be u(14). Suppose g*l + 267 = -581. Is -54 smaller than l?
True
Let l = 494 - 488. Let o be l/(-8)*224/(-48). Suppose -25 = -v - 4*v. Which is smaller: v or o?
o
Let l = 68 - 60. Suppose 8*o + l*o = 32. Let p(m) = -20*m + 8. Let z be p(o). Is -33 at most z?
True
Let m = 153 - 171. Let b be 50/m + 0 + (-219)/(-73). Which is smaller: b or 18/11?
b
Let y be (-13)/((-11481795)/19921450) - (6 - 0). Let m = y + -1/19627. Which is smaller: m or 18?
m
Let v = 527 - 205. Let s = 321 - v. Suppose -k = -7*h + 3*h - 3, -5*k + 15 = 5*h. Which is smaller: s or k?
s
Suppose -2*l + 6 = l. Let m = -43821/356 - -164/89. Let q = 123 + m. Is q at least as big as l?
False
Suppose -1 + 13 = 3*j. Suppose 0 = 2*x - l, 2 = j*l - 3*l. Is x smaller than -7/61?
False
Suppose -d = 18*d + 17290. Let p be 1960/d + 2/13. Which is bigger: -3 or p?
p
Suppose 0 = -5*t - 2*t - 8*t. Is t > 62/45?
False
Let y(s) = -s**3 - 18*s**2 - 15*s + 34. Let l be y(-17). Let t be -17*(l - -5 - 1). Are -70 and t nonequal?
True
Suppose 3*r = 6*r - 3. Let f be (-178484)/(-280) - (-1)/(-7). Let i = 637 - f. Which is greater: r or i?
r
Let f(z) = -z**3 - 40*z**2 + 29*z - 195. Let t be f(-39). Which is greater: t or -2849?
t
Suppose -4*i + 58 = -2*o, -5*o - 1 = -2*i + 56. Suppose -3*m - 42 = 2*g, -4*m = 4*g + 42 + 46. Let y = g + 37. Is i greater than y?
False
Let o(d) = -d - 81. Let m be o(-80). Is m >= 6/77?
False
Let x be 5/3*(88 + -7). Let q be 1431/x - (1 + (-2)/5). Suppose 4*f + 3*t + 2 + q = 0, 4*t = 4*f - 16. Which is smaller: f or 1/14?
f
Let l = -3379 - -3379. Which is bigger: -1/671 or l?
l
Let q = 346/165 + -31/15. Let y = 82 - 61. Suppose m - y = 5*x, -3*m = -6*m + 2*x + 11. Which is smaller: m or q?
q
Let i = 21677/10660 + -66/205. Which is smaller: 1 or i?
1
Let v = -3469 + 3320. Is -3 equal to v?
False
Suppose -1 = 2*l - 3. Let s be (-12324)/1482*(-10)/44. Let t = -15/11 + s. Is l greater than or equal to t?
True
Let d be 15/35 + (-104)/14. Let g be ((-4)/d)/(-2) - 110/154. Which is greater: g or -8?
g
Let x = -1/1361182 - -1344848889/1460548286. Let q = x - 22/29. Is q greater than or equal to 1?
False
Suppose -115*y = -116*y + 5. Suppose -2 = d + 3*f + 4, -5*d - y*f - 10 = 0. Is d != -10/29?
True
Suppose 0*l + 5*l - 15 = 0. Let o = -315 + 320. Suppose 35 = -5*j + 5*a, l*j - o*a + 31 = -0*a. Is -5 < j?
True
Suppose 36 = -21*m + 21*m + 36*m. Are -7/895 and m unequal?
True
Suppose 3*y = 5*i + 1095, -4*i + 1188 = 2*y + 480. Suppose 8*z = -z + y. Let b = -55 + z. Is b bigger than 2?
False
Let p be (6/4)/((-534)/(-8900)). Let b be (-2 - -1) + 6*4. Which is smaller: p or b?
b
Let u = 45 + -103. Let x = u - -20. Let c = 39.8 + x. Is c less than 0?
False
Suppose -3*s - 2*t = -5*t - 15, 2*t - 4 = 0. Suppose -533 = -s*n + 2330. Which is smaller: n or 408?
408
Let x(j) = 18*j**2 + j + 1. Let a be x(-1). Let q be (7/(-84))/(4/a). Let f = 61 - 424/7. Which is smaller: q or f?
q
Let o = -5243 - -5321. Are o and -1.7 non-equal?
True
Let c = 1582.1 + -1387. Let g = -195 + c. Which is bigger: g or 0.088?
g
Suppose -60 = k + 5*k. Let c = 6 - k. Suppose l - c = 5*z + 5, 0 = -4*l + 5*z + 9. Is -9 at most as big as l?
True
Let d(k) = -k**3 - 10*k**2 + 103*k + 211. Let s be d(-13). Is s at most as big as -621?
True
