h is smaller: j or -1?
-1
Let j be (3/1 - 6)/(-1). Let a be (-4)/(-16) + 50/(-8). Let d be 13/3 - (-2)/a. Does j = d?
False
Let q(w) = -w + 4. Suppose -2 = m + 3. Let y = m - -10. Let d be q(y). Which is smaller: 2 or d?
d
Let q be (-12)/(-21) - 1 - -1. Let y be 68/(-273) + (-6)/(-9). Let l = q - y. Which is bigger: 0 or l?
l
Let a be -3 - -4 - 2/3. Let j = 4.1 - 2.3. Let n = j - 2. Is n greater than or equal to a?
False
Suppose 2*b = 4*b + h - 10, -4*h = b - 19. Suppose -2*m = -b*g + 2, -g + 4 = g - 4*m. Suppose -3*f + 13 = -4*c - 18, g = -f + 5. Which is smaller: -5 or c?
-5
Suppose 3*n - t - 64 = 37, 5*t = -5*n + 155. Is n > 32?
True
Let q = -1.053 - -0.053. Are -20 and q equal?
False
Let p(h) = 2*h**2 - 2*h - 7. Let t be p(-2). Is 9/2 > t?
False
Let d be 6*(44/42 + 6 + -7). Suppose 8*q - 4*q = -4. Is d < q?
False
Suppose 246 = 6*x - 2*x - a, 5*x - 314 = -2*a. Which is smaller: 63 or x?
x
Suppose -3*i - 196 = -19. Which is greater: i or 0.1?
0.1
Let c = 13 - 15. Which is greater: -1/4 or c?
-1/4
Suppose 24 = 5*h + 4. Suppose -15 = -h*t + 5*q, -3*t - 9 = -t + 3*q. Is t greater than 2/3?
False
Suppose -25 = 5*i, a - 4*i + 16 = 5*a. Suppose -2*t + 5*d = -33 + a, -4*t - 3*d - 4 = 0. Which is smaller: -1 or t?
-1
Suppose 2*z + 4*m = -3*z + 21, 4*z - 16 = -3*m. Which is bigger: -1 or z?
z
Suppose -2*a - a + 4*w + 6 = 0, 0 = 4*a - w + 5. Is a < -5?
False
Let h be ((-3 - -3)*1)/1. Suppose h = -4*q + 5*i - 28, 0 = -5*i - 3 + 23. Which is smaller: q or -2/3?
q
Let a = 8 + 1. Let z = a + 9. Which is greater: z or -1/3?
z
Suppose 5*a - 200 = 3*c, -6*a + 212 = -3*c - 7*a. Which is bigger: -71 or c?
c
Let m = -3/46 - -493/506. Which is greater: m or 1?
1
Let c = -83 + 77. Is -19/3 at least as big as c?
False
Suppose -4*s - j = -12, 0*s + 3*s - 28 = 4*j. Which is bigger: 2 or s?
s
Let g(w) be the third derivative of 0*w + 0 - 1/24*w**4 + 2/3*w**3 - 2*w**2. Let q be g(4). Which is greater: q or -2?
q
Suppose o + 2 = -p, 2*p + 0*o + 10 = 4*o. Let k = p - -5. Let b be ((-1)/k + -1)/(-3). Is b >= 0?
True
Let o = -12 - -15. Is 3 greater than o?
False
Let v be ((-1)/2)/(2/12). Let u be (0 - -1)/((-7)/21). Let y be 1*(-2)/(-3)*u. Which is greater: v or y?
y
Let w(k) = 5*k**2 - k. Let y be w(2). Suppose -3*h + 5 = -4*t, 4*h - 4*t - y = -6. Suppose 13 + h = -4*l. Which is bigger: l or -6?
l
Suppose -5 = 5*b + 3*v, 2*b = 4*v + 4 - 6. Suppose 11 = 3*x + 2. Let z be 27/(-6) + x/6. Do z and b have the same value?
False
Let q = -92 - -92.1. Which is smaller: -48 or q?
-48
Suppose 4 = -2*k + 3*i + 13, -i - 3 = k. Suppose 3*p - 3*y + 7 = -20, -y + 4 = k. Which is smaller: -4 or p?
p
Suppose 2 = -v - 0*v. Let j be 2*5*1/v. Is j less than -4?
True
Let i be 22/60 + (-1)/2. Suppose -1 = a, q + 4*a - 3 = -8. Which is greater: i or q?
i
Let s(o) = o**2 - 7*o + 7. Let l be s(6). Let a = 0 + l. Let z be 3 - 4 - 6/(-4). Which is smaller: z or a?
z
Let c be 5/1*1/(-6). Let d(y) = -y**2 - 8*y - 2. Let q be d(-8). Which is smaller: c or q?
q
Let r(c) = c**2 + 5*c. Let b be r(-3). Is b bigger than 0?
False
Let r be 12/(-66) - 40/22. Does r = -2?
True
Let a = 1 - 6.4. Let q = a - -6. Let b = q - 0.1. Is -1 not equal to b?
True
Suppose -4*m = -4*n + 16, 0*n - 26 = n + 5*m. Let u be 6/(-45)*3*n. Suppose 5*a - 6*s = -7*s + 2, 5*a = 4*s + 17. Which is greater: u or a?
a
Suppose 4*h = -0*w - 4*w + 16, -h + 24 = 5*w. Let x be 2 + (-2)/(-2 + 0). Suppose 0*p = 2*z + 2*p - 6, x*z - 5*p + 31 = 0. Are z and h non-equal?
True
Let x be -2 - 5/(60/(-27)). Let z = 0.1 + -0.2. Let g = z - 0.1. Is x < g?
False
Let h(w) be the first derivative of -w**2 - 1. Let j(c) = c**2 - 8*c + 2. Let p be j(8). Let x be h(p). Is -4 < x?
False
Let y(t) = t - 7 + 0*t + 14 + t. Let a be y(-3). Let n = 3 - 2. Is n at least a?
True
Suppose 3*n - 11 = -4*b - 0*b, 3*b - 3*n = 3. Suppose -4*j + b*j + 2 = 0. Do 1 and j have different values?
False
Let g = 6092 - 91438/15. Let i be 919/195 - (-2 + 3). Let d = g + i. Which is smaller: 1 or d?
d
Let t(y) = -y**3 - 4*y**2 + y + 2. Let v be 2/(0 + (-2)/4). Let s be t(v). Let o(g) = -2*g**3 - 4*g**2 - 2*g + 1. Let k be o(s). Which is smaller: 4 or k?
4
Let w = 271/7 - 39. Suppose 4*k + 0*n = -3*n - 12, n = -5*k - 4. Let h = k + -1. Is w smaller than h?
False
Let u = -4 - -4. Let h = u - 1. Let v(d) = d**2 - 7*d + 4. Let q be v(7). Is h < q?
True
Let u = -89/7 + 13. Which is smaller: 0 or u?
0
Let f(b) = 2*b**2 + 2*b - 2. Let c be f(-2). Suppose 5*o - 17 = -3*t - 2, c*o = 5*t - 25. Which is bigger: o or 1/8?
1/8
Suppose 1 = 4*z + o, 5*z + o = 4*o + 14. Is z > 2/39?
True
Suppose -n = 4, -5*n - 8 = 5*o - 3*n. Let d = -0.7 - -4.7. Which is smaller: d or o?
o
Let j be 2/(-9) - 66/(-54) - -3. Suppose -5*b + 7 = -h - b, 5*h - b - 22 = 0. Which is smaller: h or j?
j
Suppose -3*l = -l + 6, x + 3*l + 4 = 0. Which is bigger: x or 8?
8
Suppose 0 = r + 5*w + 1, 2*r = -5*w - 0 + 3. Let t be (12/15)/(r/10). Is t < 2?
False
Let n = -182 - -371/2. Is n greater than or equal to 3?
True
Suppose 0 = -4*c + 4 + 4. Suppose -c*t = 2*t + 12. Which is smaller: t or -2?
t
Let v(x) = -x**2 + 5*x - 2. Let u be v(3). Suppose -5*k - u = 1. Are -1 and k equal?
True
Let u = -46 - -62. Which is greater: u or 18?
18
Let j(b) = -b**3 - 8*b**2 - b - 5. Let w be j(-8). Suppose -w*h - 3 = -2*h. Is -3 less than h?
False
Let y be (-4)/(-7) - (32/56 - 1). Is -76 greater than y?
False
Suppose 5*v + 67 = -j, v - 3*v = -2*j + 34. Is v at most -13?
True
Let x = 0.3 + -0.4. Let n = 1.6 + -1. Let y = n + 0.4. Which is smaller: x or y?
x
Suppose 1 = 5*w - 4. Let y = 26.7 - 28.7. Is y < w?
True
Let d be 2/6 + (-20)/(-12). Let h be 0 + d + 2*-2. Is -1 smaller than h?
False
Let w = -21 - -17. Is -5 >= w?
False
Let q be 15/(-25) - (-13)/5. Suppose -3*d = q*j + 19, d - 27 = 6*d + j. Is d <= -3?
True
Suppose 2*h + 0*h - 3*c = 66, 4*h = 3*c + 126. Suppose -6*l + h = -4*l. Let s be ((-3)/l)/((-9)/15). Is 0 < s?
True
Let t = 6 + -4. Let s be 139/t*(-6)/(-9). Let i = s - 46. Is -1 less than i?
True
Let g be 2/20 + (-2)/(-5). Which is smaller: 2 or g?
g
Let d be (10/(-2))/((-2)/(-30)). Let s be ((-2)/d)/((-3)/30). Which is smaller: 0 or s?
s
Let g(b) = -4*b - 6. Let p(x) = -3*x - 4. Let i(t) = 5*g(t) - 7*p(t). Let u(l) = -l**2 + 6*l - 5. Let c be u(4). Let d be i(c). Which is greater: 1/4 or d?
d
Let j = -5.47 + -0.53. Is j < 2?
True
Let d be (-2)/(-9) + 20/(-45). Which is bigger: d or -0.8?
d
Let l = -14903/36 - -414. Is 0 greater than l?
False
Let o = 12 + -11.6. Let y = -1.4 + o. Is -0.5 greater than or equal to y?
True
Let j = -10 - -16. Which is smaller: j or -1/2?
-1/2
Suppose 0 = 2*q - 2 - 4. Let r be (1 - 1) + q + 1. Is r at most as big as 3?
False
Suppose v + 2*p = -3*v - 26, 0 = -3*v + p - 17. Let k(r) = r**2 - 6*r + 1. Let x be k(4). Which is greater: v or x?
v
Let j = 47 - 238/5. Is j != -2/11?
True
Let k(z) = -z**3 + 6*z**2 - 2*z - 7. Let o be k(5). Is o equal to 8?
True
Let g(s) = s**3 + 6*s**2 - 6*s + 3. Let k be g(-7). Let l be (-5)/k*(-12)/(-159). Let a = l - -81/265. Which is bigger: a or -0.1?
a
Let k = -59 - -90. Which is smaller: -1 or k?
-1
Let d be (1 + -5)*(-5)/(-70). Let o = 18 - 17.9. Which is smaller: o or d?
d
Let s = 0.689 - 0.69. Which is smaller: -1 or s?
-1
Suppose h + 5*f = -0*h - 21, -14 = -2*h + 4*f. Suppose b + 2*x - 1 = 0, 8 + 3 = 4*b + x. Suppose 5*s = 2*o - 1 - 7, 4*o + b*s + 10 = 0. Are o and h equal?
True
Let a(m) be the first derivative of -m**3/3 + 7*m**2/2 + m + 4. Let f be a(7). Is 0 smaller than f?
True
Suppose 8 = -5*m + a, 4 = -4*m + a - 3. Is m >= -2?
True
Suppose -2*c = 4*g + 18, -c + 5*g = -5 - 0. Suppose -d + 5 = -2*d. Is c bigger than d?
False
Let l = -1 - 2. Let a be -3 - (12 + l - 1). Let m(p) = p**3 + 10*p**2 - 10*p + 11. Let t be m(a). Does -2 = t?
False
Let z = -81 - -247/3. Is z < 1?
False
Let l(n) = -n**2 - 5*n - 7. Let m be l(-5). Let g(z) = z**3 + 8*z**2 + 8*z + 2. Let i be g(m). Let b(d) = 2*d + 5. Let s be b(i). Is 2 > s?
True
Let o = -1.6 - -0.6. Is o less than 0.1?
True
Let d = 52 + -59. Which is bigger: -4 or d?
-4
Let k = 2/815 + 64/489. Suppose -23*a + 25*a - 2 = 0. Does a = k?
False
Suppose 8*i - 11*i = -15. Is 1 greater than i?
False
Let w(v) = -v**3 - 6*v**2 - 2*v + 3. Let m be w(-6). Is 15 equal to m?
True
Suppose 2*y + 5 = -5*o + 7*y, 4*y = 2*o + 8. Suppose 4*