hich is greater: 0 or t?
t
Let n(z) = -631*z**2 - 5*z - 5. Let d be n(-1). Is 0.2 < d?
False
Let t be (0 + -1)/(5/4). Let y = -0.2733 - 1.3267. Which is smaller: t or y?
y
Let n = -91 - -371/4. Suppose -t = -5*c + 4*c + 1, -5*c - 3*t = -5. Which is greater: c or n?
n
Let t = -874 - -874.1. Which is bigger: -296 or t?
t
Let g = -619.904 - -620. Which is smaller: g or 0.11?
g
Let r = 1295 - 1297. Which is smaller: r or -58?
-58
Let h = -480 + 2399/5. Which is greater: -15.6 or h?
h
Let b be (-4)/8*2 + 1. Suppose 0 = 2*l - b*l - 2, -5*r - 5*l = -65. Suppose 4*c - 4 = 4*a, 0*c = -3*c + r. Is 1 smaller than a?
True
Let b be -150 + 5 + 0 + -5. Which is smaller: b or -148?
b
Suppose 20*t + 22977 = -49*t. Is -1000/3 < t?
True
Let u be 2 - 9/(6/2). Do 61 and u have the same value?
False
Let m = -11.2 + 44. Let o = m - 33. Which is smaller: -1 or o?
-1
Suppose 14*v = -107 + 107. Which is greater: 3/16 or v?
3/16
Suppose -61*a = 6*a - 4623. Is 545/8 >= a?
False
Suppose -2*k = -4, 18 = 4*y - 0*k - k. Suppose 0*q = y*q - 15. Is q smaller than 3?
False
Let h be ((-26)/(-10) + 3)/((-26)/585). Is -251/2 greater than h?
True
Let g = -264 + 210. Which is smaller: g or -56?
-56
Suppose 0 = 5*h + 6*z - 7*z + 68, -3*z - 56 = 5*h. Which is bigger: h or -3?
-3
Let l = -146.103 - -0.103. Let b = l - -148. Let s = 5 - 8. Which is smaller: s or b?
s
Let l = 9.2 + -7.7. Let w = l - 0.5. Is w smaller than 5/6?
False
Let d(r) = -4*r**2 - r - 2. Let k be d(-2). Let s = -18 - k. Let z be 7/14 + (-1)/s. Is z less than or equal to 1/8?
False
Let c be 447/(-20) + (-9 - (-344)/40). Is -23 at least as big as c?
False
Suppose -2*w = 9 - 3. Let c be 2 + 195/w - -3. Let o be (-2)/6 + 16/c. Which is greater: o or -2?
o
Let w be 810/42 - (5/(-7) + 1). Suppose -w = 4*l + 17. Let i = -7 + -1. Which is greater: i or l?
i
Suppose 60 + 0 = 6*v. Let c = -24 + v. Are c and -27/2 non-equal?
True
Suppose 0 = 5*z - 0*t + 5*t - 10, 12 = 4*z + 2*t. Let m = -17 - -15. Let v be (-1 - m/z)*0. Which is smaller: -1/6 or v?
-1/6
Suppose 0 = f - 2*n + 139 + 278, 1656 = -4*f + 2*n. Is f greater than or equal to -413?
True
Let o = 190 + -191. Which is smaller: 1/8 or o?
o
Let n = -0.13 + 0.09. Let s = 0.04 + n. Let q = 0.03 + -0.13. Which is smaller: s or q?
q
Let q = 2063.6 - 2010. Which is smaller: q or 2/5?
2/5
Let h be (-114)/10 - (-6)/(-10). Let z be (h/18)/((-16)/6). Which is bigger: z or 12?
12
Let l(g) be the third derivative of g**4/12 + 11*g**3/3 - 18*g**2. Let p be l(-13). Is 3 equal to p?
False
Let t(s) = -3*s**2 + 4*s + 8. Let i be t(4). Is i smaller than -25?
False
Suppose 2*g - 3*a = -249, 311 = -3*g - 5*a - 34. Let b be (-2)/(-5) - 87/g*6. Which is bigger: 6 or b?
6
Let o(h) = -2 + 2 - h**3. Let r be o(1). Do 2/55 and r have the same value?
False
Suppose -t - 4 = 0, 2*t = -5*j - 3*t - 20. Suppose j = 3*r - 5*y + 7, r = -3*y - 7 - 0. Is r not equal to -6?
True
Let m = -13 - -105/8. Is m greater than or equal to 1?
False
Let k(p) be the first derivative of p**3/3 - 27*p**2/2 + 10*p - 9. Let j be k(11). Let z = 1156/7 + j. Is 2 equal to z?
False
Let y = 5 + 7. Suppose 3*a + 3*i + 0*i = -9, -y = 2*a + 4*i. Let z = 2526 - 2527. Which is bigger: z or a?
a
Let m = 13/16 + -117/16. Is -6 greater than or equal to m?
True
Let g = -0.0427 + 0.1427. Which is smaller: 616 or g?
g
Let m be (-10)/4*(6/15 + -2). Suppose 5*h + 0*h = m*u - 21, -u = 5*h + 26. Which is smaller: u or 2/25?
u
Suppose -3*c = 2*c + 20. Let a be ((-4)/(-15))/(c/10). Let w = 13 + -15. Is a at least w?
True
Suppose 4*o - 305 = -o. Suppose t - o = 4*d + d, -t + 81 = 5*d. Suppose -k + 4*m - 22 = 0, 3*k + t + 17 = m. Is -30 >= k?
True
Let c(s) = s**2 + 7*s - 5. Let t be c(-8). Let n(v) = 7*v**2 + 0*v**3 + 0*v - 6*v - 2*v**3 + v**t. Let o be n(6). Is o bigger than -1/12?
True
Suppose f = 2*z, -3*f + 9*z - 4*z + 1 = 0. Suppose f*k + 3*k = 4*s - 198, -4*s = 3*k + 106. Let m be ((-2)/k)/((-3)/(-6)). Is m > 1?
False
Let s(a) = 2*a**3 - 6*a**2 - 19*a + 7. Let j be s(6). Which is smaller: 110 or j?
j
Let j = 2673 + -2673. Which is smaller: j or 26/131?
j
Let y(v) = v**2 + 12*v + 14. Let o be y(-11). Suppose 4*f = o + 33. Let q = 5 - f. Which is greater: -3 or q?
-3
Let i = 1.9 + 0.5. Let j = i - 1.4. Let x = j - 1.4. Is 0.3 not equal to x?
True
Suppose a - c = -5, 0*a = 2*a - 4*c + 20. Suppose -2*v - k + 12 + 1 = a, 4*v + 4*k = 16. Let d = v + -7. Is 5/3 smaller than d?
True
Let j be 26/(-10) + 2/(-5). Let i be (2 - (4 + -1))*j. Which is bigger: i or 6?
6
Let x = -90399/122 - -741. Which is greater: 1 or x?
1
Let p be 126/15 + 3*1/5. Let f(a) = -11*a - 1. Suppose -6 = 3*l - 3. Let w be f(l). Which is smaller: w or p?
p
Let m = 0.0009 + -0.0009. Is -0.3 less than or equal to m?
True
Let g(q) = 17*q - 17. Let v(k) = 32*k - 33. Let n(s) = 11*g(s) - 6*v(s). Let j be n(2). Let i be (2/(-5))/(57/(-15)). Is i at most j?
True
Let o(t) be the first derivative of -t**3/3 + 3*t**2/2 - t + 25. Let i be o(2). Are i and 1 nonequal?
False
Let p(i) = 3*i**2 - 21*i - 13*i**2 + 20*i. Let c be p(1). Is -13 <= c?
True
Let u = 4162 - 1227788/295. Let k = u + 116/295. Which is bigger: k or -2?
k
Let l = 1249 + -1255. Do 5 and l have different values?
True
Suppose 251*m + 40 = 243*m. Which is greater: m or -6?
m
Let z be 91/26*8/14. Suppose 0 = -3*h + 3*r - 15, z*h + 5*r = -16 - 22. Which is smaller: -10 or h?
-10
Let t = -1 - -4/3. Let f = -83.9 + 81. Which is smaller: t or f?
f
Let t = 8 - 5. Suppose 12 = 7*f - 3*f. Let z be -2 + (-2 - -3) + f. Which is smaller: z or t?
z
Suppose 5*u + 0*u + 5*f - 20 = 0, 3*u + f - 12 = 0. Let w be (2/u)/(1/(-10)). Let r be (-15)/(-18)*2/w. Is r bigger than 2/9?
False
Let w be -4*(-7)/21 + 28/6. Suppose -6*v = -v - 30. Is w > v?
False
Suppose 307 = -6*f + 259. Let d be (21/(-3))/(1 - 0). Which is greater: d or f?
d
Let c = -593.0571 - -0.0571. Is -0.1 > c?
True
Let l(n) = -2*n**3 + 2*n**2 + 2. Let k be l(3). Let r = k + 17. Which is smaller: r or 0?
r
Suppose b = 5*s + 317, -4*s = 3*b + 221 + 25. Which is smaller: s or -65?
-65
Let o = -117.06 + 117. Which is greater: o or 8?
8
Let a be (5/(-4))/(-6 + 175/28). Let b be (-62)/10 + (-1 - -2). Is a at least as big as b?
True
Suppose -5*t + 285 = -5*s, 3*s - 2*t + 175 = -0*t. Let m(y) = -16*y**2 - 168*y + 26. Let q be m(-11). Which is greater: q or s?
s
Suppose 3*a - 4*n + 1 + 14 = 0, -39 = 4*a + n. Let p(f) = -3*f + 4. Let m be p(-3). Let k = m + -22. Is a > k?
False
Let z(c) = c**2 - c**3 - 5*c + 5 + 3*c**2 + 2*c**2. Let f = -241 + 246. Let m be z(f). Which is smaller: 4 or m?
4
Let m be (-33)/22*(-8)/6 + -1. Which is bigger: m or -2/81?
m
Let v(u) = u - 5. Let d be -5*(-4)/30*6. Let s be v(d). Let g(r) = r**3 - 2*r - 2. Let t be g(s). Which is greater: 1/13 or t?
1/13
Let w(k) = k**2 - 13*k + 13. Let u be w(4). Let l(y) = 3*y - 4. Let o be l(-6). Which is bigger: o or u?
o
Let b = 0.5 - -0.3. Let l = b + -0.8. Let o = 0.22 - 0.32. Which is bigger: l or o?
l
Let q(b) = 3*b**2 + 13*b - 5. Let o(h) = h**2 + 4*h - 2. Let c(a) = 7*o(a) - 2*q(a). Let f be c(-3). Let n = 799 + -34355/43. Is f at least n?
False
Let x be 8/10 - 3*9/(-135). Is x > 38/49?
True
Suppose -38*h = -14*h + 11760. Is -491 at least as big as h?
False
Suppose 2*w + 34 = -4*r, -w - r - 22 = w. Let c be (w/(-15))/(8/(-10)). Suppose 2*x = -2*z + 10, -5*x = 2*z - 1 - 18. Which is smaller: c or z?
c
Let u(v) = -v**3 - 6*v**2 + 8*v + 7. Let r be u(-7). Suppose r = 2*o + o. Suppose o = 5*n - 2*n + 3. Which is greater: -1/11 or n?
-1/11
Let p = -4729/5 + 3683901/3895. Which is smaller: -1 or p?
-1
Let j(u) = -3*u - 32 - 18 + 26. Let y be j(15). Is y at most -69?
True
Suppose 2*j + 0 = u + 4, 0 = -4*u - j - 7. Let w be (34/4)/((-1)/u). Suppose 8 = -4*o, 0 = 5*r + 4*o + 31 + w. Are r and -9 non-equal?
True
Let p be -15*(-1)/(-9) - -3. Is 0.2 less than p?
True
Let g = -0.11 + 1.81. Let t = 68.4 - 70.7. Let f = g - t. Which is bigger: -0.2 or f?
f
Let a be 7 + ((-816)/(-14))/(-8). Which is smaller: -42 or a?
-42
Let s be -7 + 66/9 - 1412/(-30). Is 48 <= s?
False
Let w = -170 - -88. Which is smaller: w or -83?
-83
Let r be (-318)/39 + (-4)/(-26). Let p be (-16)/40 - r/(-30). Let n be 3/((-3)/2) - 0. Which is bigger: p or n?
p
Let u(j) = -2*j + 39. Let y be u(16). Which is greater: 5 or y?
y
Suppose -8*t + 274 = -10*t. Let n