 -16 - (-2 - (-48)/20)*y. Is 1 < g?
False
Let v(f) = 5*f**2 - 10*f + 20. Let j be v(8). Let n = 154 - j. Is n less than or equal to -106?
True
Let h = 90 - 90.93. Is h equal to 0.1?
False
Let f(z) = z**3 - 17*z**2 + 29*z + 15. Let g be f(15). Is -1/156 smaller than g?
True
Let m = 30920734/155 + -989654/5. Let s = m + -1558. Which is bigger: s or 0?
0
Let c be (-3 - -7 - -2) + (-4 - 0). Let j be (-4 + (-1248)/(-306))*(-3)/c. Which is greater: j or 0?
0
Let i = -2052 - -2052.1. Which is bigger: 1/27 or i?
i
Let i(k) = -40 + 49 - k - 3*k. Let b be i(5). Is -11 at most as big as b?
True
Let y = -947 + 1111. Which is smaller: y or 2/5?
2/5
Suppose -3*q - y + 34 = 0, -2*q + 0*y + 3*y + 30 = 0. Suppose 0 = -4*t + t + q. Suppose -t*d = d + 75. Is d equal to -14?
False
Let r = 36 - 36. Suppose u = 2*o - 14, r*u - 5*o = 3*u - 2. Let i = -8.8 + 9. Which is smaller: i or u?
u
Let c = 300 + -205. Let l = c + -94. Is -0.074 at least as big as l?
False
Let l be 3*(204/9 + -4). Suppose -5*s + l = -s. Do 14 and s have different values?
False
Suppose 5 = -5*z - 10. Suppose 3*i + 6 = -2*k, 12 = -i + 6*i - 4*k. Which is greater: z or i?
i
Let s be 8/24 + 28/(-21). Is s not equal to -20/109?
True
Let y be (1/(-2))/((-11)/(-36278)). Let x be (-1)/(y/825 - -2). Let o be x/(-39) + 2/(-13). Is 21 != o?
False
Let j = 25 + -25.11. Let w = j + 0.08. Let t(r) = -r - 5. Let a be t(-4). Is a not equal to w?
True
Suppose 4*d = d. Let w = 5448/7 - 778. Which is greater: w or d?
w
Let c = -22 - -28. Let a be 7/c + (-1)/3. Which is smaller: -0.1 or a?
-0.1
Let w = 8.42 - 3.42. Let j be 6/(-9) - 22/(-120). Let a = j + 3/20. Does a = w?
False
Suppose -4*x + 1 = 3*y, -3*y + 15 = -x - 2*x. Let k be ((-1)/y)/((-9)/(-108)). Is k bigger than -4?
False
Let l be (-3)/(-4)*-14*(-7 + 8). Let q = l - -4. Let m be (6/1)/(3/(-4)). Which is greater: q or m?
q
Suppose -5*u - 789 = 2*p + 1973, 5*p = -3*u - 1661. Which is smaller: -551 or u?
u
Let w(p) = 180*p**2 + p - 6. Let z be w(2). Is z less than 715?
False
Let n = 1.861 - 23.441. Let z = 0.42 - n. Let a = -21.9 + z. Are a and -4 unequal?
True
Let n be 10/70 - 515/(-35). Is 15 at least as big as n?
True
Let z = 10 + -10. Let b = -17 + 24. Let r be (-6)/(-4)*b/(-147). Is z < r?
False
Let m be (1/(-14))/(5/(-20)). Let p = -0.139 + 0.029. Which is smaller: p or m?
p
Let r be -4*((-3)/4 + 0). Suppose 0*p = 5*b - 3*p - 107, 41 = 2*b - r*p. Let v be (-2)/(-3) - b/42. Which is smaller: -1 or v?
-1
Let o be (-4 - (-14)/4) + (-690)/(-12). Does o = 59?
False
Let o = 187 - 147. Is 40 less than o?
False
Let u = -88 - -62. Let o = 23 + u. Which is smaller: 2/27 or o?
o
Let j = 6.33 - 26.33. Is 3 >= j?
True
Suppose -4*i - 24 = -4*o, 2*o + 0*i = -i. Let v = -76 + 534/7. Is v > o?
False
Let s be 2/(-4) - 34/4. Let i = -4 + -32. Let o = i - -28. Which is smaller: o or s?
s
Let n = -0.07 + 2.07. Let m = n + -2.1. Is -2/29 at least m?
True
Let h(r) = -10*r + 50. Let l be h(5). Which is smaller: 0.14 or l?
l
Let t be 0 + 3 - (2 - 0). Let f be 3/3*((-18)/(-55))/6. Let j = 413/495 + f. Is j at most as big as t?
True
Let l be 4/14 - (-1 + 7/7). Which is greater: 1 or l?
1
Suppose -2*l = w - 6, 0 = -l - 4 - 1. Which is bigger: 17 or w?
17
Let x be (1 - -1) + (-2385)/(-30). Let c = x + -83. Which is bigger: c or -3?
c
Let d be (204/52 - 4) + 4/52. Let c = -25/4 + 6. Which is smaller: d or c?
c
Let t = 631 + -630. Is t at least 45/59?
True
Let g = 0 + -0.23. Is g > 0?
False
Let x be 3/(-12) + 17/4. Suppose 15 = 5*d - 5*y, 0*d + d = 5*y + 3. Suppose x = w + d. Is w at most -1/7?
False
Let w be (-1)/(-2)*14 - 168/21. Let s be 6/10*(-15)/(-24). Which is smaller: w or s?
w
Let q(c) = -23*c - 67. Let z be q(-4). Suppose -z = 25*w - 20*w. Suppose 0 = 5*g + 2*j + 13 - 0, 3*g - 9 = 3*j. Is g at most w?
False
Suppose 0 = -2*u - 2*u + 3*t - 1273, 0 = u - 2*t + 317. Let l be (-2)/4 - u/506. Let v = l - -8/115. Is v greater than 0.5?
False
Let i = -566.1 - -600. Let x = -34 + i. Is -21 greater than x?
False
Let m be -1*(3 + -2)*-3. Suppose -4*k - m = -a + 57, 15 = -k - 2*a. Let q = k - -14. Is -2/31 less than q?
False
Let f = -6 + 4. Let t be 1 - (-1 + -7 - -12). Which is greater: t or f?
f
Let z = -22.2 + -3.8. Let g = 35 + z. Does g = -1?
False
Let r be -157 - (-5 + -1 + 2 + 7). Which is greater: r or -158?
-158
Let u be 6231/(-620) + (-8)/(-10). Is u equal to -8?
False
Let r be 4/((80/(-12))/(-5)). Let x be 3/(-9) - r*8/(-36). Which is bigger: x or -1?
x
Let u = -0.1441 + 0.2541. Do u and -4/33 have different values?
True
Let d be (1/2)/((-2)/(-68)). Let y be (1/2)/(d/(-272)). Does y = -25/3?
False
Let x = 544.9 + -572. Let i = x + 25. Which is bigger: 0.1 or i?
0.1
Let a be 275/(-50) - 1/2. Let l be ((-54)/(-45))/(a/15). Are -1 and l unequal?
True
Let b be (-2)/3 - 789/(-1170). Let o = 713/260 + b. Which is greater: 3 or o?
3
Suppose -4*o - 4*m + 22 = -46, -25 = -2*o - 5*m. Let a be (-4)/o*5/(-72). Which is bigger: a or -1?
a
Let t(y) = y**2 - 14*y - 94. Let r be t(-5). Which is greater: r or -2/493?
r
Let k = 482 + -483. Which is bigger: -2/479 or k?
-2/479
Let n be 3*10/((-350)/15). Which is greater: -0.1 or n?
-0.1
Let j be -2*(0 - 1/(-67)). Let o = 3476 + -3476. Which is greater: o or j?
o
Let n = 3907/3612 + 1/602. Let c = n - 7/4. Which is smaller: c or 28?
c
Let z(a) = a**3 - 2*a**2 - 3*a. Suppose 10 = 5*f, -4*f + 2 + 3 = -j. Let x be z(j). Is x at least as big as 1/3?
False
Let z = 91 + -89. Do -1/5 and z have different values?
True
Let a be -8*1*(-3)/6. Suppose a*l - 5 = 7. Suppose -c - l + 2 = 0. Is c <= -3?
False
Let i be (-13)/(39/(-8578)) + (-2)/(-3). Let u be (-6)/39 + 466/i. Which is smaller: u or 0?
0
Let c = -145 - -85. Let w = -68 - c. Which is smaller: 6 or w?
w
Let b(k) = k**3 + 6*k**2 - 6*k + 4. Suppose -2 = 2*x + 12. Let d be b(x). Which is greater: d or -1?
-1
Let h be (-1)/2 + (-955)/10. Let w(t) = -3*t**2 + 6*t + 10. Let x be w(-5). Which is bigger: x or h?
x
Let a = 39 + -15. Let i be ((-21)/(-12))/(6/a). Suppose 2*r + 5 = i*r. Is r at most as big as -1/18?
False
Suppose -37 = -5*t - 0*t - 2*y, -1 = -y. Let w = -13 + t. Let s be w/(-2) + 440/(-150). Are 1 and s unequal?
True
Let y = -14 + 17. Suppose -6 = y*d, 3*d + d + 4 = -2*i. Suppose 4*o = -3*p + 22, -i*o + 6*o + 26 = 5*p. Is p at least as big as -2?
True
Suppose 2*w - w + 4 = 0. Let z(k) = k**2 + 4*k + 3. Let i be z(w). Let o be i - (-39)/(-21) - 1. Is 1 less than or equal to o?
False
Let f(n) = 4*n**2 + 23*n - 29. Let i be f(-7). Which is bigger: i or -4?
i
Let g be 36/(-15)*(1 - -4). Suppose -4*i = -0*i - 2*t - 6, 3*i - 6 = t. Suppose -5 = -i*d - 38. Which is greater: d or g?
d
Let m be (-2)/48*5661294/1962. Let w = m - -5/872. Let x = w + 120. Which is greater: x or -1?
x
Let q(c) = -c + 6. Let v be q(8). Let t(h) = -68*h**2 - 64*h + 1. Let w be t(-1). Which is smaller: v or w?
w
Let y be ((-20)/8 + 3)*66. Suppose 2*p - 6*i - 6 = -2*i, -y = -2*p - 5*i. Are 11 and p nonequal?
True
Let v = -18 + 56. Let d be (-5)/4 - v/(-8). Let i = 9 - 5. Is d at least i?
False
Let q(x) = x**3 + 3*x**2 - 5*x - 3. Let r be q(-5). Let c be (-244)/r + 2/7. Is 8 greater than or equal to c?
False
Let m = 20 - 23.4. Let u = m + 3.5. Which is smaller: u or -5?
-5
Suppose 2*r - 7 = -5*r. Let q = 29 - 24. Let m be (-12)/(-26) + (q - 5). Is r less than or equal to m?
False
Let o = -101 + 102. Which is bigger: -3/44 or o?
o
Suppose -54 = -y + 5*p, -2*y = 2*p - 0*p - 84. Are 42 and y non-equal?
True
Let k = -777 + 776.8. Suppose 0 = -5*i + 4*v + 16, 0 = 3*i - 5*i - 2*v - 8. Suppose i*a = a - 1. Which is smaller: a or k?
k
Suppose 4*i - 17 + 13 = 0. Suppose -4*o + m - 5 = 0, -2 + 7 = 5*m. Let r be (i - o)/(1 - -1). Is 2/37 equal to r?
False
Let x be ((-3)/6)/(5/(-22)). Let q = x + -61/30. Is q not equal to 1?
True
Let y be ((-2)/904)/(3 + 121/(-44)). Which is bigger: 1 or y?
1
Let g = 135 + 270. Is 404 less than or equal to g?
True
Let a be 269 - (-4 - -3)*1/(-1). Which is smaller: 0.1 or a?
0.1
Let d be -2 - -6 - 4/(-2). Let r(s) = 2*s + 1. Let h be r(d). Which is bigger: h or 12?
h
Let o = 156 + -84. Suppose -64 = 4*w - o. Which is bigger: -10 or w?
w
Let c = 95 + -58. Let s = 38 - c. Which is greater: 7 or s?
7
Suppose -20480 = -58*g + 806. Which is smaller: g or 366?
366
Let d be 2/(-261)*(0 + 3). Let a(u) = -2