 Which is smaller: p or -7?
p
Let v = -29/420 + 1/30. Let q(g) = 2*g - 3. Let a be q(2). Is v at most as big as a?
True
Let c = 0.23 + -3.23. Which is smaller: 1/2 or c?
c
Let y be 4/(-24)*1/2. Let c = -17/60 - y. Which is smaller: -0.1 or c?
c
Let p(q) = -5 + 2 - q - 3 + q**3 + 9*q**2. Let j be p(-9). Which is smaller: -0.2 or j?
-0.2
Let p be (1 - 2 - -7) + -1. Suppose -a + 35 = -5*g, 0 = -a - 5*g - p. Suppose 3*o + 5*m - 2*m = -a, -20 = -o + 4*m. Do o and -1 have the same value?
False
Let h be ((0/2)/(-1))/(-2). Suppose 1 = g - 0*r - r, -2*g = r + 7. Let c be 1/g*(10 + -4). Which is greater: c or h?
h
Let g = 1 + 0. Let z be 0 + -1 + 240/2. Let v = 597/5 - z. Is v smaller than g?
True
Let d = 1.5 - -0.5. Let h = 24 + -25. Let y = d + h. Which is greater: y or 0.3?
y
Let w = -25 + 23. Suppose -4*z + l + 9 = -3*z, 0 = 2*z + 4*l + 6. Suppose -5*s - z = 5*g, -s + 2 = -3*g + g. Is w less than g?
True
Let l = -157 - -141. Which is greater: l or -0.1?
-0.1
Suppose -2*p + 6*p - 4 = 0. Suppose -3*h = -4*w + 81, w + 84 = 6*w + 2*h. Let q be (4/w)/1*3. Which is smaller: p or q?
q
Let r(n) = -n**3 - 2*n**2 - n - 1. Let i be r(-2). Let j be (12/36)/((-1)/3). Which is smaller: j or i?
j
Suppose x = -2*d + 2, 2 = 3*d - x - 11. Suppose 41*o = 36*o + 20. Which is bigger: d or o?
o
Suppose -4*o + 165 = -3. Suppose -o = -n - 2*n. Which is smaller: n or 13?
13
Let p = 32 - 20. Let g = p - 11.7. Which is greater: 2 or g?
2
Suppose 0 = -8*u + 5*u - 9. Which is smaller: -13 or u?
-13
Suppose -4*m = -5*a + 62 + 7, -12 = 4*a. Let i = m + 21. Is i at most 0?
True
Suppose 0 = x - 5. Suppose j - 6*j = -2*q - 5, -5*j = x*q - 5. Which is greater: j or 3/4?
j
Suppose 2*k + a + 1 = k, 2*a - 7 = -5*k. Which is greater: 2 or k?
k
Let w be (-4)/(-6) - 68/120. Is -1 less than or equal to w?
True
Let t(y) = -y**3 - 9*y**2 + 4. Let d be t(-9). Suppose -2*f = 2*f - d. Are f and 1 unequal?
False
Let h be (-72)/120*(0 + -65). Is h less than 38?
False
Suppose -5*d = -x + 3*x - 203, 0 = -2*d - 3*x + 90. Which is smaller: d or 40?
d
Let r = 28 + -17. Is r <= -2?
False
Let i be (-16)/18 - (-2)/9. Let b = 2 + 9. Let q = 11 - b. Which is greater: q or i?
q
Let p be 1*(3 + -1 + -2). Suppose p = -5*t + 5*w - 55, 2*t + 4*w - 8 = -0. Suppose -5*s = 27 + 8. Which is bigger: s or t?
t
Let s = -3 + 6. Let q(d) = -d**2 + 5*d - 2. Let m be q(s). Suppose 2*r = m*r. Which is greater: 1/11 or r?
1/11
Let q be -170 - (-1 + 3 - 0). Let w be q/12 - 2/3. Let y be 3/w*2*1. Which is greater: y or 0?
0
Suppose -2*k + 5 + 1 = 0. Suppose o + 0*o = k. Suppose -o*s = s. Which is smaller: s or 4/5?
s
Let m be 148/18 - 2/9. Suppose o + 8 = -5*l, -3*o = -6*o - l + 4. Suppose 3*t = o*b + 12, -5*b = 2*t - 0*t - m. Are 2/5 and b nonequal?
True
Let o be -2*1 - (-160)/84. Let a(s) = s + 5. Let n be a(-6). Which is bigger: n or o?
o
Let x be (-7)/(-9) - 4/(-18). Is x at least 1/8?
True
Let m = -0.03 - -1.03. Let l = 3.02 - 3. Is l > m?
False
Let d(p) = -3*p + 3. Let t be d(6). Let s be (-2 - -18)*(-2 - -1). Is s at most t?
True
Suppose 2*h - 12 = -h. Let a = 28 + -21. Suppose 5*x + 10 = h*x + 3*t, -x + 2*t = a. Is x < -1?
False
Let q(a) = -a**2 - a + 2. Let k be q(2). Let y(j) = j**2 + 5*j + 4. Let f be y(k). Let u be (-9)/3 + f + 4. Is 1 not equal to u?
False
Let y = -0.08 - -0.09. Is y bigger than -1?
True
Suppose 2*w + w = 0. Let r(y) = -y**2 - 1. Let a be r(w). Let i(q) = -q**3 - 7*q**2 - 7*q - 7. Let h be i(-6). Is h bigger than a?
False
Suppose 0 = -4*a + 3*a + 15. Suppose 4*o + o = a. Is 3 greater than or equal to o?
True
Let r = -1 + 0.8. Let z = -0.2 - r. Which is bigger: z or -2/3?
z
Let u = 27 + 2. Which is greater: 0.1 or u?
u
Let g = -12 + 6. Let b be 6/(-1 + 3/g). Which is bigger: -5 or b?
b
Let o = -17 + 2. Let n = -10 - o. Which is smaller: 4 or n?
4
Let u(s) = s**3 + 7*s**2 + 4*s. Let k be u(-6). Suppose 5*o - k = -2. Is 2 at most as big as o?
True
Let j = -3 + 0. Let a be 2/(-3*(-12)/(-90)). Is a greater than j?
False
Let l = 0.23 + -0.03. Is 0.23 < l?
False
Let d = 14 + -6. Which is smaller: 11 or d?
d
Let x be (-2)/(-4) - 26/4. Suppose 4*s = -0*s - 8. Let l be ((x/(-5))/3)/s. Which is smaller: -1 or l?
-1
Suppose -2*z + 5*z - 19 = -4*x, -2*x - 13 = -z. Is 4 not equal to z?
True
Let w be (4/8)/(1/(-2)). Let m be (-1 - w)*3/(-6). Which is greater: 4/7 or m?
4/7
Let m = -8 - -5. Let w = 2.93 + -0.03. Let f = w + m. Is f greater than -1/2?
True
Let h be 2/3 + (-12)/15. Let r = 1/5 - h. Suppose -5*i = -27 + 2, -25 = -5*m - 4*i. Is r not equal to m?
True
Let g = 1348156/123 - 32884/3. Let w = -2/41 - g. Which is smaller: w or -2?
-2
Let w be (2/3)/((-30)/45). Let u = 188 + -3009/16. Is w bigger than u?
False
Let d = -15 - -21. Let o(t) = -t**2 + 5*t - 4. Let p be o(d). Is -11 at least as big as p?
False
Suppose q = -4*r - 14, 0*q + q = r + 11. Let s = q + -4. Which is greater: s or -0.2?
s
Let t be (-1)/8*(-9 + 11). Suppose -2*y + y + 1 = 0. Which is bigger: t or y?
y
Let r = -1 + 1. Let c(l) = l + 4. Let o be c(-4). Suppose 4*q - w + 2*w + 3 = o, -2*q + 5*w = 7. Is r at most as big as q?
False
Let j = 30 - 34.96. Let s = j - 0.04. Which is smaller: s or -0.2?
s
Suppose -3*t - 3*p = 39, -37 = 6*t - 2*t + p. Let w(f) = -f**3 + 13*f**2 - 2*f + 17. Let k be w(13). Which is smaller: t or k?
k
Suppose 1 - 7 = -2*c. Is -5 at least c?
False
Let m be (-4)/6*(-42)/(-4). Let u = m - -9. Is u at least as big as 1?
True
Suppose 2*c + 22 = -0*c. Is -1 < c?
False
Let v = 3.8 + 0.2. Let z = -0.5 + 0.4. Let n = z + 0. Which is bigger: v or n?
v
Let h = -1.58 - 0.12. Let a = 2 + h. Which is smaller: -2 or a?
-2
Let h = -0.807 - 61.293. Let g = 59 + h. Let d = g - -3. Is d < 1?
True
Suppose 2*o + 114 = -o - 3*z, -o = -4*z + 33. Is -38 at least o?
False
Let i = -59 - -58.8. Is 0.13 smaller than i?
False
Let t(v) = 4*v - 4. Let m be t(-7). Let i be -1 + 3 - m/(-20). Which is smaller: 2/7 or i?
2/7
Let j = -1.6 + 1.5. Is -2 at most as big as j?
True
Let d = 8/33 + 4/33. Which is smaller: 1 or d?
d
Let u be -6 + 4 + (-15)/(-7). Suppose -56*q + 61*q - 10 = 0. Is q less than or equal to u?
False
Let w = -0.136 + -0.064. Is w smaller than -1/20?
True
Suppose -4*k = 2*x + 14, 4*x + 2*k + 14 = k. Let f be 1/(((-2)/24)/1). Let y be (1/x)/((-2)/f). Is 1 equal to y?
False
Suppose -3*g + 0*q + 5*q = 40, 3*g - 4*q + 38 = 0. Let m be (-6)/(-21) + g/(-14). Is m at least as big as -2?
True
Let m = 0 + 2. Which is smaller: 0 or m?
0
Suppose 2 = t - r, 5*r = -2*t - 0 - 3. Suppose -t = w, -6*w + 2*w - 8 = 4*b. Which is greater: 3/13 or b?
3/13
Suppose 0 = -o - 3*f - 16, -2*f = -3 + 11. Let n = o + 1. Suppose -16 = 5*q - 1. Is q >= n?
True
Suppose -8*g - 55 = -7*g. Which is smaller: -54 or g?
g
Let p = 0.1 - -4.9. Let y = -5 + p. Let i be 1/2 + 1/14. Which is bigger: i or y?
i
Let b(x) = x**2 + 6*x - 3. Let v be b(-6). Are -6 and v nonequal?
True
Let z be ((-4)/10)/((-1)/(-5)). Let l be 4 + z - 1*-1. Suppose 0*q - 20 = 5*x + 5*q, 3*q = l*x + 12. Do -3 and x have different values?
True
Let c = -2995/3 - -1013. Which is smaller: c or 15?
c
Let z be (-48)/70 - (-4)/10. Let c = -0.06 - 1.94. Let v = c - -2.2. Is v bigger than z?
True
Suppose -5*p + 15 = 0, i + 4*p - 10 = 2*p. Suppose -o = i*o - 20. Let g = o + -3. Which is smaller: g or 5/6?
5/6
Let d be ((-2)/(-4))/(2/(-4)). Let t = -231 - -231. Is t >= d?
True
Let a = 21 - 20.9. Which is smaller: a or -2/23?
-2/23
Suppose 0 = -n - n - 4. Let v be 889/(-21) - n/6. Let p = v - -211/5. Is p not equal to 0?
True
Let u = -27 - -55/2. Let q = -7 + 7.6. Let h = q + -0.5. Are h and u unequal?
True
Let n be (-2)/4*2*1. Suppose -2 = -3*c - 8. Is n <= c?
False
Suppose -4 = -0*a - 2*a. Let j = a + -1. Is 0 != j?
True
Let l = 3943 + -39397/10. Let p = -59/30 + l. Let s be 0/(-4)*2/4. Which is smaller: p or s?
s
Let x = -3 - -4. Let t = x - 4. Suppose -y - 2*y = 3. Which is smaller: y or t?
t
Let c = -18 - -14. Suppose -4*v + 3*w + 2*w - 26 = 0, 2 = v + 3*w. Are v and c nonequal?
False
Suppose 3*m - 5*g - 15 = 0, -2*g = 2*m - g + 3. Let x be (0/7)/(-2 - m). Suppose -3*v + 0 = 6. Which is smaller: v or x?
v
Let u be (-2)/(-8) + 75/20. Suppose 2 = 2*n + 4*d, n = -d - 3 + 6. Is u > n?
False
Let a be (-3)/(1/(-2) + -1). Let x = 6 - a. Suppose -x*m = -4*s + 24, m - 2*m + 4*s - 21 = 0. Which is smaller: -0.3 