37 - -4/193. Are t and y nonequal?
True
Let q = -1794 + 1799. Is q equal to -153?
False
Let q = -3/1381 - -2186156/15191. Let d = -144 + q. Let v be (-2)/11 + (-39)/(-33). Are d and v equal?
False
Let q be (-3 - -6)*1/1. Suppose -6*g = -5*v - 2*g - 21, -q*g = 5*v + 28. Do v and -30/7 have the same value?
False
Let j(z) be the second derivative of z**4/12 + 3*z**3/2 + 7*z**2 - 6*z. Let h be j(-7). Is 1/3 <= h?
False
Let v = -5/67918 - -191053559/3056310. Let p = v - 313/5. Which is greater: p or -1?
p
Suppose 2*z + 2 = 12. Suppose -g - z*u - 6 = 0, 2*u + 1 + 2 = -g. Which is smaller: g or 2?
g
Let j be 56/196 - (-129)/(-35). Let x(b) = -b - 1. Let f be x(3). Which is smaller: f or j?
f
Let o(v) = -35*v**2 - 16*v - 3. Let b be o(-2). Is -111 smaller than b?
False
Let b be 2*(69/6)/(6/42). Is 161 less than or equal to b?
True
Let o = 0.863 + -0.813. Does o = 3/7?
False
Let r = 0 + 0. Let a be -1 + (5/5 - 2). Let d be (-6 + 4)/(12/4 + a). Is r at least as big as d?
True
Suppose 0 = 3*k - 15, 2*n - 6*n - 5*k = -149. Let w = n + -10. Is 22 equal to w?
False
Let j be ((-8)/72)/(3/60 + 0). Suppose -3*w = 2*w + 15. Which is greater: w or j?
j
Let r = -0.033 + 6.833. Let l = r + -6. Let n = -7/6 + 2/3. Is n at least l?
False
Let o(s) = -s**3 - 11*s**2 - 26*s - 7. Let m be o(-7). Which is bigger: -20 or m?
-20
Let h be -3 + 3*1223/33. Let t = h - 108. Which is greater: t or 0.9?
0.9
Let x(z) = -3*z - 2. Let b be x(-2). Suppose -2*i = m + 12, 0*i = -b*m + 5*i - 22. Which is bigger: -1 or m?
-1
Let x = -279/4 - -32093/460. Which is greater: -1 or x?
x
Let r(i) = 7*i + 20. Let d be r(-3). Let q be 8/(-90)*(3 - d - 24). Is q > 0.2?
True
Let z be (39 + -35)*17/(-4). Which is smaller: z or -84/5?
z
Suppose -31*k + 27*k = 24. Let v be 9*(-1)/k*-2. Is v greater than or equal to 7?
False
Let u = 2 - 3. Let s = 47.7 + -48. Let v = -0.1 + s. Is v greater than u?
True
Let f(j) = -3*j**2 + 16*j - 24. Let o be f(14). Let c = o + 1926/5. Which is smaller: -3 or c?
-3
Let h(u) = u**3 - 5*u**2 + 4*u + 3. Let l = 14 + -10. Let c be h(l). Suppose -2*a + 20 = 2*r, -c*r + 6 = -3. Which is greater: 3 or a?
a
Let a(t) = -7*t**3 + 5*t**2 - 3*t + 9. Let d(m) = 13*m**3 - 10*m**2 + 6*m - 17. Let p(q) = -11*a(q) - 6*d(q). Let u be p(5). Is -12 less than or equal to u?
True
Suppose -4*s - 10 = 2*g, 5*s + 21 = 4*g + 2. Let o = -61/150 + 6/25. Are o and g non-equal?
True
Let z = 9 + -6. Suppose -3*p = 4*a - 64, 4*p + z*a + 56 - 139 = 0. Suppose -2*v - 5 - 10 = -3*r, -4*r + p = 5*v. Which is greater: 6 or r?
6
Let k(z) = z - 3. Let c be k(7). Suppose 0 = c*q - 2*x - 20, 5*q - x - 20 = 2. Suppose 3*d = -q*d. Which is smaller: d or -2/33?
-2/33
Suppose -j + 6*x + 13 = x, 15 = j - 3*x. Suppose j = -5*p - 22. Which is greater: p or -7?
-7
Let p = -14 - -16. Suppose -p*a = -4 - 0. Suppose 2*x + x = -5*d - 3, -17 = 3*d - a*x. Is -5 greater than or equal to d?
False
Let z = -0.473 - 0.037. Let x = 0.34 + z. Is 0 <= x?
False
Let p = 0 - -1. Let l = -2 + p. Let s = -235 + 233. Which is smaller: l or s?
s
Suppose -62 = -2*m - 60. Does m = -124?
False
Suppose n = 3*n - 18. Suppose 0 = -f + 1229 - 245. Let m be f/108 - 1/9. Is m bigger than n?
False
Let n = -1700 + 2903. Let z = n - 99847/83. Suppose 3*w - 3*a = -2*w + 10, 0 = 5*w - 4*a - 15. Which is smaller: w or z?
w
Let s = 7.84 - 0.64. Let p = s - 7. Is p less than or equal to -1/5?
False
Let r(a) = a**3 + 1 - 239*a**2 + a + 225*a**2 - 9 - 4. Let w be r(14). Which is smaller: w or 10?
w
Let h be (2/2655)/(10/330*11). Which is smaller: h or -1?
-1
Let f be (-3)/(-12) + 99/(-12). Let m(a) = -a**2 - 8*a + 3. Let r be m(f). Let j be r/(-6)*10/(-15). Which is smaller: -8 or j?
-8
Let n be 1/52*-2*24. Let j = 580/21 - 29425/1092. Let l = j + n. Are 1 and l equal?
False
Let x = 3/29 - -43/145. Let d be ((-3)/(12/22))/(8/48). Is d < x?
True
Let g(k) = -k**2 - 11*k - 12. Let s be g(-11). Suppose 221*x - 220*x = -12. Is x >= s?
True
Let l be (-4)/10*160/32. Is -28/23 less than l?
False
Suppose y - 880 = -5*h, -4*y + 2*y + 698 = 4*h. Which is smaller: -2/13 or h?
-2/13
Suppose -4*a = -1 - 3. Suppose 5*t + 2 = 32. Let r be (-48)/(-20) - (t - 4). Is r less than a?
True
Suppose -5*r - 2 = 3*c, 3*r + c + 3 = -r. Let d be (-4 - (r + -4))*(0 + 0). Is d smaller than -3/5?
False
Let b = 414 - 411. Is b < 4?
True
Let z = -12 - -8. Let y be 3/(3/10) + 1. Let p be (-12 + y)*2/9. Is p at least as big as z?
True
Suppose -6*d = -76 - 2. Let c(a) = -a + 7. Let t be c(4). Suppose 0 = -t*h + 2*h + 12. Is h bigger than d?
False
Let z = -219 + 219. Is 2/35 at most as big as z?
False
Let g(l) = -4*l**3 + 3*l**2 + 4*l + 3. Let s(p) = -7*p**3 + 6*p**2 + 8*p + 7. Let f(a) = -5*g(a) + 3*s(a). Let d be f(-4). Let r be (9/d)/(3/4). Does 0 = r?
False
Suppose -2*j + 3*z = 6 - 2, 2*z = -4*j + 24. Is -3 > j?
False
Let o = 117 - 115. Which is bigger: 41/4 or o?
41/4
Let s(p) = -p**2 + p + 10. Let y be s(-2). Let r be (y - 6)*(-15)/(-9). Suppose -2*a - 3 = 3. Which is greater: a or r?
a
Let y be 66/15 - 2/5. Suppose 0 = y*q - 2*q - 10. Let k = 343 - 338. Is k greater than or equal to q?
True
Let n = 0.8 - 1. Let c be -4*2/(-48)*(-3 - -3). Which is smaller: c or n?
n
Suppose -61*a = -58*a + 18. Let b be (-6)/12*(-3)/a*8. Let i be (-1 + 0)/(16/14). Which is smaller: i or b?
b
Let m be (-4)/(-18) - (-464)/18. Let o = 26 - m. Is o at most 0?
True
Suppose 695 = 7*m - 530. Let i = m + -17327/99. Is i at least -1?
True
Let s(v) = v**2 + 2*v + 11. Let p be s(0). Suppose p*d - 6*d = 10. Let x be (-2)/2 + (-32)/(-24). Which is smaller: d or x?
x
Let l = 4132/3 - 1129. Which is greater: l or 248?
l
Suppose p = 5*z + 32, 0*z - 5*z + 136 = 3*p. Let t be (-1 - -1) + 0 + 1. Which is smaller: t or p?
t
Let y be 4*(-4 - 1) - 4. Let q = -24 - y. Let p = 0.96 - 1. Which is smaller: q or p?
p
Let l = 35 - 29. Suppose n - 7 + l = 0. Let o be n/(-3)*100/60. Which is smaller: -1 or o?
-1
Let q = -22.98 + 23. Let f = q + 12.88. Let w = f - 13. Is w not equal to 10?
True
Let d = 2922269/464 - 6298. Which is greater: 1 or d?
1
Let q = 1556/9 - 166. Let c be (-59)/(-413) + (-82)/(-14). Which is smaller: c or q?
c
Let m be 82/(-28) + (-11)/(693/(-27)). Which is bigger: m or -57?
m
Suppose -2*f + 506 = 538. Let a be (-3)/12 + 67/(-4). Is a at most as big as f?
True
Let v be (4/((-24)/9))/2. Let j = 21 - 17. Suppose -4*a = -k - j*k - 4, 4*k = -a + 1. Are v and k non-equal?
True
Let v = 79 - 94. Let o = v - -22. Which is smaller: o or -1?
-1
Let n = 862/285 + -60/19. Let f be -1*(4/28 - (-22)/(-7)). Is f greater than n?
True
Let v = 17/12 + -3/4. Let o(f) = -f**2 - 6*f - 7. Suppose 7*z + 20 = 3*z. Let w be o(z). Is v bigger than w?
True
Let u be (-12)/120*((-45)/(-5) - 5). Which is bigger: u or -0.188?
-0.188
Suppose -m - 4*o = -2, m = -4*m - 2*o + 28. Let p be (-3)/(189/m + -3). Let f = 1.5 + -1.4. Which is smaller: f or p?
p
Suppose 36 + 16 = 4*i. Let b(d) be the first derivative of -d**2/2 + 5*d + 20. Let z be b(-9). Which is smaller: i or z?
i
Let s = -281 + 3931/14. Is s >= 0.24?
False
Let i be (4 + 1)*12/20. Suppose 4*h + 2*u = 10, -2*h - 3*h + i*u + 40 = 0. Suppose -2*m + 2 = h*x, 4*x + 5 - 3 = 2*m. Which is smaller: -1 or x?
-1
Let q be 713/(-4795) - 0 - (-8)/56. Is -1 smaller than q?
True
Let n = -9 - -21. Let p = n + -19. Let w = p - -5. Is -1 != w?
True
Let g = 69712/57 - 1223. Which is bigger: -1 or g?
g
Let q = 3 + -1. Let u be (270/15)/(-108)*30/(-8). Which is smaller: u or q?
u
Let p be (-2)/6*6/6. Are p and 1.2 unequal?
True
Let q be (2 - -15 - 17) + -544 + -1. Which is smaller: -546 or q?
-546
Let n(f) be the third derivative of f**6/120 - 3*f**5/20 + f**4/4 + f**3/6 + 3*f**2. Let b be n(7). Let y = b - -35. Is y at least as big as -20?
True
Let z be -14*((-12)/30)/(8/(-10)). Let b be 81/(-12) - 3/(-4). Let q = z - b. Is q not equal to -2/19?
True
Let t = 920 - 929. Let l = -9 + 9. Is t greater than or equal to l?
False
Let i(m) = 2*m + 7. Let u be i(-7). Let n(b) = b**2 + 7*b - 5. Let t be n(u). Suppose 0 = 2*q - 4*q - 2*x - 6, 33 = -3*q + 5*x. Which is smaller: q or t?
q
Let k be 2538/135*10/4. Is 49 not equal to k?
True
Let p(f) = -f**3 + 5*f**2 - 3*f - 2. Let g be p(3). Suppose 0 = a + g - 6. Let o be -1*(3 + (-4)/2). Is a at most o?
True
Let j = -220 - -3519/16. Let l = 98.3 + -96.3. Whic