is bigger: s or y?
y
Let v be (36799/(-21060))/7 - (-20)/(-1040)*-13. Do v and 0 have the same value?
False
Suppose 0 = x + 4 - 9. Let n = -1253 - -1296. Is n smaller than x?
False
Let h(v) = -v**2 - 13*v + 15. Suppose q - 2*d + 6 = 0, -4*q + d = -2*d + 44. Let c be h(q). Which is greater: c or -1/66?
c
Let z(u) = 274*u - 778. Let f be z(2). Is -229 <= f?
False
Suppose 36*v = -1107 + 459. Is -51 not equal to v?
True
Suppose s = 4*j - 1238, -2*s = j - s - 312. Let h = 512 - 203. Is h at most j?
True
Let y = -3637 + 7045/2. Let z = 344/3 + y. Which is smaller: 0.03 or z?
0.03
Let m(x) = -x**3 + 38*x**2 + 79*x + 40. Let h be m(40). Which is bigger: -18/83 or h?
h
Let j = -62.97 + 61.97. Which is bigger: j or 989?
989
Suppose 0 = 28*c - 24*c + 2080. Let p = c + 9878/19. Which is bigger: p or -15?
p
Let r = -15038 - -14414. Which is smaller: 0.2 or r?
r
Suppose 24*j + 8 + 376 = 0. Let i be 4/42*3 - j/(-14). Which is bigger: -13 or i?
i
Let v = -673247/58 + 11608. Which is smaller: v or 0?
0
Suppose -c = 4, 40*c = -k + 37*c - 61. Let p be 4/(-1 + -1) + -46. Is p < k?
False
Suppose 47*q = 61*q - 28. Suppose 0 = -q*g - 2, 38*b - 5*g = 43*b - 90. Which is smaller: -9 or b?
-9
Suppose -252 = 5*q + 148. Suppose 4*x + 90 = 326. Let i = q + x. Is -21 at most i?
True
Let l = 5018 + -5370. Which is smaller: 4 or l?
l
Let i(h) = -h**3 - 4*h**2. Let y be i(-3). Let g(c) = c**2 + 636*c + 30365. Let k be g(-52). Is k at most y?
False
Let x(t) = 7*t + 77. Let w(z) = z**2 + 9*z - 3. Let n be w(-8). Let g be x(n). Which is bigger: g or 3/106?
3/106
Let x be ((-21)/2625)/((27/(-6))/(-9)). Do -15 and x have different values?
True
Let z be (0 - (-4)/(-14)) + 1058/322. Suppose -z*u = 3, -2*o + 4*u - 375 = 351. Are o and -363 unequal?
True
Let u be (-178)/(-10) - 2/(-10). Let x(i) = -15 + 20*i - i**2 - 27 + 5. Let a be x(u). Is a >= -2/77?
False
Let l be (15/(-10))/((-6)/20). Suppose -4*j - 736 = -4*m, 7*j + 2*m = l*j - 368. Let i be 4 - 12/j*2*-29. Are i and 1 nonequal?
True
Let y be (12/12)/(1/(-13))*18/3. Which is smaller: y or -80?
-80
Let t = 739612/1435 - 3608/7. Is 0 at least as big as t?
True
Suppose -661*o - 2*g = -656*o - 30330, -3*g = 15. Which is smaller: o or 6071?
o
Suppose -4*c + 437*d = 436*d - 12, -4*c - 4*d = -12. Do c and 192 have the same value?
False
Let d(o) = -o**3 + 2*o**2 + 3*o - 10. Let k be d(5). Let f be k/20*171/21. Which is greater: f or -29?
f
Let x = -5548 + 9720101/1752. Is -1 at least as big as x?
False
Let q(v) = -3*v**3 - 13*v**2 - 5*v - 12. Let k be q(-4). Let y be (k + 24/3)/(-2). Which is smaller: -2/1863 or y?
-2/1863
Let y = -1030 + -1792. Is y smaller than 2/7?
True
Let w be (-1)/(-4) + (-65)/380. Let h(o) = -3 + 1307*o - 1308*o + 13. Let y be h(9). Which is smaller: y or w?
w
Let z = -32 - 8. Let h = 41.5 + z. Let t = h + -1.4. Which is smaller: 3 or t?
t
Let u = 2020 + -2022. Let h(r) = -r**3 + 4*r**2 - 2*r + 5. Let y be h(4). Which is greater: u or y?
u
Let z = -19337 - -19336. Which is bigger: z or 8565?
8565
Let k be 645/(-12)*32/(-36). Let p = -32195 + 32244. Which is bigger: p or k?
p
Suppose -27*d = -44*d - 306. Is d >= -467/26?
False
Suppose 0 = -3*f + w + 4*w - 12, -17 = -2*f - 5*w. Let i be (-43 - 2 - f) + 1. Suppose -686*l - 4416 = -590*l. Which is greater: i or l?
i
Suppose -217 = -18*w + 71. Let t be -45*(4/w + (-12)/(-16)). Which is smaller: -46 or t?
-46
Let b = 223 - 601. Let v = 1.64984 + -1.54984. Is v < b?
False
Let u = -81 - -83.77. Let y = 2.87 - u. Is y at most 1.2?
True
Let z = -0.4 - -0.43. Let p = 6.1 - 455.3. Let a = p + 449. Which is smaller: z or a?
a
Let z = -84 + 96. Suppose -z*l - 41 = 31. Let h be (-54)/360 + (-1)/l. Is h < -1?
False
Let w = -24487 + 24378. Is -1429/13 < w?
True
Let a = 9081 + -9061. Which is smaller: a or 16/39?
16/39
Suppose -19 - 7 = -2*a. Suppose 170*n - 178*n + 136 = 0. Which is bigger: a or n?
n
Let g be (6/8)/(9/(-6)). Suppose -289 + 140 = -37*c + 517. Is c greater than or equal to g?
True
Let x be (3498/132)/((-3)/6). Which is greater: x or -158/3?
-158/3
Let u be 3/2*8/114. Let w be -6 - (-4 + -12 + -2 + 11). Is u at most as big as w?
True
Let f be (-69)/((-12)/16 + 54/80). Let a be (4*1/110)/(14/f). Let i = a + -18/7. Which is smaller: i or 0?
i
Let o(m) = m + 52. Suppose 6*d - d - 20 = 5*z, 4*z + 21 = 3*d. Let p be o(z). Which is greater: p or 4/5?
p
Let a(h) = -3*h**2 + 55*h + 319. Let b be a(-6). Does -102 = b?
False
Suppose -o = -v - 623, -3*o - 199*v + 1827 = -195*v. Is 615 less than o?
True
Suppose -3*w - 48 = -3*a - 3, 5*w + 67 = 4*a. Is w greater than or equal to 42?
False
Let y be 74*3/30 + (-6)/(-10). Suppose 0 = -2*j + y. Suppose -4*x - 5 = -j*h + 11, -12 = -3*x - 3*h. Is x <= -1/8?
False
Suppose 3*z - 276 = -3*s, -6*s + 2*z - 172 + 772 = 0. Which is greater: s or -35?
s
Let h(d) = -92*d**2 + 282*d - 18. Let n be h(3). Which is smaller: -45/64 or n?
-45/64
Let u be 135/679*(-98)/(-147). Which is bigger: 1 or u?
1
Let t = 0.3922 - 0.3922. Is -91 at most t?
True
Let u(m) = -m**2 - 69*m - 488. Let f be u(-61). Which is smaller: -63/80 or f?
-63/80
Let f(o) = 2*o**2 - 66*o - 967. Let j be f(44). Are 2/7701 and j equal?
False
Let q = 6.404 - 2444.404. Are q and 0.2 nonequal?
True
Let z be (19/(-2))/(220/(-24) - -9). Let q be ((-1)/(-2))/(5/(-610)). Let t = z + q. Which is smaller: t or -6?
-6
Let d be 19/34 + (-84)/1428. Which is smaller: -1003 or d?
-1003
Let r = -49.43 - -48.93. Is r at most 0.0085?
True
Suppose -8*r + 29040 = 8*r - 26*r. Which is greater: -2903 or r?
-2903
Let t be 1*(-7)/(35/(-20)). Let q be (-9)/(-90)*t/37. Which is greater: q or -1?
q
Let c = -164788 - -2089676630/12681. Is c not equal to 0?
True
Let v(m) = -m**3 + 7*m**2 + 4*m + 6. Let o be v(7). Let x = -9104/267 + 68/89. Let f = x + o. Does f = -1.8?
False
Let v = 9503 + -9504. Let h = 236 - 226.3. Are v and h equal?
False
Suppose -4*g = -13*g - 126. Let u = 16 + g. Suppose -u*d = 28 - 4. Is -9 at least d?
True
Let s(p) = -p**2 - 5*p - 2. Let r be s(-4). Let d(k) = k - 1. Let i be d(r). Let t be (-3)/510*-53 + 10/(-25). Is i greater than or equal to t?
True
Suppose 14*r = 309 + 755. Let j = 18 - 16. Suppose 0 = j*o - 3*o + 76. Is r bigger than o?
False
Let w = 36 - 18. Let q(a) = -2*a - 11. Let y be (1 - 4)/(21/98). Let c be q(y). Which is greater: c or w?
w
Let a = 124 - 57. Let u = 109 - a. Let r = 41.94 - u. Which is smaller: r or -0.1?
-0.1
Let b(c) be the third derivative of -c**5/60 - 2*c**4/3 + c**3/2 - 7*c**2. Let p be b(-16). Let a be 1 + 2 + p + -1. Which is bigger: a or 4?
a
Suppose -2*p - 3*j + 384 = 0, -5*p - 2*j + 969 = j. Let m be (-139509)/715 - (-8)/52. Let r = m + p. Is -0.2 at least as big as r?
False
Let c = 3.225 - 4.04. Let g = -0.81 - c. Let i = 0.195 + g. Do i and 0.14 have the same value?
False
Suppose 22*o + 1136 = -5*x + 18*o, -x + o - 220 = 0. Is -246 >= x?
False
Let d = 1.77 + 0.03. Let w be 2 + (0 + 1 - 399/70). Let s = -71/30 - w. Which is smaller: d or s?
s
Let s = 421 - 424. Let o(g) = g**3 + 4*g**2 - 7*g - 6. Let k be o(-5). Suppose 0*l + 8 = -k*l. Is l equal to s?
False
Let f = 88 + -215. Let k be -1 + 2/1 - f. Is 127 < k?
True
Let z = -3675 - -4166. Do z and 5 have the same value?
False
Let m be (-15)/(-1) - -4 - 18. Is m equal to 93/41?
False
Let z be (14 + 1)*459/(-85). Let l(s) = -s + 1. Let g be l(-2). Let r be g*1 - (-477)/z. Are r and -2 equal?
False
Suppose 1647*f = 1521*f - 24318. Is -207 less than f?
True
Let q = 260 - 176. Let o = q - 82. Suppose -o*s + 85 = 3*s. Is s <= 0?
False
Let h = -24.71 + 24.8182. Is h at most as big as -0.8?
False
Let f be (-80)/(-48)*(1 + -4)*1 - 75. Which is greater: -1986/25 or f?
-1986/25
Suppose -4*h + f = -61, 5*f + 53 = -40*h + 42*h. Which is bigger: h or 244/19?
h
Let j = 10.3 + -66.3. Let s = -24 - j. Let z = 3.89 - 3.79. Which is greater: s or z?
s
Suppose 3*h = 0, t - 4*h - 86 = -25. Is 11 not equal to t?
True
Let p = -487417/21544 - 2/2693. Which is smaller: -24 or p?
-24
Let l be 2/(-406)*-2 - 0. Let a(b) = -b**3 + 22*b**2 - 34*b - 132. Let r be a(20). Let h be r*(-4)/24 - 2. Does l = h?
False
Let y(p) = 2*p**3 - 57*p**2 + 390*p - 7. Let r be y(6). Are r and 711 unequal?
True
Suppose 4*h + 4*o = 5*h + 13, -4*h + 3*o = -13. Let s be ((-28)/256)/h*(-6134)/(-20). Let b = -1/128 + s. Is -6 at most as big