*(-40)/(-105). Which is smaller: -1 or k?
-1
Let c be ((-10)/(-36750) + 0)*8/(-56). Are c and -0.1 non-equal?
True
Let v = -427/5 + 17527/205. Which is smaller: -6 or v?
-6
Let i = -23575 - -26240. Which is smaller: 2660 or i?
2660
Let h be ((-5)/(-3))/(82/(-246)) + -188. Is h greater than or equal to -175?
False
Let p be (-1)/(-1)*(-34)/(-6). Let v = -4/3 + p. Let o(u) = u**2 - u + 4. Let k be o(0). Which is greater: v or k?
v
Let u = 19/63 - -2/63. Let f be (-8)/10*(-105)/(-6). Let i = f - -15. Which is smaller: i or u?
u
Let c = -34.43 - 34.57. Which is greater: c or -0.9?
-0.9
Suppose 225 = h - 4*h + p, 0 = 3*h + 2*p + 234. Suppose -13*m - 1253 = -265. Is m >= h?
True
Let b = 158 + -126. Suppose 0 = -4*f - 0*f - b. Is -9 at least as big as f?
False
Suppose 5*i + f = 76, -2*i + 16 = -i + f. Let p be ((-187)/(-170))/(((-8)/i)/(-2)). Is p less than or equal to 4?
False
Let h be 238/1309 + (-2)/((-44)/(-15)). Let l = 16.6 - 0.6. Let v = 16.2 - l. Which is smaller: v or h?
h
Suppose -3*d = -7*d + 5*z + 8, 4 = 2*d + z. Let b = 0.273 - -2.137. Let c = 4.41 - b. Is c not equal to d?
False
Suppose 124 = -6*c - 2. Let a be (198/(-12) - -11)*4. Is c smaller than a?
False
Let r = -3915 + 8867473/2265. Let c = -18106/15855 + r. Which is smaller: c or -30?
-30
Let p = -26364/595 + 310/7. Is p at most 0?
True
Let u = -4563 - -4562. Let w = -663573240233/12330 - -53817781. Let r = w - 1/274. Which is bigger: r or u?
r
Let p = -13062 - -12854. Which is smaller: -153 or p?
p
Suppose 2*p - 67 = 5. Let r = p - 36. Suppose r = -t - 4*t + 90. Do 19 and t have different values?
True
Let f = -103 + 78. Let v = f - -11.8. Let q = v + 12.94. Which is smaller: q or -2/7?
-2/7
Let k = -4916 - -4979. Is k != 53?
True
Suppose -4*n - 4*s - 100 = 0, n - 2*n - 10 = 4*s. Let m = n + -35. Let r be (((-25)/m)/(-5))/(-1). Is -1 bigger than r?
False
Suppose 3*c = c - 40. Let l be -4*8/(-20)*c/(-32). Which is smaller: -2/387 or l?
-2/387
Let k be (-1 - (-3)/9)*-33. Let a = -4 - -7. Suppose -d + 130 = 5*b + d, -a*b = d - 77. Is k at most b?
True
Let m(a) = -a + 7. Let z be m(7). Suppose z = -9*n + 13*n + 240. Let p be 5/(n/32) + (0 - -2). Which is smaller: p or 2/3?
p
Let z = 0.58599 - -0.01401. Let c = 0.063 + -0.513. Which is smaller: c or z?
c
Let k be 225/36 - 6 - 1*307/1226. Is 0 at most k?
False
Let u be ((-27)/191)/(4/28) - -1. Let g = 94 - 92. Let k be (1*g)/(-2)*(13 - 13). Is k less than u?
True
Suppose -7*o = 3*b - 4*o, o + 2 = -3*b. Let h = -23 + 26. Suppose 0 = h*n + 2*n. Which is smaller: b or n?
b
Let y = -22 + 13. Let g(b) = b**3 - 5*b - 13. Suppose 5*f = 5*z - 10, -2*f = 4*z - 0*f + 16. Let t be g(z). Which is smaller: y or t?
t
Suppose 0 = -13*m + 7*m - 24. Let z be ((-2)/m)/((3619/(-14))/11). Is 1 at least z?
True
Let z = 1148 + -7019/6. Which is greater: -23 or z?
z
Let u(l) = -2*l**2 - 14*l + 39. Let b(z) = z**2 - 2*z + 5. Let x(y) = -3*b(y) - u(y). Let p be x(17). Let v = 44 - 95/2. Which is smaller: v or p?
v
Let w = -16847 - -16844. Suppose -4*v + 2*i + 14 = 0, -2*i - 2 = -v + 3*v. Are w and v nonequal?
True
Let n = 10974 + -43607/4. Let j = n - 72. Is 12 bigger than j?
True
Suppose 4 = -h, 2*o = o + 2*h + 8. Suppose s + 4*z = 16 - 1, -4*s - 5*z = -5. Let r be (-6)/(-88) + s/(-20). Which is bigger: o or r?
r
Let p = 8466 - 8466. Is -3572 less than or equal to p?
True
Let f(v) = -v**3 - 23*v**2 - v - 53. Let p be f(-22). Which is smaller: p or -513?
p
Let j(o) = o**2 - 49*o + 329. Let v be j(8). Let w = 0.42 - 0.4. Is w equal to v?
False
Let y(p) = 548*p + 436. Let j be y(-1). Is -8 less than or equal to j?
False
Suppose 12 = o + 5*o. Suppose -o*l + 16 = 4*m, -9 = m - 12. Which is greater: l or 22/27?
l
Let l(h) = -10*h + 2. Suppose 0 = x - 33*b + 29*b - 5, x = -3*b - 2. Let o be l(x). Are o and 0.1 nonequal?
True
Let p = 3388 - 3465. Is -15 != p?
True
Let t = 0.356 - 0.41509. Let c = 38.86891 - t. Let q = c - -0.072. Is -0.1 != q?
True
Let i = 3.724 - 3.668. Do -9/5 and i have different values?
True
Let d = 176 + -166. Suppose 4*a = 4*g, d*g - 1 = -a + 12*g. Which is smaller: 29 or a?
a
Let o = -66 - -186. Let r = 56 - o. Let p = r + 64.1. Which is smaller: -3 or p?
-3
Suppose 12*y - 14*y = -g - 1152, 2*g + 4 = 0. Let w = -605 + y. Which is smaller: w or -200/7?
w
Let o(v) = -3*v**2 - 12*v - 7. Let w(s) = 4*s**2 + 18*s + 10. Let g(t) = -7*o(t) - 5*w(t). Let f be g(6). Let a be f + (2 - 3) + 1. Is a <= 1.4?
True
Let f be (-2)/6*336/(-224) - 12431/(-2). Which is smaller: f or 6214?
6214
Let i(a) = 13 + 2*a + 0 + 9. Let w be i(-13). Let r be ((-110)/w)/5*2. Is r bigger than 13?
False
Let c be 996/5 - (-6 - -5)/(-5). Suppose 0 = -2*r - 2, o - 576 = 4*r - c. Which is smaller: 374 or o?
o
Suppose 0 = 7*l - 276 - 361. Let g = -86 + l. Suppose 0 = 3*d - g*d - 3*i - 11, -2*d + i = -9. Which is smaller: d or 0?
0
Let p(b) = 51*b**2 + b. Let k be p(-1). Let w = k - 48. Let c be 12 + -3*w/6. Which is smaller: c or 9?
9
Let f(s) = 6*s**3 - 181*s**2 - 21*s + 103. Let w be f(11). Which is bigger: w or -14042?
-14042
Let l = -0.8 + -0.2. Let k = 4.0374 + -4.0874. Which is smaller: l or k?
l
Let a = 655.46 - 661. Let b = a + 0.74. Let g = -1.8 - b. Is g smaller than -1/3?
False
Suppose -134*z - 106*z + 28*z = 0. Which is greater: z or -207/203?
z
Suppose -10*f + 0*f = -24740. Suppose 12*m = 16*m + 8, 0 = -5*d + 2*m + f. Is 494 less than d?
False
Let l(x) = -5*x**2 - 2*x - 7. Let u be l(-5). Let j be 32*(-24 - -20) + 14 - 9. Is u at least as big as j?
True
Let x = 16656 - 16656.4. Which is bigger: x or -75?
x
Suppose 0 = 7*b + 8*b. Is b greater than or equal to -3.1?
True
Let v = 33 + -36. Let q be 1/2 - (-10)/(-20). Let c be (-12)/v + (-5 - q). Which is bigger: c or -2/9?
-2/9
Let a(j) = -3*j - 257. Let n be a(0). Let q = 256 + n. Which is smaller: 2/45 or q?
q
Let s(n) = 6*n + 1. Let o be s(1). Let q = -4360 + 4361. Is o smaller than q?
False
Suppose 4*f = -3*d + 1719, 572 = d - 2*f + 3*f. Let l be (d/126 + -1)/(1/2). Let r = -57/7 + l. Which is smaller: -1 or r?
r
Let u = -0.00976 + -0.59024. Which is smaller: u or 122/5?
u
Let z = 85/124 - 29/31. Which is bigger: z or -6256?
z
Let s = 76 - 41. Suppose j + s = 4*q, -9 = -2*q + j + 10. Suppose -q*f = -3*f. Is -1 not equal to f?
True
Suppose 3*y + 23658 = 8*b - 32766, b - 75290 = 4*y. Which is smaller: y or -18823?
y
Let w(h) = h**3 + 16*h**2 - 33*h + 26. Let q be w(-18). Let t be -30*(-5)/30 + q + 1. Which is bigger: 2 or t?
2
Let b be (3/8)/((-24)/192). Are -466 and b equal?
False
Let i = -625 - -1425. Suppose -l - 3*j + 140 = -20, 4*j + i = 5*l. Let y be (-5 - 1)*(-10)/(l/(-18)). Which is greater: -0.1 or y?
-0.1
Suppose 2*o + 2*j = 30, -255*o + 250*o + 2*j + 96 = 0. Is 366/19 greater than or equal to o?
True
Let a = -208.74 + 210. Let c = -43.26 + a. Which is smaller: -1 or c?
c
Let a = -10525/96 + 329/3. Let l = -25/84 - -1/21. Which is smaller: a or l?
l
Suppose -4*t = 2*x + 2128, -112*t + 2*x - 2651 = -107*t. Is -530 equal to t?
False
Let q = 339107 + -857912. Let j be 4/(-14) + (-9)/(q/16344). Do j and -1 have the same value?
False
Let r be (-4 - 4)*(-6)/8. Suppose -r*u = u - 462. Let f be (u/(-8))/(9/72). Do -66 and f have different values?
False
Let w be (-6 - -1)*(-1)/5. Let k be -8*9*w/12. Let y(o) = o**2 + 9*o + 5. Let l be y(k). Is -15 <= l?
True
Suppose -2510 = 25*r - 33*r + 18*r. Is -249 <= r?
False
Let o = 5227 + -5161. Which is smaller: o or 669/10?
o
Let a be 0 + -2 + 60396/(-960). Let c = a + 65. Which is smaller: c or 1?
c
Suppose -66*g = -56*g + 388 - 1268. Which is bigger: 77 or g?
g
Let j be ((-2)/6)/(-5 + (-6024)/(-1206)). Let p = j - 67. Which is smaller: p or -15/31?
-15/31
Let v(z) = -3*z**2 + 89*z + 24. Let j be v(30). Is j <= -219/41?
True
Let s = -30885 - -30885.4. Let q be (-18)/12*8/66. Which is smaller: q or s?
q
Let z be (-2)/(-25900)*5*-12577. Let j = 3/2590 - z. Let c(r) = r**3 + 14*r**2 + 13*r + 5. Let x be c(-13). Is j at most x?
True
Suppose -308*k + 208 = -316*k. Suppose 87 = -7*v + 4*v. Is k greater than or equal to v?
True
Let r = -1073 - -572. Let g = r + 5505/11. Let y = -171/13 - -829/65. Is y at most g?
False
Let f be (-1 - 30/(-4))/(63/36). Let g = -143 - -227. Suppose -2*a + g - 78 = 0. Is f > a?
True
Let q(y) = y**3 - 23*y**2 - 23*y + 21. Let i be q(19). Let n = i - -7