h is smaller: j or a?
a
Suppose 0 = 3*d + 2*d + 30. Let w = d - -7. Let h be 1/(w - 1/2). Are 6/5 and h non-equal?
True
Suppose -41 = 6*a + 25. Let w = 51/4 + a. Are w and 2 equal?
False
Suppose r + z = 5, -4*z + 2 + 12 = -2*r. Let x be ((-4)/(-3))/(r/3). Let g be (x*2/4)/(-2). Which is bigger: g or -2?
g
Let q = -30 + 30. Which is greater: -2/5 or q?
q
Suppose -3*z = -8*z - 25. Let n = 5 + z. Suppose -2*u + n = 2. Is -1 less than u?
False
Let c = 1.04 - 1.149. Is c equal to 1/4?
False
Let t = -1 - 1. Suppose -5*o + 17 = 5*w - 3, 5*w - 12 = -3*o. Suppose 1 = b + o. Which is smaller: t or b?
b
Let q = -44 - -46. Is 12 greater than or equal to q?
True
Let t be (-6 + 3)*21*(-2)/(-18). Which is greater: t or 4?
4
Let h be (-8)/(-210)*(-2)/(16/20). Which is bigger: 0 or h?
0
Let l = -1 - -1.6. Let y = l + -4.6. Which is greater: -2 or y?
-2
Let x = 121207/1380 + -2147/23. Let a = x - -28/5. Suppose 1 = -d - 0*d. Is a bigger than d?
True
Suppose -2*w + q + 26 + 2 = 0, -w = -q - 14. Is 61/4 <= w?
False
Suppose 0 = -5*i - 3 + 13. Suppose 0 = a - 0 - 4. Suppose 0 = 2*v - 3*v + i*w - 7, -5*v + 21 = a*w. Which is smaller: v or -2?
-2
Let m be -2*(-1)/4*2. Suppose v = 2 - m. Do 4 and v have different values?
True
Suppose 3*b = -2*b + 20. Suppose -7*i = -b*i. Let p be (6/5)/((-18)/(-60)). Which is bigger: p or i?
p
Let m be 65 + 0 + -3 + 1. Is m greater than 62?
True
Let k(v) = -v + 10. Suppose 2*t - 55 = -3*t. Let q be k(t). Is -4/3 > q?
False
Let f = 6/23 - 204/253. Let y = -14213 + 1094337/77. Let j = y - f. Which is bigger: 1 or j?
1
Let d = 7.6 - -5.4. Which is smaller: 1/2 or d?
1/2
Let x be (-16)/6*(-1)/(-4). Let b(m) = -m**3 - m**2 + m - 2. Let j be b(0). Is x smaller than j?
False
Let i be 4/14 - 4/14. Suppose 4*y = z - 23, -y + 0*y + 1 = 2*z. Let s be (-3 + z)/(1 + -3). Is i at most s?
True
Suppose 5 = v - 4. Let u = 5 - v. Is -5 at most u?
True
Let h be ((-7)/(-2))/(-7)*-10. Let j = 4 + 2. Is j <= h?
False
Let j be (4/(-40))/(1/2). Let z(f) = f + 10. Let h be z(-7). Suppose -5*w = 3*t + 5, 2*w = -w - h. Is j != t?
True
Let t = 1 - 1. Suppose 4*k + 28 - 4 = 0. Let m be 0 - -1 - (-8)/k. Is m equal to t?
False
Let b = 15 - 14.7. Which is bigger: -0.1 or b?
b
Suppose -g - 2 = -6. Let f be 0/g + -2 + 3. Is f > 1?
False
Let r = -1.2 - -2.2. Which is smaller: 10 or r?
r
Let g be 12/(-188) + 2 + -2. Let k be (-3)/705*(-1 + -78). Let n = g - k. Is n greater than or equal to 0?
False
Let k be ((-14)/(-3))/((-1)/3). Are -13 and k non-equal?
True
Let i = 43 - 26. Suppose 0 = 7*h - 2*h - 3*s + i, -5*s - 13 = 2*h. Let b be 2/(-9)*6/h. Which is smaller: b or 3/4?
b
Suppose 12 = j - 3*w - 8, -j - 4*w + 55 = 0. Do 37 and j have different values?
True
Let h be (24/(-14))/((-830)/(-105) + -8). Is h less than 18?
False
Let l = 0.7 - 0.2. Let m = -0.3 + l. Let s be (-3)/(15/2) + 0. Is s bigger than m?
False
Let j = -86/3 + 943/33. Let w(k) = -k**3 + 5*k**2 + 6*k. Let d be w(6). Suppose a + a - 2 = d. Does a = j?
False
Let n = -6 - -11. Let m = 15 - 6. Let z = n - m. Is 2/5 equal to z?
False
Let v = 0 - -1. Suppose 5*k - 25 = -115. Let n be k/(-48)*1/v. Is -1 less than n?
True
Let y = 1 + -1.1. Let d be 1 - 3/10 - 1/2. Which is greater: y or d?
d
Let b be 28/(-6) + (-4)/12. Is -1 at most as big as b?
False
Let l = 0.13 + 0.14. Let z = l + -0.03. Let y = -0.04 + z. Is y equal to -1?
False
Suppose 12*a - 80 = 8*a. Which is smaller: 16 or a?
16
Let c be 14 + -8 + (-3 - 2). Which is bigger: -4 or c?
c
Suppose -5*n + h + 3*h = -7, -n + h = -1. Suppose 2*q = -n*y + 4*y + 9, y + 3 = 0. Let l(k) = 2*k**2 - 3*k - 4. Let j be l(3). Is q greater than or equal to j?
False
Suppose k + 7 = -5*c - 6, -4*c = 3*k + 17. Let a be k + -2 + -2 + 5. Is a less than 0.3?
True
Suppose 4*t = 20, -q + 5*t + 7 - 42 = 0. Which is greater: q or -2/7?
-2/7
Let p = -2 - -2. Let m be 1/(p + 9/6). Are m and 1 equal?
False
Let m be 20/(-49)*(-7)/(-6). Let c = m - -8/105. Suppose 3*q + q = 8. Is q greater than c?
True
Let p(z) = -z**2 - z. Let n(t) = t**2 + 8*t + 1. Let g(y) = n(y) + 2*p(y). Let c be g(6). Are -3/10 and c equal?
False
Let n = -3 - -5. Let o(u) = -13*u**3 - 8*u**2 + 12*u**3 + 0 + 5 + u. Let d be o(-8). Is n >= d?
True
Let v = -36 + 34. Is -5/9 at least v?
True
Let k = -9/16 + 1/16. Let d be 1/((15/(-6))/5). Which is smaller: k or d?
d
Let j be (-1)/(-3*(-1)/15). Let y be 0 + j/(10/(-8)). Let v be (-4)/y - 2/(-4). Is v at least 0?
False
Let i = 0.94 - 0.63. Which is bigger: i or -0.2?
i
Let q(u) = -u**2 - 3*u - 2. Let j be q(-2). Suppose 5*f - 4*g - 23 = j, 0 = 3*f - 0*f - g - 11. Is f at most 4?
True
Let y = -10 - 5. Which is smaller: -0.1 or y?
y
Let v = -0.44 + 0.24. Which is bigger: v or 1?
1
Let x = 1/559 - 173/559. Suppose -a = 2*n - 5, -1 + 3 = 4*a + 2*n. Which is smaller: a or x?
a
Suppose 1 = 5*v - 2*h, 5*v = -3*h - 17 + 3. Let a = 0 - v. Let i = 15 + -13. Which is smaller: a or i?
a
Let u = -0.25 + 11.25. Let h = -5 + 15. Let y = u - h. Is 0.3 equal to y?
False
Let y = 21.9 + -22. Is 0.1 > y?
True
Let z be -5 + 20/6 - 0. Suppose 2*s - 5*s + 15 = -5*m, 2*s + 12 = -4*m. Which is smaller: z or m?
m
Let x = -1 - -1. Let o be 0/1 - (x + -1). Suppose 5*s = o + 14. Which is bigger: s or 2?
s
Suppose o = 3*o - 4. Let n = 7 - o. Suppose -n + 0 = -5*u. Is 2 greater than u?
True
Let p = 9 + 4. Suppose p*w - 8*w = -25. Are w and -5 unequal?
False
Let y be -4 - ((-22)/10)/1. Is y greater than or equal to -2?
True
Let k be (-1)/3 + 32/12. Suppose 0 = 11*j - 7 - 26. Are k and j unequal?
True
Let s = -4 + -3. Let w = 10 + s. Are w and 4 nonequal?
True
Let z(l) = l**3 - 16*l**2 + 19*l - 39. Let h be z(15). Is h greater than 21?
False
Let k = 9.2 + -9. Which is smaller: -2 or k?
-2
Suppose h - 10 = 4. Which is smaller: 13 or h?
13
Let w = 35 + -34. Which is bigger: w or 2/29?
w
Let h(c) = -c**3 - 7*c**2 - 5*c + 3. Let g be h(-6). Let d be -3 - ((-112)/18 - g). Is d at most -1?
False
Let a be (-3 - 5/(-2))*-4. Let f = 2 - -1. Let b = -4 + f. Is a <= b?
False
Let y be (-2)/12 + (-150)/(-36). Suppose 0 = -u + 1 - y. Let o be u*((-24)/(-9))/4. Is o < 0?
True
Let p(h) = -h**2 + 6*h + 1. Let a be p(6). Let m be 7/((-6188)/(-240)) + 4/(-26). Which is greater: m or a?
a
Let g be (-1)/4 + 20/16. Suppose -3 = -v - 3*u, 0 = -5*v - 4*u + 7 - 3. Suppose v = -l - g + 2. Which is smaller: l or 0?
0
Let z = -33 - -30. Which is bigger: z or -2?
-2
Let d be 6/(-9) - (-1)/(-3). Let g = -330 + 2637/8. Which is bigger: g or d?
g
Suppose k + 3 = 1. Let o = -3 + 2. Is k less than o?
True
Let o = -55 - -68. Is o > 2/3?
True
Let u = 91 - 83. Which is bigger: u or 7?
u
Let o = -1.03 + -0.97. Is 4 greater than o?
True
Let g(m) = m**2 - 4*m + 2. Let i be g(4). Suppose -10 = -h + 2*p, -5*p + 15 = h - i*p. Let f be (-2)/(-9)*h/8. Is f bigger than 4?
False
Suppose 5*m - 4*f + 60 = 0, 0 = 3*m - f - 17 + 53. Do -11 and m have different values?
True
Suppose 0 = -q - 0*q - 1. Let x(t) be the second derivative of t**3/6 + 2*t. Let c be x(q). Which is smaller: c or -1/2?
c
Let w = 3 + -7. Suppose 0 = 2*m - m - 1, 4*y - 5*m + 109 = 0. Let s be w/14 - y/140. Which is smaller: 1 or s?
s
Let o be 3*(-8)/60*35/(-14). Which is bigger: 2/19 or o?
o
Let s(b) = -b**3 + 7*b**2 + 11*b + 3. Let n be s(8). Let i = n - 48. Let z be (-2)/42 - (-6)/i. Is z > -1?
True
Let m = 11 + -11. Suppose 0 = 2*a - 5*a. Suppose 2*g + 1 - 5 = a. Which is bigger: g or m?
g
Let f = 1/22 - 49/110. Suppose 3*o - 4*i - i = -6, 0 = -5*i + 15. Which is bigger: o or f?
o
Let i(r) = -r**2 - 2*r + 8. Let n be i(-4). Is n > 3/8?
False
Let o be (-4)/(-6)*3/1. Suppose o = 2*j, -2*h = -6*h + 5*j + 15. Is 6 less than h?
False
Suppose -2*f = 5*v - 24 - 45, v = -3*f + 6. Is 15 > v?
False
Let h be 4/(0 - 2) - 0. Let z be (-2)/h + -1 + -1. Which is smaller: z or 2?
z
Suppose -45*m + 42*m + 3 = 0. Is 1/3 > m?
False
Suppose 0 = 2*p - s - 8, 4*p - 6 = 5*s + 10. Let f(u) = -u**3 + 5*u**2 - u. Let z be f(4). Let q be (-90)/z*p/(-55). Which is smaller: q or 2?
q
Let t = 0 + -0.2. Suppose -5*n = 5*m - 10, 3*m - 3 = -2*n + 3. Which is smaller: t or m?
t
Suppose 4*d + 1 = -19. Is d > 1?
False
Let p be (-8)/(-4) + -1*2. Suppose -2*j - 1 - 1 = p. Let w be 4/12 - j/15. Which is bigger: w or -1?
w
Let u = -919/3 - -313. Let d = -7 + u. Suppose -4*r - 5 = f, 0 = -4*f + 2*f - 2. Which is s