< i?
False
Suppose 4*z + 276 = -z + 3*f, 5*z + 291 = -2*f. Which is smaller: -56 or z?
z
Suppose 5*i + 1 = -3*v, v = 2*i - v - 6. Suppose b = 3*z - 20, 3*z + 25 = -4*b + 4*z. Let w be b/35*(-3 - -2). Which is greater: i or w?
i
Let i(t) = t**2 - 12*t - 251. Let c be i(30). Is -3 < c?
True
Let u(t) = 2*t**2 - 34*t - 34. Let n be u(18). Let r be (2/(-8))/(n/(-16))*1. Is r equal to 1?
False
Let l be 4/39*(-6)/4. Let w(y) = 6*y + 6*y**2 - 2*y**2 - 6*y**2 + y**2 - 5. Let u be w(5). Are u and l nonequal?
True
Let r be (-20)/(-20) - ((-9)/3 + -1025). Is r at most as big as 1029?
True
Let x be (-20)/120 - 601/(-6). Is x <= 99?
False
Let z be (-637)/(1/1) + (8 - 12). Let b = z + 133967/209. Which is smaller: -1 or b?
-1
Suppose -4*i - 18 = -i. Let l(h) = -9*h + 3. Let t be l(1). Are t and i unequal?
False
Let a = 0.09 + -11.09. Let g = 8 + a. Let f = -127/4 + 32. Which is smaller: f or g?
g
Let s be 2/((-9150)/20*2). Which is bigger: 1 or s?
1
Let v = 0 + -0.1. Let i = 271518/7 + -38677. Let o = i - 111. Which is bigger: v or o?
o
Let u be 4*4/(-19168)*(12 + -20). Which is bigger: 1 or u?
1
Let y be (-364)/(-18) - 6/27. Let d = -18 + y. Is 5 > d?
True
Let t = -1399 - -987. Which is greater: t or 1?
1
Let s be ((36/232)/9)/((-18)/9). Which is greater: s or -1?
s
Suppose -2*w - 5*h = -217, -3*h = w + 2*h - 121. Are w and 2/3 non-equal?
True
Let m = 31/46 + -1/138. Is 4 >= m?
True
Let f = -2/185 + -7/37. Suppose 2*v - 15 = -3*u - 0*v, -5*u = 4*v - 25. Suppose 2*z = -2*c + 8, -u*c = 3*z - 0*c - 20. Is z < f?
False
Let b = 97 - 97. Suppose b = -3*t + 2*t - 1. Is 5/13 at most as big as t?
False
Let h = 3791 - 3792. Let y be 1/3 - 102/333. Which is smaller: y or h?
h
Let j be -2*3/(-3)*1. Suppose -20 + j = 3*t. Let f(b) = b - 12. Let v be f(7). Which is greater: v or t?
v
Let x be 42/4 - (-6 - 45/(-6)). Suppose -f - 3 = -0. Which is bigger: x or f?
x
Let k be 1*(-3 - -1) - (-19 - 0). Let l be (18/5)/((-2)/(-10)). Which is smaller: l or k?
k
Let k be (-4 + (-16)/(-6))*-12. Suppose -s = -i + 6 - 2, -s - 4*i = -k. Is -2/103 at most s?
True
Let s be 3*(-520)/(-96)*2*2. Is s less than or equal to 66?
True
Let f be -1*(20/(-434) + (-14)/(-98)). Which is greater: -19 or f?
f
Let n(q) = -q**2 + q + 9. Let g be n(4). Let k be 3/g - (-74)/72. Which is smaller: -1 or k?
-1
Let t(b) = b**2 + 11*b + 3. Let y be t(-11). Is 17/5 greater than or equal to y?
True
Let i be (-4 + 3)/(1 - (-12)/(-5)). Is i less than -1?
False
Let z = 1.8 - 2. Let x = 64.4 - 59.22. Let s = -0.82 - x. Which is bigger: z or s?
z
Let n(f) = f**2 - 2*f + 1. Let l be n(3). Suppose 3*q = 15 - 12. Is q < l?
True
Let r = 0.051 + -0.151. Which is smaller: r or 34?
r
Let r(t) = -30*t + 10. Let f be r(2). Let p = f + 51. Which is smaller: 9/8 or p?
p
Suppose 12 = 4*b - b. Suppose 5*t - 14 = -b. Suppose t = w + 4. Is w bigger than -2?
False
Let r = 402/35 - -1/70. Is r greater than or equal to 1?
True
Let j = -13/21 - -2/7. Let n = 7.3 - 4.6. Which is bigger: n or j?
n
Suppose 229 = 2*d + 225. Let a = 14 + -24. Are a and d equal?
False
Let o be (1 + (-6)/10)/(4/5). Suppose 0*d + 2*d = 0. Is o smaller than d?
False
Let i = 23 - 19. Suppose -4*t - 8 = -i*s - t, 0 = 2*s + 5*t + 22. Let p be (s/4)/(11/22). Are -2/37 and p equal?
False
Let x be (10/2)/(4/44). Is 55 bigger than x?
False
Let i = 10 - -11. Let d = -20.95 + i. Which is greater: 4 or d?
4
Suppose 647 = w + 3*s, -4*w - 24*s + 21*s = -2588. Are w and 648 non-equal?
True
Suppose 0 = 53*t - 57*t + 20. Let w = -5 + 8. Suppose -t*s = -s - 5*g + 15, 0 = -w*g + 9. Which is smaller: 2 or s?
s
Let x(n) = -n**2 + 7*n - 5. Let z be x(5). Suppose 3*m - 2 = z*m. Which is greater: 1/27 or m?
1/27
Let g be 0*(-1)/(-2) + -2. Let q(w) = -w**2 - 10*w + 23. Let d be q(-12). Are d and g unequal?
True
Suppose 4*p + 3*q = -27, -p + 5*q + 19 = p. Let c be 9/p + (-67)/(-22). Let s = c + 37/154. Does s = 14?
False
Let l = -1.231 + 1.131. Which is bigger: l or -404?
l
Let v be -1 + (0 - 136/(-96)). Suppose 2 - 4 = -3*g + w, 7 = 3*g - 2*w. Is g at least as big as v?
False
Let u = 81.4 + -47.44. Let j = 1.04 + u. Which is smaller: j or 0.1?
0.1
Let u = -241 + 241.2. Is u > 0.49?
False
Suppose 42*h = 73*h. Is h smaller than 2/3915?
True
Let w(a) = a**3 + 2*a + 4. Let u be w(0). Suppose 4*f = -x - 20 + 1, u = -x - f. Let q = 28/369 - -6/41. Which is smaller: x or q?
q
Let b = -163 - -162. Is 97 smaller than b?
False
Let k(z) = -2*z**2 - 3*z + 32. Let w be k(11). Is w at most -243?
True
Let i = 92 - 89.1. Let c = 1.9 - i. Which is bigger: 1.7 or c?
1.7
Let x(k) = -k**3 + 6*k**2 + 10*k - 10. Let h be x(7). Let f be (h + -12)/((-5)/(-3)). Let y be 1 + -3 - 68/(-32). Which is greater: y or f?
y
Let g be 7/3 + 80/(-60). Let c(r) = 2*r**3 + 3*r**2 - 3. Let v be c(g). Let h = 0.8 + 5.2. Which is smaller: h or v?
v
Suppose 3 = 3*c - 6. Suppose c*g + 1 = 7. Suppose 4*d - 17 = g*d + j, 5*d - 25 = -j. Is d != 7?
True
Let l = -91 + 227. Which is greater: l or 2?
l
Let x be (0/(-3) + -1)*-23. Let m = 19 - x. Let n be -2 - (-2)/m*-4. Which is smaller: n or 1?
n
Let p be (-45)/21 - (-4 - -2). Let k = -0.6 + 0. Let q = 0.5 + k. Are p and q unequal?
True
Let z = 2.3 + -0.2. Let w = z - 4.1. Is w < -1/3?
True
Let v be (120 - 62) + (0 - 1). Which is smaller: -7 or v?
-7
Suppose 2*n + 2*n = -12. Let a be 0 - -10 - 0/9. Let o = -16 + a. Which is smaller: o or n?
o
Let x(b) = -39*b - 14. Let m be x(-15). Which is bigger: m or 572?
572
Let b be (-12)/(-70) - (9/(-42))/(7/14). Let s be 2/6*120/(-14). Which is bigger: b or s?
b
Let r = 2/9133 + 520547/155261. Does 3 = r?
False
Let u = 836.06 - 836. Let y = 0.1 + -0.14. Let p = u - y. Which is smaller: 10 or p?
p
Let j = -64 - -74. Suppose -2 = -j*v + 12*v. Is v >= -1/14?
False
Let j = -316 - -308. Is -10 >= j?
False
Suppose 5*m + 10 = 0, 3*i - 3*m + 0*m = 12. Let u be (-100)/(-35)*(i + 3/2). Which is smaller: u or 2?
2
Let h = -9 - -20. Let w be (10/h)/(-5) - 109/(-55). Is 1 less than w?
True
Let g = 0.6 + -0.31. Is 1 smaller than g?
False
Let v(n) = -2*n - 2. Let y be v(-7). Let r = y + -18. Let p be 0 - 4*-3*2/(-4). Is p bigger than r?
False
Let x(w) = w**2 + 5*w - 4. Let d be x(-6). Suppose -h + 8 + 9 = 3*p, -5*p = -d*h - 43. Let b(a) = -a**2 + 7*a - 5. Let l be b(5). Which is greater: p or l?
p
Let m = -270 + 270.02. Which is greater: -0.1 or m?
m
Let h = -692 + 608. Which is greater: h or -591/7?
h
Suppose -5*t + 12 = -5*k - 13, -7 = -2*t + k. Suppose 26 = -4*z + t*w - 0*w, 3*w - 18 = 3*z. Which is bigger: -9 or z?
z
Let t(n) = n**2 - 3. Let q be t(2). Let v = 1575 + -2221. Let x = 22612/35 + v. Which is smaller: x or q?
x
Let a = 0.24 - 0.04. Let q be (2/(-4))/((-1)/(-8)). Let u be q/14 + 10/(-14). Which is bigger: a or u?
a
Suppose -10*q + 5*q - 445 = 0. Are -266/3 and q non-equal?
True
Suppose 0 = -2*h + 16 - 0. Let a = 14 - 2. Let y = a - 13. Do y and h have the same value?
False
Suppose 5*h + 231 = 1. Let l(v) = v**3 + 2*v**2 + 4*v + 1. Let k be l(-4). Is h greater than or equal to k?
True
Let u = -236 + 236.1. Which is smaller: u or 1.04?
u
Let g = -137 + 424. Let j = g + -3159/11. Suppose -2*w - 3 = w. Which is smaller: w or j?
w
Let v be (83 + 3 + -2)/2. Let t be 8/12*v/4. Which is bigger: t or 8?
8
Let w(t) = 6*t - 1. Let c be w(-2). Let f = c + 22. Let g(i) = -i + 9. Let v be g(f). Which is bigger: -1/4 or v?
v
Suppose 447 - 78 = 3*p. Let w be (-3 + p/45)*(-15)/27. Which is smaller: w or 0?
0
Let w(m) = m**2 - 2*m - 8. Let k be w(4). Let g(l) be the third derivative of l**4/24 + l**3/6 - 5*l**2. Let h be g(-1). Do k and h have different values?
False
Let n(y) = -4*y**3 + y**2 - 2*y - 2. Let i(w) = 3*w**3 - 2*w**2 + w + 2. Let o = 16 + -13. Let m(x) = o*i(x) + 2*n(x). Let l be m(4). Is l greater than -1?
False
Suppose -n = 22*n - 874. Which is greater: 35 or n?
n
Let j = 46 + -21. Suppose 3*u = -0*u - d + j, u - 20 = 2*d. Let f be (-6)/(-3) + 4 + 2. Is u at most f?
False
Let z = 47 + -46.89. Let m = -41/2 - -209/10. Is z greater than or equal to m?
False
Let i(r) = r**3 - r**2 - 3*r + 1. Let m be i(4). Are 37 and m equal?
True
Let d = 2455/3 + -459031/561. Which is smaller: d or 0?
0
Let l(i) = -3*i**2 + 1. Let g be l(-1). Let y = -3 - -8. Suppose -t + 3*x - 2 = 7*x, y*t = x - 10. Is g equal to t?
True
Let x(q) = -5*q**3 + 4*q**2 - 11*q 