 m = 1542 + -1539. Which is greater: m or y?
m
Let s be (-6 + 0 + -2)*(51 - 37). Which is smaller: s or 39?
s
Let j = -5 - 19. Let d be j/(-144) - (-86)/(-60). Let q = -316/285 - d. Which is smaller: q or 1?
q
Let s be 520/(-184) + (2 - -1). Let d = -3.934 + 3.54. Let f = d + 0.394. Which is bigger: f or s?
s
Let z = -421 + 196. Let u = 414 + z. Is u less than 190?
True
Let f(l) = l**3 + 3*l**2 + 6*l + 19. Let i(c) = 2*c**3 + 11*c**2 + 6*c. Let z be i(-5). Let j be f(z). Which is greater: -60 or j?
-60
Let y be (4/(-4))/(1/2). Let m(c) = -c**3 - 13*c**2 - 17*c + 5. Let k be m(-12). Suppose 14*p - 37 = -k. Is p greater than y?
False
Let w = 0.1029 + -0.3029. Which is smaller: w or 24/35?
w
Suppose 45*h = 49*h - 41*h - 37. Do -34/625 and h have different values?
True
Let t(x) = -8*x - 276*x**2 - 47 + 275*x**2 - 18*x. Let d be t(-24). Is d less than -1/103?
False
Suppose 70 = 2*j + l + 271, 0 = 4*l - 20. Are j and -100 equal?
False
Let h be ((-1)/56*-4)/((-55)/(-799250)). Let i = -171 + -867. Let n = i + h. Does 0 = n?
False
Let c = -10453 + 10452. Are -3/704 and c nonequal?
True
Let n(f) = 11*f**2 - 2*f - 2. Let k(r) = 13*r**2 - 2*r - 2. Let z = -122 - -119. Let s(q) = z*k(q) + 4*n(q). Let c be s(1). Is c at most as big as -4/69?
False
Let y be 3 - 2 - 0 - 0. Let d be 816/32 + (-2)/4. Let h be 17/(-85) - (-11)/d. Which is smaller: y or h?
h
Let t be 4 + (8 + -1)*(-36)/(-42). Suppose -4*d + t = d - j, 2*j - 4 = -2*d. Are d and 76 equal?
False
Let u be 77233/37931 + 10/(-2). Which is smaller: -2 or u?
u
Suppose -5*k + 3*n + 1249 + 0 = 0, -831 = -3*k - 5*n. Suppose -275 = -x - 4*z, -z = 2*x + x - 781. Which is smaller: x or k?
k
Let v = 171.6 - 2.6. Let t = v - 163. Do t and -0.6 have the same value?
False
Let k(m) = -3*m**2 - 13*m - 14. Let y be k(-7). Let w = -69 - y. Which is smaller: 3/2 or w?
w
Let s = -29.3 + 29.051. Let c = -1.249 - s. Which is bigger: 56 or c?
56
Let a = 15708 - 15720. Let z = 34 + -54. Is a bigger than z?
True
Let q = 2968.27 - 2967.1. Let f = -13 + 11.53. Let p = f + q. Is -8 > p?
False
Let p be (2 + 5*5/3)/((-50)/(-4)). Is p greater than or equal to 1?
False
Let b = -333/5 + 2341/35. Let s be (-5)/(-320)*-6*(-44)/6. Is s at least b?
True
Let s = 367307 + -367280. Suppose 0 = 3*u - 2*u - 42. Which is smaller: u or s?
s
Let l be (-1809)/(-15) + -6*(-3)/45. Let i = -116 + l. Suppose 0 = 4*z + 5*k + 2, z = -2*z + 2*k + 10. Is i at least z?
True
Let u be ((-10)/(-6) - 1)*60. Suppose 8 = -2*m + 6*m. Let g be m/35*u/(-24). Is 0 less than or equal to g?
False
Let d be ((-22)/14 + 1)/2. Let i = -390.19 + 0.19. Let p = 391 + i. Which is greater: d or p?
p
Let u be 24 - 17 - (82 + 0). Let v be (-1)/(1/148*2). Which is smaller: u or v?
u
Let z(s) = 98*s + 6. Let o(i) = -49*i - 3. Let c(x) = 5*o(x) + 2*z(x). Let n be c(1). Let p(y) = -2*y**2 - 26*y + 8. Let a be p(-15). Is n greater than a?
False
Let n = -1 - -27. Suppose 0 = k - 38 + n. Suppose -2*g - 7 = -u, 0*g + 4*g + k = 0. Which is greater: -3 or u?
u
Let d = 318 - 315. Suppose d*q + 1260 = 3*j, 2*j + 15 = 23. Do q and -416 have different values?
False
Let j be ((-59)/(-3))/(1/3). Let b = -54 + j. Let a = 20 - b. Which is bigger: 14 or a?
a
Suppose 0 = 5*y + 3891 - 3816. Which is greater: -0.73 or y?
-0.73
Let q be (-16)/6*(-105)/(-14). Let k = 16 + q. Let m = -0.65 + -0.35. Are k and m nonequal?
True
Let f = -2672 - -4641. Is f less than 1970?
True
Let f be (-1)/4*3*56/(-21). Suppose 9*a - f*s = 8*a + 123, 3*s = 0. Is 124 greater than a?
True
Let i = -84 + 98. Let o(m) = -4*m + i - 13*m + 16*m. Let t be o(0). Is 13 greater than t?
False
Suppose -4*r + 18 = 4*w - 2*r, 0 = 2*w - r - 3. Suppose 0 = 15*z - 31*z + 64. Suppose -z*o - 1 = -w*x, 3*x + 2*x + 21 = o. Which is smaller: -3 or o?
o
Let c be 45/7 + 1080/(-756). Do c and 432/67 have the same value?
False
Let g(i) = -254*i + 8. Let y = 62 + -54. Let s be g(y). Let o be s/110 - (-6)/(-10). Is -19 less than o?
False
Suppose -153 = -g - 237. Are -74 and g non-equal?
True
Suppose 0 = 19*n - 10828 + 10847. Which is bigger: n or -2/1641?
-2/1641
Let m(j) = -87*j - 6517. Let k be m(-75). Is 153/23 < k?
True
Let j = -27419.078 + 27543. Let f = j - 124. Let b = 0.088 + f. Is -3 < b?
True
Let s be -8*4/(48/18). Let g be ((-20)/s - -3)/((-12)/18). Let x(m) = m**2 + 16*m + 7. Let u be x(-15). Is u > g?
False
Let n = -0.3764 - -1023.3764. Which is bigger: -1/4 or n?
n
Let m be (7/7)/1 + (38 - -1). Let p = m + -83. Which is smaller: p or -44?
-44
Suppose -281*c = -1514958 - 1244743. Is c != 9822?
True
Let u(q) = 4*q + 280. Let h be u(0). Suppose 4*g = 14*g - h. Which is greater: g or 30?
30
Suppose -o - 2*m + 25 = -27, 0 = 2*o - 3*m - 111. Are o and 115 equal?
False
Let p(q) = -q**3 - 14*q**2 - 16*q - 38. Let a be p(-13). Which is bigger: a or -4/1763?
a
Let a = 212.22 + -212.21. Is a >= -249?
True
Let z(b) = 44*b + 106. Let p be z(-4). Let s be 208/p - (-31 + 28). Which is bigger: s or -0.06?
s
Suppose 0 = -5*t + 3*u - 2178, 2*t - 872 = 4*t - 2*u. Let l = t - -390. Which is bigger: l or -48?
l
Let v be (-11)/13 - 19*(-24)/(-2964). Are v and -129 non-equal?
True
Let t be (2/(-3))/((-6)/441). Let p = -32 + t. Let u(k) = k**2 - 5*k - 6. Let r be u(8). Which is bigger: r or p?
r
Suppose 6*i = 5*i - a + 2, i - 10 = a. Suppose 2*r - i*r + 140 = 0. Let m be 20/r - 3/(-7). Which is smaller: 1/23 or m?
1/23
Let u be (-54664)/(-6) - 200/120. Which is smaller: 9108 or u?
9108
Let t = -6.7 - -7. Let u = -219898 - -219902. Which is smaller: u or t?
t
Suppose -u + l + 32606 = 1124, -2*u = -5*l - 62937. Which is greater: u or 1?
u
Let y = -13 - -8. Let t be (1/y)/(7/66*3). Is -1 at most as big as t?
True
Let x(b) = 4*b - 28. Let n be x(8). Suppose 0 = 1928*y - 1926*y + 2. Which is smaller: n or y?
y
Let p = 52808151/5868350372 + -9/394564. Let g = 2832295/214 + -13235. Let y = p - g. Do -1 and y have different values?
True
Let k be (510/(-100))/17*-1310. Are 389 and k nonequal?
True
Suppose -v = -6*v - 165. Let m(d) = 659*d**2 + 4*d + 4. Let o be m(-1). Let r = o + -693. Which is smaller: r or v?
r
Let f(d) = 4*d + 24. Let o be f(-4). Suppose 34 = o*m + 2. Suppose 0 = l - 4*t + m - 0, t = -3*l + 1. Which is smaller: -9/5 or l?
-9/5
Let b = -136 - -135. Let w be (-3)/((-39)/11) + b. Which is smaller: 0 or w?
w
Let o = -8.9 - -6.9. Let h = -0.027 + 13.027. Let t = -8 + h. Which is greater: o or t?
t
Let t = 57 + -58. Let b be (-4 - (-106)/21) + t. Let o = 71/168 - b. Which is greater: 2/3 or o?
2/3
Suppose -2*z + 2*o = -0*o + 54, 3*z + 77 = o. Let m be ((-66)/2)/(z/25). Which is greater: 32 or m?
m
Let p = -122394068/6385 - -19169. Is -1 at most as big as p?
True
Let l(a) = -6*a**2 - 2*a - 13. Suppose h - 4*g = 0, 4*h + 5*g = 23 - 2. Let m be l(h). Let f = m - -117. Is f at most -1/8?
False
Let s be (-5)/4*-27*(-44)/15070. Which is greater: 1 or s?
1
Let a(i) = 2*i + 12. Let x be a(-3). Suppose 5*g - x = -206. Let z = -41 - g. Which is greater: z or -1/32?
-1/32
Let d = -3.84904 - -4.00904. Let h = 3.93 - -0.07. Let v = -2 + h. Is v greater than d?
True
Let q = -1.8 + 2. Suppose 5*x + 11*x + 1008 = 0. Let p be x/(-126)*4/13. Is p <= q?
True
Let n(a) = 926*a + 80. Let q be n(1). Is q greater than 1006?
False
Let x(g) = 6*g**2 - 73*g - 105. Let o(r) = -3*r**2 + 36*r + 51. Let d(i) = 5*o(i) + 3*x(i). Let p be d(14). Suppose -w - 20 = -0*w. Is w < p?
True
Let p be (0 + 950)*(26 + (-117242)/4495). Which is smaller: p or -78?
p
Let j be -6 - 9/6*-4. Suppose 0 = -2*y - t - 18, -3*y + j*y + 4*t = 49. Which is greater: -12 or y?
y
Suppose 2*k - 4*k = 5*k. Suppose -f = -k*f - 3, 2*f = 3*r + 3. Let s = 6 + -5. Is r at least as big as s?
True
Suppose 0 = -2*q - 5*w - 789, -q - 3*q = -4*w + 1620. Let z be -3 - 5/(650/q). Is 0 <= z?
True
Let l = -605 - -937. Let n = l + -363. Which is bigger: n or -35?
n
Suppose 0 = 3*n + 4*y - 23, 5*n + 3*y - 16 = 4*n. Let h(v) = -v**2 - 2*v + 3. Let m be h(n). Let q be 1/(3/(-9)) + (-1990)/(-670). Which is smaller: q or m?
q
Let f = -0.6756 + 0.5856. Which is smaller: -202 or f?
-202
Suppose 3*f - 799 = -x - 789, -f = 5*x - 8. Is -2/82907 equal to x?
False
Let t = -634.01 + 634. Which is smaller: -0.119 or t?
-0.119
Suppose 31*y - 37*y = 864. Let j = y - -7345/51. Which is smaller: j or -0.1?
-0.1
Let x = -596.0087 + 596. Let p 