- -1. Is 1 less than or equal to j?
True
Let p = -0.5 + 1.38. Let g = 0.12 + p. Which is smaller: 9 or g?
g
Let s be 5 + -1 + (-16)/3. Let c = -1 - s. Is 1 at most as big as c?
False
Let a be 12/(-7) - (-16)/(-56) - -3. Which is smaller: -1 or a?
-1
Suppose 4*k - k + 78 = -5*i, 5*k + 34 = -3*i. Let p = -24 - i. Is -5 >= p?
True
Let z = 25 + -24. Which is bigger: z or 2/9?
z
Suppose -v - 5*v = 48. Let u = 7 - 15. Does u = v?
True
Let m = 21 + 3. Do 22 and m have the same value?
False
Let v(n) be the second derivative of n**5/20 - n**3/6 + 19*n. Let r be (-1 - 0)*-1*-1. Let i be v(r). Is 1/8 at most i?
False
Let a = -0.9 - 3.1. Let w = 4.62 - 0.42. Let u = w + a. Which is bigger: -1/3 or u?
u
Let y = -1.5 + 7.5. Let a = -6 + y. Which is smaller: a or -1?
-1
Let m be (-10)/(-4)*(-24)/(-20). Suppose o + n - 2 = 3*o, -o = -n + m. Which is smaller: 0 or o?
0
Suppose -5*x = -160 + 40. Is x greater than or equal to 26?
False
Let c = -0.12 + -3.88. Let h = -2 + 1. Is h < c?
False
Let q be (2/(-3))/((-1)/(-3)). Suppose 8*m = -0 + 8. Let n = m + q. Which is greater: 1/5 or n?
1/5
Let h be (4/(-12))/((-1)/12). Suppose -3 = -n + 2*j - h, -4*n - 4*j = -20. Is n at most 5?
True
Let v = -61 - -59. Is v at most as big as 33?
True
Let p = -3 + 5. Suppose 4*w + p*v = 6 - 0, -w - 5*v = 3. Let b = -1439/5 - -289. Is b at least as big as w?
False
Suppose -7 = 5*m - 3*s, 0 = -3*m + 3*s - 3. Let f be (-2)/m*(-1 + -6). Is 1 at least as big as f?
True
Suppose j - 3 = 20. Let b = j - 47/2. Are -1 and b equal?
False
Let k = -4049/136760 - -1/1315. Is -1 greater than k?
False
Let q(x) = 6*x**3 + x + 1. Let k = -7 + 6. Let c be q(k). Is c at least -6?
True
Suppose 3 = -3*z, 0*z - 11 = 5*m + z. Let x be m - -2 - (-4 + 5). Are x and 2/49 non-equal?
True
Let m = 5 + -4. Let r = m - 2. Which is greater: -2/15 or r?
-2/15
Suppose 0 = -2*h - 2. Let b = 62/3 - 21. Which is bigger: b or h?
b
Let u be 56/26 + 2/(-13). Suppose 5*p - 2*a - 56 = -a, -3*p - u*a + 31 = 0. Are p and 10 equal?
False
Let n = -59 + 62. Is -3 greater than or equal to n?
False
Let n(r) = 2*r - 9. Let k be n(6). Let h(g) = 0*g + 2*g - 3 + 4*g**2 - 3*g**2 - k*g. Let i be h(0). Is i bigger than -0.1?
False
Let j = 76.25 + -76. Is -1/3 <= j?
True
Let q = -0.24 - -0.09. Let i = q - 0.05. Is i less than 0.1?
True
Let p = 26 - 14. Which is greater: -3 or p?
p
Suppose -4*c + 5 = -9*c. Which is smaller: 8/17 or c?
c
Suppose -33*y - 7 = -32*y. Which is bigger: 1 or y?
1
Let x = 5 - 4. Let u(o) = -2*o**3 + 2*o - 1. Let k be u(x). Is 2/19 smaller than k?
False
Let t be 4/((-8)/13)*-2. Is t >= -1?
True
Let b be ((-206)/(-3))/((-32)/48). Is b at most -103?
True
Suppose 3*z - 147 = 3*n, -4*n - 4*z = -2*n + 128. Which is smaller: -56 or n?
-56
Let s = 6 - 6. Suppose -5*c + s*c - 70 = 0. Which is greater: -13 or c?
-13
Let l = -148/3 + 50. Which is smaller: l or 1?
l
Let n = 82 - 76. Which is greater: n or 40/7?
n
Let b be -3 + (40/11 - 1). Which is greater: b or 1?
1
Let j(m) = m**3 - 4*m**2 - m + 4. Let g be j(4). Let f be 9/12*(g - 8). Let a be 4/f*(2 - -1). Are a and -2 non-equal?
False
Suppose -30 - 15 = 5*r - 5*o, 3*r - 5*o = -33. Which is bigger: r or -8?
r
Suppose -2*i - 10 + 30 = -3*n, 5*n - 10 = 0. Let o = i + -13. Are o and -1 unequal?
True
Let q be 6 + (2 - -1) + -4. Suppose -q*t - 5 = -r - 4*r, -t = 5*r + 1. Which is smaller: t or 0?
t
Suppose -o = 1, -2*u + 2 - 3 = -o. Let q be (-18)/3*u/93. Are -1 and q nonequal?
True
Let g = -0.16 - -2.36. Let o = g - -0.8. Let l be 1/(6/(-4))*3. Is l bigger than o?
False
Let d = -24 + 16. Let h be (d - -5)/(3/(-2)). Suppose -2*a + 3*a + h*l = -1, -3*a + 5 = -2*l. Which is bigger: a or -0.2?
a
Let f(g) = -g**3 - 4*g**2 + 5*g + 4. Let x be f(-5). Suppose 4*b + x = 8*b. Does b = 5/4?
False
Let p(n) = -n**2 - 10*n - 16. Let c be p(-7). Let y(i) = i**3 + 5*i**2 - 6*i + 4. Let r be y(-6). Which is smaller: c or r?
r
Let m = -32 + 17. Let s = -15.07 - m. Let d = s + -0.03. Which is greater: -1 or d?
d
Let o be (-12)/24 - 1/2. Suppose 0*j = j. Is j at least as big as o?
True
Let w = -5 - -6. Let n = w + -3. Which is greater: -1 or n?
-1
Let y = 22/3 + -20/3. Let l = 5 - 5. Which is bigger: l or y?
y
Suppose -2*p - 37 + 7 = 0. Which is smaller: p or -16?
-16
Let j = -1/70 - -29/70. Is j not equal to -1/4?
True
Let t = 76/975 - 7/75. Is t at least as big as 0?
False
Suppose 0 = h + 4*v + 17, 3*v + 5 = 5*h - 2. Let i be h/4 + 26/40. Let l = 4 + -3. Which is greater: l or i?
l
Let x be (-2856)/(-27) + 0 + 0. Let p = 106 - x. Suppose -5 = 5*a - 2*v, 3*a - 1 - 12 = -2*v. Which is bigger: a or p?
a
Suppose 5*n = 1 + 24. Suppose 2*a - 2*t = 4*a - 4, n*a + t = 6. Let u = -3/14 - -23/42. Is a smaller than u?
False
Let x = -2 - 4. Do x and -11/2 have different values?
True
Suppose -3*z - 4 = -7*z, -z + 45 = -4*c. Is -13 less than or equal to c?
True
Suppose -8 = -9*a - 98. Which is bigger: a or -12?
a
Let u = -11 - -3. Let i = -5 - u. Suppose i*g - 7 = -4. Are g and 1 nonequal?
False
Let h be -23 - (-4 - (2 + -5)). Let u = 22 + h. Let j = 1 + -1. Is u less than or equal to j?
True
Let a(k) = 17*k - 2 + 2 - 16*k. Let l be a(2). Let f be (2/(-25))/((-2)/30). Which is bigger: l or f?
l
Let x = 16 - 17. Which is smaller: x or -11?
-11
Suppose -12 = -5*p + 4*f, -3*f - 3 - 11 = -5*p. Suppose 13 - 33 = p*r. Which is bigger: -6 or r?
r
Suppose r + 0 - 3 = 0, 0 = -k + 4*r - 10. Is k >= 8/13?
True
Let k = -20 + 19.6. Do k and -3 have different values?
True
Let i = 7 - 12. Let m = 5.3 + -1.3. Let k = i + m. Which is smaller: -0.2 or k?
k
Let t(f) = -f**3 + 13*f**2 - 24*f + 26. Let m be t(11). Which is bigger: 21/8 or m?
m
Let r be 1*(-3)/(12/1). Let y be (6/(-4))/(11/(-6)). Let t = y + -43/66. Is t bigger than r?
True
Let i = -0.19 + 9.19. Let k = -13 + i. Which is smaller: -2 or k?
k
Let m(h) = 27*h + 3. Let j be m(5). Suppose 0 = -3*s + 3*x + j, -3*s - 5*x + 17 + 105 = 0. Let f = s - 221/5. Is f at least as big as 0?
False
Suppose 5 + 15 = -5*h. Let t = -4 - h. Let k be (-1)/((-2)/((-8)/11)). Which is greater: t or k?
t
Let i = -297947 + 3280922/11. Let y = i + -319. Is 1 smaller than y?
False
Let k = -2.762 + 0.062. Let p = -2.7 + -0.3. Let u = p - k. Which is smaller: u or -1/2?
-1/2
Let g = -344 + 225. Let y = -185 - g. Let v be -3 - (y/8)/3. Is 1 not equal to v?
True
Let b(v) = 10*v + 3. Let u be b(-3). Is u at least -26?
False
Let z = 11.05 + -12. Let l = z - -0.01. Let w = 0.06 - l. Which is smaller: -0.1 or w?
-0.1
Let h(n) = -524*n**2 - n. Let d be h(-1). Let f = -6795/13 - d. Is f < -1?
False
Suppose -3*q = q + 8. Let u be -1 + 11 + 0/q. Suppose -5*m - r = u, -r - 4*r = 0. Are m and -2 nonequal?
False
Let g be (-45)/30*(-2)/(-3). Let z be g - ((-7)/5)/1. Is 2/17 at most as big as z?
True
Suppose 69 = 5*j - 51. Is j equal to 24?
True
Let i = 6/29 - 89/290. Are i and 0 nonequal?
True
Let f = 161 - 329/2. Suppose -4*w - 4*y - 28 = 0, 3*w - 14 = y + 3*y. Let a be (-3 - (w + -5))/(-1). Is a bigger than f?
False
Suppose -5*n - 4*v = -0*v + 1, -2*n - 3*v - 6 = 0. Let s = n + -1. Suppose -4*i + 2*i = -s. Which is greater: -2/17 or i?
i
Let n = -57/244 + -1/61. Let f = -52 - -26. Let g = f - -26. Is g < n?
False
Let r be ((-2)/6)/(1/15). Let h = -4 - r. Which is smaller: 0 or h?
0
Let x = -0.81 - -0.8. Let z = 2.01 + x. Which is greater: -0.2 or z?
z
Let b be 19/3 + (-2)/6. Let o(f) = f - 7. Let s be o(b). Which is smaller: -4/7 or s?
s
Let i be ((4 - 7) + 4)*1. Are i and 2/69 non-equal?
True
Let l = -3 - -3. Suppose l = b - 0*b. Let g = -43 - -128/3. Is b equal to g?
False
Let i be (-46)/6 + 2/(-6). Suppose 20 - 68 = 8*n. Which is smaller: i or n?
i
Let k = -2 - 2. Let n be (2/k)/((-2)/(-8)). Is n < -4/7?
True
Let i = 0.8 - 1. Let m = i - -1.2. Let f = 0 + m. Is -1 != f?
True
Let l = 2.8 - -1. Let b = l - -0.2. Let z = 2 - b. Which is smaller: z or -2/7?
z
Let i = -34 + 33. Which is bigger: 0 or i?
0
Suppose 4*v + c = v + 8, 15 = 5*v + 2*c. Is v less than 1/3?
False
Let r(n) = -n**2 + 3*n - 15. Let o be r(5). Do -25 and o have different values?
False
Let r = 21 - 21. Is r > 0.01?
False
Let j = -11156/33417 - -26/79. Which is bigger: 1 or j?
1
Let v be 1/(-4) + 3/(-20). Let t = 0.583 - 0.183. Which is bigger: v or t?
t
Let v = 5 + -5.4. Let k = -0.3 - -0.7. Let t = k + v. Which is bigger: t or -1/3