h is bigger: 0 or v?
v
Let i be ((-6)/(-20))/((-5568)/290). Let r(j) = -j**2 - 8*j + 11. Let c be r(-9). Suppose 3*v - 17 = -5*u, -3*u - 3*v + 7 = -c*v. Which is smaller: i or u?
i
Suppose -11 - 29 = -10*j. Suppose 5*p = 24 - j, 3*p = -2*a + 12. Which is smaller: 3/5 or a?
a
Let c = 6114 - 6111. Do 1074 and c have the same value?
False
Let k = -5249729/159 + 33017. Which is smaller: k or 0?
k
Let b = -286 + 411. Let g = 124 - b. Which is bigger: g or 535?
535
Let q = 20953257/1180 + -17757. Is q < -1?
False
Let k be 3*(150096/(-72))/59. Let b(u) = -109*u**3 + 2*u**2 - 2*u + 1. Let a be b(1). Is a bigger than k?
False
Let t = 13954.7 - 13957. Which is smaller: t or -0.4?
t
Suppose 828 + 1552 = 57*u - 2009. Which is smaller: 6 or u?
6
Let f = 523 - 252. Let c = f - 271. Which is bigger: -5/6 or c?
c
Suppose -7*s + 8*s - 5 = 0. Suppose 282 = -s*n + 11*n. Let k = n + -45. Are k and -6 unequal?
True
Let q be 6/(-8)*(-26)/6. Let k = q - 3/4. Let b be 1*1*(3 + 4 - 5). Is b at least k?
False
Let t = -12453235/223 - -55844. Which is smaller: 0 or t?
t
Let b be ((-2)/5)/((-24344)/85 - 18). Which is smaller: b or -1?
-1
Let g(c) = -c + 4. Let q be g(0). Suppose 0 = -2*u - q*h - 60, 7 = -3*h - 5. Let y = -16 - u. Which is greater: 17/3 or y?
y
Let k(u) = 59*u + 149. Let v(g) = 3*g. Let y(h) = -k(h) - 6*v(h). Let l be y(-2). Is l at least as big as 0?
True
Suppose w + 2315 = -12*c, 4*c = 6*c - 3*w + 389. Is -194 greater than c?
False
Suppose 1757*j + 413 = 1762*j + w, 4*w - 94 = -j. Which is greater: 91 or j?
91
Let a = 4025 + -688279/171. Let x = a + -469/1881. Which is smaller: x or -23?
-23
Suppose -x = -2*m - 11, 5*m = -0*m. Let n(g) = -g**2 + 11*g + 5. Let k be n(x). Suppose -k*w - l = 15, -4 = w - 4*w + 2*l. Is -2 < w?
False
Let b be (-4590955)/2525 + 2*(-4)/10. Is -1821 < b?
True
Let c = 253/90817 - 1497163279/16165426. Let m = c - -10/89. Let r = 95 + m. Which is bigger: r or 4?
4
Let o = 0.06 + -0.06. Suppose -39*j - 1 = -44*j - 4*t, 0 = 4*j - 5*t - 9. Is j greater than o?
True
Let w(j) = -j**2 - 5*j + 22. Suppose 47 = 22*r - 41. Let g be w(r). Is -59/4 greater than or equal to g?
False
Let w be (-228)/855 - (-6)/9. Are -45 and w equal?
False
Let u be (-237)/(-33) - 9/(693/14). Let t(i) = 51*i - 352. Let l be t(u). Let m = 0 + 3. Which is bigger: l or m?
l
Suppose 2*m = 5 - 3. Let h be ((-10348)/(-940) + 33/(-3))*((-51)/(-18) - 2). Which is smaller: m or h?
h
Let a = 3/5545 + 7001/7557835. Is a at least -1?
True
Let w = -6178 + 6050. Let b be 4/(-18) + 8/9. Which is bigger: b or w?
b
Let z be 7/(56/19368) + 0 + -1. Suppose 0 = 4*m - 8*m - z. Let x = 3081/5 + m. Is x != 10?
True
Let m = -6544 + 6546. Which is smaller: 124/5 or m?
m
Let q be 1*10031/70 - (-100)/(-10). Which is bigger: q or 133?
q
Let p = 10401 + -10975. Is p equal to -566?
False
Let a = 302 - 285.85. Let i = -1.85 - a. Which is smaller: -0.3 or i?
i
Suppose -2*z + 2*n + 111 = -211, 4*z - 2*n - 646 = 0. Let a = 164 - z. Is -55/6 at most as big as a?
True
Let y be ((-344890)/(-90))/13 - -20. Is 315 at least as big as y?
True
Suppose 0 = 10*d + 6*d + 16. Let v be (8/24)/(2/(12*d)). Let o be ((-14)/6)/(v/12) + -2. Which is greater: o or 14?
14
Let f(l) = -22 - 316*l + 250*l + 103. Let y be f(3). Which is bigger: y or -116?
-116
Let r = -46.94 - -49. Let v = r + -1.76. Is 2/17 at most v?
True
Let h(r) = -r**3 - 2*r**2 + r - 1. Let n be (-2)/(-8)*-1 + 91/364. Let s be h(n). Which is greater: s or -3/10?
-3/10
Let s = -134/69 + 1952/713. Is s at least as big as 2?
False
Let f = 189.07 + -189. Is -34/11 >= f?
False
Let f = -329807/130 + 2537. Let i = -3327/520 + f. Which is smaller: i or 1/3?
i
Suppose 9 + 3 = 3*b. Let i be (252/16)/9*b. Let g be (80/(-28) - -3) + 138/14. Which is greater: g or i?
g
Let r(k) = 22*k**3 - 28*k**2 - 113*k - 18. Let t be r(-4). Is -1422 greater than t?
False
Let k be ((-91)/10*20/(-35))/(24/1500). Is 28 at most k?
True
Let a(d) = 5*d**2 + 38*d + 20. Let y be a(-7). Let o be (1/(-1))/(2/(-30)). Let f be (3/o)/((-34)/5). Do f and y have different values?
True
Suppose -5*g = 2*q - 45, -57*q + 58*q = 4*g + 3. Is 26 at most as big as q?
False
Let a(p) = p**3 + 3*p**2 - 7*p - 8. Let w be a(-4). Suppose -50 = w*j - 9*j. Suppose -5*m - 23 = -4*i - j*m, 0 = 3*m - 9. Is i < 1?
False
Let c be 496647/(-396) - (-2)/(-22). Let g = -1225 - c. Is 30 at most g?
False
Let s(w) = -12*w**2 + 4*w + 103. Let f be s(14). Is -2193 > f?
False
Suppose 47*n + 162 = 65*n. Suppose -12*a - 1355 = -n*a + 2*c, 4*a - 2*c + 1788 = 0. Which is smaller: -450 or a?
-450
Let w be ((-76)/722 - 88/(-114)) + -507. Which is greater: -507 or w?
w
Let n(v) be the second derivative of -v**3/2 + 34*v**2 - 3*v - 38. Let o be n(23). Is 1/9 < o?
False
Let v = 897/1640 - 51/82. Suppose -8*q + 6*q = 2. Is v not equal to q?
True
Let h be (3016/464)/(1/2). Suppose -5*x + 7 = -3*j - 0*j, -2*j - 6 = -4*x. Suppose 3*c - 2*s + 3*s = 43, -x*c + 31 = 3*s. Is c greater than h?
True
Suppose -15 = 3*v - 33. Let k be (52/6)/(v/99). Is k > 143?
False
Let h = 4154378/9 - 462104. Is h less than -506?
True
Let t be (-4 - -2) + (-28)/(-1). Let z(d) = d**2 - 20*d - 69. Let n be z(t). Is 85 greater than n?
False
Suppose 468*q - 469*q + 484 = 0. Let x = q + -445. Are x and 40 unequal?
True
Let p = 0 + 9. Let m be (8/12)/(2/p). Let w be (19/(-17) - (2 + -3)) + (-38144)/(-22797). Which is bigger: w or m?
m
Let j = -25809 - -5600568/217. Which is smaller: j or -1?
-1
Let k = -3813677401/2016 - -1891705. Let f = k - -1/224. Suppose 3 = n - 4*n. Is n equal to f?
False
Let k = 0.19001 + 0.02999. Does k = -398?
False
Suppose -5*u + 805 = -5*o, 3*o - 13*u = -8*u - 479. Let w be (-34)/(-136) - o/52. Is w at most as big as 2?
False
Let s be (78/12 - 6)/((-10)/(-70183)). Let r = 3510 - s. Let h = 3/5 - r. Is h less than -2/7?
False
Let a(l) = -352*l - 8333. Let c be a(-32). Which is smaller: 2930 or c?
2930
Let s = -133.8509 - 0.0491. Let a = s - -134. Is -2/75 bigger than a?
False
Let n = 98 - 96. Suppose 21 - 17 = n*c. Let x = 1/683 - -10915/8879. Is x greater than or equal to c?
False
Let x = 59.06 + -59. Let f(l) = -16*l - 1. Let z(w) = -3*w. Let p(g) = 2*f(g) - 11*z(g). Let h be p(4). Which is bigger: h or x?
h
Let x = -7.4 - -6. Let h = x - 0.6. Let o = 3.8 + h. Which is greater: 0 or o?
o
Let g = 134 + -84. Let x = g - 47.6. Let w = x - -0.6. Which is bigger: w or 0.2?
w
Suppose -6*u = 4*x - 168, -473*x + 472*x + 2*u = 0. Let j be -2 + 6/2 - -8. Is j less than x?
True
Suppose 278 = -97*z + 236*z. Let t = -8 - -11. Is t less than or equal to z?
False
Let u = 1698.86 + -1701. Which is bigger: -5 or u?
u
Let k = 5578 - 5578. Which is smaller: -22.5 or k?
-22.5
Suppose -5*p = 3 + 22, 4*g + 5*p = -13. Suppose 3 = -3*j + 2*s + 22, j + g*s + 1 = 0. Let q be 9 + (1 - 7) - j*2. Which is smaller: q or -6?
q
Let c(z) = 20*z**2 + 197*z + 281. Let f be c(-8). Which is smaller: -37 or f?
-37
Let o be (-13 - (-16)/((-80)/(-35)))*(-256)/6. Are 1796/7 and o nonequal?
True
Let z = -1.157 + 1.057. Let j = 21 - 21.29. Which is greater: j or z?
z
Suppose 4*w + 68 = j + 3*j, 3*j = -2*w - 39. Let m be w/(-4)*(-24)/(-18). Suppose -6 = h + 4*y, -5 = -3*h - 4*y + 1. Is m at least h?
True
Suppose -18*p + 234080 = -115*p - 55*p. Is -1541 greater than p?
False
Suppose 35254 = 3*d - 7586. Suppose -14*a = -4*a + d. Let m be -2 + (3 - 4) + a/(-474). Is -1 bigger than m?
False
Let t = 15893937 + -3135443. Let l = t - 523134127/41. Let h = -875 - l. Which is smaller: -1 or h?
-1
Let r be 557265/54708 - 82/8. Suppose 0*y + 13 = -3*j + 4*y, 0 = j + 3*y. Let i = 3 + j. Which is smaller: i or r?
r
Let p be (1 - 1)*(-260)/520. Which is bigger: 8/5459 or p?
8/5459
Let a(m) = m**2 + 548*m - 1643. Let s be a(3). Let x = -0.8 + 1. Let p = x + -0.6. Are s and p unequal?
True
Let y(p) = p**2 + 213. Let h be y(0). Let k = h - 199. Which is bigger: 9 or k?
k
Let l = 5.78 - 5.4. Let o = -11.62 - l. Let x = o - -12.02. Which is bigger: x or -2/17?
x
Let c be ((-28)/(-2) - -20)*26. Is c < 888?
True
Let q = -100042 + 56323631/563. Which is smaller: 0 or q?
q
Let s(y) = -4*y + 19. Let z be s(4). Suppose 9 = z*b, -3*o + 14*b - 75 = 19*b. Is -32 at most as big as o?
True
Let a(m) = -5*m**2 + 138*m + 360. Let j be a(30). Which is greater: j or 1/496?
1/496
Let i = -185 + 68. Let x = 