igger: a or j?
a
Let h = 6.3 + -0.3. Which is smaller: h or -1?
-1
Suppose 5*w - 36 = -4*y - 5, -4*y - 2*w = -34. Which is greater: y or 7?
y
Let o = 27 - 33.9. Let l = 7 + o. Let a = -2 - -6. Which is smaller: l or a?
l
Suppose -x + 2*g = -2*g - 6, -x + 5 = -3*g. Do 2 and x have different values?
False
Let b = 14 - 7. Suppose 2*m = 5*n + 17, 2*m + 4*n - b = 37. Let c be (m/132)/((-4)/6). Which is smaller: c or -1?
-1
Let k = -95 + 90. Which is smaller: k or 9?
k
Let c(j) = j**2 - 2*j + 2. Let p be c(2). Let v be 2/1*p/4. Suppose -5*b + 10 = -0*b. Which is smaller: v or b?
v
Suppose -4*i + 39 = -17. Is 13 greater than or equal to i?
False
Let y be (-2)/(-7) - 12/36. Is y greater than -1?
True
Let s(d) = -d**3 + 4*d**2 + 6*d + 3. Let i be s(5). Suppose 2*q - 18 = -5*g, -i = -4*q - 4*g + 4. Which is bigger: q or -1/7?
-1/7
Let h be 1 - 2 - 7/(49/(-56)). Is h less than or equal to 7?
True
Suppose -4*p = s - 6*s - 25, 4*p - 22 = 2*s. Let q be 2*(0 + (-2)/(-12)). Which is greater: s or q?
q
Let n = -8 - -6. Let v(r) = r**3 - 2*r**2 - 3*r - 3. Let s be 4 - (4 - (0 + 3)). Let p be v(s). Which is smaller: p or n?
p
Suppose 8*p - 5 = 3*p. Let t = -484/21 + 70/3. Which is greater: t or p?
p
Let b be 2/(-6)*(-13 - -11). Which is smaller: b or 6/11?
6/11
Let y = -2/427 - 5968/2135. Which is bigger: -0.2 or y?
-0.2
Let c = 23 + -18. Suppose -17 = 5*a + 5*i + 3, -c*i = -3*a + 4. Which is bigger: -2/3 or a?
-2/3
Let j be 3/2 + 52/(-8). Which is smaller: j or -6?
-6
Let d = -29/69 + 1/3. Let m = 17 - 18. Let z be (-5 - -8) + (m - 2). Which is bigger: d or z?
z
Let h be (-4)/3*15/10. Let d be 2*(h - 6/(-4)). Let g = 145 - 1597/11. Which is greater: g or d?
g
Let r be ((-3)/(-2))/(3/2). Suppose -5 = 2*w + r. Let b be w/(-2)*10/105. Which is smaller: b or -1?
-1
Let i = -0.43 - -0.43. Does i = 0.14?
False
Let u(v) = -v**3 + 6*v**2 - 4*v - 6. Let q be u(5). Is q greater than or equal to 3?
False
Suppose -3*p = 2*d - 8, 2*d - 3*p = 2*p + 8. Let q = 6 - d. Is q at most as big as 3/5?
False
Let a = 1.5 + 0.5. Let p = 0.316 - -0.014. Let o = 0.13 - p. Which is greater: o or a?
a
Let q(z) = z + 4. Let l = 5 - 8. Let m be q(l). Is -1/9 bigger than m?
False
Let d(u) = u - 4. Let z be d(4). Suppose 3*m = -2*m + 30. Suppose -3 = 3*r - m*r. Is z != r?
True
Suppose 0 = -5*v - 9 - 6. Let k be (33/v)/(1/(-5)). Let u be k/15 - 4/6. Is 4 < u?
False
Let y = 100 - 112. Which is greater: y or -6?
-6
Let i = -11 + 1. Let g be (-3)/6 - i/4. Suppose 4*b + g = -2. Which is bigger: b or 2/5?
2/5
Let l = 16 - 12. Suppose 5*n + 4*k = -2, 4*k - 4 = -l*n - 8. Is 1 smaller than n?
True
Let p(r) = -2*r - 1. Let v be p(1). Let m be (-1)/v - (-2)/(-6). Suppose m*y = 2*y + 2. Which is bigger: y or 1?
1
Let i(n) = -3*n**2 + 9*n. Let o be i(3). Which is bigger: o or 0.7?
0.7
Let x(g) = g + 33. Let f be x(0). Suppose 5*r - f = -4*m, -2*r + 0*m + 5*m + 33 = 0. Is r at least 8?
True
Let b = -21/1720 + 133149/1720. Suppose -3*u + 118 = 349. Let t = u + b. Which is smaller: 1 or t?
t
Let u be 4/5*(65/(-10) + 7). Is u >= 1/30?
True
Let r = 2/163 - 988/815. Let l(o) = o**2 - 5*o - 8. Let v be l(7). Let k be 3/(-9) + (-4)/v. Which is smaller: k or r?
r
Let y(g) = -2*g + 19. Let c be y(11). Suppose -2*k + k = 2. Which is smaller: c or k?
c
Let h = -2.3 - 0.7. Suppose -5 = 4*r - 17. Let y = -3 + r. Which is smaller: h or y?
h
Let l be (9 - 4)/(1 + 0). Suppose 4*j + 2 = -l*f + 12, -5*j + f + 27 = 0. Which is greater: j or 6?
6
Let s = -970/3 + 326. Is 3 at most as big as s?
False
Let s = -2.979 + -0.021. Which is greater: -2/9 or s?
-2/9
Let m be (-48)/(-15) - 8/(-10). Suppose 0 = 2*o - m*o. Do o and 1/7 have the same value?
False
Let h = -625 - -11869/19. Which is bigger: 1 or h?
1
Let c = -17.8 + 18. Let p = -0.05 + -1.95. Which is smaller: p or c?
p
Let x be 2/(-33)*(5 + -2). Is 14 not equal to x?
True
Suppose -3*i + 3 + 6 = 3*v, -3*v = 5*i - 19. Let t be ((-10)/(-15))/(v/39). Is -1 at most t?
False
Suppose -n + 1 = -2*t - 2*n, -5*n = -15. Let m = 3/2 + -3. Which is greater: m or t?
m
Suppose -4*y - 2 = 2*m + m, 4*m = -8. Let k = y + -2. Which is smaller: k or 0?
k
Suppose -3*c - 1027 = 146. Let m be (-4)/((-10960)/c)*2. Let j = m + -2/137. Which is smaller: 0 or j?
j
Let z be ((-2)/(-6))/(10/(-12)). Let w = 1.3 - 0.3. Let a = 0 - w. Which is smaller: a or z?
a
Let j = 1.78 + -0.18. Let f = 0.6 - j. Which is smaller: f or 1?
f
Suppose 0*v - 3*v = -5*x + 25, -x + 3*v = -5. Suppose 0 = 4*z - 0*z - 3*q - 45, 70 = 3*z + 5*q. Suppose -z = -2*g - 5. Is g less than x?
False
Let m = -46 - -78. Suppose -m = -0*s + 4*s. Let z be s/(-6) + (-1)/3. Are z and 2/3 equal?
False
Let q be ((-60)/19 - -3)/1. Which is smaller: 0 or q?
q
Let j = 9 - 9. Let d be j + (21/(-9) - -3). Do -0.2 and d have the same value?
False
Let o = -4.4 + -0.6. Which is smaller: o or 0?
o
Let b(f) = -2*f**3 - 7*f**2 + 5*f + 2. Let s(p) = p**3 + 7*p**2 - 5*p - 2. Let d(i) = 2*b(i) + 3*s(i). Let r be d(6). Is r equal to 3?
False
Suppose -4*r = -2*o - 30, 2*r - 3*o = 3*r - 25. Is r smaller than 5?
False
Let g = -17/4 + 4. Let r = 269/42 + -46/7. Which is bigger: r or g?
r
Let x = 1 - 1. Let v be 5/(-10)*8 - -3. Let i be v/(-33*4/(-12)). Is i at least x?
False
Suppose 3*o = 9, -4*a + 3*o + 0*o - 1 = 0. Suppose 2*m = 0, d + 3*d + a*m = 12. Let r = -59 - -121/2. Is r bigger than d?
False
Let k(c) = -c**2 + 7*c - 2. Let w be k(6). Let n = w + 0. Let j = 14 + -10. Do j and n have different values?
False
Let h = -1.57 + 1.77. Is -4 < h?
True
Suppose -3*z - 3 = -6. Let f be 42/(-12) - z/(-2). Suppose -5*s - 16 - 7 = v, -2*v = -4*s - 10. Which is bigger: f or s?
f
Let w(l) = 2*l + 3. Let u be w(-4). Let d be 1/(-5)*u/(-2). Let j = -35 - -247/7. Is d <= j?
True
Let y(b) be the first derivative of -b**4/4 + b**2/2 - 3. Let q be y(-2). Is q at least 6?
True
Let g(f) = -49*f + 1. Let v be g(-1). Let j be v/2 - (3 - 0). Suppose 2*b = -4*o - 20, 5*b + 3*o + 7 = -j. Which is bigger: -2 or b?
-2
Suppose -3*s + 4*t - 59 = 0, t - 4*t + 28 = -s. Is s less than or equal to -15?
False
Suppose -k + 0*k = -5. Is k at least 4?
True
Let b be (-12)/(-16) + (-87)/(-12). Let m be b/(-12) + 1/(-3). Which is bigger: m or -4/5?
-4/5
Let y be (0 + 2)/(8/(-3)). Let x = 3 + -4. Is y != x?
True
Let p be (5 - 2) + -3 - 0. Which is bigger: -1 or p?
p
Let a(n) = 15*n + 7. Let i be a(-2). Is -23 less than i?
False
Let f = 0 - -4. Let d = f - 6. Let m = 261/485 + 6/97. Which is smaller: m or d?
d
Let x(t) = -t + 1. Let l be x(0). Is 1/21 at least as big as l?
False
Suppose -2*v + 3*q = 3*v + 25, -4*v + q = 13. Is v less than 5?
True
Let x be (132/(-1617))/((6/7)/(-3)). Which is smaller: 35 or x?
x
Let f = -465 - -7907/17. Suppose 4*o - 2*k + 110 = 0, 4*o + 86 + 23 = k. Let j = -27 - o. Which is smaller: j or f?
j
Let s = 5 - 3. Suppose 0 = s*h - 8, 2*q + 7 = -2*h + 21. Is q at least 3?
True
Let w be (-553)/189 + 1*3. Is w at most 1?
True
Let b = -6 - -5. Let c be (0 - 1) + 68/74. Let j = c - -55/222. Which is greater: j or b?
j
Let q = -3 + -13. Let j = -21 - q. Suppose -3*n - 10 = -n. Is n >= j?
True
Let x(h) = h + 1. Suppose -5*i + 0*i + 45 = 0. Let s be (-6)/12 + i/2. Let f be x(s). Are 4 and f nonequal?
True
Suppose j = 4*m + 3, -2*j = -3*m + 8 - 4. Let k = -0.4 + 0.2. Which is greater: k or m?
k
Let r be (1 - 4/6)*-6. Let i be (1 + 0)/(1/r). Let u be 4/(-14) + (-38)/14. Is u greater than or equal to i?
False
Suppose -47 = -4*v + q + 111, -4*v + 5*q = -150. Suppose 2*t - v = 4*x, -x + 0*x - 55 = -3*t. Let n be (-7)/(-9) + 4/t. Is -1/4 != n?
True
Let x(s) = -s**3 + 4*s**2 - 2*s + 5. Suppose 5*b - 15 = -5*w, -5*w + b + 15 = 3*b. Let f be x(w). Is f at least 6?
True
Let z(t) = 4*t**2 + 3*t. Let l be z(-2). Is 11 != l?
True
Let v be (-13)/(-11) + 0 - 1. Suppose -4 = -5*o - 34. Let h = o - -6. Is h > v?
False
Suppose -6*g = -0 + 36. Let b be (-5)/390*(-2 - g). Which is greater: -1 or b?
b
Suppose k - 3 = -1. Suppose -5*v + 20 = 2*m, -21 = -v - k*v - 3*m. Suppose -v*z = -4*z - 6. Is z equal to -2?
False
Let j = 12 - 7. Let y = 18 + -12. Are y and j nonequal?
True
Let d(s) = s**3 + 8*s**2 + 13*s - 9. Let b be d(-5). Which is smaller: 17/4 or b?
b
Let w = 106 - 106. Is 12 bigger than w?
True
Let l be 8/(-12) - 16/(-6). Suppose -l*d + 20 = 3*d. Suppose q + 4 = -v, 5*q = v - d*v - 14. Do