er: k or -1/3175?
-1/3175
Let t(l) = -2*l**2 - 23*l + 38. Suppose 17*j = -9*j - 338. Let x be t(j). Which is smaller: x or -1/421?
x
Let v be 2*(-5 + 3 + (-70)/(-4)). Is v greater than or equal to -1.7?
True
Let u = -10684 - -10684. Is u smaller than 1/1493?
True
Let q be 7 - -3 - (5 - 1) - 2. Suppose -2*h = -q*h + 4. Is h greater than 12/23?
True
Let h be -28*11/(-77)*-30. Is 8/7 at least as big as h?
True
Let f be (-2)/4*-27*3. Let s be (1 + -2)*(8/176 + 903/(-22)). Which is smaller: s or f?
f
Let d = -1976 - -1943. Which is greater: d or -618/19?
-618/19
Let j be ((-40)/16 + 0)*2 - (-7 - -3). Let z be (-2)/(-62)*3/(-1). Which is bigger: j or z?
z
Let o(y) = 34*y. Let j be o(-1). Suppose 12*c + 18 = 1050. Suppose 0 = 3*w + 5*h + c, -36 = w + 5*h - 7*h. Are j and w nonequal?
True
Suppose -3*t + 20 = -3*j + 2*j, -3*j - 67 = -2*t. Let x = j + 31. Let l = x - 25. Which is bigger: l or -31/2?
-31/2
Suppose -3*x + 3 = 0, -4*a + 4*x - 3 + 15 = 0. Suppose i = -f + 39, f - 24 = a*i - 5. Is f greater than or equal to 35?
True
Let k be ((-2)/(-12)*-2)/((-35)/79065). Let y = k - 703. Is y > 48?
True
Suppose -15*a + 1553 = -1537. Let m = a + -206. Is 1/177 less than m?
False
Let d = -29 - 115. Let q = 138 + d. Let f be 2/6*3 + -5. Is q at least f?
False
Suppose -2*k = -4*i + 480, -3*i - 81 = 4*k - 441. Let t = i - 114. Suppose -2*p + d = -3*d - 8, -3*d - t = -3*p. Are -2/41 and p unequal?
True
Suppose 0 = -a + 4*y, 33 - 39 = -2*y. Suppose 0 = -3*i + 3, -a*i + 973 = -3*v - 8*i. Do v and -323 have different values?
False
Let k = 6296 - 6798. Is k > -11?
False
Let y = -21.01 - 130.89. Let g = y + 143. Do g and 0 have the same value?
False
Let p be 84/(-154) - 20/(-77). Which is smaller: p or -11179?
-11179
Let w(x) = 4*x**3 + 8*x**2 - 13*x - 38. Let s be w(-4). Which is smaller: -118 or s?
-118
Suppose -5*z = -11505 + 12862 + 27328. Which is greater: -5738 or z?
z
Let w = 13810/13 - 1063. Suppose 4*a = -3*o - 2*o - 18, -2*a = 3*o + 12. Let i be (12/3 + o)*(-29)/(-58). Which is smaller: w or i?
i
Suppose 0 = -2*g + 6*g + 28. Let p(a) = a**2 + 7*a + 6. Let x be p(g). Let y = -5083/5 - -1022. Which is greater: x or y?
x
Let i = 49399 - 789945/16. Is i <= 26?
False
Suppose 7*z = 5*z - 12. Let j be ((-4)/(-6))/(z/(-63)). Suppose 0 = -4*i - o + 28, 0 = -4*i + j*i - 5*o - 44. Which is smaller: 10 or i?
i
Let j = -14533 - -14533. Is -67/92 at most as big as j?
True
Let g = -226 + 251. Suppose -2*l + 4*j + 19 = -15, j = -l + 20. Is g >= l?
True
Let i(c) = -c**3 - 3*c**2 + 2*c + 2. Let t be i(-3). Let w(d) = -16*d - 6. Let s be w(t). Is 57 smaller than s?
True
Let t(l) = -4*l - 3. Let b be t(-3). Let r = 134 + -140. Let x(p) = -7*p - 35. Let a be x(r). Are a and b equal?
False
Suppose 0 = 8*q - 73 + 9. Suppose -13*g - 210 = -q*g. Let k = g + 38. Which is bigger: k or -3?
-3
Let y = -6369 + 337547/53. Let l = -199/212 - y. Which is smaller: l or 30?
l
Let d = 34698 + -176572/5. Which is greater: d or -615?
-615
Let m = 5/1091 + 105672/33821. Which is bigger: m or 0?
m
Let c = -49197/14 - -3522. Which is bigger: c or 9?
9
Suppose 9250 = 22*i - 32*i. Let v be (-2)/(-10) - (-235)/i. Which is bigger: 1 or v?
1
Let r = 89 - 84. Suppose -9*b + 5*a = -4*b + 115, r*a = -4*b - 101. Which is smaller: b or -74/3?
-74/3
Let n = -0.6997 - 3.5003. Is -46 > n?
False
Suppose -g + 3*c = -0*g + 6, -3*c = 3. Let s = 425.477 - 81.547. Let m = -344 + s. Are g and m unequal?
True
Let c = -38/451 + 25396/354937. Which is greater: 0 or c?
0
Let i(r) = -2*r**3 + 68*r**2 + 151*r + 12. Let t be i(-2). Which is bigger: t or -7918?
t
Let r = 946 + -945. Let f(n) = -n**2 + 7*n + 4. Suppose 13 - 48 = -5*g. Let m be f(g). Is r smaller than m?
True
Let o = -2472 - -2845. Which is greater: 376 or o?
376
Let d = 0.238 + -0.258. Let k = -126 - -156. Which is smaller: d or k?
d
Let j(s) = -s**3 + 76*s**2 - 189*s + 410. Let y be j(74). Which is greater: -2625 or y?
y
Suppose 9*h = -171 + 45. Let m be (7/h)/(1/(-2)) + 57. Suppose 15 = -m*s + 57*s. Which is smaller: s or -17?
-17
Let l = 19781 - 20223. Are -10 and l non-equal?
True
Let j be 2/5 - 438/(-30). Suppose -55 + j = -8*m. Suppose -v + 2*v - 5 = -2*r, -m*r = -4*v - 6. Are r and -1 equal?
False
Let t = 3123/11 - 4518959/15917. Let v = -686 + 685. Is t equal to v?
False
Let s = -90 - -91.41. Is -1/7 <= s?
True
Let f = -31 - -59/2. Let u = -386.9 - -406. Let o = -15.1 + u. Is o > f?
True
Let l be 3113/330 + 4/24 + (-6)/10. Let j be 8*(-3)/(-9)*3. Which is bigger: j or l?
l
Let j be (-1)/5 + (-4323)/(-90). Let z = j - 3121/66. Which is smaller: z or 2?
z
Let i = -14/51 + 896/663. Let d = -2486.7 - -2484.7. Is d greater than or equal to i?
False
Let f(j) = -9*j**2 - 31*j - 11. Let s be f(-5). Which is bigger: -78 or s?
-78
Let u(t) = t**3 - 5*t**2 - 4*t + 1. Let k be u(-3). Let y = -60 - k. Let g be (-1)/(-3) + (-40)/66. Is y > g?
False
Let d = -0.087 + -108.913. Let u = d + 108.7. Do u and -27 have different values?
True
Let j(z) = -z + 1. Let k be j(-2). Let x be (0 - k) + 7 + -3. Let g = 3995/4 - 999. Which is bigger: x or g?
x
Let s be 159*(-4 + 53) + 6 + (-8 - -7). Is 7797 > s?
True
Let s = -1562 + 1746.1. Let k = s - 184. Which is smaller: 0.02 or k?
0.02
Let g be (-4546)/(-67890) + (-19)/285. Let l = g + -129023/108624. Is l at least as big as 0?
False
Let t be 12/((-96)/140)*(-126)/15. Which is greater: -2 or t?
t
Let b be (-14)/9*-4 + 36/(-162). Let j be (4/b)/((-50)/54 + 1). Let i be (-7 + j)/((-4)/(-10)). Which is bigger: i or 11/3?
i
Let w = -8/49781 - -712158/94733243. Which is smaller: -1 or w?
-1
Let v = 14.27 - -85.73. Is v at most as big as -5?
False
Let x = -21/16 - -175/48. Let f(v) = -4*v**2 + 12*v + 2. Let c(z) = 5*z**3 - 2*z**2. Let o be c(1). Let n be f(o). Is x less than or equal to n?
False
Let q = -3811 + 3809. Is -83/80 bigger than q?
True
Let g = 205 + -200. Suppose 0 = -0*p + 4*p - 8, 0 = g*n + p + 168. Which is smaller: -240/7 or n?
-240/7
Let y = -126706361/143 - -886063. Let n = -66/13 + y. Let q(a) = -2*a**2 - a + 1. Let u be q(1). Which is smaller: u or n?
u
Let i(t) = t**2 + 43*t - 78. Let s = -259 + 216. Let v be i(s). Which is smaller: -79 or v?
-79
Suppose 19*a + 88 + 45 = 0. Let j be a/(-28) - (-1)/(-4). Is -1/20 at most as big as j?
True
Suppose 4*k = 4*m - 136, 4*k = 4*m - 8*m + 56. Let d be 2/(-5) - 368/(-20). Which is smaller: m or d?
d
Let a be -1 + 1 + 7 - 0. Suppose -9 = 3*s - 6*s, 0 = 5*n + 5*s - 30. Let o be 460/69 + (-2)/n. Do a and o have the same value?
False
Suppose 0 = -5*x - 2*o + 4*o + 147, 4 = o. Suppose 30*t - 62*t = -x*t. Is 6/113 greater than or equal to t?
True
Let c be (-41)/(-369) - 22/(-126). Do 1805 and c have the same value?
False
Let l = 42721 + -45754222/1071. Let t = 1/357 - l. Suppose 3*a + 0*o - o = 0, 0 = 3*a - 3*o - 6. Is a bigger than t?
False
Let q be 5/(((-27)/(-405))/(179/(-3))). Is -4474 < q?
False
Let m = -1005/2329 - -1967836/733635. Let n = m - 1/35. Suppose -3*p - 5*b = -3*b, 1 = -p - b. Which is smaller: p or n?
p
Suppose 2 = -q, -4*q + 0*q - 23343 = -5*k. Suppose k = 36*f - 409. Does -2/3 = f?
False
Let i = -8.9 - -0.9. Let q = 125.336 - 0.036. Let o = q + -125. Which is bigger: o or i?
o
Let q be (-2)/6 + 4207/21. Let n be q/(-32) - (3/(-12) + 1). Is n at most as big as -13?
False
Let z(y) = -21*y - 58. Let g(u) = 12*u + 29. Let x(o) = -5*g(o) - 3*z(o). Let r be x(-10). Is -2 less than r?
True
Suppose -p + 3 = 3*v - 0*v, -v + 11 = -3*p. Let i = -229 - -259. Suppose -4*w + 2*y = -i, -5*w - 4*y = -3*y - 55. Which is greater: w or v?
w
Suppose -4*r + 44 = -3*t, 0 = -t + 5*r - 3 - 30. Let y be t/4 - (-104)/54. Let s(d) = d**3 - 31*d**2 + 52*d - 660. Let f be s(30). Which is smaller: f or y?
y
Let j be 1 + 9/(-7) + 4/14. Suppose j = 10*u - 12 + 2. Let g be (1 - (-84)/(-92))*-5. Is g less than or equal to u?
True
Let q(y) = 67*y - 8. Let s be q(2). Suppose 3*t - 312 = -r - 4*r, -282 = -3*t + 5*r. Let o = t - s. Which is smaller: o or -29?
-29
Let a(s) = -s + 26. Let f be a(18). Let r(k) = -k**3 + 9*k**2 - 7*k. Let h be r(f). Suppose 0*x = -x - h. Which is smaller: -12 or x?
-12
Let n = -23.9518 - -24. Let s = n - 0.0282. Is s equal to 0.1?
False
Let u = -496 + 496.84. Is 17 less than u?
False
Let p be ((-105)/(-63))/((-2)/(-1152)). Let x = -953 + p. Is x less than 7?
False