90 at least as big as t?
True
Let p be 58654/(-28) + 7/(-14). Let u = p + 2099. Which is smaller: 3 or u?
3
Suppose 5*w + v = 1619, -w = -5*v - 17 - 312. Is w less than 326?
True
Let r be 23/(-7) - (-5 + 2). Do 95 and r have the same value?
False
Let o = 6.79 - 5.79. Which is bigger: 0.42 or o?
o
Let r(n) = -n**3 - 20*n**2 + 19*n - 43. Let u be r(-21). Is 2/329 less than or equal to u?
False
Let z = -8.1 + 6.14. Let m = 0.04 - z. Which is bigger: m or 1/3?
m
Let i(x) = -x - 9. Let l be i(-11). Suppose -4*w + p - 3 - 2 = 0, 4*w = l*p - 6. Is w at least as big as 1/27?
False
Let m be (-10)/(-15)*(-9)/2. Let t be ((-19)/m)/(4/24) + -2. Is 36 smaller than t?
False
Let m(t) = -t**3 + 11*t**2 - 11*t + 5. Let y be m(10). Let a be y*5/((-25)/(-14)). Is -13 > a?
True
Let n = -5.06 - -0.06. Let t = 4.941 + 0.059. Let b = -4.9 + t. Does n = b?
False
Let b = -161 + 161.1. Is b smaller than 111?
True
Suppose 6*f - 11 - 13 = 0. Suppose 4*t + 0*j - 2*j = -f, 0 = 3*t + j + 8. Which is smaller: t or 16?
t
Let z(l) = -l**2 - l - 1. Let h(x) = 3*x**2 - 4*x - 3. Let o(m) = -h(m) + z(m). Let b be o(4). Is -51 smaller than b?
True
Let d be 13*(1 + (-247)/169). Let c(w) = -w**3 + 8*w**2 - 8*w. Let l be c(7). Which is smaller: d or l?
l
Suppose -3*c + 10 = -4*u, -3*c - 5*u = -4*c + 7. Let i be 0 - c/(-3)*-3. Let j = 63 + -194/3. Which is smaller: i or j?
i
Let t = -50 - -49.54. Let p = t - -5.46. Which is smaller: p or -5?
-5
Let r = 427/5 + -85. Suppose v + 2 = 2*h + 1, 0 = -4*h + 4*v + 8. Let o be h - 1 - (-14)/5. Is r bigger than o?
False
Let s be (10 + -2)*3/(-2). Suppose -3*t - 2*u = -0*t + 34, 10 = -2*u. Let y be (-37)/3 + t/(-24). Is s greater than y?
False
Let y(m) = 11*m - 3*m - 1 - m**2 - 2 + 11. Let n be y(9). Is -3/13 less than n?
False
Let c be (-80)/45 + (-2)/9. Let m be (c + -2)/(8/(-20)). Let u = m - 9. Are u and 1 unequal?
False
Let k = 5.7 + 3.6. Let q = -14 + k. Let t = -1.7 - q. Which is greater: t or -2?
t
Let j = 70 - 71. Are j and -1/190 nonequal?
True
Suppose -5*h + 3*w - 7 + 2 = 0, -5*w = 0. Which is smaller: h or 2/319?
h
Suppose 0*h + 5*h - 5*u = 30, -2*u = h. Suppose 4*s - 39 = a + h*a, 5*s = 4*a + 42. Which is greater: 7 or s?
7
Suppose -3*w = 2*w - 25. Let o(t) = -3 - 2 + 16 + 3 + t. Let s be o(-9). Is w less than s?
False
Let v(g) = -g - 47. Let j be v(-14). Let w = -38 - j. Let z be (-25)/6 + 6/9. Which is greater: z or w?
z
Let u(f) = -f**3 - 17*f**2 - 5*f - 25. Let n be u(-17). Let c = n - 113. Are -52 and c equal?
False
Let t be ((-1)/(-11))/((-42)/(-231)). Let d = 2.025 + -2. Which is greater: d or t?
t
Let n(h) = -h**2 - 16*h + 44. Let z be n(-13). Is 83 at most z?
True
Let a(q) = 8*q - 5. Let h be a(1). Let s be (5/(-4))/(105/36 - h). Which is bigger: s or -1?
s
Let r = 38 + -40. Let k be ((0/2)/5)/r. Which is bigger: -21 or k?
k
Let g be -10*(15/(-10) - -2). Let x be (-4 - (1 - 10)) + g. Let l = 0.12 - 6.12. Which is bigger: x or l?
x
Let c = 38 - 64. Let g = 12 + c. Is g not equal to -14?
False
Suppose -8 = 4*l, -3*l = k - 0*l - 11. Let g = 21 - k. Suppose g*s = 0, s - 5*s = c - 1. Which is smaller: -1 or c?
-1
Let o = 9.4 - 9.03. Let f = 19.37 - o. Is f at least 2?
True
Let q = -38 - -27. Let b = -11 - q. Let i = -0.08 - 0.02. Are b and i equal?
False
Let c = -109.14 - -110. Let a = -0.748 + c. Which is smaller: a or 0.1?
0.1
Let b(x) = 6*x**2 + 13*x + 10. Let t be b(-9). Let d = 234 - t. Let h be 1/(-3) + d/15. Are h and -9 non-equal?
True
Let f be (15/(-50))/(9/5). Which is smaller: f or -0.3?
-0.3
Suppose 0 = -10*y + 17*y + 13*y. Which is greater: y or 4/83?
4/83
Let j(q) = 2*q**2 + 32*q - 141. Let t be j(-31). Which is greater: t or 791?
791
Suppose -2*d - 1323 = 7*d. Let v be (-2)/3 - 112/d. Which is greater: 0 or v?
v
Let o(v) = 3*v**2 - 1. Let t(r) = -7*r**2 - r + 1. Let c(l) = 5*o(l) + 2*t(l). Let b be c(3). Let h be (2/(-8))/(10/8). Which is greater: b or h?
b
Let k(l) = -l**3 - 6*l**2 - 5*l + 1. Let n be k(-5). Let a = -229 + 193. Let i be a/(-42)*42/81. Is n bigger than i?
True
Let q = 9 - 8. Suppose 0 = -5*d + w + 2, 3*d = -w - 1 - q. Is d equal to -4?
False
Let n(u) = u**2 + 17*u + 13. Let c be n(-16). Is -11/3 less than or equal to c?
True
Let s = -0.23 - 10.77. Let h = 14 + s. Let g be (-10)/15 - (-8)/(-6). Is g != h?
True
Let c = -508 - -512. Is c > 46?
False
Let j be -5 + 1141/42 + (-3)/18. Suppose 0 = 3*a + 3*w - 57, -43 = -2*a + a + 5*w. Which is greater: a or j?
a
Let r be 237/(-2449)*(-1)/8. Is r not equal to 1?
True
Let m = -1.4 - -2.1. Let f = -1 + m. Suppose 16 = -2*c - 4*i, i - 2*i - 4 = -4*c. Do f and c have different values?
True
Let n = -34/9 + 164/45. Let w(k) = k**3 + 5*k**2 + 3*k - 3. Let z(s) = 3*s - 1. Let g be z(-1). Let j be w(g). Which is smaller: j or n?
n
Let x = -3874642/3005 + 6447/5. Is -1 greater than or equal to x?
False
Let s = 252.3 + -255. Let r = 0.01 - -2.59. Let m = r + s. Which is bigger: m or -1/23?
-1/23
Suppose 23*l + 240 = 47*l. Are l and 15 equal?
False
Let h be 6/15 - 136/(-10). Let s = h + -13. Let r be 1 - s - 4/66. Which is bigger: 1 or r?
1
Let c(a) = 8*a**2 + 5*a + 1. Let n be c(-3). Let d = 58 - n. Is d <= 1/18?
True
Let a(w) = w**3 + 13*w**2 - 13*w + 12. Let x be a(-14). Suppose -9 = -3*h - 0. Let n be 20/7*h/(-12). Which is smaller: x or n?
x
Let v(z) be the second derivative of z**5/10 + z**4/4 - z**3/6 + z**2/2 - 11*z. Let l be v(-2). Is -3 >= l?
False
Let n(p) = p + 15. Let w = -12 + -3. Let r be n(w). Suppose r*u + 15 = 5*u. Is u < 3?
False
Let s = -0.02 + 0. Let f(b) = -b**2 + 8*b + 7. Let w be f(7). Let r = -15 + w. Does s = r?
False
Suppose 13 = 4*a + 5. Suppose 0 = 4*z - a*z + 3*p - 9, z + 3*p - 6 = 0. Suppose -2*k = -2*w - 8, -2*k = -4*k + z*w + 11. Which is smaller: k or 0?
0
Let c(t) = 4*t**2 + 33*t - 70. Let m be c(-10). Which is greater: 53 or m?
53
Let n be 100/750 + (-4)/5. Which is smaller: 83 or n?
n
Let r be (-32)/104*((-4)/(-80))/(-1). Which is smaller: r or -1?
-1
Let o(r) = -4*r - 16. Let m be o(-5). Suppose -5 = m*f - 1. Which is smaller: f or 0?
f
Let o be (2 + 3)*-1 + 4. Which is greater: 51 or o?
51
Let j(u) = u**2 - 3*u - 7. Let z be j(6). Let i = -6 + z. Suppose 5*o + 45 = i*q, -3*q + 4*q = -5*o - 27. Which is smaller: o or -7?
-7
Let v(g) = -g**2 - 9*g - 4. Let j be v(-8). Suppose i - 3*i = -2*f - 24, 5*f + 87 = -j*i. Let p be (42/f + 3)*-7. Is p at most as big as -2?
False
Let n be 1*(-4 - 143/1). Is n less than -147?
False
Let t = -100.86447 + -0.09853. Let c = 101 + t. Is c smaller than 0?
False
Suppose 11 - 3 = -4*z, 3*i + 5*z + 13 = 0. Let u be (-1 - i) + 2 + -1. Let h be -2 + (-3)/(54/(-40)). Is u equal to h?
False
Let i = 21 - 19.1. Let a = -4.3 - -6.2. Let f = a - i. Which is smaller: -3 or f?
-3
Let c = 3.93 - 4.4. Which is smaller: c or 18/7?
c
Let x = -24.9784 - 0.0216. Is -1 less than x?
False
Suppose 5*k = 25, -a - 4*k + 3 + 18 = 0. Let c be 275/290 - 2/2. Is a bigger than c?
True
Suppose -4*b - 8*u + 381 = -13*u, -2*b = -3*u - 193. Is b >= 89?
True
Let j be 3 + 9/((-27)/(-42)). Let w = j - 25. Is w less than -7?
True
Let a = -2.1 - -2. Let p = -1 - -13. Let r be (((-1)/p)/((-6)/(-8)))/1. Which is greater: a or r?
a
Suppose -m + 3*p + 6 = 2*m, -4*p = -2*m + 6. Let w be (m/(63/(-6)))/(-1). Which is smaller: -2 or w?
-2
Let v be (5/10)/(33/18). Let o = v + -31/33. Is -4/5 bigger than o?
False
Let r = -1549 - -1550. Is -3/29 at least r?
False
Let l = 63 - 178. Is -114 bigger than l?
True
Let m(j) = -2*j**2 - 23*j - 13. Let i be m(-11). Let a(l) = l**3 - 5*l**2 + 3*l - 3. Let y be a(5). Does y = i?
False
Let u be -2*2/204*-1. Let m = -5/34 - u. Let a = 29 + -29. Is a greater than or equal to m?
True
Let l(z) = -33*z + 165. Let k be l(5). Which is bigger: k or 6/199?
6/199
Let f(j) = j**3 - 3*j**2 - 10*j - 2. Let i be f(4). Suppose -22*s - 450 - 144 = 0. Are i and s unequal?
True
Let d(q) be the first derivative of -q**3/3 + 5*q**2/2 + 6*q - 12. Let p be d(6). Let o = -10 - -6. Are p and o equal?
False
Let q = -235.77 - -237. Let f = q + -1.1. Let m = -0.17 + f. Is 1 < m?
False
Let s = -1015 - -907. Which is smaller: 0.4 or s?
s
Let x = 4.449 + -4.549. Let u = 2.96 + -3. Is u greater than x?
True
Let v = -1 - -1. Let o be (-2*1)/(v - -1). Let i = 1467 + -1466.96. Is o less than or equal to i?
True
Let d be -6 + 11119/(-109)