 j be v(m). Are j and q equal?
False
Let g(a) be the first derivative of a**2/2 + 5*a - 4. Let w be g(-5). Suppose -5*j = 15, 3*y - 2*j + j - 6 = w. Is y equal to -2?
False
Suppose 2*w + 57 = -w. Does -18 = w?
False
Suppose -3*m + 4*m + 2*p + 6 = 0, 4*p + 16 = 0. Suppose -u = u + m. Is 0.1 > u?
True
Let s = 255 - 3312/13. Let o = -23/156 + s. Which is smaller: 1 or o?
o
Let a be ((-2)/(-3))/((-34)/(-612)). Let k = -18 - -30. Are a and k equal?
True
Let x = -0.23 - -0.04. Let k = x + 0.19. Which is greater: -2/7 or k?
k
Suppose -2*b = l - 3*l - 4, -3*b = l + 2. Let s be l/(-6) - 5/(-3). Let r be (-12)/(-9)*9/s. Which is smaller: 7 or r?
r
Suppose 12*p = 3*p + 81. Is p bigger than 9?
False
Let j be ((-10)/(-15))/((16/6)/(-4)). Which is bigger: j or -10?
j
Let q = 13.046 - 0.046. Which is bigger: -4 or q?
q
Let g(x) = -x**3 - 3*x**2 + 3*x. Let l be 0/(0 - 2) - 4. Let m be g(l). Suppose b + 16 = 9*n - 5*n, -3*n = 3*b - 27. Is m smaller than b?
False
Suppose -7 + 22 = 3*b. Suppose -6 - 14 = 5*d, -9 = b*j + d. Which is smaller: 1 or j?
j
Suppose 0 = 2*x + 5*t + 10, -x - 2*t - 2*t = 8. Suppose x*y + 4*y = 12. Let k be (y/9)/(1/9). Do 3 and k have different values?
False
Let m(w) be the second derivative of w**4/12 - 3*w**3 - 17*w**2/2 + 5*w. Let n be m(19). Is 2 smaller than n?
False
Let m be (-2)/(-6)*3/(-7). Let u(f) = -f**2. Let w(t) = t**3 + 5*t**2 - t. Let h(i) = -4*u(i) - w(i). Let j be h(1). Which is greater: j or m?
m
Let f be 2/(6/3)*-2. Let n = f - -4. Suppose 0 = -2*p + 5*w - 29, -p + n = w - 1. Does p = -1?
False
Let s = -6 + 5. Let c be (-4 - -2)/((-14)/(-4)). Is c != s?
True
Let j = 0 + 1. Let l be 1/2 - 1/2. Let g = 1/2 - l. Which is smaller: j or g?
g
Let g = -1485/14 - -106. Which is greater: g or 1?
1
Suppose 2*j - 22 - 10 = 0. Suppose -6*c = -2*c - j. Suppose -4*f - 3 = 3*r, -6 = -r + 4*r + 5*f. Is c bigger than r?
True
Suppose 14 = -h - 6*h. Suppose -5*v - 11 - 3 = -f, 4*f + 7 = -v. Which is greater: v or h?
h
Let x = 7 + -3. Let k = x - 6. Do -2/5 and k have the same value?
False
Let i(k) = -k**2 - 4*k + 1. Let f be i(-7). Let n = f + 19. Do n and 1 have the same value?
False
Let z be 1*-3*55/15. Is -11 < z?
False
Let a be 20/(-12) + (-2)/(-2). Suppose -62*b = -58*b. Which is smaller: b or a?
a
Let f(w) = -4*w**2 - 1. Let s be f(2). Which is bigger: -18 or s?
s
Let g(z) = -z**3 + 6*z**2 + 8*z - 5. Let p be g(7). Let b = p + 1. Suppose -b*q = 2*r + 11, 2*q + 9 = 2*r - 5*r. Is -3 at least as big as q?
True
Let a = -1.5 + -0.1. Let s = -0.6 - a. Are 6 and s unequal?
True
Let w = 8.9 + -9. Which is greater: w or 7?
7
Let d be (-3)/(0 - -6)*4. Let m = d + 3. Let u be (-6)/(-63)*(-2 + 1). Is u smaller than m?
True
Let f(y) = y**3 - 3*y**2 - 4*y. Let q be f(4). Let j be (2 - -1) + q/(-1). Which is bigger: j or 0.1?
j
Let w = -2.8 - -4. Let x = 1.06 + -0.06. Let o = x - w. Is o > -2?
True
Suppose -18*m - 2 = -17*m. Which is smaller: m or -10/11?
m
Suppose s + 5*o = 16, -2*o + 3 = 5*s - 31. Suppose -r = -4*t + 35, -2*t + 3*r + 22 = r. Suppose s*z + m + t = z, 3*z = m. Which is smaller: z or -1/5?
z
Let m be (-1)/2*(0 - -6). Let q = 14 - 10. Suppose -1 = 5*u - q*l + 10, -4*l = -4*u - 8. Is u at most m?
True
Let k = -0.08 + -0.12. Does k = -2?
False
Let b be 2/6*-1*-3. Let i = -36 - -145/4. Is b less than i?
False
Let y = -179/3 - -59. Suppose 4*b - 8 = -0*b. Suppose -5*f + 1 = -b*f + n, -6 = 3*n. Which is smaller: y or f?
y
Let d = 27/88 - 1/8. Is 2/11 > d?
False
Let m = 2 - 44. Which is bigger: m or -41?
-41
Let z = 15863/11 + -1441. Do z and 2 have different values?
True
Let r = 17 + -34. Let h be r/(-42) + 8/(-16). Suppose -3*m + 13 = 5*n, 4 = 4*n - 4. Which is smaller: m or h?
h
Let c(r) = -r - 4. Let o be c(-14). Let m = o - 25. Which is bigger: m or -16?
m
Let w(h) = h**2 - 14*h - 11. Let a be w(15). Is a less than or equal to 5/2?
False
Suppose 4*w - 3 = -7. Let s be 3/(-14) - (-1)/2. Which is bigger: w or s?
s
Let u(h) = 3*h**2 + h + 1. Let a = 3 - 4. Let y be u(a). Which is bigger: 4 or y?
4
Let u be 9/6*(-114)/(-9). Suppose -5*p - u + 4 = 0, -5*k + 14 = 2*p. Is 3 less than or equal to k?
True
Suppose -8*v - 7 - 1 = 0. Which is smaller: -1/5 or v?
v
Suppose 57 = -5*q - 4*m, 2*m = 2*q + m + 15. Are q and -1 non-equal?
True
Let n = 4/517 - 19141/1551. Is -13 greater than n?
False
Let v = -17510 + 88078/5. Let r = v + -106. Which is smaller: -1 or r?
-1
Let b(s) = -s**2 + 7*s + 4. Let n be b(7). Is 3 smaller than n?
True
Let l = 241/2 - 123. Does l = -2?
False
Let l be (-19)/(-1)*1/(-1). Let h = -4 - 15. Is h != l?
False
Let g be -2 + 3/((-72)/(-93)). Let r = -5435/8 + 678. Let l = r + g. Is l > 2/9?
True
Let c be (0 - ((-4 - -3) + -3))*3. Which is smaller: c or 62/5?
c
Suppose -3*j = -0*j + 3. Let o be -1 + 1 - (-3 - j). Suppose -2*p - o*n + 4 = 0, -4*n + 3 = -2*p + 13. Is 4 smaller than p?
False
Let q = 53 - 57. Which is bigger: q or 1/2?
1/2
Let q = 0.09 + -0.05. Let v = -0.01 + q. Let s = 0.04 - v. Is s greater than or equal to -0.1?
True
Let n(i) = i**2 - 6*i + 2. Let p be n(5). Does 1 = p?
False
Let y be 3/12 - 9/4. Suppose 2*i - 2 - 1 = -r, -3*r = -2*i - 1. Which is smaller: i or y?
y
Let o(d) = d**3 + 3*d**2 - 5*d - 1. Let c be o(-4). Suppose -c*p + 4*k = -6, 2*p = -4*k - 1 - 15. Which is bigger: p or -1?
-1
Let j = 12 + -23. Let f = j - -3. Let w = f + 7. Which is greater: w or -2/15?
-2/15
Suppose -b - 2 = -2*b. Suppose -b*y - y + 15 = 0. Suppose -2*w = -3*w + 2*m + 8, 5*m = y*w - 25. Which is bigger: w or 3?
3
Suppose -10*p + 50 = -5*p. Which is bigger: 11 or p?
11
Let c be (-30)/(-2) - (0 + -1). Let v be (-4)/c + 11/(-4). Let g = 9 - 13. Is v not equal to g?
True
Suppose -b - 2*g = 15, 0*b + b - 5*g = 13. Let d = b + 5. Are d and -1 unequal?
True
Suppose 5*h - 4*t + 27 = 0, -h + 3*t - 5*t = -3. Does h = -3?
True
Suppose -5*t = 2*c - 6 - 0, 5*c = 3*t - 16. Let x be (-19 + 0)*(-2 - -3). Let z = x + 20. Which is greater: t or z?
t
Let u = -5.5 - -5. Is u <= -3?
False
Let m be (-7)/28 - (-1)/1. Which is smaller: 0 or m?
0
Suppose -10*q + 7*q = -15. Suppose -q*j = -2*u - j + 10, -5*u - 2*j = -37. Which is smaller: u or 6?
6
Let d = -110 - -1319/12. Is d less than or equal to 1?
True
Let m be (-2 - 78/(-48))/((-3)/(-2)). Let a = 12.74 - 14.8. Let u = 0.06 + a. Is m greater than u?
True
Let a(y) = -y**3 - 6*y**2 - 8*y - 5. Let d be a(-5). Which is bigger: -0.1 or d?
d
Let a = 133.1 + -127. Let o = a + -6. Let g = -3.6 - -4. Is o bigger than g?
False
Let a be 14/77 + (-618)/(-231). Let u = -59/28 + a. Is 2 smaller than u?
False
Let c = 1.62 + -0.62. Which is smaller: 12 or c?
c
Let v = 71/42 + -11/6. Is v > -1?
True
Let b be (1 + -9)*2/(-14). Is b greater than 0?
True
Suppose 4*d - 17 = -u, 3*d + d - 27 = -3*u. Suppose -3*r + u*r = -8. Let b = 2 + r. Which is smaller: b or -1?
b
Let w(a) = -7*a + 15. Let n(s) = 11*s - 22. Let y(x) = 5*n(x) + 8*w(x). Let u be y(10). Suppose u*d = -d + 2. Which is bigger: 4/7 or d?
d
Let b = -8860/3 + 3040. Let h = 86 - b. Suppose -4*g + 0*j = -5*j, -3*g = -5*j. Which is smaller: g or h?
h
Let s = 3407/7 + -491. Which is smaller: s or 1?
s
Let t = 334/5 - 67. Let w = t - -9/20. Which is smaller: w or -2/21?
-2/21
Suppose 3*n + 2*n = -2*j - 88, 2*j = -8. Which is smaller: n or 2/3?
n
Let d = -0.08 - 0. Let r = -3.08 - d. Is r > 0?
False
Let z be 1*2/8 + 18/18. Which is bigger: 2/3 or z?
z
Let q be 2*3/42 + (-268)/112. Which is smaller: -1 or q?
q
Let p be (64/40)/((-4)/(-10)). Suppose 21 = 4*q + p*t - 3, 0 = 4*q - 4*t - 40. Which is smaller: q or 13/2?
13/2
Let n(l) = l + l**2 + 15*l**3 - 4*l**2 + 3*l**3 + 2*l**2 - 1. Let y be n(1). Which is smaller: 18 or y?
y
Suppose 2*a - 6 = 4*u, 5*a - u + 3*u - 3 = 0. Which is smaller: a or 0?
0
Suppose 2*m = -3*g - 2*m + 23, -28 = -4*g - 4*m. Suppose 0 = a + a + g*l + 38, 5*a + 4*l = -61. Do -10 and a have the same value?
False
Let w = 2 + -2.1. Let d = -0.1 - w. Which is smaller: 3 or d?
d
Let o = -114 + 112. Is -18/13 less than o?
False
Let r = 77.8 - 78. Which is bigger: 24 or r?
24
Let o = 6 + -9. Let r = o + 4. Suppose -3*t - 1 = m + r, -5*m = 10. Which is greater: t or -1?
t
Let k = -9 + 14. Do k and 5 have the same value?
True
Let p be (10/4)/(-5)*-2. Suppose 5*c + 4 = -p. Let w = -81/4 - -41/2. Which is greater: w or c?
w
Let g = -937/68560 + 1/85