*q, -5*n + 2*q = -10. Suppose n = 6*z - 4*z. Is z < 15?
True
Let v = -73738 - -24702256/335. Is v equal to 1?
False
Let i(u) = -33*u + 199. Let b be i(6). Is b smaller than 20/9?
True
Let h be (18 - 10)*(-2)/(-4). Suppose -5*n = -4*f - 150, h*n + f - 70 - 50 = 0. Suppose o - 125 = -4*g - 0*g, -73 = -2*g + 3*o. Is g >= n?
True
Suppose 2*i = 7 + 35. Let t be (i + -19)/((-2)/6). Let u be (2*-1 + (-8)/t)*-150. Is u equal to 100?
True
Let y = -17052 + 17063.26. Is y >= 4?
True
Let x = -29.9 + 30. Let y(f) = f**2 + 16*f - 28. Let d be y(-18). Let o be d/124*1/2. Is x != o?
True
Let c = -63 + 65. Suppose f + t = 0, -t = f + c*t. Is 1/25 greater than or equal to f?
True
Let v be 1*(-1 + 5 + -1). Let n be ((-4)/v)/(28/(-441)). Suppose 0 = -3*c - q - n, -6 = c - q + 1. Is -10 smaller than c?
True
Let k(x) = 36*x + 196. Let s be k(23). Suppose 0 = -110*i + 118*i - s. Are 130 and i equal?
False
Suppose 899 - 149 = -75*q. Does q = -30?
False
Let w be (2/235)/(-3 + (-92)/(-28)). Let v = 8/47 + w. Which is bigger: v or 2?
2
Let o = -109.26 - 40.74. Which is smaller: -1 or o?
o
Let t = -0.0131 - 57.9869. Let x be -4 - (-1 + 64/(-20)). Is x greater than or equal to t?
True
Let b be (2 + (-21930)/(-26))*-1. Let v = b + 845. Suppose 294*q - 19*q + 134 + 141 = 0. Is q > v?
False
Let b be (1 - (-7)/(-4)) + -2. Let n be 11/((-220)/24)*(-225)/10. Suppose -3*v + 12*v + n = 0. Is b greater than or equal to v?
True
Let n = 75201 + -528617/7. Let j = -313 - n. Suppose 4*q - g = -0*q + 4, -4*q = -3*g + 4. Which is greater: j or q?
j
Let g = 1608.1 - 1608. Let d = 249 - 265. Which is greater: g or d?
g
Suppose 0 = -5*l - 25, -5*l + 25 = -5*m - 6*l. Let r be 192/234 - m/(-6). Which is smaller: 0.3 or r?
r
Let u(f) = 71*f**3 - f**2. Let q(c) = -142*c**3 + 2*c**2. Let i(n) = 6*q(n) + 13*u(n). Let b be i(-1). Let z be (-1)/4*b/(-1377). Is 0 at least as big as z?
True
Let s(q) = 75*q - 10. Let p be s(3). Let f = p + -88. Is 125 at most as big as f?
True
Let i = -20 + 4. Let x = 31 + 137. Let v = -167 + x. Are v and i equal?
False
Let h = -1030 - -1017.14. Let p = -84.76 - h. Let j = p + 72. Is j bigger than 0.05?
True
Suppose 4*a = -2*k - 35 - 17, 38 = -4*a + 5*k. Let z = -1342 + 1329. Which is bigger: z or a?
a
Let n = -0.267 - -0.107. Let i(s) = -s**2 - 15*s + 34. Let a be i(-17). Is n < a?
True
Let n(r) = -6*r + 19. Let q be n(-3). Suppose 10*y + 3699 = q*y. Is y at most 136?
False
Let m = 9098 - 9182.01. Let y = m - -84. Is y less than -6?
False
Let x = 17849 + -18402.85. Let z = x + 568. Let w = z - 0.15. Which is smaller: 0.1 or w?
0.1
Let s(w) = -11*w - 11*w - 4 + 7*w**2 - 8*w**2 + 31 + 9*w. Let q be s(7). Is q greater than 0.1?
False
Let h(i) = 2*i**2 + 936*i + 41077. Let v be h(-49). Let r be 2/2*-1 - -15. Is r equal to v?
False
Suppose 4*r = -y + 2406, -y + 997 = 5*r - 2010. Which is smaller: 605 or r?
r
Suppose 7 = x + 6. Let m be (-848)/(-80)*(-1 - (-10)/4). Let d = m + -16. Is d equal to x?
False
Let f = -0.62 - -1.09. Suppose -78*o + 75*o + 8*s = -17, -5*s - 8 = -o. Is f at least as big as o?
False
Let q = 0.83 - 0.93. Let d(s) be the first derivative of s**3/3 - 7*s**2/2 + 11*s + 1. Let t be d(8). Is q at least as big as t?
False
Let f = -25.3 - -24. Let o = -1.68 - -1.78. Which is smaller: f or o?
f
Let q = -1611414/17 + 94789. Let z = -2/21 + 67/42. Which is greater: z or q?
z
Let f = -4348697/123 - -35355. Which is bigger: 0 or f?
0
Let m = 3052 + -3053. Which is bigger: -51 or m?
m
Let z(o) = 88*o + 79. Let k be z(0). Which is smaller: -0.32 or k?
-0.32
Let o = 107 - 113.64. Let p = o - 48.66. Let z = p - -53. Which is smaller: z or 2/7?
z
Let i = -4023.69 + 4024. Which is greater: 77 or i?
77
Let y = 20/37 - -25/296. Let t be (-3)/(-6)*4 - 4 - -2. Which is bigger: t or y?
y
Let w = 0.09 + -372.09. Let a = 378 + w. Are 0.14 and a equal?
False
Let t = -203 - -203. Suppose 17*w - 11*w + 396 = t. Is -66 < w?
False
Let s be ((-450)/495)/(-58 - 0). Which is bigger: s or 1?
1
Suppose 0 = -4*f - 8*i - 1280, -4*f + 25*i - 30*i = 1298. Which is bigger: -336 or f?
f
Suppose 22 = -2*z + 4*n, -n - 66 = -71. Let i be (-267)/261 + 0 + 1. Are z and i equal?
False
Let m be 10*(-1075)/(-500)*2. Is 26 != m?
True
Suppose -1 + 7 = -2*m. Suppose -3*j + 2*q + 7 = 0, -11 = -j - 5*q + 14. Suppose -47 = j*o - 17. Which is smaller: m or o?
o
Let i be 99506/(-66332) + 1 + 19*16/608. Which is bigger: 1 or i?
1
Let g(k) be the third derivative of -k**5/20 - 7*k**4/8 - 53*k**3/6 + 77*k**2 + 2*k. Let d be g(-6). Which is smaller: -244/7 or d?
d
Let i be ((-3)/((-18)/8))/(-246). Let m be (-561)/66*1/(2/(-4)). Suppose -5*n = 3*x - 7*n + 13, -4*n + m = 3*x. Is i equal to x?
False
Let m(o) = 13*o + 170. Let i be m(-13). Is -2/989 greater than i?
False
Let m be (-5)/25 + ((-1692)/(-1560) - -2). Is -7 less than m?
True
Let h = 3866 - 2282. Which is bigger: h or 3165/2?
h
Suppose 2*t = -29 + 41, -20 = -4*q - 4*t. Which is smaller: q or 21/53?
q
Let a(b) = 204*b - 128. Let u be a(0). Is u < -1416/11?
False
Let l = 11.5 - 11.76. Let n = 0 - -0.1. Is l at least n?
False
Let k = 0 + 1. Let a(p) = -4*p**3 - 3*p**2 + 2*p. Let f be a(k). Let c(w) = 4*w + 2. Let v be c(-2). Is f greater than v?
True
Suppose -38*q + 4136 + 4490 = 0. Suppose q = -5*p + d, 0 = -4*p + 9*p - 5*d + 235. Which is smaller: p or -44?
p
Let d(n) = -n**2 - 24*n - 129. Let t be d(-18). Is -64/3 >= t?
False
Suppose 44*b + 103959 = -93*b + 32445. Which is greater: b or -511?
-511
Let i be (305 - 33)/(-17) - (3/(-2))/1. Is i greater than or equal to -113?
True
Let w be (54012/(-6776) - -8)*2/28. Which is bigger: w or 0?
w
Let x = -378.9 + 378.9. Are x and 2729 nonequal?
True
Let r be (6/171)/((-4)/3). Let c(h) = -226*h**3 + h**2 - 3*h + 2. Let k be c(1). Let n = k - -225. Are n and r equal?
False
Let s(h) = -12*h**3 - 5*h**2 + 13*h + 3. Let y(l) = 25*l**3 + 11*l**2 - 28*l - 6. Let u(t) = -13*s(t) - 6*y(t). Let x be u(2). Which is bigger: x or 38?
x
Let h be 70/(-24) - 3/9. Let r = h - -4. Let d be (2*-4 - 2352/(-224))*8/10. Are d and r nonequal?
True
Let j = 389.0695 - 0.0695. Let n = j - 440. Which is greater: 1 or n?
1
Suppose 5*x + 1609 = 4*l + 500, -3*x = -2*l + 553. Let b = l - 265. Which is smaller: 18 or b?
b
Let z(s) = -2*s**3 - 9*s**2 + 88*s - 907. Let q be z(13). Which is smaller: -2/3 or q?
q
Let w = 3/12236 + -1003517/672980. Do -2 and w have the same value?
False
Let d = 957 - 490940/513. Suppose 32 = 4*l + 170*r - 173*r, 0 = -5*l + 3*r + 31. Are l and d equal?
False
Let i = -5 + 6. Let n be (1*(3 + i + -3))/1. Let u = 1/40 + 73/280. Is n less than u?
False
Let g(b) = 2*b**2 - 6*b - 1. Let i be g(-1). Let q be 1 + -4 - (i + 11 + 3). Which is bigger: -22 or q?
-22
Let a(k) = 44*k. Let f be a(-5). Let h = f + 13415/61. Is 1 bigger than h?
True
Let y(k) = -k**2 - 61*k + 446. Let t be y(7). Which is smaller: -143/5 or t?
t
Let x = 27602 + -26205. Which is smaller: 0.3 or x?
0.3
Let w = -0.7 - 0.3. Let j = -9176 + 9173. Which is greater: w or j?
w
Let r = -42/85 + -137/170. Let n = 57170 - 57170. Which is bigger: n or r?
n
Let p(y) = -7*y**3 - 6*y - 15. Let q be p(-2). Is 42 smaller than q?
True
Let t be 6/9*(570/4)/(-5). Let g = 5920 - 29698/5. Is t at most g?
False
Let s be (-1104)/(-10) - 8/20. Let b(r) = -116*r - 5*r**2 + s*r - 10 + r**3 + 0*r**2. Let a be b(6). Which is smaller: a or -17/2?
a
Let i = 15 + -6. Let w = -156 - -158. Suppose w*g = 6*g - 3*c - 24, c + 4 = 0. Which is smaller: g or i?
g
Let v = -406 - -385.7. Let z = 34.3 - 33. Let h = v + z. Which is greater: 2/3 or h?
2/3
Let g be 26/(-14)*(5 + (-1612)/182). Is 7 less than g?
True
Let o = -664 - -677. Suppose 91 = -o*d + 507. Is 2/3 less than d?
True
Let i = 4237 - 4238. Are -1/336 and i nonequal?
True
Let i = 13443 + -14154. Is -707 < i?
False
Let o(b) = 5*b**3 + 2*b**2 - 2*b + 1. Let f be o(1). Let j be -2 + f + -2*6. Let n be (-2)/9 + j/288. Is n bigger than 7/5?
False
Let l = -9709 + 9711.04. Is -3/25 greater than or equal to l?
False
Let h(c) = -8*c**3 - c**2 + 2*c + 2. Let g be h(-1). Suppose -2*t = 2*f - 3*t, t - g = -5*f. Let a be (45/(-170))/(3/(-4)). Which is bigger: a or f?
f
Let w be (60/(-18) + 3)/(1/3). Let k = 51157147/71626 + 50856/607. Let c = -798 + k. Which is greater: c or w?
c
Let x(r) = 2*r**3 + 52*r**2 + 2*r + 80. Let z be x(-26). 