 -42.28 - -44.8. Which is smaller: v or 0?
0
Suppose -5*y = -3*k, 0 = -k + 2*y - 0*y. Let f be -2 + 351/204 - 6/(-24). Is k at most f?
False
Let u(i) = -i - 4*i**2 - 15 + 4*i**2 + i**2 + 2*i. Let d be u(-7). Is d less than 26?
False
Suppose 0 = -5*n + 5*r + 435 + 1375, 0 = n + 4*r - 387. Which is smaller: n or 370?
n
Let u(s) = s**2 + s - 3*s - 2*s**2 + 2 + 3*s. Let t be u(-1). Which is greater: -9 or t?
t
Let w(h) = -h**2 - 4*h - 8. Let t(k) = -5*k**2 - 19*k - 41. Let l(j) = -2*t(j) + 11*w(j). Let f be l(-5). Which is smaller: -3/7 or f?
f
Suppose -2*i = -3*s, -1 + 4 = i. Suppose -j = -2*v - 11, -2*j = 4*v - 4 - s. Suppose -2*g + 3*r - j = 11, -4*r + 16 = 0. Is g >= -13/3?
True
Let y(t) = t + 2. Let d be y(14). Let x be d/(-144) + (-1)/(-3). Are -7 and x nonequal?
True
Let y = 4.03 - 4.2. Is y not equal to 9?
True
Let v = 6154/299 - 438/23. Suppose 2*g - 5*g + 1 = 2*y, 3 = 3*y + 3*g. Is y greater than or equal to v?
True
Let d(t) = t**3 - 25*t**2 - t - 48. Let c be d(25). Is -73 less than or equal to c?
True
Let f be 2/10*-1 - 1. Let j(z) = z**3 - 5*z**2 + 4*z - 3. Let l be j(4). Let y = l - -2. Which is greater: y or f?
y
Let q = -4.6 - -3.6. Let s = 0.06 + 0.24. Let d = 0.8 - s. Which is smaller: q or d?
q
Let o = -39 - -38.26. Let b = o - 0.26. Which is greater: -6 or b?
b
Let z(i) = 9*i + 24. Let l be z(-5). Let p = 0 + l. Is p at least -22?
True
Let s(p) = 26*p + 5. Let y be s(0). Is y < 1/41?
False
Let i be ((-12)/6)/(6/87). Let j = 26 + i. Is -3 <= j?
True
Let x be -3 - -3 - 164/(-1080). Let d = -429433/135 - -3181. Let q = x + d. Is 0 >= q?
False
Suppose 140 = -2*g - 2*g + 4*v, 0 = -2*g - v - 64. Which is smaller: -8 or g?
g
Let w be (-1)/((-33)/1083) - (-78)/429. Is w < 24?
False
Let p be 10*(-36)/(-945) - 2/(-7). Suppose -2*b + 12 = 4*x + 3*b, b = 2*x - 6. Suppose -5*m = -2*l - 15, 4*l - 6 = -x*m + m. Is l greater than or equal to p?
False
Let t be (-1)/1 + (-6)/(-8). Let r be 17/((-476)/1128) + 2/7. Let o = r - -55. Are o and t nonequal?
True
Let x be (-38)/152 + 3/(132/7). Let m = 1 - 1. Is x >= m?
False
Let x = -68 - -95. Let k = 39 - x. Let r = 12 - k. Is r at least 5?
False
Suppose -f + 3*t = -11 + 7, 0 = -4*f + 3*t + 7. Is 63 at most f?
False
Let w(j) = j**3 + 19*j**2 + j + 27. Let t be w(-19). Suppose 0 = -t*o + 5*o - 12. Suppose -5*h - 32 = -3*m, -5*m + 0*m = -20. Is h at least as big as o?
True
Let d(m) = -m**3 - 5*m**2 + 5*m + 1. Let k be 252/10 + (-5)/25. Suppose -5*g - 7 + 38 = -s, 0 = -5*g + k. Let r be d(s). Which is bigger: r or 8?
8
Let g be (1 - -17)/((-6)/(-4)). Let d = -8 + g. Suppose -4*i + 12 = 4*f, -f + d*f = 5*i - 31. Which is greater: f or 1?
1
Let j = 26/213 - 763/9159. Which is bigger: 0 or j?
j
Suppose 4*y + 20*o - 8 = 15*o, -y - 4*o + 13 = 0. Is y at most as big as 72?
True
Let d be 4/34 + 5250/(-1275). Let o = 2 + -8. Which is bigger: o or d?
d
Let y = -0.07 - -1.57. Is 31 smaller than y?
False
Suppose 5*t - 2*f = f + 6, f = -3*t - 2. Suppose 0*c + 4*c + 92 = -4*q, t = -c - 4*q - 26. Which is smaller: c or -23?
-23
Let h = 0.417 - 2.907. Let a = 0.58 + h. Let g = 0.09 - a. Is -2/7 greater than g?
False
Let d be (-642)/171 + -1 + 0. Let r = d - -8/19. Suppose -16*j - 120 = 8*j. Which is smaller: j or r?
j
Let p be (-172888)/46543 + 26/(-91) + 4. Is 1 bigger than p?
True
Let v be (-3 + 0)/(-6) - 3/6. Suppose 8 = j - v. Is 10 <= j?
False
Let z = 0.8 + 9.2. Let u = -1 - z. Which is smaller: 0 or u?
u
Let t = 0.023 - 0.098. Let q = -1.075 - t. Are 15/7 and q equal?
False
Let q(w) = -w**2 - 13*w + 10. Let m be q(-14). Let y be 26/(-8) - ((-1)/(-1))/m. Which is greater: -5 or y?
y
Let p = 32615023/17 - 1917982. Let l be (-5)/(-2)*(-8784)/(-40). Let o = p - l. Is 1 greater than or equal to o?
True
Suppose 2*x - 5*y + 17 = 0, 3*x + 16 + 7 = 5*y. Let j be 1 - 9 - (104 + -110). Do j and x have different values?
True
Let r(a) be the second derivative of -a**5/20 - a**4/4 - a**3/3 + 2*a**2 + a. Let w be r(-4). Suppose -t - w = -5*t + 5*q, 2*q = 2*t - 16. Are t and 13 unequal?
True
Let z(h) = -47*h - 483. Let q be z(-10). Do q and -174/13 have the same value?
False
Let s be (-3363)/(-475) - 4/50. Do s and -1 have the same value?
False
Let c be -6*2/(-4) - -17. Let u = -7 + c. Let o be 4*3 + 1*2. Which is bigger: u or o?
o
Let u be (-1501)/57 - (-2)/(-3). Let k = 28 + u. Let o = 6 - 4. Is o less than k?
False
Let l be (-3 - (4 + -1))*-3. Suppose -4 = -11*j + l. Is -0.3 less than or equal to j?
True
Let o = 0.535 + 1.465. Which is greater: 38 or o?
38
Suppose -2*d = 2*o + 146 + 60, 4*d = 3*o - 377. Is d >= -97?
False
Let y = -76.08 + 76. Let r = y - 0.02. Is -119 at most r?
True
Suppose 0 = -25*p + 15*p + 1010. Is 100 less than p?
True
Let d(p) = p**2 - 8*p + 10. Let g be d(8). Let w(k) = 3*k - 31. Let a be w(g). Do -1/11 and a have the same value?
False
Let u be 4/6 + 16/(-6). Let k be (-2)/4 - (-35)/u. Which is smaller: k or -19?
-19
Let n = -1.455 - 42.545. Let a = 1.3 - 0.3. Which is bigger: a or n?
a
Let v = -2.7 + 1.8. Let z = -5.8 - v. Let i = 5 + z. Is -8 bigger than i?
False
Let u(k) = k**2 + 7*k + 7. Let f be u(-8). Let h be 22 - f - (-1 - 1). Let b be 0/(-2) + 36/h. Is b less than 5?
True
Let z be 509/540 - (-2)/(-8). Let j be 2/(-8) + -1 + (-125)/(-108). Let h = z + j. Are h and 2 equal?
False
Suppose -13 = x - 4*p + 5, 21 = -3*x + p. Let o be x/345*(-10)/(-14). Do o and 1 have the same value?
False
Suppose -3*y + 0*s + 30 = 5*s, -5*y + 3*s = -16. Suppose 9*f = -y*f - 1106. Which is greater: -78 or f?
-78
Let r be -1 + 1 + -2 - -1. Let l be (1 + -3)*3/315. Which is smaller: l or r?
r
Let n = -216/13 + 22222/1339. Suppose -19 = 3*k - 22. Which is bigger: k or n?
k
Let j be 144/9*29 - 4. Which is greater: j or 459?
j
Let s = -20/63 - -2/21. Suppose -p - 1 = -2. Which is bigger: p or s?
p
Let j be -1*4 + 671/(-16 + 5). Do j and -69 have different values?
True
Let c = -14 + 31. Let w = 16 - c. Is w smaller than -5?
False
Let g(t) = 4*t**2 + 17*t - 36. Let o(k) = 5*k**2 + 18*k - 36. Let n(p) = 6*g(p) - 5*o(p). Let u be n(10). Does -13 = u?
False
Let m be ((-192)/(-2) + -18)*1/(-2). Which is greater: m or -41?
m
Let h = 0.791 - 0.75. Let i = h + 22.959. Which is smaller: i or -1?
-1
Let j = -0.78 + 0.68. Which is smaller: j or -0.03?
j
Suppose 4*p - 984 = -5*c, 4*p = 4*c + 508 + 476. Do 247 and p have the same value?
False
Let p(j) = j**2 + 10*j - 8. Let k be p(-14). Let m = -55 + k. Is m <= -6?
True
Let z be ((-26)/5)/2 - 16/40. Let h = 1 + -4. Let c be (-2)/h + 34/(-6). Which is bigger: z or c?
z
Let h = 191 + -5156/27. Suppose -7*i = -4*f - 4*i + 4, 0 = -2*f - 4*i + 2. Which is smaller: f or h?
h
Let n(y) = y**3 - 2*y**2 - 3*y + 3. Let t be n(2). Suppose -2*d = -16 + 10. Suppose 4*s + 5 = -d. Which is greater: s or t?
s
Suppose 0 = -3*b + 12 - 6. Let x be b + 0/(-2) + -3. Which is smaller: x or 3/10?
x
Let t = 27 + -21. Suppose -v + 31 = 5*i, 2*i - 3*v - t - 3 = 0. Let q be ((-4)/i)/((-3)/27). Is 6 equal to q?
True
Let a(h) = -5*h + 20. Let o(g) = 6*g - 19. Let r(n) = 4*a(n) + 3*o(n). Let f be r(0). Let w = 58 - 35. Is f at most as big as w?
True
Suppose -390 = -18*j + 23*j - 5*y, -388 = 5*j - 4*y. Which is bigger: -73 or j?
-73
Let s be (3/(-12))/(2/6). Suppose 0*x - 39 = 3*x. Let g = x + 12. Is s smaller than g?
False
Let h = 12.2 - -5.3. Let p = 17.7 - h. Let g be ((-1 - 1)*1)/9. Is g >= p?
False
Let v = 204 - 218. Which is smaller: v or 2?
v
Suppose -a + 12 = 9. Suppose -a*l = 5 - 8. Is l at least as big as 1/29?
True
Let r = -10/9 + 4/9. Suppose 0 = -4*f - 2*j + 13 - 71, 4*f + 53 = -j. Let q = f + 12. Do q and r have different values?
True
Let t = -325619/311 - -1047. Which is smaller: t or 1?
t
Let a = 204 + -203.97. Which is bigger: 7 or a?
7
Let p be -2 + 1302/13 + 56/(-364). Suppose -3*c + 253 + 33 = -5*m, -289 = -3*c + 2*m. Do p and c have the same value?
False
Let j = 88.4 + -89.4. Which is smaller: -1.2 or j?
-1.2
Suppose -1 + 5 = 3*n - 4*a, 8 = 4*a. Suppose -9*u = -n*u + 55. Is u greater than -21/2?
False
Let y = -49 - -40. Let p = -81.1 - -81. Is y < p?
True
Suppose z - 3*z - 26 = 0. Suppose 0 = -31*j + 26*j - 70. Is z <= j?
False
Let i be -9 - (0 + (0 - 3)). Let r be -20 + (-4)/i*6. Let u = -11 - r. Is 0 < u?
True
Let d = -57 + 51. Let j = 0 + -5. Which is bigger: j or d?
j
Let w = -825 - -8