 4*y + 19242 = 5*v + 4596. Which is smaller: y or -3666?
-3666
Let y = -21 - -20.88. Let t = y - -0.22. Let j = -0.1 + t. Which is smaller: j or 6/7?
j
Let i = 0.3412 - -0.6588. Is -84.22 < i?
True
Let f(u) = 2*u - 1. Let c be f(1). Let r be ((-42)/(-36))/(c/6). Let x be ((-4)/24*-2)/(2/36). Is r bigger than x?
True
Suppose -5*x = z, -4*x + 4*z = -0*z. Suppose -5*l = 4 + 16, 3*l = 4*s + 12. Let b be (-4)/(-6) + (-2)/s*0. Which is smaller: b or x?
x
Suppose 30 = -t - 5*j + 10, 5*j + 20 = 0. Let m be 14/2 - (-109696)/(-3360). Let a = m - -180/7. Which is greater: a or t?
a
Let r = 110/53 + -1703/795. Are r and 1.37 unequal?
True
Let b = -462 + 561. Which is bigger: 1096/11 or b?
1096/11
Let l be 108/(-594) + (-9)/11. Let z be ((12/3790)/3)/(l/(-5)). Is 1 <= z?
False
Let b(k) = -11*k - 198. Let x be b(-18). Suppose c + 11 - 14 = 0, y + c + 424 = x. Which is smaller: -428 or y?
-428
Let g = 1783190/627 - 2844. Is g at most as big as -1?
False
Suppose 2*a - 2*g = 4, 0*a - 2 = -4*a + 2*g. Let o be (-5)/(15/9) - a. Let d be (2/(-8) + 28/(-16))/o. Is d < -2/121?
False
Suppose 7*p + 3*u = 6*p + 21, -3*p + 50 = -4*u. Let h be 2 - (p/(-3))/1 - -1. Let x be 4 + (-31)/(-2)*(-2)/h. Which is smaller: x or 2?
x
Let x = 49 + 32. Suppose -8*w + 17*w = x. Suppose -18 + 9 = w*g. Is -1/7 < g?
False
Suppose -5*w + 3*i + 1 + 69 = 0, -i = w - 6. Suppose 6*r = 35 - w. Suppose -3*d = -4*v - 12, -v - 12 = -r*v - 3*d. Is 0 equal to v?
True
Suppose -3*j - 3*f - 201 = 0, -2*j - 181 = 3*f - 50. Is 1/27 equal to j?
False
Let z = 98.5 - 97. Let u = z - 8.1. Let h = u - -3.6. Which is bigger: -0.1 or h?
-0.1
Let b = 220 + -220.302. Let o = -28.302 - b. Is o at most as big as -1?
True
Suppose 98 = -2*r - 14*v + 12*v, -3*r + 7*v = 87. Which is smaller: r or -2?
r
Let j be 0 - 8484/(-208)*-2. Let c = -163/2 - j. Which is bigger: c or 1?
1
Let c = -249.75 - -259. Let r = -8.81 + c. Which is bigger: -2 or r?
r
Let n = 401 - 404.18. Let o = n - -3.04. Which is greater: o or 0.02?
0.02
Let j be (-3 - 1) + (3 - -89). Let f(l) = 7*l**2 + 3*l - 1. Let n be f(4). Let o = j - n. Is -35 smaller than o?
False
Let l be (1 - -3 - 1038/10)*(-500)/(-300). Which is smaller: l or -165?
l
Let v(d) = -3*d + 17. Let w be v(6). Let t be ((-13247)/195)/(1*w/21). Let q = t - 1431. Which is greater: -2/7 or q?
-2/7
Let y be (-1 + 0)*1/(-10)*-10. Let q be (-88)/(-12) - (-1 + -1 - y). Does q = 8?
False
Let r = 35 - 42. Let w be (12672/77)/(-9) - -10. Is r less than w?
False
Let s = -12 - -9.6. Let z = -2.61 - s. Let d be 2 + (8 - 13) - -2. Is d greater than or equal to z?
False
Let o = -37214 + 37207. Do o and -24.2 have different values?
True
Let c = -7644 + 7671. Is c less than -28?
False
Let v be 3832/(-48) + (-3)/18. Let k be ((-1)/((-2)/v))/((-4)/(-6)). Is k < -60?
False
Let t be ((-340)/850)/((-112)/110). Which is bigger: -1 or t?
t
Suppose -b + 3*s - 1146 = 2444, 3*b - s = -10810. Let d be 2 + ((-65016)/b)/(-9). Which is greater: 1 or d?
1
Let b(x) = -4*x + 54. Let q be b(13). Suppose -4*w = -4, 5*p + 73 = q*w - 219. Is -56 >= p?
True
Let x = 384 + -367. Which is smaller: -5 or x?
-5
Let y = -1.559 + 2.459. Is 89 <= y?
False
Let o be (95/38)/((-2)/14)*(13 - 11). Let m = 11 + -51. Which is bigger: o or m?
o
Let t = -270.73 - -271.15. Is 1/26 >= t?
False
Let b be 4*5/30 + 10695/(-315). Which is smaller: b or -32?
b
Let l = 17868 - 87937/5. Let y = l + -281. Let s(b) = -2*b + 1. Let x be s(1). Which is smaller: x or y?
x
Let n be (-4)/(-1) - 4 - -15. Let g(l) = 19*l - 101. Let q be g(6). Which is smaller: q or n?
q
Let a = -15665 + 15664. Let x(m) = m**2 - 8*m + 7. Let g be x(7). Suppose 5*q + g*k = -3*k - 11, -3*q - 15 = -k. Is a > q?
True
Let y = 1450/27 + -55/27. Let g = -54 + y. Is 1/4 equal to g?
False
Suppose -16*t = -13*t + 1998. Let c = -966 - t. Which is bigger: c or -299?
-299
Let z = 52 - 42. Let m be -4 + -46*(-15)/z. Let o = 3/32 + 5/32. Is m less than o?
False
Let v = 1.026 - 0.96. Are 4 and v equal?
False
Let u be 2 + 64 + -4 + 2. Let p = 745867/11700 + 2/2925. Let o = p - u. Is o greater than 16?
False
Suppose 4 + 1868 = -36*f. Let u = -26 - 24. Which is bigger: f or u?
u
Let t = -94.21 - 1.79. Let a = t - -38.5. Let f = 8.5 + a. Does 1/4 = f?
False
Let z = 32527/9 - 3631. Suppose 2*o + 48 = -o. Which is greater: z or o?
o
Let g = -107 - -70. Let j = -37.3 - g. Suppose -12*y - 6 - 6 = 0. Which is smaller: y or j?
y
Let h = 836 - 466. Let x = h + -247. Let c = x - 99. Is c > 24?
False
Let g be 392/(-22) - (-8)/(-44). Let y(i) = 26*i - 28. Let q(m) = 18*m - 19. Let z(p) = 7*q(p) - 5*y(p). Let h be z(6). Which is greater: g or h?
h
Let a be (0 + (-3)/9)*0. Suppose a = w + 4 - 5. Let s be 385/(-1650)*(-5)/42. Is w < s?
False
Let x be 2216*((-3 - 0) + 3162/870). Let s = x + -1406. Let q = 11 - 11.1. Is q at most s?
True
Suppose 2*c = -2*c + 116. Suppose 17*z + 169 = -35. Let f(n) = n**3 + 12*n**2 + 27. Let r be f(z). Which is greater: r or c?
c
Suppose -47 = -3*u + 13. Let g be ((-16)/u)/((-6)/45*3). Suppose r - 1 = 2*i - 0*i, 14 = g*r - i. Which is greater: r or 8?
r
Suppose -132*b - 69*b = -4824. Is 34 at most b?
False
Suppose 0 = 4*s - s + 3. Let z = s + 0. Let h = 84030 + -924340/11. Is h at least as big as z?
True
Let c be 3 + ((-1)/2)/((-2)/4). Suppose 90*s + c = 88*s. Is 6 at least s?
True
Let k(p) = 2*p**2 + 12*p - 18. Let t be k(-9). Suppose -60 = -5*c - 5*s, -c - 2*c = 5*s - t. Let d be -7*(4/(-4) - 1). Are c and d unequal?
True
Let o(i) = 6*i + 6. Let j be o(0). Suppose 9*w = j*w + 1053. Suppose 2*a + 0*a + 2*t = -132, 2*t - w = 5*a. Which is greater: -68 or a?
-68
Let x be -2 - 93 - (12 + -12). Let h be 9/((-84)/77 + 7 + -6). Are h and x unequal?
True
Let t(a) = -39*a - 4. Let z be t(-4). Suppose 4*i + c + 138 = -2*c, 4*i = 4*c - z. Let d = -13 + -21. Is d at least i?
True
Let k = 526 + -342. Let m be (7/(28/k))/((-1)/(-34)). Let a be -3*1*1 + 4738/m. Which is smaller: a or 1?
a
Let w = -132.7 + 4.7. Let r = 116.2 + w. Let i = -9.8 - r. Is i <= -6?
False
Suppose 4*y + 1542 - 158 = -169*y. Which is smaller: -131 or y?
-131
Let d be (2/(-10))/((-2)/12). Suppose 0*s = 4*m + 3*s - 20, 3*m + s - 10 = 0. Let f be (0/m - 0/(-2))/3. Is f >= d?
False
Suppose 5*n = 4*w + 659, 5*n - 10*n + 679 = w. Let h = -103 + 239. Which is smaller: h or n?
n
Let l = 563.96659 + 0.03341. Is -11 less than or equal to l?
True
Let g be (2 + (4 - 3))/(128/1920). Which is bigger: g or -124?
g
Let b = -139.14 + 0.21. Let l = -139 - b. Is l at least -20?
True
Let f(a) = -13*a**2 - 17*a + 24. Let u(o) = 3*o**2 + 4*o - 6. Let y(c) = -2*f(c) - 9*u(c). Let r be y(-3). Suppose -10 = 5*x - r*x, x + 41 = 3*j. Does j = 15?
False
Let p = -8905.89407 - -8906. Which is greater: p or 0?
p
Let i be (-5 + 3 - -50) + 1 - 0. Suppose -6*z + 5 = -i. Suppose 0 = z*t - 5*t - 124. Which is bigger: 32 or t?
32
Let g(o) = -19*o - 55. Suppose 3*s = 14 + 4. Let l(j) = 9*j + 28. Let q(c) = s*g(c) + 13*l(c). Let w be q(-11). Do w and 0.1 have different values?
True
Let m(v) = v**3 - 5*v**2 + 4*v + 4. Let l be m(4). Let n be 58 + (2 - 5) + l. Let o = n - 58. Which is greater: 3/19 or o?
o
Let y be ((-2)/(-5))/(((-5)/25)/((-6)/(-12))). Does 422 = y?
False
Suppose 6 = 2*w - 10*v + 7*v, -4*w - 5*v = 32. Let d be (-244)/8 - w/(-2). Is -31 greater than d?
True
Suppose 124*g = 192*g - 77656. Is 1142 bigger than g?
False
Let y be (-140)/40*2/28*4. Is y > 8/919?
False
Let l(n) = n**3 + 11*n**2 + 17*n - 13. Let c be l(-9). Let k(u) = 3*u**2 + 6*u. Let q be k(c). Let w be (-4)/q + 2 + 1. Which is bigger: w or 2?
w
Suppose 2*f = -4*t + 132 - 2, 2*f - 40 = -t. Suppose t = 7*k + 107. Is 1 at most k?
False
Let s be (-1 - -1)/(24 - 27). Suppose 3*m + 9 = s, j = 5*m - 4*m + 2. Is 3/236 at least j?
True
Let d(t) = t**2 + 14*t + 26. Let c = 101 + -116. Let r be d(c). Which is greater: r or 38?
r
Let c be 196/6 + (-4)/6. Let x be 40/c*2/(-5)*12. Which is bigger: -50/11 or x?
-50/11
Let h = 19704 - 19748. Which is smaller: -39 or h?
h
Suppose 3*p + 4*n - 16 = -3, -n = -5*p + 14. Let z = -3 + 3.14. Is z <= p?
True
Let d = 67 - 66. Let x be (d/(-10))/(6 - (-28)/(-5)). Which is smaller: x or -1/184?
x
Let h = 109964/4397159 - 6/10751. Which is smaller: 1 or h?
h
Let a(k) = k**3 - k**2 - 16*k - 8. Let g be a(7). Suppose -5*b = -2*b - g. Let u = b + -67. Ar