 l = -31544155/22 - -1434147. Let u = -645/2 + l. Which is smaller: u or 0?
u
Let f be (-10)/(-8)*(-22)/275. Is f bigger than 6?
False
Suppose s - 2*s = 5*h - 22, 2 = 5*s - 2*h. Which is bigger: -1 or s?
s
Let c = 5 + -5.02. Let g = c + -0.18. Let l = 0.1 + 0.9. Is l > g?
True
Let m = 210/13 + -2557/143. Which is smaller: -1 or m?
m
Let i(j) = j**3 + 18*j**2 + 13*j - 7. Let w be i(-17). Suppose 0*s + w = u + s, 69 = u - s. Let y = 457/7 - u. Is -1/2 <= y?
True
Let z = 7.19 - 7.09. Which is smaller: z or -0.0616?
-0.0616
Let z be ((-3)/339)/(25/(-20)*-4). Which is greater: 0 or z?
0
Let v be ((7 - -4)/(-11))/(-2 + 1). Is -2/71 greater than or equal to v?
False
Let h(q) = q**3 - 5*q**2 + q - 1. Let v(y) = -6*y - 1. Let w be v(-1). Let o be h(w). Let p(n) = -n**2 - 18*n - 75. Let a be p(-10). Which is bigger: o or a?
a
Suppose 2299 = 24*b + 163. Does b = 91?
False
Let j be 1*13/(-3)*-3. Let o be -4 - (-213)/15 - (-92)/115. Which is bigger: j or o?
j
Let b(d) = -1 + 10 + 0 + 2*d. Let k(i) = -3*i - 41. Let p be k(-12). Let w be b(p). Is -2 bigger than w?
False
Suppose -5*c - 26 = 4*y + 18, -44 = 4*y - c. Let u = y - -11. Suppose u = 3*h + 2*h + 35. Which is bigger: h or -5?
-5
Let w = 9 + -4. Suppose -3*l + 10 = -b, 6*l - w*b = l + 10. Suppose -8 - 6 = 6*d - 8. Which is smaller: d or l?
d
Let q = -61 - -46. Which is smaller: q or -2?
q
Let r(f) = f**2 + 21*f + 154. Let l be r(-16). Suppose -4*b - 3*x = -86 - 200, 2 = -x. Which is smaller: b or l?
b
Let r(p) = 10 + 2*p**2 - 8*p - p**2 - 6*p. Let j be r(13). Let k be -12 - j - (-1 - 2). Which is greater: -0.1 or k?
-0.1
Suppose 0 = -5*r + 3*v + 178, -2*v = 4 - 2. Let g be 7/r - 0 - (-1)/(-2). Is g at least as big as 2/7?
False
Let b = 3117/518 - 85/14. Suppose -2*x - 4*a - 2 = -0*x, 3*x - 2*a + 11 = 0. Let q be (-6)/4*(-2)/x. Is b < q?
False
Let s be (-16)/(-12) + (-4 - 44/(-12)). Let w = 1/215 - 1319/6235. Which is greater: s or w?
s
Suppose -4*i - 5*m = i + 110, -i = -m + 26. Let l(z) = -z**2 - 3*z + 4. Let u be l(-7). Is i at most u?
True
Let f(d) = 2*d - 4. Let t be f(5). Suppose t*x - 7*x - 1 = 0. Let r = -818/51 + 16. Is r equal to x?
False
Let g = 35 - 31. Suppose -b = k - 0*k - 3, 3*b = g*k + 16. Which is smaller: k or 9?
k
Let h(y) = y**3 + 18*y**2 - 3*y - 70. Let u be h(-18). Which is smaller: -133/9 or u?
u
Let g = 128 - 126. Suppose 3*f = -1 + 16. Suppose -4*w = 4*s - 16, 3*w + f = g*s + 4*w. Which is greater: s or -2/5?
s
Let r = -0.02 - -0.12. Let q = 0.04 + r. Let p = 5.86 + q. Which is bigger: -1 or p?
p
Let r be (-320)/(-198) + 840/(-540). Let t be 2*-1*-1 - 2. Is t bigger than r?
False
Let s = 2258 - 2269. Which is smaller: -81 or s?
-81
Let u = -481 - -551. Is 74 >= u?
True
Let m = 816/7 + -3526/21. Is m not equal to -51?
True
Let b be 1 - (824/210)/4. Suppose 0 = 11*f + 2*f. Which is smaller: b or f?
f
Let c(d) = -4*d - 34. Let l be c(-15). Let m = l - 23. Suppose 0 = -m*s + s - 2. Which is smaller: s or -4?
-4
Let m = -1795.9 + 1796. Is -2.95 > m?
False
Let r = 262 + -282. Which is smaller: r or -2/7?
r
Let d be (-1 - -7) + -2 + 0. Let p be d*(-4)/(-16) + 11. Let g be (1*-3)/(6/p). Are g and -4 equal?
False
Let m be (-4)/14 - 290/14. Let f = 15 + m. Suppose 128*x = 121*x - 42. Do f and x have the same value?
True
Let s(q) = -q**2 + 5*q - 2. Let i be s(3). Let d = 201 - 197. Is i at most as big as d?
True
Let f = -70.7 - -72.7. Is f > 1.5?
True
Let r be (-720)/4698 - (-3)/(-27)*-2. Which is greater: r or 4/3?
4/3
Suppose -2*y - 5*l + 23 = -8, 3*l - 12 = y. Suppose g + 13 = 3*g + z, 0 = -g + 3*z + 24. Let p be g/4 + 2/(-8). Which is smaller: p or y?
p
Suppose -54*m + 46*m - 24 = 0. Is m greater than -29/8?
True
Let v = -40 - -40.012. Let d = v + -0.212. Which is smaller: 0.5 or d?
d
Suppose -3*d + 10 - 7 = 0, -2*d - 364 = 3*x. Is -119 greater than x?
True
Let t(r) = -r + 146. Let w be t(0). Suppose -3*a + 110 = -2*x, -4*a + 0*x = -3*x - w. Which is bigger: 37 or a?
a
Let x = -568.8 - -569. Which is bigger: x or -586?
x
Let w = -39 + 39. Let t be (-2)/(-6)*(6 - w). Is 2 at most t?
True
Let l = -190.0197 + 0.0197. Which is smaller: l or -2?
l
Let v be -6*((-6)/4)/3. Let p = 4 - v. Suppose 154 = 14*q + 52*q + 22. Are p and q unequal?
True
Suppose -4 = -2*x, -33*g + 34 = -30*g + 2*x. Which is smaller: g or 1?
1
Let k(g) = g. Let n(o) = -5*o - 31. Let f(h) = k(h) - n(h). Let m be f(-7). Is -9 greater than m?
True
Let r = -53001/280 - -946/5. Is 1 at most r?
False
Let c(y) = 7*y + 1. Let s be c(-2). Let h be s + 9 - (-1208)/91. Let l = -66/7 + h. Which is bigger: -1 or l?
l
Let v = -0.93 - 73.07. Let g = 74.2 + v. Which is smaller: -21/4 or g?
-21/4
Let z(n) = n**2 - 5*n - 4. Let q be z(-3). Let k = q - 4. Let a be (-3)/15*20/k. Which is greater: a or 0?
0
Let v(k) = 3*k - 46. Let x(f) = 2*f - 31. Let q(d) = 5*v(d) - 7*x(d). Let y be q(12). Let o be (-1)/(-23*(-2)/4). Which is smaller: y or o?
y
Suppose 9 = -5*r + 29. Let k be 3/r - (0 - -1). Let a = 218 + -1524/7. Which is greater: k or a?
a
Suppose -2*t + 4*c + 46 = 0, 0 = 2*t + 4*c - 11 - 11. Which is smaller: t or 16?
16
Let p be -1 + 10/4 + 6/(-12). Let d = -53.74 + -1.26. Which is smaller: d or p?
d
Let g be 9 + -5 - 129/(-3). Are 48 and g non-equal?
True
Let y be (-3)/((-6)/(-8)) + (-1625)/(-52). Which is smaller: y or 26?
26
Suppose 3*m - 5*n - 11 = -3*n, 0 = -5*m - 2*n + 29. Suppose m*v = -2*v + v. Let h be (8/18)/((-12)/2). Is v >= h?
True
Let r = -28 + 30. Suppose 5*h = 2*p - 61, 5*h + 28 = 3*h + r*p. Is h bigger than -11?
False
Suppose -4 = -7*c - 438. Let u be (-14)/(-63) - c/(-36). Which is bigger: -2 or u?
u
Suppose -7*m - 20 - 372 = 0. Let r = m - -34. Which is smaller: r or -24?
-24
Suppose 0 = -4*q + 31 + 57. Let i = q - 2. Let f be (-55)/i - -2*1. Is -1 greater than f?
False
Let n = -0.3 - -0.1. Let z = -0.7 + 7.4. Let j = 1.7 - z. Which is smaller: n or j?
j
Let l = 492/11 + -2817/77. Is l bigger than 9?
False
Let r = -90 + 90.106. Which is smaller: r or 0.3?
r
Let i be (-2)/(-4) + 7/(-22). Let o = 102 - 61. Let c = -43 + o. Is c bigger than i?
False
Let u be 6/15 + (-12)/(-20). Suppose 3*y - 5*f - u = 0, f + 19 - 5 = -4*y. Let h be 0 - 9*5/12. Is h < y?
True
Let d be (4/(-175))/(6/(-15)). Which is smaller: 2 or d?
d
Suppose 3*h = -4 - 77. Let m = h - -28. Let d be m*-1*(-3)/(-1). Which is greater: d or 0?
0
Let c(l) = 2*l**2 + 2*l - 5. Let a be c(2). Suppose -3*n = 5*p + 33, a = 5*p - 8. Are n and -3 non-equal?
True
Let u be 14 + -3 - (-15 - -21). Is u equal to 81/13?
False
Let m = 1051/45 - 99/5. Which is smaller: 3 or m?
3
Let v be (15/(-6))/(2/(-4)). Suppose n + 5 = 0, -14 = -2*j + v*n + 9. Let d be 1/(1/(-2)*2). Is j not equal to d?
False
Let b = -533/35 - -80/7. Let n(g) = -g**2 - 2*g + 5. Let h be n(-4). Is b at least h?
False
Suppose -425 = -5*y + 3*i - 8*i, 2*i = 2*y - 150. Suppose -3*h = -2*n - 231, 107 = -3*h + 4*n + 332. Is y at least h?
True
Let g(a) = -a**3 + a**2 + 1. Let q(z) = z**3 + 6*z**2 - 13*z - 3. Let o(m) = -2*g(m) - q(m). Let y be o(6). Is 4 smaller than y?
True
Let j be (1 - -5)*(-4)/(-84). Let q = -1046/3 - -352. Which is bigger: q or j?
q
Suppose 20*q = 24*q. Is -11 != q?
True
Let r = 18 + -17.1. Let k = r - -12.1. Let g = 14 - k. Which is greater: 16 or g?
16
Suppose -m + 2*m - 5 = -2*a, 50 = 5*a - 5*m. Suppose -2*q + 2*v + 9 = -3*v, 0 = 2*q + 3*v - 17. Is a smaller than q?
True
Let t be 140/6*96/680. Which is smaller: t or 3?
3
Let o = -635 - -655. Is o > -2/9?
True
Let q = -3.925 - -0.595. Let t = q + 1.33. Is 0.1 greater than t?
True
Let y = -17.11 - -16.11. Are 182 and y unequal?
True
Let r = 421 - 418. Suppose 24 = 4*f - 3*g + 96, -4*f = -g + 64. Is r not equal to f?
True
Let a = -2295 + 2295. Let i be (3 + -1)/(-25*1). Which is smaller: i or a?
i
Let d(z) = -z - 4. Let w be d(-3). Let j = -30979/252 + 387/28. Let g = j + 108. Is g > w?
False
Let b = -0.07 + -0.01. Suppose -4*u - 8 = -5*u. Let v be (0 - 0) + -9 + u. Is v < b?
True
Let n(v) = 49*v + 1. Let d be n(1). Do d and 50 have different values?
False
Suppose 4*y - 10 = 3*y. Let z = -10 + y. Suppose r + r = z. Does r = 0?
True
Suppose 0 = -s + 5*s - 4*v - 8, 3*s = v - 4. Let c be (3 - 2)/(3/s). Let u(g) = 11*g**2 + g + 1. Let k be u(c). Is 10 at least k?
False
Suppose -42*k - 12 = -40*k. Let z be k/4*(-2 - 132/(-63)). Which i