r b?
h
Let z(t) = t + 5. Let d be z(-5). Let b(f) = f - 8. Let n be b(d). Let k be (-1)/5 - n/(-10). Is k > -1?
False
Let f = -5 + 4. Let u(r) = 2*r**2 + r + 1. Let z be u(f). Suppose -7 = z*b - 3. Which is greater: b or -3/5?
-3/5
Let m = -13.4 - -13.5. Which is greater: 0.04 or m?
m
Let r = -7.64 + -0.46. Let a = 8 + r. Is a at least as big as -0.1?
True
Let j = -31 + 33. Let t be (-6)/8 + (-1)/(-4). Which is smaller: j or t?
t
Suppose -10 = -2*y - 3*y. Suppose -3*l + y*x = -3*x + 19, 3*l = 4*x - 14. Suppose -4*d - 10 = 5*z, -d - 4*z - 6 - l = 0. Is 2 at least d?
True
Let i = 0 + 1. Let u = -2/97 + 107/485. Is u >= i?
False
Suppose m = 3*y - 9, 4 = 5*y - 6. Is -21/5 equal to m?
False
Let o(p) be the third derivative of -p**5/60 - 5*p**4/24 - 5*p**3/6 - 12*p**2. Suppose -2*h - 11 = -3. Let i be o(h). Is i at most as big as -2/7?
True
Let m = 3.1 - 2.8. Does m = 1/13?
False
Let p be 208/(-32)*1/(-4) + -2. Is 2 greater than or equal to p?
True
Let z = 0.003 - 0.963. Let g = z + -0.04. Is g >= -5?
True
Suppose 0 = -n - 2*n - 12. Let s be 2/5 + n/5. Which is greater: s or -1?
s
Let d(n) = n**3 + 9*n**2 - n - 2. Let g be d(-9). Let y = -4 + 12. Which is bigger: y or g?
y
Suppose 0 = -2*z - 8, -5*x - 3*z + 6*z + 27 = 0. Is 7 <= x?
False
Let o = -5 + 7. Let l be 36/8*(-1 + 3). Let p be o*(-1)/(30/l). Is 0 at most as big as p?
False
Let q be ((-42)/(-35))/((-2)/(-5)). Let j be 1 + -4 + (1 - q). Let h = j + 5. Which is smaller: -1 or h?
-1
Let k = 449/8 - 56. Suppose -2*l + 3*j - 1 = -4*l, -4*l + 3*j - 7 = 0. Which is greater: l or k?
k
Let f be -2 + (-60747)/714 + -2. Let t = 639/7 + f. Let l = t + -12/17. Which is bigger: l or -1?
l
Let s(h) = h**3 + 12*h**2 + 12*h + 4. Let u be s(-11). Which is greater: u or -6?
-6
Let a = 1.7 - 2. Is -15/2 greater than or equal to a?
False
Suppose 0*k - 3*k + 9 = 0. Suppose -k*j + 0*j = -5*t + 14, 3*j = t + 2. Let v be 2/4*(-2 + 8). Which is smaller: v or j?
j
Let x(z) = z + 8. Let w be x(-8). Which is smaller: 0.4 or w?
w
Let a be (0 - (-1)/2)*8. Let q(f) = f**2 - 3*f - 5. Let s be q(a). Let w be s/2 - 1/(-6). Is w < 1?
True
Suppose 4*g = -4*m + 84, 0 = -3*m + 2*g + 42 + 16. Is m greater than or equal to 19?
True
Let u be 8/(4 + 0) + -3. Which is smaller: -21 or u?
-21
Suppose 2*r + 72 = -2*k, -3*r - 3*k - 116 = -4*k. Which is greater: -39 or r?
r
Suppose -4*t = -3*t + 4. Let j = 4 + t. Let f = -61/84 - 1/42. Which is smaller: j or f?
f
Let w = -17 - 2. Let f = -20 - w. Which is smaller: f or -0.3?
f
Let b be (6/4)/(-1)*-2. Let s be (b/(-10))/((-3)/4). Let q be ((-4)/(-6))/((-4)/(-6)). Do q and s have different values?
True
Let a(c) = c - 8. Let w(z) = -2*z + 16. Let g(j) = -5*a(j) - 2*w(j). Suppose 2*i = i + 6. Let p be g(i). Is 1/2 less than p?
True
Let p = 0.3 - -0.7. Let j = 4399/3 - 1495. Let m = j + 29. Is m > p?
False
Suppose 0 = -3*g + 8*g. Let r = -106 - -955/9. Is r <= g?
False
Let b be 12/(-2)*(-40)/(-15). Suppose 2*x = 19*x + 255. Is b less than x?
True
Let h(f) = -16*f + 7. Let b be h(5). Let c = b - -583/8. Let m be (-4)/8*(0 + 0). Which is greater: m or c?
m
Let f be ((-20)/6)/((-1)/3). Is 10 smaller than f?
False
Suppose 13 = 4*r - 3. Suppose 2*v - r*v = 0. Which is smaller: v or -2/5?
-2/5
Suppose -4*h + 2*h = 0. Let n be 40/(-45) - (h - 0). Which is bigger: 0 or n?
0
Suppose -30 = 4*d - 3*d. Is d at least -28?
False
Let r(j) = j**2. Let z be r(1). Let c be (30/2)/((-3)/(-4)). Let f be (8/c)/(4/5). Do z and f have the same value?
False
Suppose 5*g = -0*g + 10. Let m be (-6)/15 - (-59)/35. Which is bigger: g or m?
g
Let r(s) = s**2 + s + 2. Let t be r(-2). Let u(a) = a**2 - 4*a + 3. Let z be u(t). Which is smaller: 0 or z?
0
Let k = -1.81 - 0.19. Suppose 5*h - 2 = 3. Is h less than or equal to k?
False
Let j(u) = u**3 + 2*u**2 - 4*u + 1. Let k be j(-3). Suppose o - k = 0, 2*w - 5*o + 5 = -17. Suppose 4*t - 20 = 0, -6*z + z + 10 = 4*t. Which is smaller: z or w?
z
Let t = 51/40 + -7/8. Let y(r) = 2*r. Let o be y(1). Suppose 0 = o*i + 5*d - 5 - 12, -3*i - 5*d = -18. Which is greater: t or i?
i
Let t be 1/((-1)/(-2)) - -7. Suppose 3 = -3*r + t. Are 2 and r non-equal?
False
Let f be 6/8 + 1/4. Let l = f + 0. Let w = 0 - 0. Which is bigger: l or w?
l
Let f = -6 + 6. Let g = f - -2. Is 4 bigger than g?
True
Let m(z) = -2*z**2 + z + 4. Suppose -4*j = g - 4, 4*j - g - 1 - 11 = 0. Let t be m(j). Is -2 less than t?
False
Let s = 92 - 57. Let k be (-8)/(-6)*(-21)/s. Let n be (-2)/(-6) + (-2)/6. Is n != k?
True
Let l = -5 + 3. Let v = 4 + l. Which is greater: v or 4/3?
v
Let b(z) = z**2 - 9*z + 8. Let p be b(7). Is -6 less than p?
False
Let f be 1/((-16)/(-4) + -3). Which is greater: 2/57 or f?
f
Let u = -6.1 + 6. Is -0.2 equal to u?
False
Let f(g) = 30*g + 15. Let q be f(-4). Is -105 at most q?
True
Let f = 77/39 - 30/13. Let y = -620 - -617. Is f smaller than y?
False
Suppose -3 = q + 3*v, 3*v - 68 = -4*q + 7*v. Which is bigger: q or 9?
q
Let z = -264 - -6074/23. Which is smaller: z or 0?
0
Let y = 0.038 - -24.962. Does y = 0.1?
False
Suppose 0 = 5*p - 18 + 3. Suppose c + p*c = 0. Let h = 13/48 - 1/48. Which is bigger: c or h?
h
Let j be -4 + (-45)/3 + 1. Let u = 15 + j. Do u and -4 have the same value?
False
Let z = 727792/7 - 104145. Let x = z + 175. Let r be (-2)/(-6) + (-4)/3. Is r bigger than x?
False
Suppose -51 = -s + 2*s - 4*g, -5*g + 160 = -4*s. Let q be (14/s)/(2/(-10)). Is 4/7 bigger than q?
False
Let k = -22233/43 + 517. Suppose 7 = 5*i + 2. Which is smaller: i or k?
k
Suppose 13*g + 5 = 12*g. Let x = -45/52 - -8/13. Which is smaller: g or x?
g
Suppose -2*l - 2*t = 2*t + 6, 4*l = -3*t - 12. Which is smaller: -7 or l?
-7
Let z(t) = -t**2 + 3*t + 6. Let l be z(5). Let d = l - -4. Is -3/7 equal to d?
False
Suppose p = -i + 2, 0 = -5*p + 2*i - 3 + 6. Let j = 0.6 + -1.4. Let l = j - -0.5. Is p greater than l?
True
Let f = -10 + 21. Which is greater: -1 or f?
f
Let y be (-9)/(-6 + 3) + (-11)/3. Let s be (2/14)/((-1)/3). Is s greater than y?
True
Let f = -6 - -4. Let v be (-7)/(-4) + f - 0. Let u = -1139/7 - -163. Which is bigger: v or u?
u
Let z = -7/13 + 29/78. Does z = 0?
False
Suppose 5*l = 4*l - 7. Which is smaller: l or -6?
l
Let o = 116 - 60. Let i = -35 + o. Which is bigger: -2/5 or i?
i
Let y(m) = -m + 9. Let i be y(8). Let n be 8/(-10)*(5 + -10). Suppose n*c - 3*c = 5. Does i = c?
False
Let u be (-10)/3 + 6/(-9). Let b be (-3)/(-2)*(-20)/(-2). Let a be (-2)/(-3) + u/b. Is a less than -1?
False
Let y(u) = 2*u - 10. Let x be y(7). Suppose -3*s - 2*s + 33 = 3*q, -x*s + 36 = 4*q. Suppose 0*z = 2*z - 8, -r - 4*z = -22. Is r smaller than q?
False
Let b = -4 + 7. Suppose 0*r = -r + b. Let o = r + 0. Do o and 3 have different values?
False
Let k be 157 - (4/(-2) + -1). Let f be k/1050 - 2/7. Let a = f + 29/105. Which is smaller: a or 0?
0
Let p be 19/(((-2)/(-6))/(-1)). Let w be p/(-11) - (-2)/(-11). Is w less than 5?
False
Suppose -3*j = -2*v + j - 8, 4 = -2*v + 3*j. Suppose -5*q - 4*k + 81 = -k, 75 = v*q - k. Which is greater: q or 0.1?
q
Let y be (1*-3 - -2) + -65. Let v be ((-8)/y)/((-6)/(-9)). Which is greater: v or 1?
1
Suppose -9 = -3*r + 3*f, 0 = 5*r - r - 3*f - 9. Which is greater: -12/25 or r?
r
Let o be (-20)/30*6/(-17). Which is greater: -1 or o?
o
Let j = 4.1 + -3.91. Let n = -1.19 + j. Which is smaller: n or -0.05?
n
Let y = -7 + 6.9. Is -0.1 smaller than y?
False
Let l = -23634/7 + 24525/7. Let b = l + -127. Do b and -6 have different values?
True
Let k = 2/67 + 459/335. Let q = -2 + k. Suppose -2*u + 1 = 5. Is u at most q?
True
Let q(t) = t**2 - 17*t - 5. Let l be q(17). Is 1 not equal to l?
True
Let o = -0.5 + 4.9. Let g = -2.7 + o. Is 0.1 at least as big as g?
False
Let o = 9 + -6. Suppose 14 = o*f - 1. Suppose f*s = 3*w + 16, -2*s + 6*s + 2*w = 4. Which is smaller: s or 1?
1
Suppose 2*y + 4 = -2*z - 2, -4*y = 3*z + 14. Let w = 5 + -14. Let u be (-2 + w/(-6))*-2. Is u at least as big as z?
False
Let h be (2 - -3 - 2) + -1. Let d be 1*-4*1/h. Is -5/3 equal to d?
False
Let x = -14 - -16.4. Let r = x - 2.2. Which is bigger: r or 2/7?
2/7
Let h = -71 - -70. Which is greater: h or -42?
h
Let p = -2623/72 + 311/8. Let t = 172/63 - p. Which is smaller: t or 1?
t
Let z(t) = 13*t**2 - t + 1. Let u be z(1). Is 10 smaller than u?
True
Let l(o) = 6*o**3 - o**2 + 1. Let v be l(-1). Let b(f) 