j be 5 + 30/(-5) - (-174)/b. Which is smaller: 6 or j?
6
Let w be -3*(2 + (-2 - -3)). Let h be (-3157)/4268 + w/(-12). Is h at most 0?
False
Suppose g = -2*y + 1, 5*y - 4*g + 20 = g. Let z be (-15 - -9) + (41910/4656 - 12/4). Which is bigger: z or y?
z
Suppose 2*w - n = 592, 2*n = w - 0*n - 299. Suppose 0 = -5*k - 40*r + 41*r - 132, r = -5*k - 118. Let h be (-23 - k) + (-588)/w. Which is smaller: h or -1?
-1
Let u = -4265 + 4261. Let r = -11415/2684 - -2/671. Is u greater than or equal to r?
True
Let o be (-9083)/(-3)*(-3 - (-161028)/53682). Let c = 11/389 - o. Which is bigger: c or 1?
c
Let p(t) = 20 + 39*t**2 - 11*t + 11 + 8*t**2 + 4*t**3. Let r be p(-12). Suppose 0*m + 3*m - 57 = 0. Is m >= r?
True
Let w be 2*30*6/(-72)*-4. Suppose -w - 15 = -5*d. Let i(c) = -c**3 + 6*c**2 - 5*c + 4. Let o be i(5). Do o and d have the same value?
False
Suppose -4*o = 5*d - 10974, -2*o = 166*d - 171*d - 5532. Is 2751 less than o?
False
Let c(k) = 7*k**2 - 7*k - 6. Let z be c(-2). Let r = 36 - z. Is r at least as big as -10/21?
True
Suppose -2*u + l = -37, -4*u + 2*l - 7*l + 95 = 0. Let s be ((-1)/(-4))/(-3 + u/(-8)). Is s less than -1?
False
Let n = -859/9 - -13280/153. Is -10 not equal to n?
True
Let u(f) = f**2 + 13*f - 13. Let d be u(-14). Let q(t) = -t - 2. Let h be q(d). Let j be (6/16)/(h/2). Which is greater: -1.9 or j?
j
Let y(s) = -s**3 - 14*s**2 - 17*s + 10. Let u be y(-11). Let i = u + 196. Is 30 at least as big as i?
True
Suppose 23*s + 14137 = -46*s + 2*s. Is -3 not equal to s?
True
Suppose 4*o = 4 + 8, -o = -3*f + 9. Let h(k) = k**3 + 13*k**2 - 31*k + 13. Let q be h(-15). Let t be (-36)/q*f/60. Which is greater: -1 or t?
t
Let t = 2.3 + 8.7. Let a = t + 31. Let x = 42.025 - a. Which is greater: x or 1?
1
Suppose 125*t + 776 = 117*t. Which is bigger: t or -100?
t
Let d = 8 - 7.78. Let j = 17.78 + d. Let n = -42206 + 42206.1. Is j >= n?
True
Let j be (-97 + 97)*((-12)/(-8) - 1). Which is smaller: -21/320 or j?
-21/320
Suppose -3*s + k = 18345, s + 5933 + 168 = 5*k. Is -6115 > s?
True
Let n = 0.99 - 40.99. Let s = 1386.8 + -1347. Let z = n + s. Which is smaller: -2/9 or z?
-2/9
Suppose i - 3 - 9 = 0. Suppose 45*s + 3220 = 16450. Let b be s/36*1/((-21)/i). Which is greater: b or -5?
b
Let h(j) = 12*j + 64. Let u be h(-5). Suppose -u*c - 61 = 5*t + 17, 30 = -c + 4*t. Is -23 equal to c?
False
Suppose 120 = -6206*z + 6230*z. Is z at most 4?
False
Let s = 374 + 348. Let n = s + -495. Is n >= 226?
True
Let a be ((-1930)/15)/((-49)/420 - (-2)/8). Which is bigger: a or -967?
a
Let m = 10.7579 - 0.7579. Is 53/5 greater than or equal to m?
True
Let t = 15934 - 79421/5. Let g = -50 + t. Let d = -27.66 + 27.66. Which is smaller: d or g?
g
Let x = 157 + -135. Suppose 5*j + 19 + 1 = 0, 0 = -5*f + 3*j + x. Is f bigger than 17?
False
Let v = -11321.5 - -11322. Let r = -0.6 - -0.59. Which is smaller: v or r?
r
Let v = -5 + 0.3. Let z = v - -4.6. Let q = -2/69 + -61/276. Which is smaller: q or z?
q
Let q = 4328 - 99494/23. Let i(n) = -130*n - 34319. Let w be i(-264). Is q smaller than w?
False
Let y = -29 + 543. Let o = -383 + y. Are 130 and o equal?
False
Let b be 612/(-3828)*2 + (8/22)/2. Which is bigger: b or -0.11?
-0.11
Suppose 0*d = 5*l + 2*d - 326, l + 3*d - 73 = 0. Suppose -3*p - 353 - l = 0. Let b = p - -2783/20. Is 0 at least as big as b?
False
Suppose j = 5, 2*j - 6*j = -2*n + 5104. Let x be (17927/n + -7)*(-6724)/(-9). Let a = 56/27 + x. Is a equal to 1?
False
Suppose -2408 = 2*h + 6*h. Let j be h/(-196) - (-6)/(-21). Is j less than or equal to 12?
True
Let s = 4064 - 20329/5. Let x = 6 + -2. Suppose -3*n = -2*h - 5, -h + 3*h = -x*n + 2. Which is smaller: s or h?
s
Let l = -3.445 + 3.4. Let r = l + 20.045. Let o = -21 + r. Which is greater: 1/10 or o?
1/10
Suppose 3*m + 5 = 8. Let x = -149161/286 - -1043/2. Is m <= x?
False
Let x = 3538 + -3596. Which is greater: -57 or x?
-57
Let c be (-3 - 0/11) + (-1 - 21). Let i be ((-30)/c)/((-8)/(-10)). Which is bigger: i or 13?
13
Let g be (8/((-128)/(-12)))/(66/(-220)). Which is smaller: g or 548?
g
Let r(w) = -1006*w + 79. Let q be r(2). Are q and -1933 unequal?
False
Let w = -13690 - -14147. Is -0.03 less than w?
True
Let k = 189 - 186. Let y be (1/3)/(k/423). Which is smaller: y or 46?
46
Let j = -1.83 + 0.33. Let t = j + 1.4. Which is smaller: -3/14 or t?
-3/14
Let s = 227.4904 + 0.5096. Are 0.07 and s unequal?
True
Suppose 5*j + 2*u - 5833 = 5515, -5*j + 3*u + 11378 = 0. Which is bigger: 2274 or j?
2274
Let d = -1660 - -14942/9. Let h(t) = t**3 - 6*t**2 + 2*t - 13. Suppose 4*j = 5*j - 6. Let o be h(j). Which is greater: d or o?
d
Let a = -1194 + 938. Suppose 0 = 18*g - 32*g - 3598. Which is bigger: g or a?
a
Let r be (6 + -1)*(-24)/76. Let j = -289/171 - r. Suppose a = 5*a. Which is bigger: j or a?
a
Suppose 1500 = -5*f + 30*f. Let m be 3 + (-22450)/f*2/(-5). Is 152 > m?
False
Let m = -2984 - -504298/169. Do m and 0 have the same value?
False
Suppose 0*o - o = -3947 - 568. Is o at least 4515?
True
Let w = 50 - 48. Suppose -a - 3*k - k = -36, -w*a + 117 = -k. Suppose 7*t = 11*t - a. Which is bigger: t or 12?
t
Let c = 4777 + -4739. Let k be (-43)/(0 - (-2)/(-2)). Is k smaller than c?
False
Let y = -327 + 350. Suppose -44 = -y*j + 899. Which is bigger: 48 or j?
48
Let v be ((-585)/2)/((6/(-10))/((-198)/(-2805))). Which is smaller: 34 or v?
34
Let x(k) = -10*k**2 + 114*k + 1851. Let y be x(-19). Is -3924 greater than or equal to y?
True
Let l be 2 + (-8)/5 - ((-3567)/(-580) - -16). Which is smaller: -1/9 or l?
l
Let q(s) = 8*s + 6. Let i be q(6). Suppose t + 5*t = -i. Let l(m) = -4*m + 5. Let x be l(3). Which is bigger: t or x?
x
Let b be (-35351)/483 + 10/(-6) + 0. Is -75 greater than b?
False
Let f = 154331/7 + -22047. Are f and -1.0305 unequal?
True
Let c be (50/(-4))/(4/18 + 429/(-594)). Suppose -4*y + 92 = -0*y. Is c at most as big as y?
False
Let a = -69 + 67.54. Let h = a + 1.34. Suppose 2*r = 4*r. Is h >= r?
False
Let l(q) = 16*q - 79. Let y be l(5). Let j be 2/((3 - 1) + -4)*y. Which is bigger: j or -3/10?
-3/10
Suppose 0 = -2*g + 5 - 4 - 3. Which is smaller: 1/7980 or g?
g
Let c = -0.01854 - -0.02854. Let u = 1 - -7. Which is smaller: c or u?
c
Let i(d) = -d**2 + 40*d + 3. Let z be i(40). Suppose -m + 12*q - 8*q = 91, 0 = -z*m + 5*q - 252. Is m greater than or equal to -77?
False
Let t = -18.9 - -13.9. Suppose -4*h - 42 = -10*h. Is t greater than h?
False
Let n be ((-18409)/1796)/(3/4 + 3/(-6)). Let d(s) = 3*s**3 + 4*s**2 + 4. Let w be d(-3). Is w <= n?
True
Let z = 11364 - 11363. Is z > 1/8772?
True
Let p be (0 - (-44)/42)*91/(-1 - -14). Let u(o) = 2*o - 2. Let g be u(4). Which is smaller: g or p?
g
Let g = 348 + -208. Suppose 17*x - g = 12*x. Which is greater: x or 30?
30
Let y = -40 + 13. Let a be (-6)/(-14) + 13596/(-462). Let v = a - y. Which is smaller: v or -11/7?
v
Let t be ((-324)/(-60))/27*-5. Which is bigger: 31/300 or t?
31/300
Suppose 18*x + 563 = 868 + 1603. Which is greater: x or -24?
x
Let x = 2.378 + 6.622. Which is smaller: -0.27 or x?
-0.27
Suppose -19*g + 648 = -g. Let j be -41 + g - 142/(-30). Which is bigger: -1 or j?
j
Let m = 64 + -64.01. Let p = -0.61 - m. Are 7 and p nonequal?
True
Suppose 3*a = 6*a - 330. Let b = 73 - a. Let t be -2*(114/(-2))/(-3). Do t and b have the same value?
False
Let o = -1246/165 - -116/15. Let n = 2.3 - -12.7. Let j = 10 - n. Is j >= o?
False
Let l be (73/((-31317)/52))/((-2)/9). Let q = 1 + -1.09. Let a = 0.11 - q. Is a < l?
True
Let r be -4 - (56/(-42))/((-1)/(-3)). Is r < -2/3315?
False
Let z be (139/(-48))/(9*5/60). Let h = 5/4 - z. Suppose 3*p - 30 = -3*k, 4*p + k - 8 - 20 = 0. Which is smaller: p or h?
h
Suppose -5*t - 1404 = 1966. Let l be 6 + (2698/t - 2). Which is greater: l or 0?
0
Let o = -14166 - -15301. Is 1135 > o?
False
Let c = 37825 + -4425403/117. Let x be 125/90 + (-1)/2. Let s = x - c. Do 0 and s have the same value?
False
Let d(v) = -40*v**2 - 16*v + 16. Let y be d(1). Let x be (10/y)/(2/54). Which is greater: -8 or x?
x
Let k = 2 - -1. Let j be 1/k*3*-10. Let n = -3483 - -3472. Is n greater than j?
False
Suppose l - y + 1 = 2, l - 5*y = 5. Is l not equal to 2/1097?
True
Let t(m) = 2*m**2 + 95*m + 46. Let y be t(-47). Let j(a) = -2*a**3 - 4*a**2 - 2*a - 2. Let c be j(-3). Which is bigger: c or y?
c
Let m = 3157 + -546159/17