u(7). Suppose -f - 3*b + 5 = 0, -f = o*f + 4*b - 28. Is f <= h?
False
Let t = -74.64 + 77. Let b = 128 - 125.7. Let c = b - t. Does c = 0.2?
False
Let j = 290 + -265.4. Let a = j - 24. Do -1 and a have different values?
True
Suppose -399*l + 117 = -396*l. Which is bigger: l or 37?
l
Let w = -1 + -6. Let k be 12/2 + 672/(-105). Is k <= w?
False
Let q(c) = -c**3 - c**2 + c + 55. Let h be q(0). Let y be (5 + -4)/(-2 - 327/(-162)). Does h = y?
False
Let d = 844.25 + -845. Which is greater: 1 or d?
1
Suppose -8*i + 189 = -5*i. Let h = i - 187/3. Is 1 <= h?
False
Let m = 1/26937 + -2586011/1589283. Do -3 and m have the same value?
False
Suppose 2*a - 25 = -5*g, 6*g + a = g + 20. Let c = -146 + 86. Let d be (-8)/c*g/4. Which is smaller: 0 or d?
0
Let r be 7 - -8*1*(-1)/(-4). Which is smaller: r or 0?
0
Let j be (-4 + -1 + (1 - -2))/(-2). Suppose 2*l - 9 = -3*o, 12 = -3*l + 7*o - 3*o. Which is smaller: l or j?
l
Let m be 45*(-5)/12*(-546)/(-420). Which is bigger: m or -24?
-24
Suppose 0 = -50*o + 25*o + 25. Which is greater: -1/4 or o?
o
Let k = 11 + -5. Let f(p) = p**2 - 14*p + 5. Let w be f(14). Is w < k?
True
Let f(d) be the second derivative of d**5/20 - d**4/4 + d**3/2 - d**2 + 6*d. Let i = 3 - 1. Let v be f(i). Which is smaller: -2/7 or v?
-2/7
Let c be 212/10 - (27/(-15) - -2). Let h = -21 + c. Let v = 5 + -12. Are h and v non-equal?
True
Let b = -482 - -487. Let c be 0 + 1 - 52/(-13). Is c equal to b?
True
Suppose 38 = 4*d - 3*i, 4*i + 14 = -4*d + 6*d. Is d greater than or equal to -1?
True
Let d = -17/8 + 1489/712. Is d > -1?
True
Suppose 4*o = -2 - 2. Let l(d) = 3*d**2 - d. Let i be l(o). Suppose b = -2*m - 2 - i, -5*b = -2*m + 54. Which is smaller: b or -9?
b
Suppose 4*s + 3*x - 357 = 28, 5*x = -3*s + 275. Is s less than 100?
False
Let k(b) = 5*b - 97. Let g be k(27). Is g at most as big as 30?
False
Let s be (-4 - -6) + (-4)/(-4). Suppose 3*u + s*u = -6. Is 2/5 at least as big as u?
True
Suppose -3*a + 2*o - 12 = 5*o, 5*a = 4*o + 16. Let u be (a - 6) + 4 + -1. Suppose -2*g = 2*g + 8. Which is greater: u or g?
g
Let y(p) = -p**3 - 3*p**2 + 2*p + 4. Let o be y(-4). Let g(w) = 2*w**2 - 83*w + 844. Let b be g(17). Is b less than or equal to o?
True
Let h = 632 + -644. Let n(o) = 9*o - 3. Let b(j) = j + 1. Let r(w) = 4*b(w) + n(w). Let l be r(-1). Are h and l unequal?
False
Let f be (-8)/(-12) - 8743/15. Let z = -584 - f. Which is smaller: z or -2/5?
z
Suppose 5*y = -5*a + 155, 3*a + 4*y = 112 - 16. Suppose -8*l - 5*d = -5*l - 59, -5*l + 2*d = -150. Is l at least a?
True
Suppose 5*l = 1 - 6. Let d be 1 + 3*(-60)/(-8). Let c = d - 24. Are l and c non-equal?
True
Suppose -648 = 40*m - 48*m. Do m and 81 have different values?
False
Suppose -22*a + 18*a - 24 = 0. Let b be 1956/(-21) + a/(-42). Is 0 bigger than b?
True
Let a be -3 - 73 - (-6 + 6). Is -76 < a?
False
Let i = 2.7 + -2.81. Is i > -0.02?
False
Let x = 171.59 + -171. Which is smaller: x or 4?
x
Let k = 102/11 + -4885/528. Suppose 10*p = 7*p + 3. Which is bigger: k or p?
p
Let i(k) = -k**3 - 4*k**2 + 4*k + 6. Let a be i(-4). Let r = 41 - 44. Let c be r + a + 0 + -2. Which is greater: c or -16?
c
Let g(z) = -z**3 + 17*z**2 - 17*z + 13. Let i be g(16). Let r = 163 + -333/2. Do i and r have different values?
True
Let r(q) = -11*q + 108. Let o be r(7). Do 151/5 and o have the same value?
False
Suppose 9*y - 382 = -2191. Which is greater: y or -202?
y
Suppose 3*l = 2*t - 23, -8*l + 3*l = 3*t - 6. Suppose t*s = 11*s. Is -27 bigger than s?
False
Let l be 2/(2 + -2 - 2). Let h = 125 + -1626/13. Which is smaller: h or l?
l
Let q = -50 - -52. Suppose -3*k + q = -16. Is 9 at least k?
True
Let g = -30230/6251 - -92/19. Is 1 <= g?
False
Let r = -15 - -7. Let a = r - -9. Which is bigger: a or 1/2?
a
Let d(x) = -x**3 - 9*x**2 - 4*x + 2. Let b be d(-4). Let a = 67 + b. Let p be (1/3)/((-4)/(-54)). Which is smaller: p or a?
p
Let r = 4 + -10. Let g be 6/r + 15/3. Which is smaller: g or -2?
-2
Let h = 5.4 + -5.3. Let l = -31.2 - 8.8. Is l >= h?
False
Let t = 286 + -677. Is t bigger than -390?
False
Let b be ((-32)/(-12))/((-2)/(-24)*-11). Which is smaller: b or -2?
b
Let v be (-2 - (-6)/(-13)) + 2. Let x = 6/7 + -8/7. Do x and v have the same value?
False
Let f = 9 + -7. Let z be (1 - -2 - f)*1. Is -2 at least z?
False
Let u(i) = 2*i - 2. Let z be u(-2). Let p(l) = -l - 6. Let v be p(z). Suppose v*q - 3*q + 84 = 0. Which is smaller: 29 or q?
q
Let j be 3 - 2 - 1064/(-21). Which is smaller: j or 52?
j
Let g(f) = -f**3 + 12*f**2 + 13*f - 4. Let w be g(13). Let y be (2 - 5)/(3 + -2). Let u be w/14*(-3)/y. Which is bigger: u or -1?
u
Let v = 2 + -2.1. Let q = 33 + -31. Suppose -g + q*k + 0*k = -6, -2*k = 3*g - 2. Is g < v?
False
Let u = -7.747 - -7.8. Let m = u + -0.053. Do -19 and m have the same value?
False
Let n = -18 + 25. Suppose 0 = -3*s - 2*y + n*y - 37, 0 = y + 1. Which is smaller: -44/3 or s?
-44/3
Let n(u) = u + 13. Let m be n(-11). Suppose v + 3 - m = 4*i, 3*v = -i + 10. Which is smaller: 3/13 or i?
3/13
Let l be (-768)/(-11) - (3 + 385/(-121)). Is 68 not equal to l?
True
Let w = 6 - 33. Suppose 308 = -416*l + 405*l. Do l and w have different values?
True
Suppose -t + 4*t + 14 = -4*a, 2*t - 3*a = 19. Are 1 and t unequal?
True
Let a = 8 - -2. Suppose -4*c + a = -2*c. Suppose -c = -6*i + i. Which is smaller: 4 or i?
i
Suppose -b + 9 = 2*b - 3*w, b = -4*w - 2. Let y be (-3)/3 + b - -2. Is y less than 5/3?
False
Suppose 9 = -3*d, -4*b - 3*d = b + 4. Which is smaller: b or -3/7?
-3/7
Suppose -60 = -3*p - 6. Suppose 8*y - 2*y + 486 = 0. Let a be y/p + (-1 - -5). Which is smaller: -1 or a?
-1
Suppose 220 - 540 = -8*j. Is j bigger than 0.03?
True
Let p(g) = 7*g**2 - 58*g - 11. Let c be p(9). Is 35 at most c?
False
Let j(f) = -f**2 + 7*f + 82. Let w be j(-13). Which is smaller: -177 or w?
w
Let f be (-1*1)/(2 - -1). Let h = -99 + 109. Suppose 0 = -h*o + 2 - 12. Which is smaller: o or f?
o
Let y be (2 + 3/(-3))*2. Let n(l) = -l**2 + 11*l + 14. Let f be n(12). Suppose 3*w - 4 - 6 = h, -f*h + 16 = 3*w. Is y >= h?
True
Let a = 1362 - 1364. Let o = 42857/26 - 1649. Let i = o - -2/13. Which is bigger: a or i?
i
Let f be (-5)/(10/(-24)) + -1. Suppose -81*b + 24 = -79*b. Suppose 2*g - b = 14. Which is smaller: f or g?
f
Let f be (0/8)/(1 - 3). Let q be 6 - 8802/981 - -3. Is q bigger than f?
True
Suppose 2*z + 24 = -2*z. Let h be -2 + 9 + -4 + 0. Suppose h*f + 2*w = -0*w - 15, 0 = -5*f + 3*w - 44. Is z <= f?
False
Let z be 1*(9 - 7 - 4). Which is smaller: z or -12?
-12
Let f be 10/(-45) + (-10)/(-18). Let q = 0 - f. Let c = 0.7 + 1.3. Is c less than q?
False
Let c(r) = r**3 + 8*r**2 + 8*r + 5. Let x be c(-7). Let d be (-2)/(2 + (-8)/3). Let q be d - (3 + 0 + -4). Which is smaller: q or x?
x
Suppose -6 - 32 = 2*m. Let u = -11 - m. Let t = u + -3. Are t and 5 unequal?
False
Suppose -2*g + 42 = 3*q + 11, -4*g - 3*q + 47 = 0. Suppose -g*j - 63 = -j. Let d(z) = -z**3 - 6*z**2 + 2*z + 2. Let b be d(-6). Is b at least as big as j?
False
Suppose 4*o = -5*z + 195, 14*o - 16*o + z = -87. Does 42 = o?
False
Let t = 21 - 39. Let d be -3 + ((-48)/28)/(t/28). Suppose -u = -3*u. Is d at most as big as u?
True
Let h(n) = -n**3 - 6*n**2 + n + 8. Let a be h(-6). Suppose 14*c = 32 + 38. Suppose -5*x - 2*l = -16, -3*x - 1 = -c*l + 8. Is a equal to x?
True
Let i(v) = v**3 - v**2 + 3*v + 4. Let o be i(-1). Let b be (4/38)/(2 + -6). Is o bigger than b?
False
Let l be (93/(-744))/(1/(-8)). Let h = -12487/93 - -403/3. Which is smaller: l or h?
h
Let l = -31.9 - -35.9. Is l at most -10?
False
Suppose -18 = 5*n + n. Let l be n - ((-113)/37)/1. Which is smaller: 0 or l?
0
Let d(t) = -t. Let w be d(1). Suppose 4*l = a + 250, 0 = -2*a + l + l - 530. Let o be ((-8)/a)/((-6)/15). Which is smaller: o or w?
w
Let j be (-16)/(9/(-3 - 15)). Which is bigger: 23 or j?
j
Suppose 5*s + 120 = -3*t - 6, 0 = -3*s + t - 84. Let q(u) = -2*u**3 + 2*u**2 + 4*u - 2. Let z be q(3). Let j = s - z. Is j != -2/21?
True
Let c be 2 - (12/(-18) + 55/15). Which is greater: c or -2/2023?
-2/2023
Suppose 0 = -2*f + 4*t + 76 - 0, 4*f - t = 145. Suppose g - f = -2*l, -2*g + l + 117 = 2*g. Let w be 6*(-4 + 117/g). Is 1 at most w?
False
Let u be ((-6)/(-4) - 2)*0. Suppose -5*o + 12 = -h, h = 4*o - 14 + 4. Let f be 38/(-14) + 4 + h. Which is bigger: f or u?
u
Suppose 0*a + 