Which is smaller: -2/11 or v?
-2/11
Suppose 3*l + 2*p = -3*p + 11, -p = 2*l - 5. Let o be (l/(-3))/(672/(-1323)). Are 2 and o non-equal?
True
Let i = -1220.8 - -1354. Let k = -133 + i. Which is bigger: k or -23?
k
Let q = 35 + -17. Let o be (q/12)/(1 - 43/46). Which is smaller: o or 3?
3
Let d = -2/2793 - -2801/11172. Which is smaller: d or 8174?
d
Let k be 1/(-5)*(-27)/(10881/(-65)). Which is bigger: 0 or k?
0
Let j = 74 + -119. Let k be (4/10)/(4 - (-252)/j). Which is smaller: k or 1.74?
k
Let q(y) = -4*y**3 + 2*y**2 + 29*y - 30. Let b be q(1). Which is smaller: b or -61?
-61
Suppose 0 = 64*x - 196*x + 1056. Suppose -6*q + 4*q = -364. Let m be 0/1 - 7/(q/x). Is 1 < m?
False
Let u = -264 - -302. Suppose 13*y + u = 103. Which is greater: y or 3?
y
Let u be (4/126)/((-5256)/(-108)). Which is smaller: 0.1 or u?
u
Let u = -24 + 6. Suppose 38*v = 30*v + 8. Let g be (v/88)/(u/(-8) + -3). Which is smaller: g or -1?
-1
Let t be ((-89)/8 + 10)/3. Which is smaller: t or 20?
t
Let m(j) = j**3 - 37*j**2 - 30*j + 1110. Let l be m(37). Which is bigger: -1.659 or l?
l
Let j = -254.7 + 231.48. Let b = j + 0.22. Let f = -24 - b. Is 0.13 bigger than f?
True
Suppose -5*m = 5, -5*q + m = -3*m - 9. Let w be q/(-20)*-4 - 3222/(-40). Let u = w - 80. Is 2 equal to u?
False
Let d be (12 - 1) + 784023/(-71247). Is -1 smaller than d?
True
Let y(u) = -7*u**3 + 43*u**2 - 2*u - 24. Let v be y(6). Which is smaller: -7/582 or v?
-7/582
Suppose -3*y + 8*y - 10 = 0. Suppose -y*b - b = 0. Suppose 27*v - 24*v - 15 = b. Do v and 22/5 have the same value?
False
Let m = 6830 + -5838. Are 0 and m unequal?
True
Let g(p) = -91 - 5*p**2 + 14*p**2 - 10*p**2 - 22*p. Let l be g(-6). Is l < 49?
True
Suppose -8 - 10 = -5*k - 13. Which is greater: 11/24 or k?
k
Let b be ((-16)/12*-6)/(-2). Let r be (-32)/(-30) - b/(8/(-2)). Let n be (-4)/(-18) - (4/18 + 0). Do r and n have the same value?
False
Let a = 1053 + -1053. Let q = 80385/58 + -1386. Which is greater: q or a?
a
Let d be -9 + (-1231)/(10 - 11). Is d not equal to 1220?
True
Suppose 134*p - 136*p = r + 12, -p = 5*r - 3. Is p < -121/20?
True
Let z = 0.1465 - 0.2665. Is z < -123?
False
Let b(p) = 8*p**3 - p**2. Let n be b(1). Let c be 18/(-4) + n + (-2 - 3). Let z = 0.1 - -0.9. Is z < c?
False
Let h = -686 - -454. Let x = -231 - h. Is x > -3/14?
True
Let s = 0.05 - -6.95. Let b = -1292 - -1299.07. Let r = s - b. Which is smaller: 4 or r?
r
Suppose 2301 + 15 = 12*c. Suppose 0 = -6*x - 193 + c. Is x smaller than -4/3?
False
Let n(f) = 993*f + 269. Let k be n(-1). Do k and -5073/7 have the same value?
False
Suppose 13*y - z = 18*y - 234, 108 = 2*y + 4*z. Suppose y + 159 = 5*h. Is 41 less than or equal to h?
True
Let i = -8 + 10. Suppose 0 = l - 0*t + 3*t + i, 4*l + 3*t = 19. Let q be (18 - (-21 + 41)) + 8/1. Does l = q?
False
Suppose -4*a = -3*n - 30042, -12469 = -3*a + 4*n + 10052. Are a and 7514 unequal?
True
Let o = 11/500 - 4991/90500. Which is bigger: o or 0.08?
0.08
Let n(j) = 10*j**3 - 2*j**2 + j + 1. Let x be n(1). Suppose -88 = 8*i - x*i. Let u be (3 + i/(-15))*39. Which is smaller: u or 3?
u
Suppose 5*g = -14*a + 12*a - 2120, a + 1061 = -2*g. Let q be ((-5)/a)/(1/(-9)). Which is smaller: q or 1?
q
Let u be (-4782*(-14)/504)/(754/(-18)). Let v = u + 41/13. Is v > 0?
False
Suppose -2*d - 1667*v + 992 = -1671*v, -d - 3*v + 501 = 0. Is 485 at most as big as d?
True
Suppose 190 - 476 = 2*j. Let w = 251 + j. Suppose -o + w + 39 = 4*n, -2*o - 66 = -2*n. Is 35 >= n?
False
Let a be 590/(-98) - 100/(-20) - -5. Which is bigger: a or 3?
a
Suppose 1107 = 5*n - 2*r + 2358, 3*n = 4*r - 745. Which is greater: n or -252?
n
Let r be ((-120)/315450)/(2/3). Which is bigger: 0 or r?
0
Let h = -38 - -37. Suppose 3108 = -11*k + 391. Which is smaller: h or k?
k
Suppose 4*w = -t + 24, -4*t - w + 82 = 16. Suppose 12 = 4*b - 2*o, -2*b + 14 - 4 = -2*o. Let v be 1/b*(-28)/t. Is -2 at most as big as v?
True
Let r be -225*(6/15)/(18/(-30)). Is 28 smaller than r?
True
Let z = -0.134 - 27.866. Let f = -26 - z. Do 0.3 and f have different values?
True
Let k be -1*(2 + 2)*1. Let n(p) = -27*p - 87. Let y be n(-5). Let j be 102/(-8)*y/(-36). Which is greater: j or k?
j
Suppose -23514 + 26702 = -797*f. Let j(a) = 18*a. Let s be j(-4). Is f at most s?
False
Suppose 5*b - 200 = -5*k, 5*b = 2*k - 84 - 31. Let a be ((-94)/10)/(-11*16/880). Which is greater: k or a?
a
Suppose 0 = 7*d + 32 - 88. Let c be (-1695)/(-50)*d/12*1. Which is smaller: 24 or c?
c
Suppose -3*s + 43 = 46. Let q be 0 - 0 - (-7 + (s - -7)). Which is smaller: q or -20?
-20
Suppose 0 = 25*i - 2246 - 354. Let d = i + -116. Let z = -20 - -8. Is d > z?
False
Let w = 0.06 + -0.402. Let b = -30.658 + w. Is -2/7 at most b?
False
Let w be 89036/(-84)*-1 - 4/(-9 + -3). Which is greater: 1060 or w?
w
Suppose 0*z = 4*z + 48. Let u be (11 - (-91)/(-21))/(28/(-42)). Which is smaller: z or u?
z
Let i(p) = p**3 + 35*p**2 - 4*p - 96. Suppose 24*z + 1333 = 493. Let l be i(z). Is l bigger than 218/5?
True
Suppose 9*z - 14*z + 3*u + 12071 = 0, 2*z + 2*u = 4822. Is z at most as big as -0.2?
False
Suppose 0*g - 40*g = 39*g + 474. Which is smaller: g or 5?
g
Let d = 30 - 26. Let f be ((-14)/d)/(1/6). Which is bigger: f or -112/5?
f
Let d = 2181 + -2188. Is -19 at least as big as d?
False
Let q(p) = 5*p - 197. Let k be q(41). Let r = 63 + k. Is r not equal to 71?
False
Let j be ((-2)/990)/((-48)/(-14328)) - 0. Let p = -47/22 - j. Which is greater: -3 or p?
p
Let a be (90/(-20))/(9/(-6)). Suppose -7 = i - 15. Suppose 5*v - a = -i. Which is bigger: v or -2?
v
Let f be 20063 - 176/(-28 - -20). Is f greater than or equal to 20084?
True
Let t be 28/(-10) - 46/230. Which is smaller: -375 or t?
-375
Let h be ((-234558)/36)/(1/(-5)*(-100)/40). Are -13032 and h nonequal?
True
Let k = 94 + -92. Let i(o) = 19*o - 20. Let w be i(k). Let d be 1/(-7) - (-16 + w). Is d at most as big as -1?
True
Let l = -35486 - -5713240/161. Is l at least 0.08?
False
Let q(t) = 6*t + 135. Suppose 0*o = -11*o - 154. Let k be q(o). Which is greater: 101/2 or k?
k
Let z = 4531 - 4265. Is 268 bigger than z?
True
Let r(m) = m**2 + 2*m + 1. Let y be r(-2). Suppose -h + 5*k + 12 = 0, 4*h - y + 53 = -5*k. Let u(j) = -3*j - 24. Let o be u(h). Is o at least as big as -5/33?
True
Let u = -0.1 + 6.1. Let s = -21 + 84. Let n = s - 61. Which is bigger: n or u?
u
Let r be (-6)/8 + (9/12 - 0). Is r equal to -10/351?
False
Let d = 1034 - 2069/2. Which is smaller: d or -222?
-222
Let b be 136/442*(-13)/(-2). Let n be ((-8)/20)/((-522)/(-260) - b). Is n > -56?
True
Let w(p) = -2*p**3 - 2*p**2 - 3*p - 4. Let m be w(-2). Let x be (-4)/m*(-420)/(-72). Which is greater: -1 or x?
-1
Suppose -z - 10 = z - 3*r, 0 = -z - r + 5. Let g be (0 - -6) + -4 + (111 - 1). Suppose 4*t + 171 = -0*t - 3*f, 3*t = f - g. Are t and z nonequal?
True
Let f be 2/(4*(-1)/(-12)). Let d = -163 + 171. Let q be 44/d - 2 - (-5)/(-10). Which is smaller: q or f?
q
Let q = -7.359 - -7.379. Is q less than -24.1?
False
Let k = -354 - -352. Let p = 12 - 20. Let s = -11 - p. Do k and s have different values?
True
Let p = -225 + 252. Suppose 8*t + 1147 = p. Which is bigger: -139 or t?
-139
Let a(t) = -2*t**2 - 49*t + 27. Let g be a(4). Let w be ((-10)/8)/((-15)/6). Which is greater: w or g?
w
Suppose 5*g + 0*g - 25 = -5*m, -19 = -3*m - 5*g. Suppose -m*x = -6*x + 3*z + 21, 4*z + 21 = 3*x. Is x less than 1/7?
False
Let n = -122 - -165. Suppose 46*k = n*k + 51. Suppose 85 = 3*c + 2*c. Is k not equal to c?
False
Let w be (4/(-12))/(7/(-6)). Let y = -5.2 - -0.3. Let o = y - -18.9. Which is bigger: w or o?
o
Suppose -10 = -5*a, 3*d = -0*d - a + 5. Let m be ((-20)/(-5) - -2)*(-7)/(-3). Let h be 2/(-132) + m/(-84). Which is greater: h or d?
d
Suppose -103*k = -924 - 2018 + 470. Which is bigger: 7 or k?
k
Suppose -3*o + 9*s = 5*s + 3064, -2*o - 3*s = 2071. Let m = o + 393. Is -636 less than or equal to m?
True
Let q = 2489 - -1119. Is 3608 >= q?
True
Let h = -137/10 - -113/10. Suppose 1824 = -222*b + 228*b. Suppose 301*f = b*f + 9. Is h at least as big as f?
True
Let l(f) = 2*f**3 + 37*f**2 + 77*f - 50. Let u be l(-16). Suppose c = -y - y - 9, 5*c = -y - 9. Which is smaller: u or c?
u
Suppose -123272*j + 123287*j - 15 = 0. Is j <= -10/2053?
False
Let i = -3633 - -3649. Do i and 19/3 have the same value?
False
Let t = 3