 be (-5)/(-5) - ((-70)/(-66) - f). Which is smaller: 1 or l?
l
Let r be (14 - (-70)/(7 - 14))*-421. Is -8414/5 bigger than r?
True
Suppose 5*k = 5*x - 3 - 22, -3*k - 21 = -5*x. Let d be 4*k/(-24)*9. Suppose -j + 6*j = -d*u + 36, 3*j = 2*u + 14. Which is bigger: j or 0?
j
Let t = 7555 - 3651. Let j = -3927.01 + t. Let y = -23 - j. Is -1/2 greater than y?
False
Suppose -p = 3*j + 4, -3*p + 2*j - 5 = 4*j. Let m(d) = -d**2 + 2*d + 5. Let t be m(4). Let w be (-5)/(-2)*1*t/90. Is w greater than p?
True
Let o be (-14 + 960/(-68))*1. Which is smaller: -29 or o?
-29
Let l = 30/325004171 + -31962210459854/2892862126071. Let x = l - -254/23. Are -1 and x equal?
False
Let b be 13/(-104)*404*13*1. Which is smaller: -656 or b?
b
Suppose -3*m - 5*d = -30 - 4, -3*d = -3*m - 6. Let p = 12807 - 23193478/1811. Let g = 28985/16299 + p. Is m at least g?
True
Let f be ((-8)/(-10)*4414)/((-276)/(-690)). Is f at least -0.1?
True
Let p = -4777.5693 - -0.5693. Is p >= 0.1?
False
Let n = -8919 - -8836. Which is smaller: 15 or n?
n
Let p be (-4 - 4/(-2)) + -1 + -2. Let i be (-53)/p + (-8)/(-20). Suppose 7 + i = -3*b. Which is bigger: b or 2/11?
2/11
Let w = 2412 + -2594. Which is smaller: 3 or w?
w
Let s(i) = i**3 + 14*i**2 - 53*i - 30. Let f be s(-17). Let k = -14.8 - -8.64. Let x = k + 0.16. Is f <= x?
False
Let i = -727/1425 + 4/57. Let m = -70046/4025 + 400/23. Let t = m - i. Which is greater: t or -4?
t
Let h be -23*(1 - (1 - -3)). Let q = h + -67. Suppose -2*r = q*l + 3*l + 33, 4*r + 36 = -4*l. Is 2 less than or equal to r?
False
Let u(x) = -x**3 - 10*x**2 - 4*x - 16. Let z be u(-9). Suppose -4*w + 89 = -91. Let v = z + w. Is v at most -0.3?
True
Let r be 11 - 1 - (-66165)/75. Suppose 0*d = -2*d - 1778. Let m = d + r. Is m != 2?
True
Let f be ((-4)/(-6))/((-170)/102). Suppose -9 = -3*q - v, -6*q + q = -2*v - 15. Is f smaller than q?
True
Let k be (18/12)/((-3)/(-5)). Let i be 4/30 - (32736/(-180) + -4). Suppose -2*m - i = -192. Is k smaller than m?
True
Suppose 5 - 10 = -4*q - 5*d, 3 = 3*d. Suppose -n - 4 = -z + 4, q = z - 5*n. Suppose z*l = 4*l - 150. Are -26 and l equal?
False
Let h = -489 - -486. Let b be (h/(-6))/(-6 - 15/(-2)). Which is smaller: -3.61 or b?
-3.61
Let o be (-54208)/(-3025) - (-2)/25. Suppose -3*m = -6*m + 174. Suppose 4*p - m = 10. Is o at most as big as p?
False
Let u = 67026647/161 - 416313. Let a = u - 33/23. Which is smaller: a or -1?
-1
Suppose -13 = -3*t + 2. Suppose 4*q - 3*q + 48 = -3*w, -5*q - t*w = 200. Let y = 36 + q. Which is smaller: y or -2/55?
-2/55
Let t be (31383/132)/((-21)/(-28)). Is t at most -15?
False
Let p(s) = 5*s + 4. Let k be p(-6). Let n be ((-12)/2 + 2)*1/(-2) + -29. Is n at least as big as k?
False
Let g(d) = d**2 - 3*d + 12. Let w = 25 + -25. Let p be g(w). Let r be ((-182)/(-186) - 1)/((-4)/p). Do -1 and r have different values?
True
Let k = 312425/639 - 1549/71. Which is bigger: 466 or k?
k
Suppose -5*y + 15*y - 132 - 88 = 0. Which is greater: y or 612/29?
y
Let u = 685759/38 + -72199/4. Which is greater: -3 or u?
-3
Let n = -0.061 - 60.939. Let x = n + 61. Let y be (-24)/18 - 508/(-390). Is y greater than or equal to x?
False
Let p = -7.808 + -14.192. Are 42/13 and p nonequal?
True
Let g = -281/3 - -95. Let v be (1/(-3))/(5/(-225)). Suppose v*m = 19*m. Is m less than or equal to g?
True
Let y be 1/3*103 + 2. Suppose -3*m + 15 = 0, q + q - 2*m = 64. Let u = q - y. Which is greater: u or 0.1?
u
Let q = 14959 + -14959. Are q and -3/592 equal?
False
Let n be ((-1)/(-3))/(1533/306 - 5). Is 37 less than n?
False
Let q = -2/3429303 + -4917615532/8521817955. Let d = q + 2/355. Let o = d + 23/28. Which is smaller: -12 or o?
-12
Let z = 8.591 - 8.664. Is 1/3 at least as big as z?
True
Let h = 390 - 287. Let n = h - 54. Which is bigger: 48 or n?
n
Let w(v) = v**3 - 10*v**2 - 16*v + 3. Let o be w(11). Let y = 3641/70 + o. Does 0 = y?
False
Suppose 2*z = -4*d + d + 1414, 0 = 4*d + 16. Let u = z + -1100. Let h = u - -3867/10. Which is smaller: h or -1?
-1
Let i = 188.21 + -12.51. Let a = i - 20.7. Let y = -162 + a. Which is greater: y or 3?
3
Suppose -7*i = 43 - 78. Suppose i*z - 3 = 2*g + 2, 5*z = -3*g + 5. Is g at least as big as 70?
False
Let d = -364.76 - -366. Let c = -122.24 + d. Is c at least as big as 1?
False
Let t(k) = 21*k - 44. Let z(g) = -9 + 0*g + 2*g + 2*g. Let v(d) = 2*t(d) - 11*z(d). Let f be v(5). Is 3/49 at most as big as f?
True
Suppose d - 5*x = -0*d, -x = 0. Suppose d = h - u + 31, -5 = 3*h - 4*u + 89. Is 2 not equal to h?
True
Let k = 8348 + -8349. Is k greater than or equal to 105?
False
Let y = -516.9 + 487. Let p = y - -29.8. Which is smaller: -132 or p?
-132
Let d be 1022756/602 - -1*(-2)/(-2). Let l = d + -1700. Is 1 at least l?
True
Suppose -32 = 3*m - 8. Let r(x) = -5*x**3 - 7*x**2 + 22*x - 12. Let l be r(5). Let i = -710 - l. Does m = i?
True
Let n(t) = t**3 - 7*t**2 - t + 51. Let s be n(6). Suppose -b + 34 = 3*w, -5*w + 5*b - 3 = -93. Suppose 0 = 2*h - h - w. Which is smaller: h or s?
s
Let q be ((-55)/22)/((-2)/20). Suppose m = -w + 14, -w - w + q = -m. Let f = -379 + 394. Which is smaller: w or f?
w
Let z = 2609/16 + 379/80. Is 167 at most z?
True
Let r(k) = k**2 - 7*k + 2. Suppose 44 = 5*d + 9. Let f be r(d). Let v = -32040.8 + 32041. Which is smaller: v or f?
v
Let h = -193/191 + -72309/7640. Let x = 53/5 + h. Is x > 0?
True
Let j = 3.1 - -1. Let m = 34.9 + j. Let i = m + -41. Is -0.14 != i?
True
Let n = 0.44 - 5.1. Let q = n + 16.16. Which is smaller: 0.1 or q?
0.1
Suppose -5*q = c + 68, -3*q - 2*q - 56 = -3*c. Let u = q + -34. Is u >= -47?
True
Let s = -11261 - -11262. Which is greater: 17/293 or s?
s
Let t = 10/9 - 8/9. Let q = 82 + -81. Let g be 41/7 - (q - (-2)/1). Which is greater: g or t?
g
Let w be (-10 - 2)/2*(0 + -3). Suppose -5*v - w - 27 = 5*c, -2*c = -6. Let q be 9/(-15)*8/v. Which is smaller: q or -108?
-108
Let g = -48 - -56. Let f(s) = 7*s + 16 + g*s - 20. Let u be f(-2). Which is bigger: u or -35?
u
Let j = -3815 - -4027. Which is bigger: 206 or j?
j
Let x(c) = -4*c. Let l(y) = -1. Let s(a) = 3*l(a) + x(a). Let z be s(-1). Suppose 0 = -5*n + 2*v + 14, -3*v + z = 5*n - 3. Are 10/11 and n unequal?
True
Suppose 7*i - 1399 - 701 = 27*i. Which is bigger: i or -19?
-19
Let g be 2653/9086 + (-16)/88. Which is bigger: 0 or g?
g
Let r(m) = -3*m - 6. Let v(d) = -d - 1. Let a(q) = -r(q) + 2*v(q). Let w be a(-4). Suppose -s + l - 16 = w, -5*s = -0*s - l + 84. Is s at least -0.1?
False
Let y = -28 - -35. Suppose 0 = 3*m + y + 2, -4*b - 4*m = 116. Let t be -10*b/(-552) - 3/(-6). Is t != 0?
True
Let q be ((-3)/15)/(87/30 + -3). Let g be (-1 - 2/(-6))/((-2)/36). Let w be (3/((-4)/(8/(-3))))/g. Do w and q have different values?
True
Let v = 0.17138 + -0.18948. Is -0.02 < v?
True
Let r = -0.34 + -52.66. Let o = 52 + r. Which is greater: -15/14 or o?
o
Let g(w) = w**3 + 20*w**2 + 27*w - 7. Let m be g(-19). Let j be (1 - m/30)/(180/675). Is j at least 25?
False
Let m be 17168/(-52) - (-2)/13. Let q be (9/(-15) + (-663)/m)*2. Which is greater: q or 4?
4
Let b be 1/(-3)*(3/(-4))/1. Suppose -5*h + 3*f = -1863, 3*h - f + 6*f = 1145. Let j be h/30*4/(-3 + 1). Which is greater: b or j?
b
Let m be -53 - (9 + (-6 - -9 - 9)). Let u be m/276*4/42. Is u <= 0?
True
Let g = -112109/4 - -29117. Which is smaller: g or 1089?
1089
Let g = 3.595 + 171.505. Let q = -27.1 + g. Which is smaller: 1/4 or q?
1/4
Let o = 4004 + -2110110/527. Which is smaller: -2 or o?
-2
Suppose -3*k + 729 = 1959. Which is bigger: k or -409?
-409
Let w = -2913 - -1201. Is w greater than 2?
False
Let s = -89/4 - -22. Suppose -4*f - 81 = -425. Is s <= f?
True
Let k = -1.03 + 86.03. Let w = k - 293. Is w at least as big as 0?
False
Suppose 238*k = -33788 + 126487 + 134353. Is 953 < k?
True
Let z be 0 + -9 + 15/(-7 + 70/7). Which is smaller: z or -354/67?
-354/67
Let h be (42*(4 + (-34)/8))/((-16)/4384). Is h greater than or equal to 2877?
True
Let u be (-21)/(-147) + (-62)/(-7). Is u > 155/19?
True
Let q = 8694 + -9850. Is q less than or equal to -1155?
True
Let c = 4768 - 3718. Which is bigger: -2 or c?
c
Let p(h) = -h**2 - 24*h + 1. Let u be p(-24). Let z = -4619/697970 + 3/1690. Which is smaller: u or z?
z
Let u = -1.586 + 17.386. Let v = 0 + -15. Let s = u + v. Which is bigger: s or 0?
s
Suppose 87 = 3*o - 0. Suppose 3*n - 4*c =