1 + (-22)/(-34))*(-4)/v. Which is greater: q or -2?
q
Let w be (((-1)/(-4) + 0)/(-1))/(365/4). Is w <= 1?
True
Let h = -6295 - -25181/4. Are h and -3/11 unequal?
True
Let x be (-15665)/482*(-32)/(-10). Is -47 bigger than x?
True
Suppose 5 = -2*b + 5. Let n = 706013/170 + -4153. Is n != b?
True
Let f be 861/((2/2)/1). Let i be (-16)/(-80)*10/(0 + 2). Let d be (-3)/i + f/285. Which is bigger: 0 or d?
d
Suppose 27451 = 4*x + 4399. Let h be x/(-36) + (-1)/6. Let f = h - -158. Which is bigger: f or -2?
-2
Let l = 1581/364 - 56/13. Let p be ((-1)/(-1))/((-1)/(-3)). Suppose -5*c + 0*c + 8 = -4*h, p*h + 6 = -c. Which is smaller: l or c?
c
Suppose 4*b + 281 - 754 = -5*i, b - 122 = -5*i. Which is smaller: 89 or b?
89
Let d = -228 + 276. Suppose -d*m + 52*m = n - 83, 2*n = -2*m - 44. Is m less than -21?
False
Let c be -2 - (18/(-45) - (-23)/(-5)). Suppose 3*g + 586 + 625 = -4*j, c*j = 4*g - 877. Let m = 2053/7 + j. Is -5 smaller than m?
False
Let i = 33.65 + 1.35. Do -28 and i have the same value?
False
Let a be 12/36*(-6)/(-1). Let c(y) = -2*y**2 + 8. Let p be c(4). Let n = p + 24. Is n less than or equal to a?
True
Let w = 1464692/282219 + -784/151. Let m = 11722/237363 + w. Which is smaller: m or 1?
m
Let q be (-36)/(-6) - 5 - -671. Let u = 1157 - q. Which is smaller: 486 or u?
u
Let i(w) = -3*w**2 + 113*w - 60. Let u be i(35). Does u = 199?
False
Suppose 4*v = 2*t - 12, 2*v - 6*v = -4*t + 4. Let i be (t + 4)/(-7) - 28. Is i bigger than -27?
False
Let i(n) = 5*n + 25. Let a be (-64)/14 - (-3 - (-48)/14). Let x be i(a). Which is smaller: x or -1/69?
-1/69
Let s = 349 + -407. Let t = 59 + s. Which is bigger: 27 or t?
27
Let u = -153907379953/85659 - -1796745. Which is smaller: u or 0?
0
Let f be (-79)/418 - (-6 - (-210)/36). Let u = f + 12728/64581. Is 1 >= u?
True
Suppose k - 4*k = -60. Let j(p) = -23*p + 19 + 16 + 26*p. Let y be j(-5). Do k and y have the same value?
True
Let k be 617*(4 - 5)/((-3)/(-3)). Let z = k - -618. Let s be (-24)/(-9)*1/4. Does s = z?
False
Let g = -9073 + 9197. Is g greater than or equal to 0.05?
True
Let h = -0.03475 + -0.03375. Which is smaller: 1/2 or h?
h
Let f be (-10 - 0)*(-6696)/620. Which is greater: 75 or f?
f
Suppose -23*f + 19*f = 24. Let w = -32 - f. Which is smaller: w or -27?
-27
Let c be 1 + 87648/77 + (-2)/7. Which is bigger: c or 1138?
c
Let a(f) = -3*f**3 + 20*f**2 - 9*f - 18. Let m be a(6). Is 24/413 greater than m?
True
Let o = 262.3 + -250. Let s = -11.41 + o. Let n = s + -50.89. Is n less than or equal to 0?
True
Suppose -103*a = -106*a + 135. Let h be (-9)/(a/(-190)) - (-1 + 2). Which is greater: -2/3 or h?
h
Let s = 5929 + -5931. Which is smaller: 929 or s?
s
Suppose -h = 2*l + 23, -31 = 2*h - 33. Which is smaller: -35 or l?
-35
Let v(q) = q**3 + 49*q**2 - 2*q - 98. Let o be v(-49). Let t be (6/26)/(51/(-34)). Which is bigger: o or t?
o
Let w = 647576/5 - 130529. Are -1013 and w equal?
False
Suppose 4*k + 1924 = -4*y, -5*k = -y - 4464 + 6923. Are -4420/9 and k non-equal?
True
Let o = -26594 + 26380. Is o greater than -166?
False
Let n be 2 + (-2 - -4)*38. Suppose -10 = -2*o - 12. Let s be 715/n - o/(-6). Does s = 12?
False
Let t be 16/24*105/(-5). Let d = -1.85 + 1.8. Which is bigger: d or t?
d
Suppose 23*q + 1200 = 103*q. Which is smaller: -13 or q?
-13
Let v = -19043565/59 + 322757. Which is bigger: v or -15?
-15
Let s = -595 - -588. Suppose 0 = -4*k - 3*b - 12, -1 = 5*k + b + 3. Suppose k = -l - 3*g - 11, 4*l + 2*g = 3*g - 18. Which is smaller: s or l?
s
Let u = 1181 + -1177. Is -4/37 <= u?
True
Let r = -0.07641 + -3.12359. Is r less than 8.4?
True
Let i = 3801 - 4585. Are i and -786 nonequal?
True
Let r(z) = 2*z**2 - 675*z + 673*z + 3 + 0*z**2. Let d be r(0). Are 19/5 and d nonequal?
True
Let y be 4 - (24 + (10/(-2))/(-5)). Let q be (-1 + -6)/y - 1/3. Let t be 2 + (-4)/(-326) - 2. Which is bigger: q or t?
t
Let u be 5/(-20) + (-39)/(-12). Let h = -92 - -96. Suppose h*y + u + 2 = 5*c, y = -4*c - 17. Which is smaller: y or -24/5?
y
Let b(n) = -2*n - 1. Let q be b(-1). Suppose -j = 5*w - w - 194, -3*w = -3*j + 507. Let z be q - 2 - (-192)/j. Which is bigger: z or -1?
z
Suppose 15*i = -63 + 198. Let m be i*(-6 - (0 + (-3 - -2))). Let j = 4 + -3. Which is greater: m or j?
j
Let c = 86 + -77. Suppose c*a - 257 = 679. Which is greater: 100 or a?
a
Suppose -3*q = q + 4. Let w be (2/(-2 - -3))/(-1 - 0). Let g(o) = 4*o + 11. Let c be g(w). Is c equal to q?
False
Let m = 8.9 + -9.045. Let p = m + -0.255. Do p and 14 have the same value?
False
Let d be (-1316135)/(-321695) + 6/(-2). Let g = -2/5849 + d. Suppose 4*a - 4 = 4*f, -15 = -5*f - a - 2. Which is smaller: f or g?
g
Let t be 9*6*(-1)/6*(-1840)/(-92). Which is smaller: -160 or t?
t
Let i(c) = -327*c**3 - 2*c**2 - 3*c + 1. Let l(w) = -164*w**3 - w**2 - w + 1. Let d(s) = 3*i(s) - 5*l(s). Let z be d(-1). Are 162 and z equal?
True
Suppose x - 6776 = -3*c, -2*c = -5*c - 4*x + 6791. Let j be 2/6 + c/(-183). Which is smaller: 2 or j?
j
Let f = 328 + -352. Let t be ((-4)/f*-2)/(1/(-3)). Which is bigger: t or 14/27?
t
Let h(q) = -9*q + 27. Suppose -2*t + 3*c = -3*t + 18, -t + 5*c - 22 = 0. Let o be h(t). Is o >= -15/17?
True
Let t be (-1041900)/260490 + (6 - 2). Are 0 and t unequal?
True
Suppose 37*w = 7*w + 270. Suppose 0 = -27*o - w + 9. Which is smaller: 2/727 or o?
o
Let k be (4/36 - 84/(-216)) + (-427)/2. Which is smaller: -208 or k?
k
Suppose 3*r = -3*n + 117, n - 4*n = 3. Let s = r - -17. Is 55 greater than s?
False
Let z(c) = -c**3 + 35*c**2 + 117*c - 128. Let i be z(38). Let q = -0.7 - -0.9. Is i < q?
True
Suppose 2 + 53 = 5*k. Let z(h) = 10*h - 67. Let y be z(7). Suppose y*r - 40 = -r. Is k greater than r?
True
Let x = -1388 + 1304.2. Let k = 66.3 + 17.7. Let l = k + x. Which is greater: l or 0?
l
Let o(v) = -164*v**3 + v**2 + 2*v + 1. Let t be o(-1). Let d = t + -164. Is -13 != d?
True
Let f(y) = y - 13. Let k be f(13). Suppose 3*h - 82 = -5*s, k*h - 32 = -h - 4*s. Suppose 3*a + 18 = -2*a + 2*j, 4*j + h = -5*a. Is a at least as big as -27/8?
False
Let h be (9*-7)/(((-16)/(-40))/(-2)). Let x = h - 314. Which is smaller: x or -1/289?
-1/289
Let b = -123 - -142. Let w = -8 + 16. Let r be w/(4 + 72/(-20)). Is b at most r?
True
Let w = -0.0522 + -106.1478. Let x = w + 6.2. Let m = x + 168. Is 0 at most as big as m?
True
Let k = -2.36 - -3.34. Let f = k + -0.56. Is 0 less than f?
True
Suppose 5*t - 5*g = 17 + 18, 4*g = 5*t - 35. Suppose 3*f + 5 = 4*f. Suppose 2*c - 13 = -2*l + t*c, f*c + 16 = -l. Which is greater: l or 0?
0
Let v(p) = -11*p**2 + 65*p + 5. Let l be v(6). Which is smaller: -14/921 or l?
l
Let m(w) = 25*w - 432. Let o be m(18). Let u = 3 - -2. Suppose u*b = 23 + 62. Is o at most as big as b?
False
Let p = -41359 + 45380. Which is smaller: -0.1 or p?
-0.1
Let s = 2817 - 2771. Is s > 48?
False
Let c = 2 + -4. Let a be 1213120/595 + 4*-1. Let k = a - 2036. Which is greater: k or c?
k
Let c = 841 + -1433. Let r = 592.1 + c. Is r less than -0.24?
False
Let i = -82 - -83. Let s(z) = z**3 - 2*z**2 - 10*z + 11. Let n be s(i). Is n < 23/24?
True
Let f = 168387361/4240 + -39714. Which is greater: f or 1?
1
Let f = -10053 + 10042. Which is smaller: f or -221/21?
f
Suppose 0 = -2*u + 29 - 19. Is -2/3 >= u?
False
Let c = -3 - -6. Let w = -1 + c. Suppose 29 - 46 = 4*o - h, o - 4*h = -23. Is o smaller than w?
True
Let z(x) = x - 33. Let c(r) = r**3 - 7*r**2 + 13*r - 11. Let g be c(6). Let f be z(g). Which is bigger: f or 4/29?
4/29
Suppose 7*h - 3*b = -4*b - 475, 0 = -3*h + 3*b - 207. Let r = -31 - 12. Let f = r - h. Is 26 at least as big as f?
True
Let w = -2648 - -4686. Is 2038 smaller than w?
False
Suppose -71*y + 62*y = -3816. Which is greater: y or 421?
y
Let v(b) = -b - 13. Let m be v(6). Let h = 20 + m. Suppose -3*u - 5*y = 5, -5*y - h = -5*u + 4. Is u at least as big as -1/4?
True
Let s = 207.214 + -207. Let v = 0.214 - s. Is -6/7 bigger than v?
False
Let z be (-12)/(-42) + 346/14. Suppose z*h - 1364 = 21*h. Is 341 at least as big as h?
True
Let g be (-946)/82 - (-291 - -296). Is -18 at least g?
False
Let n be (1 - ((-15)/10 + 2))*52. Let i(q) = q**3 - 27*q**2 + 29*q - 103. Let c be i(n). Which is greater: -21 or c?
-21
Let q(z) = z**2 + 12*z - 6. Let n be q(-12). Let b be 44 - (4 + (n - -4)). Let j be (-26)/(-13) - 80/b. Which is smaller: 0 or j