t or j?
j
Let l be (12/(-552))/(694/(-696) + 1). Let k = l + 25381/3358. Which is smaller: k or -1?
-1
Let n(v) be the first derivative of v**4/4 + 4*v**3/3 - 4*v - 1. Let h(f) = -f - 13. Let p be h(-9). Let b be n(p). Is -5/2 < b?
False
Let p(t) = -2*t**3 - 5*t**2 + 13*t + 5. Let m be p(-4). Which is smaller: 3 or m?
m
Let l be -1 - (-15)/24 - (-3)/8. Which is greater: 5/122 or l?
5/122
Let t be -1 + 5/3 + (-224)/(-6). Which is smaller: 43 or t?
t
Let h = -16 - -20. Let u(a) = a**3 - 5*a**2 + 3*a - 4. Let z be u(h). Do -8 and z have the same value?
True
Let z(x) = x**2 + 24*x + 24. Let w be z(-1). Which is smaller: w or 1/91?
1/91
Suppose -3*s - 69 = g, s = g - 4*g - 31. Let u = 44 + -67. Is u at least as big as s?
False
Let t be ((-9)/12)/((-1290)/140). Is 0 greater than t?
False
Suppose 4*f - 36 = -0*f + 3*g, 0 = -4*f - 5*g + 36. Let m(d) = -d**3 + 3*d**2 + 3*d - 4. Let x be m(3). Suppose -f*o + x*o + 12 = 0. Is 5/2 smaller than o?
True
Let x(l) = -l**3 + 4*l**2 + 11*l. Let m be x(6). Let d be (2/(-3) - m/9) + 1. Is -2/59 greater than d?
False
Let j be ((-15)/10)/((-1)/(-14)). Let m = j + 12. Suppose -5*n - 198*x = -195*x + 50, 2*x - 10 = n. Is m at least n?
True
Let f(c) = -c**2 + 9*c - 13. Let s be f(6). Let n be (-4)/(-14) - 894/42. Let j = 22 + n. Which is smaller: j or s?
j
Let z be 24/(-16)*8/18. Let v = -520 + 520. Which is greater: z or v?
v
Let n = 19 - 13. Let b be n/8 + (-23642)/152. Let o = -155 - b. Which is smaller: -1 or o?
-1
Let b(f) = f**2. Let k be b(-3). Let x be k/((-2)/((-12)/9)). Let p be (12/68)/(x/(-4)). Is p >= 1?
False
Let x = 76.6 + -76.355. Which is smaller: 1/4 or x?
x
Let a be 2/(-4)*210/(-21). Let q be 0/((a + -2)/(-3)). Is q smaller than 3?
True
Suppose -3*p - 6*z = -8*z + 1059, p - 5*z = -353. Which is greater: p or -354?
p
Suppose 10 = -3*s + 4*o - 19, -4*o + 20 = 0. Let q be s*(-3)/(-9)*-5. Suppose 16 + 9 = 5*u - q*y, -17 = -2*u - 5*y. Which is bigger: 3 or u?
u
Let y = 1.793 - 1.88. Let i = y - -0.587. Which is bigger: i or -10?
i
Let f(c) = -267*c + 114. Let t be f(4). Which is greater: t or -953?
-953
Let n = 91 + -123. Let k be 16/(-7) + n/(-16). Let l be 1/(-4)*4/(-2). Is k < l?
True
Let k(t) = -t**2 - 1. Let m(o) = -2*o**2 + 9*o + 10. Let l(x) = 3*k(x) - m(x). Let f be l(-7). Which is smaller: f or 1/25?
1/25
Let p = 0.074 + 0.256. Let r = 0.3 - p. Let f = 2.97 - r. Is 2 at most f?
True
Let o = 1 + 1. Suppose 5*h = a - 5, 5*a - o = 2*h - 0. Let p be (2 + 36/(-16))/((-9)/(-24)). Which is bigger: p or h?
p
Let i be (13 - 16)*(-8)/6. Suppose -4*o + 5*o - i*d - 14 = 0, 28 = 3*o - 5*d. Let v be ((-2)/(-39))/((-4)/o). Which is smaller: v or 1?
v
Let m(j) = -21*j. Let p be m(5). Let n be (6/50)/((-14)/p). Let r = 61/90 - n. Which is smaller: r or -1?
-1
Suppose -2*t + 180 = 16*t. Which is smaller: 45/4 or t?
t
Suppose -5 = o, -d + 0*o - 3*o = 11. Suppose -d*z + 5 - 2 = -3*p, -5 = 5*p - 2*z. Is -1 not equal to p?
False
Let k(v) = 14*v + 8. Let c be k(4). Let o be (3/(-12))/((-8)/c). Which is smaller: 9/7 or o?
9/7
Suppose 4993 + 2164 = -17*d. Is -1 at most as big as d?
False
Let u = -281 - -291. Which is smaller: 1 or u?
1
Suppose -4*p - 4 = 0, -3*j + 4*p + 179 = 2*j. Let k = 472 + -439. Is j smaller than k?
False
Let s(y) = -y + 2. Let b be s(3). Let n(u) = 3*u - 1. Let w be n(b). Let m be 5/20 + 1/w. Is 0.05 greater than m?
True
Let w = 1.2 + -1.1. Let g = 0.226 + 5.734. Let k = -0.04 - g. Which is bigger: w or k?
w
Let u = 21 + -7. Suppose 7 = -7*r - u. Let m be 1/(-4) + (-19)/4. Do r and m have the same value?
False
Let y = 1998 + -1987. Which is smaller: 71 or y?
y
Let f be 1/(7 - 14 - -6). Which is bigger: f or -1/32?
-1/32
Let l be 9/(27/(-6)) + 12. Let y be (-55)/l - 2/(-4). Which is smaller: -2 or y?
y
Let h = -9 - -3. Let p be (-23)/3 + 8 + -3 + -3. Is p > h?
True
Let i(k) = 4*k + 111. Let c be i(-28). Which is smaller: c or -0.3?
c
Let s be 6/(1 + -4)*(-69)/6. Suppose -12*b - 13 - s = 0. Suppose -2*k - k - 6 = 0. Which is smaller: b or k?
b
Let z(p) = -p**2 + 4*p + 7. Let w be z(6). Let c be (12/6)/((-1)/(-10)). Suppose -3*s + u + u - c = 0, 4*s = -3*u - 21. Which is bigger: w or s?
w
Let f = 0.1373 - 154.8373. Let n = f + 153. Which is greater: 0 or n?
0
Let y = -228/5 - -46. Let v = 0.2 + -0.5. Let m = 0.1 + v. Is m smaller than y?
True
Let f = 73 - 73.04. Let x = 1.5 - -0.5. Is x less than f?
False
Suppose -13*r + 20 = -8*r. Let x be -3*(-1 - (-2 - 0)). Let m = x + r. Is 2 at most m?
False
Let h(t) = t**3 + 50*t**2 - 51*t + 2. Let c be h(-51). Suppose 0*u - 2*u = 866. Let d = u + 6925/16. Is c >= d?
True
Suppose -3*f = -3*p - 1503, 2*f - 1505 = -p + 4*p. Let k = p - -19619/39. Which is smaller: k or 1?
k
Suppose -5*l - j + 0*j - 38 = 0, -4*j + 2 = -2*l. Suppose -n - 2*d = 8, -n + 2 = 3*d + 10. Is l less than or equal to n?
False
Let f be 2*(2 - -1)/27. Suppose -2*g - 4*j - 18 = -5*g, -5 = 5*g + 5*j. Suppose -g*i - 23 = 5*x - i, -x = 4*i - 3. Which is bigger: f or x?
f
Let o = 10.72 + 0.28. Let w = 9.9 - o. Is w bigger than -0.1?
False
Let j = -7 + 6. Suppose 3*t - 5 = p, -4*t + 9*t = 5*p - 5. Suppose -p*q + q - 3 = 0. Is q at most j?
True
Let o = 169/9471 - -1/123. Let s = 8 - 9. Is s < o?
True
Let n(a) = -a**2 + 6*a - 4. Let g = -32 - -37. Let f be n(g). Which is smaller: f or 1/6?
1/6
Let h = -432 + 445. Let m = 23 + -11. Which is bigger: m or h?
h
Let r(p) = 3*p**3 + 3*p**2 + p + 4. Let q be r(-3). Let h be q/15 - (-14)/21. Let c = -16/5 - h. Which is greater: -0.3 or c?
-0.3
Let p = -5/4 + 1. Suppose b - 11 = -12*w + 9*w, -7 = w + 3*b. Is p != w?
True
Let f = 230 - 230.1. Is f <= -40?
False
Let l(o) = -3*o + 22. Let i be l(6). Let y = -1 + 13. Suppose y = i*r - 0. Is 2 != r?
True
Let u = -110 - -110.2. Let x = u - 0.1. Let l = -0.1 + 0.5. Is x less than or equal to l?
True
Let d = 1395 + -93468/67. Which is smaller: d or 0?
d
Suppose -4*q + 2*k = 0, 2*k = -2*q + 4 - 10. Which is greater: q or 115/4?
115/4
Let t(x) = -2*x**2 - 14*x - 12. Let p be t(-6). Suppose l - 3*i - 14 = -p*i, 5*i + 25 = 0. Which is smaller: l or -6?
-6
Let s(n) = -3*n**3 + 6*n**2 + 15*n - 82. Let y be s(9). Is -1649 at least y?
False
Let u(d) be the first derivative of 6 + 2*d + 1/2*d**2 + 5/3*d**3. Let p be u(-1). Is 5 at most as big as p?
True
Let n(z) = 364*z - 2524. Let c be n(7). Let w be (35/(-10))/(1/14). Let f = w - -74. Is f > c?
True
Suppose 0 = 4*z - 2*q - 28, 2*z + 2*q = -2*q + 34. Suppose z*x = 7*x + 2. Which is greater: 2 or x?
2
Suppose -14 = 2*t - 32. Let q be (-3)/t + 8/(-12). Is q greater than or equal to -2/131?
False
Suppose 4*l = -5*j + 322, 3*l = -106*j + 103*j + 243. Which is smaller: 77 or l?
77
Let u = 1442 + -4327/3. Is u greater than -339?
True
Let v(h) be the third derivative of -h**4/6 + 3*h**3/2 - 21*h**2. Let o be v(4). Let n be ((-42)/3)/(0 + 2). Is o >= n?
True
Let i = -62/39 + 50911/31902. Let h = -122665/5726 - i. Which is smaller: -22 or h?
-22
Let a = 35.12 - 36. Let s = a - -0.9. Let x = -0.24 - s. Which is smaller: -1 or x?
-1
Suppose z - 20 = 3*z. Let r be -2 + ((-14)/8)/(6/(-24)). Let l(m) = -m**2 + 4*m - 4. Let h be l(r). Which is greater: h or z?
h
Suppose 139*b = -342*b - 22607. Suppose -y + 94 = -3*y. Are y and b non-equal?
False
Let v = -6 - -4. Let s(l) = -l**3 - l**2 + l + 2. Let q be s(-2). Which is greater: v or q?
q
Let a be (3/10)/(12/(-10)). Let r = -297963/57508 + -3/5228. Let h = -489/88 - r. Do a and h have the same value?
False
Let g be -4*2/(-20)*-15*16. Let l = g - -121. Which is smaller: 24 or l?
24
Let j be (4/7)/(6/21). Suppose j*k = 4*r + 7*k - 15, 2*r + k = 3. Let q = 104 - 725/7. Which is smaller: q or r?
r
Let d be (-3 + 4)*(7 + -3). Suppose 3 + 5 = -d*x. Let n be -6 - -5 - (2 + x). Which is smaller: 2/13 or n?
n
Let n be 2/9 - (-8327)/(-9). Let d = n - -60127/65. Let g = 28 + -29. Is d less than g?
False
Let l(o) = -11*o - 6. Let f be l(25). Let b = -7867/28 - f. Is 1 at least b?
True
Let w be (10/3)/(2/6). Suppose 5*b + w = 35. Suppose 1 = -6*v - b. Is v bigger than -2/89?
False
Suppose 4*g - 954 = -298. Suppose -5*d - 4*h = g, -6*d + 4*d - 5*h = 69. Is d greater than or equal to -31?
False
Suppose -3*c - 168 = -3*j, -5*j - 285 = -10*j + 4*c. Let z = -66 + j. Let b be (2 - 0) + 18/(-2). Do z and b have the same value?
False
Let s = 0.0467 - 0.026