-12 = -4*j + w*v, 14 - 6 = -2*v. Which is smaller: j or n?
j
Suppose 8 + 7 = 5*j. Suppose 2*g = j*g - 3. Suppose -5*z + 6 + 14 = 0. Which is greater: g or z?
z
Suppose 24*r - 10 + 34 = 0. Which is smaller: r or -6/113?
r
Let j(g) be the second derivative of 17*g**3/6 - 11*g**2/2 - 34*g. Let m be j(4). Is m bigger than 0?
True
Let d(z) = -z**2 - z. Let w be d(0). Suppose 40*k - 34*k + 12 = w. Which is greater: -30/13 or k?
k
Let f be (-7 + 6)*0/(-1). Let d be (320/112)/(6/84). Is d greater than or equal to f?
True
Let m be (-1 + -1)*1 - -12. Let v = m + -28. Let d be 12/(-54) - (-428)/v. Are d and -24 non-equal?
False
Let r(v) = v**2 - 4*v. Let j(p) = p**3 - 5*p**2 + 4*p + 4. Let h be j(4). Let u be r(h). Let q = -0.32 + -5.68. Which is smaller: u or q?
q
Let k = 33 + 302. Which is bigger: k or 334?
k
Let r be -4*(1 + -2)*1. Suppose 0 = 3*c - 9 - 3. Is c at least as big as r?
True
Let o = 67.5 + -15.5. Let s = o - 58. Are 5/3 and s non-equal?
True
Let u be 4/(-34) + 115742/340. Let r = u + -340. Which is smaller: r or 1?
r
Let x = 61/4 - 1899/124. Suppose 0 = 25*p - 20*p + 3*c - 2, 2*p = c + 3. Which is bigger: p or x?
p
Suppose -36*g - 153 + 117 = 0. Let i = 4 - 3. Suppose 3*t = 28 - i. Is g bigger than t?
False
Suppose -w + 2*f = -12, -w + 8 + 0 = -f. Suppose 3*r = d + 2*d + 174, 0 = w*r + 2*d - 208. Let x = 701/13 - r. Is 0 greater than x?
True
Let x = -48 + 51. Suppose 4*o = -2*d + o - 6, 0 = 3*d - x*o - 6. Suppose 16*r - 13*r - 6 = 0. Which is smaller: d or r?
d
Let c(g) = 2*g**2 - g. Let z be c(2). Suppose 3*y + 9 = 5*t, -2*t + 3 = -4*y + 5. Let m be 19/4 + (t/4)/3. Which is bigger: z or m?
z
Let n = 44 - 41. Let p be (-4)/(-2) - -1 - n/1. Is 8/13 at most p?
False
Suppose 4*k = -3*a - 19, -k + 3 - 8 = a. Let z = -133/100 - -2/25. Which is smaller: a or z?
z
Let b = 176 + -189. Which is smaller: b or -99/7?
-99/7
Let a be (-10)/(-6) + 4/12. Let x be (4 + a + -4)*-1. Which is greater: x or -4/3?
-4/3
Suppose 4*p = -0*p + 16, t + 3*p - 93 = 0. Let h be (5/15)/(3/t). Are h and 9 nonequal?
False
Suppose -p + 9*p = -144. Let c = -54 - -36. Are p and c non-equal?
False
Let n(k) = 4*k - 37. Let q be n(12). Suppose 33 = q*x - 99. Are x and 8 unequal?
True
Let h = -886/55 - -81/5. Is 2/21 > h?
True
Suppose 20 - 26 = 2*t, -2*t + 486 = 4*s. Which is greater: 870/7 or s?
870/7
Let j be (1/(-2))/((-8)/(-16)). Let n be (9/3 - 1)*(2 - 3). Which is smaller: j or n?
n
Suppose 29*j - 24*j = -5. Let g(k) = k**2 + 40. Let y be g(0). Which is smaller: j or y?
j
Suppose 0 = 5*q + 6*l - 2*l - 25, 4*l + 38 = 2*q. Suppose -3*z = 3*a + q, -2*z - 23 = -4*a + z. Let p = -2 + 4. Is a bigger than p?
False
Let n(v) = -6*v + 8*v - 3*v - 1 + 0*v. Let p be n(-3). Is p greater than 2?
False
Let z = -9 - -41/2. Which is greater: z or 13?
13
Suppose 4*z = 17 - 89. Let r(n) = n**3 + 19*n**2 + 18*n + 21. Let t be r(z). Is 21 at most as big as t?
True
Let a be 0 + -4*(-2)/4. Suppose -c + 2*f - 12 = 0, 2*f + 0 = -a. Let i be (c/(-8))/((-15)/(-12)). Is 1 >= i?
False
Suppose -12 = -3*o, -v - 3*o = -248 - 113. Suppose -248 = 3*k + v. Let f = k + 381/2. Is -9 not equal to f?
True
Let w(n) = -1. Let x(d) = -2*d - 23. Let b(h) = 3*w(h) + x(h). Let s be b(-7). Which is smaller: s or -11?
s
Let r = -272 + 333. Is r at least as big as 58?
True
Let c(x) = -9*x - 41. Let f(t) = 5*t + 21. Let i(z) = 6*c(z) + 11*f(z). Let h be i(16). Is -2/109 <= h?
True
Let y be 1205/12 + (-14)/21. Let b = -813/8 + y. Are b and -1/2 equal?
False
Let j = -0.4 - -1.1. Let y = -6.18 + 0.48. Let o = j + y. Is 2/3 less than o?
False
Let x be 53 + 0*4/(-4). Let r = x + -15. Is 39 <= r?
False
Let u be -18 - (0 - (0 + 0)). Let n be u + 3 + (4 - 1). Let f be (-3 - -5) + n/8. Which is bigger: 1 or f?
1
Let z be (1/(-4)*1)/((-8)/(-56)). Do z and -6/5 have the same value?
False
Suppose -y - k = 1, -5*y = -2*y - k - 9. Is 34/11 > y?
True
Suppose -5*s - 26 = h - 106, 3*s + h = 50. Which is smaller: 73/5 or s?
73/5
Let q = -28622 + 28623. Let i = -0.3 + 0.4. Let o = i - 1.8. Is o bigger than q?
False
Let g = -171344/53 + 3233. Which is smaller: 0 or g?
0
Let u(z) = -15*z**2 + 3. Let j(l) = -5*l**2 + 1. Let s(v) = 11*j(v) - 4*u(v). Let y be 2 + 0 - (1 + 0). Let a be s(y). Is 3 at least a?
False
Suppose 16*g = -2*g + 8*g. Is -2/23 at most as big as g?
True
Let k be 79*1 - (26 - 25). Suppose 14*i - i = -k. Which is smaller: 2 or i?
i
Suppose 32*g = 36*g + 68. Let k(r) = -r**2 - 18*r - 18. Let m be k(g). Which is smaller: m or 1/7?
m
Let x = 1 + 2. Suppose -16 = -3*n - 1. Which is bigger: x or n?
n
Suppose 3*z - 51 = -j, -5*z = 3*j + j - 85. Suppose z*r = 19*r + 4. Which is smaller: -7/3 or r?
-7/3
Let d = -6813/7 - -973. Is -705 smaller than d?
True
Suppose -14*u + 12*u + 4 = 0. Let s be u + (-7)/(14/4). Let m be (6/846)/(1/(-3)). Is s less than or equal to m?
False
Suppose u = 4, -u - 24 = -2*x - 5*u. Let r = x - 3. Let z = 98 + -1765/18. Is r equal to z?
False
Suppose 2*v = 6*v - 4. Let k = -726 - -5094/7. Which is smaller: v or k?
v
Let j(c) = 6*c**2 + 73*c + 12. Let q be j(-12). Is 2/5169 < q?
False
Let l be 2/((-1)/((-25)/(-10))). Let w = -4 - l. Is 0.1 at least as big as w?
False
Suppose -19*y - c + 8 = -18*y, 3*y + c = 22. Which is smaller: -0.6 or y?
-0.6
Let r = -0.08 + -0.12. Which is bigger: r or 33/7?
33/7
Let c = -77.8 - -62. Let f = -16 - c. Which is smaller: f or -4?
-4
Let s = 853 - 702. Which is smaller: 150 or s?
150
Suppose 0 = -12*y + 16*y. Suppose -j + 6*j - 5 = y. Let i be (j - (-16)/(-12))/(-1). Which is bigger: 1 or i?
1
Let i = -18 - -21. Suppose 0 = -109*k + 110*k + i. Let d be (-2*(0 + 1))/1. Which is smaller: k or d?
k
Let y be -1 + 6/75 + 1. Let w(s) = 2*s**3 + 10*s**2 - 11*s + 7. Let v be w(-6). Which is smaller: v or y?
y
Let v(u) = 0*u + 5*u + 8 - 2*u. Suppose -2*c = -b + 1, b = 3*c + 8 - 4. Let z be v(b). Is z > -7?
False
Let m = -2 + 2.6. Let q = -6.77 - -6.07. Let l = m + q. Which is bigger: l or -3.1?
l
Let z be 10/((-70)/133) - -14. Let q be -5*(2 - (-1 - -2)). Are z and q non-equal?
False
Let z be ((-5)/195)/((-127)/62 + 2). Let m = 4/13 - z. Which is smaller: -1 or m?
-1
Suppose 4*b = 4*b + 2*b. Suppose 5*k - 4*s = -1, -5*k + 2*s - 1 + 8 = b. Is 42/11 greater than or equal to k?
True
Suppose -2*g - 126 = -8*g. Let z = -23 + 44. Is z less than g?
False
Let u(f) = -3*f**2 + 14*f + 1. Let g(w) = 8*w**2 - 41*w - 2. Let l(m) = 4*g(m) + 11*u(m). Let v be l(-10). Let z be -8*((-12)/(-8))/v. Are z and -4 non-equal?
False
Let u be 3/24*-4*238. Do -118 and u have the same value?
False
Let i be 0 + 3/10 + 4/(-10). Suppose 0 = -o - 2 - 1. Let m be o - -3*(-4)/(-6). Which is smaller: i or m?
m
Let r be ((-48)/70)/(-6) + (-10)/25. Suppose -3*u = -4*h - 24, 4*u + 2*h - 32 = 5*h. Suppose -u*z = -4*z. Which is smaller: z or r?
r
Suppose -2*a + 174 = -6. Is 91 < a?
False
Let v = -30/31 - -115/279. Let n be 3/(-6) + (-6)/(-4). Let r be n + -1 + -5 + 4. Is r != v?
True
Let c be (-3)/((-54)/(-4)) - 5825/(-27225). Which is bigger: 1 or c?
1
Let j = -205 - -199. Let v = 5.01 + -0.01. Is j >= v?
False
Let g = 3.41 - 3.01. Are g and -2/5 non-equal?
True
Suppose 12 = -u - c, u - c = c - 3. Let a(n) = -n - 1. Let x be a(u). Suppose -5*q + x*q = 0. Which is smaller: q or 8?
q
Let x(o) = o**2 - 14*o + 38. Suppose 12 = -26*c + 28*c. Let w be x(c). Which is greater: w or -9?
-9
Suppose 6 + 1 = 5*o - 3*t, 5 = -o - t. Which is smaller: -4/33 or o?
o
Let c = -102 + 162. Suppose -10*m + 180 = c. Is 11 less than or equal to m?
True
Let t be 0/(2*((-35)/10 - -3)). Is t at most as big as 5/83?
True
Let l(x) be the third derivative of -x**5/60 - 5*x**4/12 + x**3 + 10*x**2. Let j be l(-11). Let f be (-56)/j + (-2)/10. Is 12 != f?
True
Let b = -5.7 + 5.76. Let q = b - -0.94. Do q and -11 have different values?
True
Let h be (-4)/72*-4 - 6/27. Suppose -6*z - 5 = 7. Which is smaller: z or h?
z
Let r be (-52)/(-2) + (-270)/135. Let x = 42 + -17. Which is greater: x or r?
x
Suppose 3*q = 6*q - 15. Let a = -11 + 12. Suppose -2*j + 8 = -4*s, 3*j = -5*s + 13 - a. Are q and j non-equal?
True
Let q be ((-80)/(-24) + -4)/(2/(-24)). Is 5 <= q?
True
Let m(d) = 2*d**2 + 7*d - 30. Let t be m(-6). Suppose -5*a + t*a - 2*k = 3, -2*a - 3*k - 10 = 0. Is a > 20/9?
False
Let n(d) = d**2 - d - 62. Let v be n(-10). Which is smaller: 326/7 or v?