s smaller: 0 or u?
u
Suppose 5*n = 2*k - 11, 0 = -3*k - 0*k + n + 10. Suppose 3*a - 5*z = -2*a + 35, -3*z - 6 = 0. Suppose 0 = 3*c - 5*c + q + 45, a*q + 50 = k*c. Is c at least 25?
True
Let j = -5523/2 - -2814. Suppose 446*m - 6136 = 328*m. Is j >= m?
True
Let k = 44931.07 + -44692. Let j = 239 - k. Let f = 0.2 - 0.1. Which is smaller: f or j?
j
Let n be -1*(0 + 0) - 53. Suppose -14866 = -225*s + 566*s + 3889. Is s > n?
False
Let u = 11051 - 11050. Is 4/4525 less than u?
True
Let v = 1.17 + -142.17. Let t = v - -140. Which is smaller: 16 or t?
t
Let h = -6888 + 23672/3. Which is smaller: h or 1002?
1002
Let p be 1532/44 + -35 - 21/(-55). Is p equal to 71?
False
Let s be (-3)/(-4) + (-5769)/12 + -13. Let n = s - -492. Which is greater: n or -4/55?
-4/55
Let n(r) = -2*r**2 + 6*r + 6. Let d be n(-4). Suppose -2*b - 80 = f + 79, 5*b + 385 = -5*f. Let i = 33 + b. Is d greater than or equal to i?
False
Let r(l) = l**2 - 3*l - 30. Let b be r(7). Is b at least -27/50?
False
Let m be (-76)/171*(70/(-1812))/7. Let z = m - -538034/53001. Is z >= 10?
True
Let f = -10836.7 + 10707. Which is smaller: f or -3?
f
Let d be 2*(-1)/(-13) - 267/(-39). Let c be -1*4*d/(-7) - 5. Let m(q) = -3*q - 2. Let z be m(c). Which is bigger: -2/5 or z?
z
Suppose -2*m = -0*t - t + 1, -14 = -5*t + m. Suppose 43 = t*c + 73. Let p be c - -10 - 2/(-11). Which is smaller: -3/8 or p?
-3/8
Suppose -10*u = -48 + 2358. Let q = 119 + u. Is q greater than or equal to -112?
True
Suppose -2*g - 2457 - 391 = 0. Which is smaller: -1425 or g?
-1425
Let i be (1 - (-1518)/30)/(1/(-10)). Let g = 515 + i. Are -2/1761 and g nonequal?
True
Let g be (-6 + (13 - 3))*(-2593)/(-36). Let f = -287 + g. Is f at most 0.9?
False
Let i(s) = -s**2 - 5*s - 4. Let x be i(-1). Suppose -2*z - 5*b + 98 = x, 2*b = 2*z - z - 67. Which is greater: 57 or z?
z
Let s be (-2)/2 - ((-163)/15)/((-651)/155). Let t be -3 + 5 - (-188)/(-42). Let o = t - s. Are o and 2 non-equal?
True
Let f = -34.3 - -184.81. Let n = f + -151. Is -2/7 >= n?
True
Suppose -42*u + 40*u - 57 = -5*h, 9 = 3*h. Is 73 not equal to u?
True
Let b(o) = -4*o**2 - 6*o + 5. Let j be b(4). Suppose -2772 = 67*x + 2291 + 995 - 430. Which is greater: j or x?
j
Let g be (-1)/((2/273)/((-5)/(420/(-144)))). Is -248 less than or equal to g?
True
Let g = 1.724 + -1.524. Let t(n) = 10*n**2 - 5*n - 9. Let j be t(-3). Which is smaller: g or j?
g
Let a = 996 + -675. Let q = a + -2252/7. Which is smaller: q or -2?
-2
Suppose -4*m - 1 = -9. Let a = 0.2018 - -0.0012. Let n = a + 0.067. Which is smaller: m or n?
n
Let y = -29551 + 16814527/569. Which is smaller: -1 or y?
-1
Let j = -50.29 + 49.29. Is 4676 < j?
False
Let y be (4/12)/((-2)/(-114)). Suppose -y*s - 169 = -6*s. Suppose 2*z + 0*z = -t - 31, 0 = -5*z - t - 79. Which is bigger: s or z?
s
Suppose -5*f - 137 = -4*s, -47*f + 45*f - 3*s - 64 = 0. Which is greater: 63 or f?
63
Let b = 12.86 + -13.3. Let c = -78.44 - b. Let s = c - -77.9. Is 23 != s?
True
Let k = 27 - -45. Let r = -71 + k. Let m = 23/4 - 157/28. Which is greater: r or m?
r
Let v be (-44462)/(-390) - 3/(-9). Let x = -574/5 + v. Suppose 0 = -5*j - 8*j + 10*j - 11*j. Which is bigger: x or j?
j
Let b = -13491 - -13491. Are -12/581 and b non-equal?
True
Let h = 6.353 - 5.353. Let x = -4.08 + 4. Let d = x - 0.02. Which is smaller: d or h?
d
Let u be (-2)/10 + (1664753/(-1300) - (-54)/(-234)). Let m be 23062/(-18) - 4/(-18). Let l = u - m. Which is bigger: 1 or l?
1
Let l = -6740 + 6739. Is -1407 at least as big as l?
False
Let k = -30 - -31.5. Let j = 0.1175 - 1.1175. Which is bigger: k or j?
k
Let m = 83 - 92. Let k be (60/(-16) - -4)/(6/m). Let o(s) = -s + 2. Let q be o(2). Is q less than k?
False
Let f = -11.424 + 10.52. Let t = f + 0.904. Let d = -10 - -7.4. Which is smaller: d or t?
d
Let q = 222491/93640 + -12/11705. Let c = 3 + -2. Is q at least as big as c?
True
Suppose -6*v - 399 = 15*v. Let b be 2/(3/3) - (v - -14). Which is smaller: 52 or b?
b
Let w = 2.49 + -0.29. Let k = 9569 - 9569.2. Which is greater: k or w?
w
Let b = 16264 + -16184. Does b = -14?
False
Suppose 28 = 19*p - 15*p. Suppose -2*y = 3*y + 10. Let s = 5 - y. Do p and s have different values?
False
Let f = -221.8 + -2611.2. Which is greater: f or -0.1?
-0.1
Suppose 146 - 14 = -2*i - 2*o, 0 = i + 5*o + 70. Is i <= -66?
False
Let w(b) = 8*b + 95. Let x be w(-20). Let j be 4*4/104 - (-608)/x. Is j < -10?
False
Let m be 4164/(-7140) + ((-52)/(-20) - 2). Let a(c) = -3 - 6 + 0 + 2*c. Let o be a(5). Are o and m non-equal?
True
Let x be 948/(-8)*(9 - ((25 - 9) + -9)). Which is bigger: -300 or x?
x
Let d(n) = -3*n**2. Let l be d(-1). Suppose -9*t + 38 = 263. Let q be t/70*(-110)/(-25). Is l less than q?
True
Suppose 2*i + 2 = 4*q, 271*q = -4*i + 267*q + 8. Which is bigger: 1/13881 or i?
i
Let v be (-1)/(-3) + 0 + 26. Let y be 28 + 20*(-22)/440. Which is greater: y or v?
y
Let j be 114/57*(1 + -2). Let i be -9 - (j - 48/8). Which is smaller: -3/467 or i?
i
Let q(k) = k**3 - 7*k**2 + 14*k - 14. Let w be q(7). Suppose 82 = h + w. Let z be (213/h)/(3/4). Which is smaller: z or -141?
z
Let m be (22 - 16) + 218 + 5*1. Let n = m - 229. Which is bigger: n or 7/89?
7/89
Let v be ((-3)/9)/((-4)/780). Let o(h) = -h**3 + 59*h + 237. Let d be o(-4). Is d >= v?
True
Let w be 38 + 4/(2 - 4). Suppose 5*b + 0*b + 184 = 4*v, 0 = 5*b - 2*v + 192. Let i = b + w. Is i >= -2?
False
Let l = 5311/5 - 31871/30. Suppose 2 + 0 = -y, 0 = -2*j - 3*y + 118. Let t = 309/5 - j. Is t at most as big as l?
True
Let g(w) = w**2 + 12*w + 7. Let p be g(-13). Let j be 2/24 + (-108)/p + 5. Let s = -1/15 - j. Does 8/7 = s?
False
Let m = 70/211 - 28494/83345. Which is greater: -0.1 or m?
m
Suppose -2280 = 58*q - 9182. Which is smaller: q or -10?
-10
Suppose -2*i = 2*t - 28, t - 5*i = 2*t - 6. Let u = -257 - -273. Is u less than or equal to t?
True
Let s = 10819 - 10845. Is s less than 130?
True
Let i be ((-1)/(-27)*-3)/(5/(-90)). Which is greater: i or 18.42?
18.42
Let c = 2202/9503 + 2/559. Let r = 21 - 25. Let v(h) = -h**2 - 3*h + 5. Let x be v(r). Is c smaller than x?
True
Let p(r) = r + 12. Let a(y) = 1. Let z(v) = -3*a(v) + p(v). Let k be z(5). Is k >= 96/7?
True
Let j be 146/(-42) + (-3)/(-1). Suppose -219 + 439 = -2*o + 220. Is j less than o?
True
Let i(m) be the first derivative of -4*m**3/3 - 79*m**2/2 - 47*m - 31. Let j be i(-19). Which is greater: j or 57/5?
57/5
Let n = 240413/144 + -3339/2. Let l = -4201/720 + n. Which is smaller: l or -5?
l
Let g(i) = 8*i**3 + 4*i**2 - 3*i + 5. Let t be g(2). Suppose -2*j + 0*j = -2*k - 42, 4*k = -j - t. Is k greater than -20?
False
Let c = -98 + 59. Let d = c + 38.924. Let h = d - -0.176. Which is greater: h or 2/45?
h
Suppose -136*r + 141*r = 15. Let b be (-13)/(234/12) - (-148)/33. Which is smaller: r or b?
r
Let j be ((0 - -1) + -38)*-1. Suppose 20 = -4*t, 10*t = -3*d + 15*t + 130. Let p = j - d. Which is bigger: p or 3/2?
p
Suppose 7*q - 21 - 42 = 0. Suppose -2*l + q = -5*i, 2*l + l - i - 33 = 0. Suppose l*m + 0*m = -12. Is -2/19 less than m?
False
Let b = 103/46 + -31/46. Is 2 at least b?
True
Let b = -1337.63 - -1391. Let f = 0.63 + b. Let q = -58 + f. Which is smaller: 0.1 or q?
q
Let s = 1/90 + 1/234. Let a(j) = -j**2 - 6*j - 1. Let t be a(-6). Is s greater than t?
True
Suppose -33*y - 266 = 3*k - 38*y, y + 462 = -5*k. Which is bigger: k or -74?
-74
Let q = -55.28834 - -0.02834. Let n = q + 0.26. Let d = n - -54.9. Which is bigger: 8/9 or d?
8/9
Suppose 402 = 11*f + 391. Let v = -145 - -4493/31. Is f < v?
False
Suppose 0 = -y + 5*y + 3*w - 33, -4*w = 20. Suppose -75*l = -72*l - 18. Let b be -3 + 3 + 16 - l. Which is greater: b or y?
y
Let o be (85/(-14) - -2) + 2. Let j = o - -93/28. Suppose -z = -3*r + 14 - 3, -2*z - 18 = -5*r. Which is smaller: z or j?
z
Let u(k) = k - 3*k + 0*k - 83 + 6. Let q be u(15). Is q > -108?
True
Let z = 2/4707 - 287131/9414. Let s(u) = -29*u**3 - 2*u**2 + 11*u - 10. Let w be s(1). Is z less than or equal to w?
True
Let m = -17002.86 + 17085. Are m and -0.2 nonequal?
True
Let h(z) = -z**2 - 10*z + 136. Let m be h(7). Let o = m + -66. Is -47 at most as big as o?
False
Let f = 5961/18445 - 54/155. Is f equal to 1?
False
Suppose 0 = 5*z - u + 96 + 1422, -3*z - 920 = 4*u. Which is smaller: z or -306?
-306
Let h be (-6)/(-1 + 2 - 2). Suppose 224 = -2*v