 is bigger: 3 or q?
3
Suppose 276*n - 330*n - 54 = 0. Do 1984 and n have the same value?
False
Let o = 35 + -35. Suppose -3*w + 4*c + c + 10 = o, -8 = -3*w + 4*c. Let q be 34/(-40) + 1 + 0/1. Which is bigger: w or q?
q
Let b(k) be the first derivative of -2*k**2 - 28*k + 3. Let c be b(-7). Which is smaller: c or 4/41?
c
Let a = 9 - 5. Suppose -8 = -4*p, c + 81*p + 1669 = 80*p. Let v be a*(-3 + c/(-558)). Which is smaller: v or -1?
-1
Let a = -11711/930 + 127/10. Which is smaller: 0 or a?
0
Let j = -0.57487 + 0.5619. Which is greater: j or 0.1?
0.1
Suppose -2808 = -239*r + 275*r. Is r not equal to -88?
True
Suppose -16*i = -13*i - 132. Let c = 48 - i. Suppose -c*s = s + 5. Are 1/48 and s unequal?
True
Let x be (25540 - 1)*2/(-710). Let n = x - -359/5. Is 0 < n?
False
Let q = -78 + 58.2. Let k = q - -26.2. Is k > -1?
True
Let m = 4645 - 4641.8. Do -0.31 and m have the same value?
False
Let b = -0.6298 + 0.9298. Which is greater: b or 1556?
1556
Let i(j) = -4*j - 3. Suppose -y - 4 = 3*t, 5*y = -2*t + y - 16. Let s be i(t). Let p = -119 + 116. Is p >= s?
True
Suppose 2*f + 9 = -9. Suppose 0*n = -n - 2*n. Let w be (-1*12 + n)*1 - -4. Is w at least f?
True
Let f be (-26)/8*(-8 + 12). Let w(o) = -2*o**3 + 11*o**2 - 7*o - 2. Let h be w(5). Which is bigger: f or h?
h
Suppose 48*o + 40*o = 51*o - 37. Is -4/1807 < o?
False
Let r be 7 + (-1 - 270 - -8). Let k = r - -282. Which is greater: 29 or k?
29
Suppose -4*m + h = 31, -6*m - 45 = -m + 5*h. Let q(j) = -17*j**3 + j**2. Let f be q(-1). Suppose -3*n - 3 = f. Is m smaller than n?
True
Let f = 1506.034 + -1505. Let l = -39 - -39.034. Let h = l - f. Are h and 18 equal?
False
Let y be 4/(-12) - (-220)/12. Let n = -598 + 611. Is y less than n?
False
Let d be (-1 - 1)/(166/(-4648)). Let c be ((-38)/(-114))/((-14)/(-2412)). Which is smaller: d or c?
d
Let x be -2 - -2 - (-102)/21. Let z be ((-16629)/(-2070))/((-7)/4 + 0). Let g = z + x. Which is smaller: -1/3 or g?
-1/3
Let v be (-6)/(-4)*(-1188)/891. Which is smaller: v or -81/109?
v
Let o be (((-19)/228)/((-15)/8))/(1/5). Is o > -4916/3?
True
Let i = -2428.9 - -2429. Is i greater than or equal to -0.99?
True
Let z be 17/(-198)*-2*-2382. Let f = -409 - z. Are f and 3 equal?
False
Let d be (84/(-30))/(7 + -12 - (-198)/40). Which is greater: 52 or d?
d
Let t = -12385 - -11909. Which is smaller: -475 or t?
t
Let y = -150 - -154.8. Let j = 44.8 - 37. Let h = j - y. Is 0.1 greater than h?
False
Let i = -6/65 + 119/585. Let s = -0.088 + 0.149. Let n = 0.261 - s. Is i != n?
True
Let x be ((-372)/16)/(3/120)*(-3)/(-2). Is 2/27 at least as big as x?
True
Suppose m + 59 = 4*u, 2*u + 5*m + 43 = 4*u. Suppose -58 - u = -8*r. Which is greater: r or 16?
16
Suppose -5*o - 120 = -5*j, 2*j - 1 = -o + 38. Suppose 0 = -12*y + j - 33. Which is bigger: y or -6/241?
-6/241
Let h(q) = -q**3 + 13*q**2 - 37*q - 24. Let c be h(8). Is c at most as big as 5/9?
True
Let b = 95.3 - 83. Let v = b + -12. Let g = v + -0.3. Which is greater: g or 32?
32
Suppose 661*l - 7424206 - 866492 = -812144. Which is greater: 11316 or l?
11316
Let o(t) = 236*t**2 + 7*t - 77. Let i be o(5). Let h = i - 275341/47. Is h smaller than -1?
False
Suppose 0 = 3*w - 5*d - 45, 4*w - 59 - 1 = -3*d. Let a = -9 - -8. Let n be (6/12)/(a/(-34)). Which is bigger: n or w?
n
Let x(p) = -p**2 - 23*p - 23. Let s be x(-24). Let g = s - -47. Suppose -5*t - 2*t = g. Which is bigger: t or 6/11?
6/11
Suppose -j = -a + 18 + 19, a - 25 = -3*j. Let z(y) = -3*y + 8. Let r be z(-9). Which is smaller: r or a?
a
Let l = 202 + -313. Let o = -154 - l. Are -1 and o non-equal?
True
Let a = -6.742 + 5.69. Let h = a - -0.92. Let q = h + 0.132. Which is bigger: q or -0.102?
q
Let y be ((-20)/(-1))/(-5) - 4. Let h(r) = 3*r + 18. Let w be h(-10). Are y and w unequal?
True
Suppose 3*l - 163 + 8 = -2*x, 5*x - 362 = l. Let c = x + -69. Suppose 4*f - 3*z - 10 = 0, 0 = -5*f + c*f + 3*z + 7. Is f bigger than 6/11?
True
Let s be (-45)/135 - (-1)/(-6). Let n = -95.6 - 28.4. Which is smaller: n or s?
n
Let s be (-8)/(-32) + (-95)/404. Let a = s + -173/4848. Let g be (-3)/((-45)/50) + (-4 - -1). Which is greater: a or g?
g
Let r(i) = 3*i**2 + 18*i + 7. Let d be r(-8). Let s = 56 - d. Let k be 3/(-9) - (-1)/(-15). Which is bigger: s or k?
s
Let a = -48086837/3964764 - 26/34179. Let f = a - -49/4. Is f at least 0?
True
Suppose -15*i = -16*i + 8. Suppose i = p - 8. Suppose 32*l - 364 = 4*l. Is l at most p?
True
Suppose 3*y + y + 3*w = 3, -3*y - 3*w + 3 = 0. Suppose -2*a - 5 = -7*a. Let b be a*6/(-381) - (4 - 4). Which is bigger: b or y?
y
Let d be (0/(-12 + 0))/(-1). Is 14/789 > d?
True
Let h(w) = 58*w**2 + 790*w + 1679. Let f be h(-11). Let y be (-224)/9*2/(-8). Which is bigger: f or y?
f
Let g = -0.2 + 0.3. Suppose 18 = 10*w - 12. Suppose 2*h - 4*c = -3*c - 63, -w*h + 2*c - 92 = 0. Is h != g?
True
Let m = 64 + -118. Let n = -53.962 - m. Let w = -0.062 - n. Is -22 < w?
True
Let w = 5 + -5.1. Let d = w + 0.1. Let s be 448/72 + -8 + 2. Is s greater than d?
True
Let f be (-3)/(-2)*((12/81)/(-1))/2. Suppose -4*i = 4*q + 12, -3*q + 9 = 5*i - 6*q. Which is bigger: i or f?
i
Suppose -4*v - 2768 = -2*c + 2052, -3*v - 3 = 0. Let k = -414175/172 + c. Which is smaller: k or 1?
k
Let n be (-24 - (-38160)/1593)*9/34. Which is smaller: n or 0?
n
Suppose 5*p - 2*p = 72. Suppose -507*m + 515*m = p. Which is smaller: 12 or m?
m
Let m(s) = 23*s - 58. Let d be m(32). Suppose 3*c + 4*f - 5*f = 2030, -3*c = -2*f - 2026. Does c = d?
True
Suppose 0 = -2*x + 3*q + 1642, -5*x + q = -x - 3284. Let v = 654 - x. Is -167 >= v?
True
Let c be (-2 - 1 - -1)/(150/3 - 48). Let d be -2 + 3 - (-82)/(-66). Are d and c non-equal?
True
Let w = -1078 - -1072.1. Is 30/7 greater than w?
True
Let m(c) = -2*c**3 + 109*c**2 + 49*c + 283. Let a be m(55). Do a and 4.9 have the same value?
False
Suppose 0 = -4*y + 2*n + 2504, n - 2510 = -4*y - 0*n. Suppose 0 = -3*h - 1509*j + 1507*j + 1876, 5*h - 4*j - 3134 = 0. Which is bigger: y or h?
y
Let g be -24*7/(-56)*2. Let k(y) = -y**3 + 5*y**2 + 10*y - 27. Let m be k(g). Is 7 <= m?
False
Let b be (-6 - -4)/((-13512)/2253 - -6). Which is smaller: b or -756?
-756
Let u = -17619 - -17619.5. Which is smaller: 2089 or u?
u
Let u(o) = 6*o**2 + 159*o - 252. Let f be u(-28). Which is smaller: f or -6/2027?
-6/2027
Let y = -24045.596 - -24046. Is y less than or equal to -3/7?
False
Suppose 0 = 5*g + n + n + 15, 29 = -4*g - 5*n. Let k be ((-21)/(-9))/(g/(-3)). Suppose 0 = b - 4*f + 17, b + b + f + k = 0. Are b and -19/3 equal?
False
Let g be (0/(-2))/(0 + 2). Let a = 127848 - 127885. Which is greater: g or a?
g
Let q = -186882 + 931357/5. Let o = -680839/1115 - q. Which is bigger: o or 1?
1
Let m = -17402 + 12311. Is m smaller than -5088?
True
Let b = -84609 - -164395281/1943. Are 1 and b equal?
False
Let l = 30419973/650 - 46800. Which is greater: 1 or l?
1
Let p(s) = -29*s**2 + 317*s + 58. Let r be p(10). Which is smaller: 341 or r?
r
Let u = -6 - 2. Let p be 408/1620*12/u. Are -1 and p nonequal?
True
Let t = 4190.3 + -4190. Is t at least as big as -108/5?
True
Let j = -703 - -106. Let q = j + 583. Is -1 bigger than q?
True
Let f(w) = -5*w**2 - 157*w - 70. Let h be f(-31). Is -28/3 != h?
True
Suppose 1963707 - 574410 + 1589599 = 328*b. Which is bigger: b or 9080?
b
Let f(m) be the first derivative of -3*m**3 + 2*m**2 - 20*m + 167. Let z be f(-7). Is z less than or equal to -488?
True
Let g = -6 + 2. Let d(r) = 12*r - 4. Let x be d(0). Let b be (2/(-6))/(x/g). Which is smaller: -16 or b?
-16
Let f(a) = -a**3 + 89*a**2 - 69*a - 637. Let y be f(88). Which is bigger: y or 1032?
y
Let n = -266 - 30. Let o = n - -286. Which is bigger: o or -1/26?
-1/26
Let l(z) = z**2 - 3*z - 3. Let v be l(4). Let u = 77 + -2151. Let g = u + 39416/19. Which is greater: g or v?
v
Let f(q) = -q**3 + 13*q**2 + 13*q + 2. Let a be f(-13). Let b = a + -46467/11. Let d(m) = m**3 - 28*m**2 - 59*m - 26. Let o be d(30). Is b smaller than o?
True
Let p(z) = 2*z**3 - 7*z**2 - 18. Let v be p(4). Let j be (v + (-3)/(-2))*-2. Is j greater than -2/839?
True
Let h = 420.17 - 145.17. Is h < 2/13?
False
Let q be (-9762)/(-4)*((-1147)/(-155) + -1*7). Which is greater: 976 or q?
q
Let m be (-14)/35*(-90)/3834. Which is bigger: -2/15 or m?
m
Suppose o + 38 = 10*r - 6*r, r - 5 = 0. Let p = 17 + o. Which is bi