a - 4*a + 61, -b - 3*a = 3. Let k be (-20)/(-7) + b/6. Is 1/4 not equal to k?
True
Let v be (1/6)/(2357/(-471) + 5). Are v and -40 non-equal?
True
Let f(b) = 8*b**3 + 5*b**2 + 2*b + 5. Let k be f(-3). Is -171 >= k?
True
Let b be (10/4)/(92/(-1518)). Which is smaller: b or -42?
-42
Let n be (-15)/((-315)/6)*(300 + 1). Is n less than 85?
False
Suppose 0 = 11*i + 6*i + 3*i. Suppose 4*m - 8*m = -4. Which is smaller: i or m?
i
Suppose 450 = -11*c - 342. Let a be (-14)/(-16)*2 + 54/c. Is -1/13 at least a?
False
Let y be 58/14 - 2/14. Suppose -y*s + 5*s = -17. Let j = 12 + s. Is j bigger than -6?
True
Let z = -24.9 + 25. Let v = -2.1 + z. Which is smaller: -3 or v?
-3
Let m(w) = w**2 + 35*w + 19. Let n be m(-34). Which is smaller: 0 or n?
n
Let k be ((-16)/5)/(6/(-15)). Suppose -5*f - k = -3*f, -4*y - 2*f + 12 = 0. Which is bigger: 6 or y?
6
Suppose -37*u + 754 = -8*u. Which is smaller: u or 32?
u
Let n = -23.948 + -0.052. Let u = -23.5 - n. Suppose 0 = -4*d - 3*m + 17, 5*d - 2*m + 0 = 4. Which is smaller: u or d?
u
Let b = -29 - -28.7. Let v = b + -9.7. Let t = 13 + -12.9. Which is smaller: t or v?
v
Suppose 369 + 1134 = 3*n + 2*s, 0 = 4*s - 12. Which is greater: 498 or n?
n
Let n = -240088/43 - -5584. Are n and 1 equal?
False
Let f be (4/14)/(6/(-14)). Let w be 0 - (-2 + 8) - 1089/(-297). Is f at most w?
False
Let w be (-4 - 10)/((-2)/(-71)) - -7. Is w <= -490?
True
Suppose -11 = -3*d - 23. Let h be 0/((-3)/(4/d)) - 0. Is h > -3/23?
True
Let r = -0.31 - -0.06. Let z be ((-2)/7)/(((-15)/(-21))/(-1)). Which is greater: r or z?
z
Let l = 508/11 + -46. Suppose 0*u - u = 12. Is u less than l?
True
Let c(t) = t**3 - 37*t**2 - 120*t - 1. Let h be c(40). Is -40/99 greater than h?
True
Suppose -n + 3*n = -158028. Let x be (-4)/6 + n/306. Let s = x + 259. Which is smaller: 1 or s?
s
Let v = -987 + 985. Which is smaller: v or -5/3?
v
Let a = -67 + 26. Let m = a - -43. Are m and 2 equal?
True
Let b be 203*(-3 + 33/8). Let u = -229 + b. Let w = u - -3/8. Is 1 < w?
False
Let o be 112/12*3/(-2). Let y be 3/(-61)*o/42. Are y and 1 unequal?
True
Let d be (-60)/(-100) + (-2 - -1). Is 89 less than or equal to d?
False
Suppose 23*h - 360 = -475. Do -1.6 and h have the same value?
False
Let f = -10.05 + 10. Let l be (-8)/12*3/4. Let r = 0 + l. Which is bigger: r or f?
f
Suppose -9*z = 5*z - 70. Let m = 2 - 2. Suppose m*v - 2*b = v + 2, 0 = -z*v + 5*b - 10. Which is smaller: -1 or v?
v
Suppose 3*b + 2*s + 3 = -17, 2*b + 4*s = -16. Is b less than or equal to -6?
True
Let l = -0.028 - -0.138. Which is smaller: -8 or l?
-8
Let o = -1607.9 + 1608. Is -90 <= o?
True
Let l = 3/7 + 15/14. Let a = 0.27 + -0.27. Which is smaller: l or a?
a
Suppose 6 = -3*h, 0 = -11*l + 14*l + h - 88. Which is bigger: l or 36?
36
Suppose -360*t + 359*t = -168. Is 168 bigger than t?
False
Suppose 2*u - 60 = -3*u. Suppose 2*z - u = -10. Is z equal to 5/4?
False
Let c(k) = k**2 - 37*k - 114. Let x be c(-3). Which is smaller: x or 10?
x
Let m = -0.057 + -4.243. Let n = 4 + m. Let r = n + 0.46. Is r bigger than -2/7?
True
Suppose 5*w = -r - 2*r - 37, -5*r - 37 = -4*w. Let y(j) = -14*j + 188. Let z be y(14). Which is bigger: z or r?
z
Let r = 7.073 - 7.203. Let a = 0.3 + -0.4. Let p = 0.1 + a. Which is smaller: r or p?
r
Suppose -o = 43 - 118. Let j = -597/8 + o. Let k be 6/(-21) + 10/(-14). Is k at most as big as j?
True
Let j = 0.003 + -0.023. Let z = -0.46 - 2.54. Which is bigger: j or z?
j
Let h = 101 - 89. Which is smaller: h or 16?
h
Suppose -s = -2*s + 3. Suppose 4 = -v + s. Let i be (6/(-8))/(10/16). Which is smaller: v or i?
i
Let m = -33 + 33. Let t = -10109/38 + 266. Which is smaller: m or t?
t
Let i = -1443 + 1543. Which is smaller: i or 105?
i
Let i be (2/10)/(-4 - 63/(-15)). Let a = 0 - 6. Let v be ((-4)/a)/((-20)/6). Which is greater: i or v?
i
Suppose 2*s = -3*s + 10. Suppose -4*z + 20 = 0, 5*d + s*z = -0 + 75. Let o be 4 - (1 + 37/d). Does o = -1?
False
Let s = -566.2 - -566. Which is smaller: 95 or s?
s
Let i = 6734/45 + -806/5. Do -12 and i have different values?
True
Let k be 16/(176/(-33)) - 5*-1. Do k and -2 have different values?
True
Suppose 0 = 3*d - 4*t - 8, -3*t = -d + 4 - 3. Let u be 1/29*(-2 + d). Is u not equal to -1?
True
Suppose -3*b - 222 = -162. Which is bigger: -18 or b?
-18
Let d be 0 - -4 - (-318)/(-3). Let v be (-1841)/18 - 4/(-8). Let q = d - v. Is q >= 0.12?
False
Let d(o) = -o + 1. Let h be d(-1). Suppose -4*w = -h*r - 18 + 2, 3*r + 13 = -5*w. Let t be (8/r)/((-56)/12). Which is bigger: t or 2?
2
Suppose -77*v - 1353 = -66*v. Which is greater: v or -122?
-122
Suppose 0*k - 4*k + 3*l + 16 = 0, 5*k - 23 = 3*l. Let u be (k - 7) + (1 - 0). Let m be u + 1 + -30 - 0. Which is greater: -27 or m?
-27
Let m = -69 + 68. Does m = 1/108?
False
Let p be 6/(-1)*(-6)/(-4). Let j = 4 - -3. Let c be (j - (-3)/1)*-1. Which is bigger: c or p?
p
Let z = -25 - -30. Suppose -4*h = h - z, -3*g - h - 14 = 0. Let q be g/(-25) + 6/20. Which is bigger: q or 3?
3
Let z = 326 - 327. Which is smaller: 13/41 or z?
z
Suppose -2*a + 77 = 23. Suppose -4*o + a = -h, -2*o + 10 + 56 = -4*h. Is h at most as big as -14?
True
Let w(x) = -2*x. Let v be w(-1). Let m be (-5992)/48 + (-1)/6. Let b = -245/2 - m. Does v = b?
False
Let a = -1051/4 + 263. Which is bigger: -1/40 or a?
a
Let z = 201 - 166. Is 2/19 < z?
True
Let k(g) = g**3 - 32*g**2 + 154*g + 44. Let o be k(26). Let a = -0.98 + 1. Which is greater: o or a?
a
Let u(d) = 10*d - 128. Let p be u(13). Is p less than or equal to 1?
False
Let q be (1/(-3))/(4/(-132)). Suppose 2 = -3*o + q. Let k = -98 + 102. Which is smaller: o or k?
o
Let p be (-4)/(-8) + 10/4. Suppose 2*c = 3*c - p. Suppose -c*g - 2 + 8 = 0. Is g > -9?
True
Suppose w = -3*a - 0*w, 0 = 3*a - w. Let c(b) = 2*b**2 + 9*b + 3. Let i(q) = 3*q**2 + 17*q + 5. Let g(o) = -5*c(o) + 3*i(o). Let t be g(6). Is t > a?
False
Let l = 1.24 + 0.16. Let f = 8.4 - l. Let p = f + -6. Which is greater: 3 or p?
3
Suppose 2*x = 2*y + 452, 3*y + 674 = 3*x + 2*y. Let z be x/(-10) - (-2)/5. Let d = z - -21. Which is smaller: 1 or d?
d
Let a = -36/7 - -5. Let t(x) = -5*x**2 - 6*x - 3. Let m(v) = -6*v**2 - 6*v - 4. Let u(o) = 4*m(o) - 5*t(o). Let r be u(-6). Is a >= r?
True
Let g(t) = -10*t**2 + 16*t + 113. Let n be g(-5). Which is greater: -216 or n?
-216
Let q be (8/(-12)*-3)/(2/(-22)). Are q and -21 nonequal?
True
Let m(f) = -f**3 + f - 2. Let o be m(-2). Let q be 32/(-10)*15/(-6). Suppose -q*a + 2*a = 6. Which is smaller: o or a?
a
Let y = 0 - 3. Let o be 2/y*(-9)/(-3). Let n = -359/3 + 117. Which is bigger: o or n?
o
Let z = -34 + 31. Is -30 equal to z?
False
Let f be (198/24 - 8)/(-1). Is -29 < f?
True
Suppose 46*y - 50*y = 108. Which is greater: 0 or y?
0
Let x = -816 + 846. Which is bigger: 15 or x?
x
Let g(a) = -a - 5. Let r(m) = m**3 + 3*m**2 - 2*m + 4. Let p be r(-4). Let b be g(p). Let l(z) = -z**2. Let h be l(b). Which is smaller: -1/4 or h?
h
Suppose -2*g + 2*g + 6*g = 0. Suppose g = -5*p + 5*l - 248 - 32, -3*p = 3*l + 186. Is -58 less than p?
False
Suppose 84 = -8*f + 11*f. Suppose 6*b + f = -38. Let p(q) = -3*q. Let y be p(4). Which is bigger: b or y?
b
Suppose 0 = -5*z - 65 + 10. Let q be z/44 + 42/8. Suppose 2*f - 6 = 2*t, -q*f + 11 + 9 = 0. Which is smaller: t or -2/29?
-2/29
Let j = -253 + 235. Let o(s) = -s. Let h be o(5). Let l be -4 - (-15)/j*h. Is l greater than or equal to -0.3?
True
Suppose 4*a = -5*q - 187, -2*q + 4*a - 86 = -0*a. Is q at most as big as -40?
False
Let p = -57 + 54.2. Let w = -1.8 - p. Are -6/11 and w non-equal?
True
Let m = -32238 + 32264.981. Let f = m + 0.019. Let d = f + -23. Which is greater: -1/7 or d?
d
Suppose 0 = -2*m - 4*q - 52, 13*m - 17*m - 4*q = 104. Is -26 bigger than m?
False
Suppose 712*g - 721*g = -927. Which is smaller: 101 or g?
101
Let o = -1574 - -1574. Suppose -3*h - 16 = -i, -5*h - 36 = -2*i - 2*i. Let u be h - (-2 + 6)/(-2). Is u != o?
True
Let f = 108 + -98. Let a = -9 + f. Are -1/6 and a equal?
False
Let n = 42 + 7. Let s = 51 - n. Do s and -0.11 have the same value?
False
Let x(j) = -j**3 + 13*j**2 - 11*j - 24. Let z(r) = -r**3 - 8*r**2 - 10*r - 9. Let y be z(-7). Let w be x(y). Is w equal to -20?
False
Let a = -383 + 382. Do 56 and a have different values?
True
Let g be -12 - -20 - (-108)/(-14). Let v be 14/(-12)*4/448. Which is smaller