 w be -1 - -3 - (-1 - -1). Suppose 0 = -w*a - l - 14, 4*l = 2*a + 7 + v. Is a equal to -5?
False
Let i be (-8)/((-8)/(-2)) + 719/(-7). Let g = -105 - i. Let m = -92/333 + 2/37. Is m < g?
False
Let d be (-7)/6 - (-2)/12. Let a be (-195)/(-96) - 3*8/12. Is a less than d?
False
Suppose 3*p + 11 = q, -5*p - 4 - 11 = -q. Let a be 4*(1/6)/(-1). Is p bigger than a?
False
Let a = -32 + 37. Suppose -2*f + a*f = 27. Which is smaller: f or 7?
7
Let m be (-28)/8 + 68471/19578. Is 0 at most as big as m?
False
Let t = 86 - 59. Let d be -6 + 9 + -3 - (-56)/2. Does d = t?
False
Let z = -450 - -436. Is -22 greater than or equal to z?
False
Suppose -33*w - 9 = -3*h - 29*w, 0 = 2*h + 3*w + 11. Which is bigger: 3/173 or h?
3/173
Suppose 6*j = -6 + 24. Let w be 5 + j + (-1 - -3). Let g be (6/7)/(w/14). Which is greater: g or -1?
g
Let j be (-2 - 0)/(4/(-8)). Let b be (-3)/(-6)*j/(-7). Let v = 9 - 8. Is b equal to v?
False
Let m be (-34)/(-12) - 2/(-4). Let q = -16281 + 16281. Which is greater: m or q?
m
Let h = -712 - -711.939. Is h bigger than 2/5?
False
Let f = -30 - -10. Let p = -84 - -85. Which is bigger: p or f?
p
Let n be (-1)/(-6 - 2317/(-385)). Is n < -2?
True
Let c(a) = a**3 - 12*a**2 - 9. Let b be c(11). Is b at least -1/4?
False
Let r be (-15)/50 + (235/(-50) - -7). Is r less than 19/10?
False
Let x = -15 - -17. Suppose -4*i = 2*q - 6*q, 4*i + 5*q - 9 = 0. Suppose 3*y - 5*o = -o - 6, -o + i = -y. Is y > x?
False
Let i be (6/(-4) - -2)/(-2). Let z be ((-2 + 0)/(-14))/(-4 + 375/90). Which is greater: i or z?
z
Let d(y) = -y**3 + 7*y**2 - 10*y - 14. Let f be d(6). Let h = f - -39. Which is greater: 4/17 or h?
h
Suppose 5*a = 0, 54 = i + 5*a + 46. Is 9 equal to i?
False
Let w(t) = t**2 - 14*t - 97. Let q be w(13). Is q greater than or equal to -112?
True
Let t = -532 + 532.09. Which is greater: 0.3 or t?
0.3
Suppose -3*v + 304 + 41 = 0. Suppose w - 65 - 50 = 0. Is w < v?
False
Let g = -1503846/317 + 4744. Do 1 and g have the same value?
False
Let w = 59420/87 + -683. Which is smaller: -1 or w?
-1
Let b(p) = -p**2 - 9*p + 25. Let w be b(0). Is w greater than -0.1?
True
Let m = 89 + -89. Let g = -21 - -4. Let d = g - -17.1. Which is bigger: m or d?
d
Let z be -6*4/120*(-50)/116. Which is greater: 0 or z?
z
Let d = -101 - -140. Suppose -d*m = -31*m - 96. Is 12 >= m?
True
Let o be 1780/(-304) - (-4)/38 - -1. Let j be (-86)/(-24) + 6/9. Let u = o + j. Is u equal to -26/5?
False
Let b = -2/19 - -29/95. Let x = -226/3 + 77. Is x at least as big as b?
True
Let r = 190/3 + -63. Let p = 0.503 - 0.023. Which is bigger: r or p?
p
Let o = -2 - -15. Suppose -k - o = 11. Let b = -1.5 - -1.5. Do k and b have the same value?
False
Let m(r) = -r - 11. Suppose 0 = -4*t + 2*d + 4, 4*t + 6 = 3*t - 3*d. Let i be m(t). Let a = i + 7. Is a bigger than -5?
True
Suppose -3*n - 5*r = -0*n, 3*r = n. Let l be (n - (-992)/4) + 4. Let q be (-128)/l - 2/(-7). Which is bigger: q or -0.03?
-0.03
Let a = 2471 - 2471. Is a at most as big as -50/27?
False
Let r be (18/(-3))/(2/(-4)). Let q = -20 + r. Let t be (-14)/112 - 3/q. Is 1 at least as big as t?
True
Let a = 3892.8 + -3896.8. Let s = 0.41 - 0.01. Which is smaller: a or s?
a
Let t be 22/77 + (-208)/826. Let v(f) = -2*f**2 + f. Suppose -4 = 2*d - 6*d. Let g be v(d). Which is smaller: g or t?
g
Let v(t) = -t + 8. Let o be v(-11). Let a(h) = -3*h - 13. Let m be a(-11). Is o less than or equal to m?
True
Let c = -1.02 - -1. Let s(k) = -k + 1. Let h = 54 + -53. Let r be s(h). Which is greater: c or r?
r
Suppose -1881 = -4*n + 5*d, 2*d - 57 = 5*n - 2387. Is 465 greater than or equal to n?
True
Let v be 20/(-130) + (-262)/(-13). Let o be 8/v - (-11)/(-40). Let g = -252/5 + 50. Which is bigger: g or o?
o
Let f = 2 + -1. Let u = f + 0. Let r be ((-75)/39 - (-2)/1)*-1. Which is smaller: r or u?
r
Let o = 22.53 - 21. Let p = 0.17 + o. Let q = p - 1.5. Which is smaller: q or -0.2?
-0.2
Let n = -171 + 171. Is n > -5/128?
True
Let n be (6/8)/((-9)/(-36)). Suppose -2*z - n*q = 3*z + 16, -2*q - 2 = -z. Let y be (2 - 2)/(4 + z). Is -2/17 at least as big as y?
False
Suppose 2*u = -3*u + 4270. Let v = 21346/25 - u. Let o be ((2/(-1) + 2)*1)/3. Is v equal to o?
False
Let r(w) = -3*w + 77. Let v be r(19). Which is smaller: 24 or v?
v
Let p be 4302/(-24) - (-1)/4*-3. Let g = p + 713/4. Which is bigger: -3 or g?
g
Let i = 39 + -49. Let m be (-1)/5 - (-4 + (-48)/i). Let v = 2089/12 - 174. Which is smaller: v or m?
m
Let z = 42 - 42.51. Let n = z - -0.21. Let o = -0.3 + 0.1. Is n at most o?
True
Suppose -5*v - 176 = -4*q, v = -5*q + 263 - 14. Let m be (-1 - -30)/(7*7/q). Is 29 < m?
False
Suppose -32 - 100 = 4*d. Suppose -2*i - 33 = -i. Is i > d?
False
Let r be (-11)/(-1) + -2 + 1. Suppose -5*w + r = -5. Suppose -w*f - 16 = -f. Which is bigger: -9 or f?
f
Suppose 4*u + 1 = -5*h, u + u + 2*h = 0. Suppose 4*i = -r - 3*r + 4, 6 = 4*i + 3*r. Let s be (10/6)/(u/i). Does s = 5?
True
Let o be (-21)/(-3)*2 + 0/1. Let v be (-2)/7 + ((-24)/o - -2). Is -12/11 greater than or equal to v?
False
Let v = -68 + 76. Suppose -c - 3*c = v. Which is greater: c or 1?
1
Suppose 156 = -16*f - 372. Which is greater: f or -135/4?
f
Let a(i) = -i - 1. Let v be a(-2). Let n be (-2 - -2)*v/3. Suppose n = 4*t - 3 + 11. Which is bigger: -1 or t?
-1
Let l(y) = -3*y + 111. Let t be l(31). Which is bigger: -0.2 or t?
t
Let q(x) = -x**3 + 2*x**2 + 4*x + 1. Let r be q(3). Let o be ((-3 + 0)/(-42))/((-30)/49). Let b = 47/15 - o. Which is smaller: r or b?
b
Suppose d = -2 + 5. Suppose -5*c = -d*c + 12. Let p = -6 + 0. Are p and c nonequal?
False
Suppose 42*q + 36 = 46*q. Suppose 9*u - 13 - 77 = 0. Is q < u?
True
Let a = 51 + -47. Let t be (1/2)/(1 + (-10)/a). Which is smaller: t or -1/5?
t
Let w(t) = -9*t. Let m(b) = 2*b. Let n(x) = 21*m(x) + 5*w(x). Let p be n(-2). Suppose -4*y + 12 = 4*c, 5*c + 0*c = 3*y - 1. Which is smaller: p or c?
c
Suppose 22 + 146 = 4*x. Let m = 44 - x. Which is smaller: 20/7 or m?
m
Let b be 4*3/12 + -8 + 274. Do b and 268 have the same value?
False
Let n = 0 - -0.1. Let x = -2.25 + -105.75. Let m = 103 + x. Which is greater: m or n?
n
Let v = -133 + 168. Is 31 < v?
True
Let t = -889/3 - -24889/84. Are t and 0.4 nonequal?
True
Let t be -2 + 36/8*2. Let z = -12 + t. Let a = 3 + z. Which is greater: -7/4 or a?
-7/4
Suppose 0 = -28*s + 23*s - 25. Which is smaller: s or -8?
-8
Suppose 0 = -64*g + 60*g - 12. Let y = -6 + 11. Which is bigger: g or y?
y
Let o = 39 - 56. Let x = o + 32. Let j = -14 + x. Do -6/5 and j have the same value?
False
Let x = -0.21 + 0.55. Let s = 0.34 - x. Let v = 3 + -3.2. Which is greater: s or v?
s
Let w = -45 - -78. Let a be ((-6)/w)/((-2)/(-3)). Suppose -5*z = -6*z. Which is bigger: z or a?
z
Let h be 2*1/(-6)*83511/(-144). Let i = 193 - h. Is i bigger than 1?
False
Let w = 20 + -21. Let h be 5/(-3)*(-2 + w). Suppose h*m = 0, -2*g - 2*m - 28 = -4*m. Which is smaller: g or -13?
g
Let i = 22 + -38. Let k(r) = 2*r - 27. Let v be (-4 - 0)/(-16) + 38/8. Let p be k(v). Is p < i?
True
Let d = -18 - -53/3. Suppose 7 = -4*v + 19. Suppose 0*l + 5*l - 19 = -2*a, -2*l + v*a = 0. Which is smaller: d or l?
d
Let j be 6/(-12) + 2/4. Let q be 2 - 3 - j - 3. Let h(a) = a + 9. Let i be h(q). Which is bigger: 4 or i?
i
Suppose 0 = -5*v - 89 - 101. Do -38 and v have different values?
False
Let d be (-6)/(1 + -4) + -4. Let n(z) = z**2 - 13*z - 19. Let m = -4 - -18. Let s be n(m). Which is smaller: s or d?
s
Let o(t) be the third derivative of -t**5/30 - t**4/12 - t**3/6 - 2*t**2. Let v be o(-1). Let c be v + 1/(3/9). Do c and 1 have different values?
True
Suppose 0 = -3*v + 6*v + 72. Let b be 9/(-6)*v/9. Suppose b*n = s - 17, 2*s - 2*n = -1 + 11. Is 2 smaller than s?
False
Let j = 214172/165 - 1298. Which is bigger: -4 or j?
j
Suppose -2*y - y - 5*r = -1, -5*y = -5*r + 25. Let d(h) = -h**2 + h - 2. Let a be d(y). Let l be (-4)/(-18) + a/(-18). Is l equal to 3?
False
Let d be 6 - (-128)/(-20) - (-964)/10. Let u be 1 + d*(-4)/6. Which is smaller: -62 or u?
u
Let p = 20.92 + -24. Let q = p - -0.08. Which is bigger: 6/7 or q?
6/7
Let t = 2.4 - 26.1. Let s = t + 25. Let a = -0.7 - s. Is a greater than or equal to -4?
True
Let b be (-2)/(-7) - 2442/21. Let d be b/(-10) - 6/10. Let r = -6 + d. Which is bigger: r or -1?
r
Let z = 0.1132 + 0.1868. Is z >= 77?
False
Let h be 