t f = 88 - 99. Which is greater: d or f?
d
Let n = -1043 - -347. Let t = n - -21578/31. Are t and -1 nonequal?
True
Let o = -329 + 279. Are o and -51 unequal?
True
Let u = -47 - -59. Suppose 0 = -o + m, 0 = -o + 3*m + m - u. Suppose -2*s - 5 = -y, 2*y - 3*y = s + 4. Which is greater: o or y?
o
Suppose 29*j + 42 = -40*j + 83*j. Let v = -467 - -3286/7. Is v greater than or equal to j?
False
Let s be (-4 - 3962/(-77)) + (-12)/(-22). Is -6 not equal to s?
True
Let b(j) = j**2 - 8*j - 2. Let h be b(5). Suppose 70 = -3*x - 2*n, -5*x - n = n + 110. Is x > h?
False
Let f = 160/383 - -136377/2681. Suppose -3*t = -i + 39, 5*i = -2*t + 23 + 240. Let m = f - i. Is 0.2 < m?
True
Let s(z) = 2*z**2 + 2 - 11*z**3 - 2*z + 5*z + 2*z**3. Let k be s(-1). Let o be (-6)/(-10) + (-4)/k. Which is greater: o or -0.2?
o
Suppose -26 = 2*i + 3*b, i - 5*b - 6 = -32. Let k = 22 + i. Suppose 6*d = -0*d + k. Is d <= 3?
True
Let u(b) = -2*b**3 - 2*b**2 - 2*b - 2. Let j be u(-2). Let g = 408 - 406. Suppose -4*d + g*x = -7*d - 12, 2*d + j = -2*x. Is d at least as big as -11/4?
True
Let y = 2416 + -2380. Which is smaller: y or 35?
35
Let n = 76031/1470 - -23/294. Which is greater: n or 53?
53
Let b = 242 - 245. Are b and -13/5 unequal?
True
Let l(j) = j**3 - 2*j + 1. Let a be l(2). Suppose -g + 12 = -a*g. Do -3 and g have different values?
False
Suppose -5 = -4*z + 147. Let v = -30 + z. Which is greater: v or 9?
9
Let f = 99/428 - -2/107. Let a = 10.6 - 0.6. Let p = a + -9. Is p less than f?
False
Let y(v) = -7*v + 2. Suppose -5*u - 15 = -5*i + 30, -3*u = 4*i - 8. Let z be y(i). Let m = -23 - z. Does 9 = m?
False
Let p = 4.4 - -0.6. Let i = p + -18. Let u = -17 - i. Is u greater than -3?
False
Let x be -5 + -2 - (1 - 3). Let a(t) = t**2 - 11*t + 26. Let z be a(7). Is z < x?
False
Let r = -74 + 76.06. Which is smaller: -0.1 or r?
-0.1
Let y(m) be the first derivative of m**2/2 - 6*m - 2. Let k(l) = l**2 + 3*l + 2. Let j be k(-4). Let z be y(j). Is -1/16 <= z?
True
Let b = -1 + 3. Let d be 1/2 + b + 207/(-6). Is -31 at least d?
True
Suppose -2*w = -5*o + 20, -o + 2*w = -2*o + 4. Let a be o/(-6) + 15/(-45). Which is greater: a or -2/5?
-2/5
Let a = -20 + -6. Let y be a*(-1)/10 + -3. Suppose -3*t = -8*t - 135. Which is bigger: y or t?
y
Let s(n) = -7*n + 205. Let q be s(-15). Are 310 and q equal?
True
Let x = 804 - 804. Let s = 0.55 + -0.6. Which is smaller: s or x?
s
Let u = -54 + 69. Suppose 4*o - 3*s + 0 = 37, -o - 5*s = -u. Let w = -11 + 22. Is o >= w?
False
Suppose -l + 1 = -5. Let s(c) be the second derivative of -c**4/12 + 7*c**3/6 - 7*c**2/2 - 8*c. Let g be s(l). Are g and -7/5 nonequal?
True
Let z = 35 + -34.784. Let k = z - 0.016. Which is smaller: 20 or k?
k
Let p = -1625/44 - 16967/396. Which is smaller: p or -80?
-80
Let f = -3.05 - -3.1. Let n = f - -0.05. Which is bigger: n or -1/2?
n
Let k = -0.124 - 7.376. Let p = 8.5 + k. Is p at most -30?
False
Let b = 57 + -145. Let s = 87.8 + b. Is s at least as big as -5/2?
True
Suppose 180*s = 183*s + 3. Suppose -1 - 29 = 3*a. Let o be (-2)/56*-6*a. Which is smaller: o or s?
o
Suppose 5*w - 2*y - 200 - 74 = 0, -2*y = 4*w - 230. Which is bigger: 55 or w?
w
Let h = 22.014 - 0.014. Let f = 40 - h. Let c = f + -21. Which is smaller: 2/5 or c?
c
Let v(c) = 12*c + 70. Let u be v(-6). Which is smaller: -8/15 or u?
u
Suppose -20*z = -23*z + 4032. Let f = z + -202942/151. Which is smaller: -1 or f?
-1
Let h = 0.01 - -14.99. Let s = -22 + h. Let c = s - -6.96. Which is smaller: c or 0.1?
c
Let s(m) = m**2 + 6*m + 1. Suppose 0 + 15 = 5*k. Let j be (-6)/(-9)*k - 8. Let r be s(j). Is r smaller than 0?
False
Suppose 5*u + k = 16 - 42, 2*u = 5*k - 32. Let s be (-81)/198*4/u. Which is bigger: -1 or s?
s
Let h = -10 - -17. Let b(q) = -7*q - q**2 - 5 - 10 + h. Let f be b(-6). Which is bigger: f or -12/7?
-12/7
Let l be (-86 + 83)*(-2 - (-10)/6). Which is greater: 1/2 or l?
l
Let y = 420 - 415. Which is smaller: y or 2?
2
Let c = -919.2 + 785. Let d = -134 - c. Let z = -3 - 4. Is z at least d?
False
Let m = -14 - -9. Let u(h) = h**3 + 3*h**2 - 12*h - 7. Let f be u(m). Suppose 10 - 1 = -f*w. Is w >= -2?
False
Let s = -1 - -1. Let y be 2 - (-10 + (0 - s)). Is 10 less than or equal to y?
True
Let d(j) = -2*j + 8. Let b be d(-4). Suppose 6*f + 124 = b. Suppose 0 = -h + 4, 0 = -2*a - 3*a - 3*h - 73. Is f smaller than a?
True
Let w = -142999/2841 + 2/2841. Let u = -50 - w. Suppose 7 = -5*k - 5*r - 3, 10 = -3*k - 5*r. Which is smaller: k or u?
k
Let c(d) = -d**2 + 6*d - 6. Let a be c(5). Let m be -1*(-2 + 2 + 1)*a. Which is bigger: -1 or m?
m
Suppose -34 = 13*d - 14*d. Let w be -12 + 11 - d/6. Which is smaller: w or -7?
-7
Let p be 4/7 - 108/21. Let m = 146/35 + p. Suppose 3*s = s. Which is bigger: m or s?
s
Let g(n) = -n**3 - 8*n**2 - 8*n - 8. Let h be g(-7). Let f be 3/(-4)*(-34 - -2). Suppose -29*w + f*w = 0. Which is smaller: w or h?
h
Let j = -1405 - -1407. Is j <= -154?
False
Let x(o) = -o**3 - 3*o**2 + 7*o - 87. Let j be x(-9). Is j smaller than 339?
True
Let x(q) = -q**2 + 32*q - 209. Let g be x(22). Let y be (57/4)/(20/16). Is g less than or equal to y?
True
Let g be ((-6)/(-8))/(-3) - 0. Let m(f) = f**2 + f - 2. Suppose -2*r = -2 + 6. Let d be m(r). Is g <= d?
True
Let q be 8/(-1*(-2)/7). Let r = 2181 + -2154. Is q < r?
False
Let j = -35.2 - -35.3. Which is smaller: j or 67?
j
Let q be 4 - (-88)/(-14)*91/130. Is 59 equal to q?
False
Let y = -1.8 - -1.89. Let h = -2429 - -2432. Is h != y?
True
Suppose 9*g = 6*g - 3, -5*v + 4*g + 59 = 0. Let i(c) = c**3 - 13*c**2 + 21*c + 4. Let n be i(v). Suppose 2*z = -z - 24. Which is greater: n or z?
n
Let q = 12 + 23. Let v be 3/(-3) - (-2 + 0). Which is smaller: v or q?
v
Let k(n) be the first derivative of 3*n**2/2 - 6*n - 3. Let r be k(3). Suppose m - 1 = -w - 4*m, 29 = -r*w + m. Is w < 2/7?
True
Suppose 3*h - 15 = 0, 2*u + 14*h = 13*h - 57. Is -31 at most u?
True
Let d = -11.22 - -11. Let z = 0.058 + -0.478. Let v = z - d. Which is bigger: -5 or v?
v
Let y(k) = -4*k + 10. Let n(j) be the second derivative of 7*j**3/6 - 19*j**2/2 - 4*j. Let a(z) = -6*n(z) - 11*y(z). Let i be a(-3). Which is bigger: i or -5?
i
Suppose -5*v = h + 41, 2*h + 40*v = 35*v - 62. Which is smaller: h or -23?
-23
Suppose -8*o + 18 - 26 = 0. Let y(j) = -j + 3. Let r(z) = 1. Let h(f) = -4*r(f) - y(f). Let i be h(6). Is i smaller than o?
False
Let h = 10 + -8. Suppose -5*y = 4*q + h, 3 = -y + q - 1. Let c(w) = w**3 + w**2 + 4. Let i be c(y). Is -5/4 < i?
True
Suppose 0 = -5*t - n + 12 + 4, 2*n = -2*t + 8. Let l be 2/t*60/8. Suppose -l*b - 6 = -11. Is b bigger than 1?
False
Let c = 122/63 + -50/21. Let n = 1 - 7. Let o = -5 - n. Which is smaller: o or c?
c
Let s = 25.28 + -0.28. Let i = -20.4 + s. Is 2/7 < i?
True
Let j = 9 - 6. Suppose 5*n = 2*x - 4, -12 = 2*x - 0*x + j*n. Let z be -1*(x + (-4)/(-1)). Which is greater: -4 or z?
z
Let z be 3/((-99)/273) - 1. Let f = 940/99 + z. Let i = -243 + 243.2. Which is greater: i or f?
f
Let z(k) be the second derivative of 9*k**5/20 + k**3/6 - 3*k**2/2 - 7*k. Let a be z(-3). Let b = 769/3 + a. Which is bigger: 8 or b?
8
Suppose 27*y + 1674 + 1863 = 0. Is y >= 0.2?
False
Let j(r) = -18*r - 1. Let m be j(0). Is -0.0074 smaller than m?
False
Let l = 853 - 853.11. Is 2/13 less than or equal to l?
False
Let n be 3 - (-4 - -1) - (-36)/9. Is n smaller than 11?
True
Let c = -0.08 - 1.02. Let b = 3.61 - 2.51. Let p = b + c. Is 0.3 at least as big as p?
True
Let u = 580/9 + -574/9. Which is smaller: 1/33 or u?
1/33
Let r = -3.9 - 0.8. Let v = r - -4.5. Which is smaller: -1/14 or v?
v
Suppose 0 = -u - 11*u + 144. Let h(m) = m**3 - 12*m**2 - 6*m - 27. Let p be h(u). Do p and -98 have different values?
True
Suppose -14 = -5*q + 1. Suppose n = -q - 2. Is -2 smaller than n?
False
Let t = -206.5 - -206. Are -14 and t nonequal?
True
Let o = -125/4 + 31. Which is greater: o or 2/9?
2/9
Let l = 356.845 - -1.155. Which is greater: -1/3 or l?
l
Let p(f) = f**2 + 6*f + 2. Let b be p(-3). Is -8 at least as big as b?
False
Let g be (-2)/((-12)/6) + 36/(-50). Let i = g + -143/600. Is i greater than -1?
True
Let c be (304/3420)/((-1)/5). Which is greater: -8/25 or c?
-8/25
Let k = -10 + -7. Let c = -14 - k. Let f be ((-9)/c)/(-42)*-4. Which is smaller: f or -7?
-7
Let y = 9 - -8. Suppose 2*q = 5*f, -2*q - 3 + y = 