: p or g?
g
Let p = 4 + -3. Let v = 107 + 7. Let x be -3 - 0 - (-330)/v. Is x >= p?
False
Suppose 4*z - 5*t + 53 = -2*t, 2*z = 5*t - 37. Do -11 and z have the same value?
True
Let w = 4 + -3. Suppose -o = k + 8, -8 - 17 = 5*k. Let r be (0 - (-2)/o)*-3. Which is smaller: r or w?
w
Let b = 76.1 - 76. Let p = -2524/13 + 194. Is b greater than p?
True
Let s be (-9)/(-6)*(-10)/(-3). Let t be s*(3 + -6 + 2). Does t = -5?
True
Let y = 1.9 + -2. Let n be (-1)/(-3 - 48/(-15)). Let s be -3*n/((-45)/(-6)). Which is greater: s or y?
s
Let a be 5 + (-1 - (0 - 0)). Let f be 2*(-10)/(-8)*(7 + -5). Is a greater than f?
False
Let k be (57 - -3)*(-1)/(-2). Suppose -4*d - 3*t - 1 = 10, -5*t = -5*d + k. Suppose -4 = 3*q - d. Which is greater: 0 or q?
0
Let o = -0.4 + 0.3. Let n = 11.4 - 11.2. Is n at most o?
False
Suppose -17*p + 12*p = -30. Which is smaller: -2/3 or p?
-2/3
Let h = 12 - 9. Which is smaller: h or 7?
h
Let d = -9 - -6. Let c be (-3 - d)/(-1 - 3). Which is bigger: c or -1/2?
c
Suppose 7 = 4*w - 9. Suppose -4*l - 19 = g, -2*g - w - 10 = 2*l. Let y = g - -2. Are -1 and y non-equal?
False
Let l(q) = -9*q + 1. Let s be l(2). Let i = s + 87/5. Let j = 116 + -115. Is i > j?
False
Suppose 4*g + 2*v - 3*v = 8, -10 = -5*g - 5*v. Suppose -5*i - 3*k - 5 = 0, -k = -3*i + g*k + 21. Suppose 3*u + 4*o = -6 - 1, -i = 2*o. Is -2/15 < u?
False
Suppose -2*p + 1 = -3, -3*x - 46 = -5*p. Let b be x/(-10)*(-30)/(-66). Which is smaller: b or 0?
0
Let k = 124 - 120. Is 1/27 smaller than k?
True
Suppose -4*a + 5*z = 25, 0*a - z + 11 = -2*a. Let h = 1 - a. Suppose 0 = -3*d + 15, i + 2*d - 3*d = 0. Which is bigger: i or h?
h
Suppose 0 = -4*c + 16, -8*h - 4*c - 29 = -3*h. Which is bigger: -7 or h?
-7
Suppose 2*x + 20 + 4 = 0. Let i be (-1 + 2)*72/x. Which is greater: i or -5?
-5
Let h be (-17)/(-4) - (-3)/4. Let n(w) = 2*w**2 - 2*w - 1. Let a be n(2). Suppose -3*l = 3*r - 6*l, -h*r = -a*l + 4. Which is bigger: -3/5 or r?
-3/5
Let y be ((-46)/(-14) - 3)*-2. Let d = 17 + -52/3. Does y = d?
False
Let i = -45 + 39. Is -6 greater than or equal to i?
True
Let p = -2 + 1. Is p < 0?
True
Let l = 16252/25 + -650. Let u(s) = -3*s**2 + 6*s + 3. Let v(p) = -p**2 + 3*p + 1. Let j(t) = 2*u(t) - 5*v(t). Let a be j(-3). Is a at least as big as l?
True
Let o = -2 + 2.5. Let g = 0.5 + -0.9. Let n = g + o. Which is greater: n or -1?
n
Let d be 7/1 + -1 + (-2)/1. Which is smaller: d or 2?
2
Let n = -4 - -6. Suppose -2*j = -4 - n. Is 3 greater than or equal to j?
True
Let o(q) = -q - 2. Let s be o(-4). Let f be 23 - (s - 1 - -1). Let l be 0 + ((-12)/f - 0). Which is smaller: 1 or l?
l
Let y = -0.07 + -0.53. Let a = -2.4 + y. Is 0.2 > a?
True
Suppose 4*b - 12 = b. Let g be ((-2)/8)/((-1)/b). Is 1 greater than g?
False
Let j = 10.5 - 10. Let i = j - 0.3. Which is smaller: i or -0.3?
-0.3
Let g = -5 + 6. Which is smaller: -2/37 or g?
-2/37
Let k be ((-1)/6)/(45 + -7). Do 0 and k have different values?
True
Let k(w) = 2*w + 1. Let b be k(-2). Let r = -68 + 62. Is r != b?
True
Let h = -0.27 - 11.73. Let i = h + 12. Is i != -11?
True
Let j be 2 + 0/(-5) - -4. Suppose 0 = -2*g + 13 - 1. Is j less than g?
False
Let l(z) = -z**3 - 4*z**2 - 2*z + 1. Let x be l(-1). Let v = -1031/1194 + 6/199. Is x less than v?
False
Let p(q) = q**3 + 12*q**2 - 12*q + 12. Let t be p(-13). Is t greater than or equal to -3?
True
Suppose 3*a + 2*a = 0. Suppose 42 = -a*p + 3*p - 3*f, 2*p - 5*f - 16 = 0. Let t be (p/27)/(4/(-18)). Is 0.1 <= t?
False
Let f = -6 + 11. Suppose -4*w + f = 365. Let k be 115/w + (-4)/18. Which is smaller: -2 or k?
-2
Let z(t) = 6*t - 6. Let m be z(6). Let f = -183647/6054 + 3/2018. Let w = f + m. Which is smaller: 2 or w?
w
Let y(j) = 2*j**3 + 3*j**2 - j - 1. Let m be y(2). Let g be 12/1*m/16. Let u = g + -19. Which is smaller: -1 or u?
-1
Suppose 4*f - 18 - 18 = 0. Suppose 5*a - f - 16 = 0. Is a < 6?
True
Let b be ((-56)/310)/(8/20). Is b smaller than -1?
False
Suppose 2*k - k - 3 = 0. Suppose 0*p = -k*p - 9. Let x = -53/28 + 15/7. Is x at least as big as p?
True
Let h(v) = v**2 + 4*v - 1. Let w be h(-4). Let u = 20 - 146. Let i be (-8)/36 + (-64)/u. Which is greater: i or w?
i
Let q(b) = -b - 10. Let i be q(-10). Is i less than -2/7?
False
Let l(h) = -2*h**2 + h + 2. Let g be l(2). Is g at most as big as -4?
True
Suppose -2*b + 5*b = 18. Is b > 3?
True
Let i = 9.157 + -0.157. Is i != -0.2?
True
Let y be (-1)/((-35)/15)*21. Is 9 at most as big as y?
True
Suppose -6*n = -4*n - 66. Suppose -4*r + 4*a - 21 = -a, -n = 4*r - a. Is r equal to 1?
False
Suppose -6*g + 32 = -2*g. Which is greater: 9 or g?
9
Let o be 10/(-35) + 256/14. Let b be (0 - 3/o)*-2. Do b and 1 have different values?
True
Let g = -13 + 8. Let s = 4 + g. Are s and 2/3 nonequal?
True
Let m(w) = w**2 - 6*w - 11. Let s be m(8). Suppose -s*v - 2 = -2*q + 8, 2*v = -5*q - 33. Which is greater: -2 or v?
-2
Let u = 4 + 1. Let g = -5 + u. Is g at least as big as 0.06?
False
Let n(v) = v**2 + 5*v + 6. Let r be n(-4). Suppose 0 = -3*x - 4*h - 20, r*x + 3*h + 15 = -2*x. Let k be 1 + 27/(-21) + x. Which is greater: 1/5 or k?
1/5
Let t be 26/(-6) - 1/(-3). Let w be (-28)/4*(-2)/7. Suppose 2*y - w = -8. Which is smaller: y or t?
t
Let r(y) = -y**3 + 3*y**2 + y + 3. Let v be r(3). Let b = -2 + v. Let u = 13 - 8. Is b equal to u?
False
Let x = -0.84 + 0.04. Let s = x - 0.2. Which is smaller: s or 2?
s
Let u = -1/79 - -191/2607. Which is smaller: 0 or u?
0
Suppose 0 = 5*y + 20, 8*p = 4*p - 5*y + 8. Let o = 66 + -60. Is p > o?
True
Let f = 0.18 - 0.31. Which is greater: -1/4 or f?
f
Suppose 0 = 5*y + 15, k + 2*y - 6 = -3*k. Let t be 2/(-2) + 0 + 1. Suppose t = -w - k*l + 4, -5*l + 4 = w - 2. Is w greater than 1?
False
Let h = 21 - 22. Which is greater: h or -11?
h
Suppose 2*q + 2 = -5*a, 3*q - 1 = -4. Which is greater: 4/5 or a?
4/5
Suppose -5*a = 2*z - 60, -6*z - 2*a - 74 = -8*z. Which is greater: z or -1?
z
Let d(q) = -q - 14. Let o be d(-13). Let g = 3773/6 - 24547/39. Let i = g - -1/13. Is i > o?
True
Let b be 36/8 + 4/8. Is b at least 5?
True
Let c = -0.04 - -1.04. Let i = 5.2 - c. Let m = 4 - i. Is m bigger than 2?
False
Let q = 4 + -4.9. Is q not equal to -0.1?
True
Let y be 0 + 5/((-30)/(-9))*-2. Is -17/6 greater than or equal to y?
True
Let u = -1/30489 - 1798466/11738265. Let o = 1/35 - u. Does o = 0?
False
Let t(s) = s**3 - 10*s**2 + 8*s + 8. Let k be t(9). Are 6 and k nonequal?
True
Let j = 0.037 + -9.237. Let z = -9 - j. Are 0 and z equal?
False
Let p(f) = f**3 - 5*f**2 - f + 5. Let u be p(5). Let w(g) = 8*g + 13. Let s be w(-1). Is u <= s?
True
Let d(z) = z**3 + 2*z + 1. Let b(w) = w - 5. Let k be b(3). Let t be d(k). Is -11 > t?
False
Let k = 8 + -4. Let q = 46.8 + -59. Let m = 12 + q. Which is greater: k or m?
k
Let z = -0.22 + 0.13. Are z and 2 equal?
False
Let j = 4.4 - -0.6. Let h = -5.08 + j. Let w = 3.08 + h. Which is smaller: w or 2?
2
Let f = 4 + -2. Suppose -27 = -2*j + 63. Let i be (-1)/2 + j/54. Is i <= f?
True
Suppose 2*c = -10*v + 8*v - 68, 5*v = 2*c - 156. Which is smaller: v or -34?
-34
Let y = -0.095 + 0.125. Suppose -2*x = -3*x - 1. Which is bigger: x or y?
y
Suppose 13*q - 10*q + 3 = 0. Let u = -5 + 2. Is q < u?
False
Let i = 7 - -1. Suppose -4*c - 40 = 4*w, -2*c + 5*w + i = -c. Is c greater than or equal to -7?
True
Suppose -4*a + 0*a = -20. Suppose 0*n - 5*n = a*c - 715, -5*c - 389 = -3*n. Let q = 964/7 - n. Which is smaller: 0 or q?
q
Let s be (3/(-9))/((-1)/(-3)). Which is smaller: s or -0.24?
s
Let c(h) = -5*h - 1. Let f(m) = 6*m + 1. Let s(j) = -5*c(j) - 4*f(j). Let b be s(-1). Let a be 1/(-13)*11 - -1. Is a at least as big as b?
True
Let o(t) = 15*t**2 + 2*t + 1. Let k be o(-1). Is k greater than or equal to 14?
True
Let l(q) = -q**2 - q + 2. Let b be l(-2). Let y = 3 + b. Suppose -y*h = -0*h - 9. Does 1 = h?
False
Suppose i - 7 = -5*t - 2*i, -4*t - 4*i + 12 = 0. Let g = -78 + 548/7. Which is smaller: g or t?
t
Let d = -1 - 2. Is d less than 0?
True
Let a be (3017/(-2226))/(28/(-18)). Let w = a - 3/212. Which is smaller: 1 or w?
w
Suppose -4*w = -w - 21. Let d = w - 6. Let n(b) = b**3 + 5*b**2 - 5*b + 6. Let z be n(-6). Which is smaller: d or z?
z
Let k = -10671/34 - -314. Let v = 143/510 - k. Let p be (3 + -2)*(2 - 3). Which is smaller: p or v?
p
Let p(g) = -g**3 + 12*g**2 + 13*g - 14. Let a be p(13). Let r be 