ich is smaller: j or a?
a
Let b be (2245/(-15))/((-12530)/(-318)). Let r = -2/1253 + b. Let z = 12/5 + r. Is z at least as big as -0.1?
False
Let h be (-2 - -1) + 55/65. Is 11 less than or equal to h?
False
Let z = 72 + -67. Is 5 greater than or equal to z?
True
Let l(v) = 5*v - 2. Let z be l(2). Let n = -13 + z. Is n less than or equal to -5?
True
Let y = -1.05 - -1. Let r = -0.05 - y. Which is smaller: 0.2 or r?
r
Let g be 4/1*(-3)/(-2). Let c be 0*(-2 - (-9)/g). Let o = -1 - c. Which is bigger: 2/11 or o?
2/11
Let k = -2.84 + 0.54. Let h = k + 2.36. Which is bigger: 2 or h?
2
Let y = -35 - -24. Let n(z) = -z - 2. Let o be n(-2). Is o greater than or equal to y?
True
Let q = -45287/31 - -1461. Let y be (-400)/1116*(-6)/4. Let c = y + q. Is 0 at most c?
True
Let w = 0.52 - 1.52. Is 4/19 at most as big as w?
False
Let r be (2/6)/(2/(-6)). Does -1/2 = r?
False
Let p = 0 + -0.2. Suppose 4 = i - 3*i. Let u be i + (3 - (-1 - -3)). Which is greater: u or p?
p
Let a be (-96)/(-390) - (-4)/26. Let p = -4 - -4.4. Let l = 1.4 - p. Which is bigger: l or a?
l
Let r = -61685 - -555806/9. Let w(q) = 18*q + 1. Let c be w(-4). Let v = r + c. Is -1 at most as big as v?
True
Let g = 748/7 + -107. Which is bigger: g or 0?
0
Let q(v) = -v**2 - 11*v + 7. Let x be q(7). Let g = -361/3 - x. Which is bigger: 0 or g?
0
Let v be (-2*(-4)/120)/((-6)/(-24)). Which is greater: 0 or v?
v
Let o be -2 + 1067/7 - 2. Let j = o - 148. Which is smaller: j or -1?
-1
Let w = 9 - 5. Suppose -w*x = -3*j + 44, j - 18 = -0*x + 2*x. Is j at most as big as 9?
True
Let n(u) = -3 - u + 3*u + 2*u - 3*u. Let f be n(5). Suppose -4*j = k - 12, 9 = 3*j - 0*k + 3*k. Is f less than j?
True
Let f(b) = b + 4. Let w be f(-6). Let x(j) = -2*j + 7. Let p be x(5). Let y be (-1)/(-3) + 1 + p. Which is smaller: w or y?
w
Let i(p) be the second derivative of p**4/12 + 2*p**3/3 - 3*p**2/2 - 7*p. Let a be i(-5). Let j = 21/58 + 4/29. Which is smaller: j or a?
j
Let j(x) be the second derivative of -x**3/3 - 2*x**2 + 2*x. Let z = 16 - 20. Let r be j(z). Are r and 4 nonequal?
False
Suppose -6 = 2*g - 10. Let m be 21/2 - 1/2. Suppose -5*l + 3 = -2*l + g*o, 5*l + 5*o - m = 0. Which is bigger: l or -2/13?
-2/13
Let n be (-2)/10*(25 - 23). Which is bigger: 8 or n?
8
Let j be 6 - -1 - (1 - 0). Let g be ((-4)/j)/(50/(-15)). Which is smaller: g or -1?
-1
Let j = 6 - -1. Let a = 5 - j. Which is smaller: a or -0.2?
a
Let n(d) = 4*d + 4. Let z(m) = -3*m - 3. Let a(s) = 5*n(s) + 7*z(s). Let r be a(-1). Which is smaller: r or 3?
r
Let p be 10/((4/(-4))/(-1)). Which is smaller: 0 or p?
0
Let m = 2.2 - 2. Suppose -5*v - 24 + 4 = 0. Is v >= m?
False
Let r(n) = n**3 - 5*n**2 + 2*n - 5. Let h be r(5). Is 4 < h?
True
Let g(n) = -1. Let f(j) = 4*j**2 - j - 2. Let q(x) = f(x) - 2*g(x). Let h be q(-1). Let s be 9/(-15) + (-22)/h. Is -3 greater than s?
True
Let b = 76 + -82. Are b and -13/2 equal?
False
Let r(b) = -b**2 + 5*b - 2. Let x be r(4). Let u be x/7 + 26/7. Let t(d) = d + 10. Let c be t(-5). Which is bigger: c or u?
c
Let f be 40/6 - (-6)/(-9). Suppose f*h = h. Let w be (h*(-2)/6)/(-2). Which is bigger: -1 or w?
w
Let q = 0 - -1. Let h = 10 + 3. Let i be h/(-5) - (-2)/(-5). Is q equal to i?
False
Suppose -5*t - 2*r + 45 = -4*r, -3*t + 28 = -r. Suppose 0 = -3*v - s + 8 + t, 2*s - 30 = -5*v. Suppose -2*x + v = 2*x. Do 1 and x have the same value?
False
Let s = 81 + -81. Let x = 2/103 + -113/515. Which is bigger: x or s?
s
Suppose -5*h + 2*a + 3*a = -15, -h + 2*a + 8 = 0. Let b be 3/39*20 + h. Let j(n) = -n**2 - 1. Let o be j(0). Which is greater: b or o?
b
Let u = -1.95 + -0.05. Let r = 2 + -1. Let c = u - r. Which is bigger: -1/4 or c?
-1/4
Let h be ((-1)/2)/((-2)/80). Suppose 5*f + 5*s = -h, 0 = 2*f - 2*s - 3*s + 8. Let b be (36/(-30))/(f/(-10)). Which is bigger: b or -4?
b
Let f = 133/3 - 44. Suppose 5*i = -4*g + 4, -5*i = 2*g - 0*g - 2. Is f equal to i?
False
Let w = -50.8 + 51. Which is smaller: 3 or w?
w
Suppose -5*x = 2*f - 22, -f = -x - 4 + 7. Is x equal to 2?
False
Let n be 28/12 + -3*1. Suppose -4*k + 3*k = -1. Which is bigger: n or k?
k
Suppose -3 = -5*v - 0*v - z, 0 = 4*z - 12. Which is smaller: 1 or v?
v
Let v(u) = -u**2 - 13*u + 13. Let h be v(-14). Which is smaller: -3 or h?
-3
Let d be (11 + -1)*1/11. Are d and 2 equal?
False
Suppose 2*h - 234 = 5*c, 5*c - 5*h = -h - 228. Let g = -30511/28 + 7290/7. Let f = g - c. Is f <= -1?
False
Let d be 3 + 249/(-30) - (-3)/(-15). Which is smaller: d or -5?
d
Let a = 7 - 10. Let p = a - 0. Let c be (-2*(2 + p))/2. Is c smaller than 1?
False
Let g be (0 + (-35)/14)/(8/(-18)). Which is smaller: 5 or g?
5
Let f = -1.4 + 1.2. Is 15 at most f?
False
Let p = 4/15 + -14/165. Is p less than -0.9?
False
Let q = -0.2 + 0.3. Let m = 151/3 - 51. Is q > m?
True
Let z be 48/42*(-14)/(-4). Let y = -10 - -14. Suppose -4*t - 21 = c, -c - 25 = z*c + y*t. Is c equal to -1?
True
Let d(w) = 2*w - 1. Let k be d(1). Let j = 11 - 29. Let i = j + 37/2. Is i less than or equal to k?
True
Suppose c + 13 = -z - 2*c, 23 = -3*z - 5*c. Let m be z/2*2/13. Which is smaller: -1 or m?
-1
Let u = -5 - -3. Let t = -2 - u. Suppose 0 = -2*p + 2*x + 2, 2*x - 6 = -4*p + 5*x. Is t greater than p?
False
Let q(p) be the first derivative of p**3/3 + p**2 - 3*p - 2. Let r be q(-3). Which is smaller: 1 or r?
r
Let z(v) = v**2 - v - 1. Let j be z(1). Let b(a) = a**2 - 6*a - 3. Let t be b(6). Is t at most j?
True
Let j = -3 - 0. Let i be (j/(-6))/(2/48). Suppose 0*q = -r - 2*q - i, 18 = -4*r - 2*q. Is r at least as big as 0?
False
Let m = -3 - -5. Suppose -3*w + 44 = 4*o + 15, -9 = -3*w. Which is greater: o or m?
o
Let g(a) = -1 - 5 + a**3 + 4 + 9*a**2 + 6. Let m be g(-9). Which is bigger: 0.1 or m?
m
Let r = -0.12 - -0.32. Let d = r + 0. Which is greater: d or 1/4?
1/4
Suppose 0 = 9*q - 12*q + 3. Is q greater than 4/15?
True
Suppose 0 = -4*c + 2*c - 4. Let z = -139 - -141. Is z less than c?
False
Let b(n) = 3*n**2 + n + 1. Suppose 2*r - r = -1. Let q be b(r). Let o = q + -2. Is o != 3/7?
True
Suppose 2*h - 17 + 59 = q, 0 = 2*h - 2*q + 40. Let o = -112 - -89. Is o not equal to h?
True
Let t be (-4)/3 + (-535)/(-255). Is 2 < t?
False
Suppose -7*u - 2 = -177. Which is smaller: 23 or u?
23
Let j be (2 + -2)/(2 - 1). Suppose 4*p = -j*p. Is -0.3 less than p?
True
Let g = -1.1 - -1.4. Is 0 at least g?
False
Suppose -3*q = q - 8. Suppose -q*s = -0*s. Which is smaller: 1 or s?
s
Let u be 16/(-56) + (-37)/(-7). Suppose -4*q - 1 = -u. Let h be 16/(-18)*6/(-8). Which is smaller: q or h?
h
Suppose 10*a + 12 = 2. Suppose -3*g - 6 = -2*c - 0*g, 2*g + 9 = 3*c. Suppose -3 = c*q - 0. Is a at most q?
True
Let x be (4/(-6) - -1)*315/(-28). Is x at least as big as -5?
True
Let c = -16 - -22. Which is smaller: c or 1?
1
Suppose 3*x - 18 = -0*x. Let u be (x/8)/(3/2). Is 5 greater than u?
True
Let y = -71/6 + 319/30. Let x(z) = z**3 + 4*z**2 + 3*z - 1. Let u be x(-3). Is y not equal to u?
True
Suppose 0*o + o = 1. Which is smaller: o or 1/11?
1/11
Let c be ((-22)/6)/(9/(-27)). Let m = -12 + c. Which is bigger: 0.06 or m?
0.06
Let s = -3 + 2.9. Let m = -0.3 - -0.3. Let z = m - 0.1. Is z less than or equal to s?
True
Let h = 33/116 + -2711/5452. Is h < 0?
True
Let k be (-2 + 3 + -2)/1. Let q = 1 + 1. Let y be -2 - ((-2)/1)/q. Is y bigger than k?
False
Let g(z) = -z**3 - 2*z**2 - 2*z - 2. Let b be g(-2). Suppose -11 + b = -3*l. Do l and 3 have different values?
False
Suppose -5*p + 3 + 7 = 0. Let x be -3 + (76/14 - 1). Which is smaller: p or x?
x
Let y = -20 - -32. Let r = y + -9. Which is smaller: 0.1 or r?
0.1
Let u be 9/36 - 2/8. Which is bigger: -20 or u?
u
Let f be 1 - (-58)/57 - 2. Let r = f + 167/228. Which is greater: r or -1/2?
r
Suppose 0*s + 16 = 4*s + 4*i, 4*s + 24 = 4*i. Let t be (-1825)/(-30) + s/(-6). Let y = t - 125/2. Are -2 and y nonequal?
True
Let t be ((-2)/(-6))/(1/3). Suppose 2*d + 9 - t = -x, -12 = -x + 3*d. Suppose 5*l - 2 - 8 = x. Which is greater: l or 1/2?
l
Let i(m) = m**3 - 4*m**2 - 5*m. Let w be i(5). Let s = w + -1. Let z = -62/77 + 12/11. Is z < s?
False
Let q(h) = 3*h**2 - 5*h + 7. Let d be q(2). Which is smaller: 11 or d?
d
Let l = 0.4 - 1.8. Let z = l + 0.4. Which is smaller: z or 1/4?
z
Let m = -0.6 + 0. Let f = 3.6 + m. Let v = -3 + f. Does v = -0.1?
False
Let h be (-3 + 3)/(1*2). Let v = -3 + h. Let 