-2/361. Is v at most 0?
True
Let p be ((-1)/12)/(27/(-93)). Let f = p + -1/27. Are f and 0 equal?
False
Suppose 9*x + 1980 = -3*x. Is -165 less than or equal to x?
True
Let z be (0*(-10)/(-70))/(-1 - 2). Which is greater: z or -2/181?
z
Let y be (-1476)/48*(-16)/(-6). Let x be ((0 - -2) + 2)*y/8. Which is greater: x or -83/2?
x
Let q = -158 - -476/3. Suppose c - 4 = -3*c. Let b = c - 0. Which is greater: b or q?
b
Suppose -53 = -2*a + 43. Suppose -185 = 31*y - 1487. Let q be (a/y)/((-2)/(-7)). Is 3 > q?
False
Let j(u) = -u + 1. Let m(v) = 4*v + 35. Let z(i) = -3*j(i) - m(i). Let f be z(-6). Are f and -34 equal?
False
Let r(s) = 2*s**3 - 10*s**2 - 4*s + 8. Let q be r(5). Does q = -5?
False
Suppose 2*v - 3 - 3 = 0. Suppose v*g - 4 = -g. Let o be 6/54 + (-4)/9. Do o and g have different values?
True
Let b(w) = 2*w**2 + 19*w + 10. Let x be b(-9). Which is smaller: x or -12/143?
-12/143
Let a = -189486223/119317 + -20/119317. Let i = 1587 + a. Which is smaller: i or -1/3?
i
Let p = 32581/703769 + -21/467. Which is smaller: p or 0?
0
Let z be 14/(-8) + (125/(-20) - -6). Let j be 1/(-4) + (-585)/252. Is z equal to j?
False
Suppose -4*n - 94 = -6*n - 4*r, -n + 47 = -2*r. Is n equal to 3?
False
Suppose 0 = 3*o - 59 - 43. Let n = o + -19. Which is greater: 14 or n?
n
Suppose -k + 3*k = 8. Suppose -y - 45 = k*w - 17, 4*y + 4*w + 112 = 0. Let v = 55/2 + y. Is v <= 0.09?
True
Suppose -12 - 4 = -2*p. Suppose -17 = 3*l + k, -3*k = -3*l - p*k - 13. Which is smaller: l or -7?
-7
Suppose -x = -2*x - 2*h + 42, -5*x = -4*h - 168. Let g be 1/2 + x/(-30). Let f = g + 1/2. Is -1 != f?
True
Let a = 193 + -191. Is a not equal to 4/13?
True
Let z = 1 - 1. Let u = 5 + z. Suppose -8*x + 14*x - 42 = 0. Is u at most as big as x?
True
Let b be 18/(-30) + 51/(-15). Let f(p) = -p**3 - 4*p**2 + 2*p + 6. Let t be f(b). Are -3 and t unequal?
True
Let c(z) = -z**3 - 52*z**2 + 57*z + 225. Let r be c(-53). Is r less than -4?
False
Let p = -8097 + 137591/17. Is p at least as big as -4?
True
Let w be ((-96)/(-8400))/((-2)/(-14)). Are 0.38 and w equal?
False
Let t = 129/37 - 6217/2664. Let j = 7/9 - t. Which is smaller: j or -1?
-1
Let m = -6515 + 273607/42. Is m less than -2?
False
Let f = -26.17 + 21.17. Which is bigger: f or 8?
8
Suppose 0 = -5*i - 25, 3*y - 6*y = -3*i. Let f(z) = -z - 8. Let n be f(-5). Let r be (3 + 0 + -2)*11/n. Is y at most as big as r?
True
Let a(p) = -36*p + 87. Let r be a(-3). Which is smaller: 194 or r?
194
Let t = 106 + -113. Let y = 3 - t. Which is smaller: 6 or y?
6
Let w = -787 - -791. Let i be (-6)/33 + (-1684)/(-66). Let r = i - 26. Which is smaller: r or w?
r
Let r = 12 - 6. Suppose m - 2*x + 2 = 0, -3*m + 3*x = r*x + 24. Let b be (-1)/(9/m - 2). Is -1 less than b?
True
Let u(h) = -h**2 + 29*h - 56. Let n be u(27). Is 65 at most as big as n?
False
Let c = -18 + -7. Let y be (47 + 13)*((6 - 18/(-30)) + -7). Is c greater than or equal to y?
False
Suppose 4*g + 220 = 2*l, -g - 11 = -4*l + 44. Let m = -15 - g. Which is smaller: 39 or m?
39
Suppose -25 = 61*w - 56*w. Is w greater than 1/4?
False
Let d be (-3)/(-1)*(-15)/(-9). Suppose 4*v = -2*t + 44, -4*v + 0*v + 52 = -2*t. Suppose -d*h - 3*p = -12, 4 = -5*h - 2*p + v. Is h at most 1/17?
True
Let r be (-3)/(-1) - (3 - 1). Let x = -18 - -16. Let n be 18/(x - 0)*3/(-63). Is n at most r?
True
Let l be -7 + (-567)/(-14)*6. Is 238 greater than l?
True
Suppose 5*b - 45 = 10. Suppose 7*y = b*y - 20. Suppose 0 = -y*s - 2*t + t - 21, 5*s = 5*t - 45. Is -4 bigger than s?
True
Let s = -3 + 2. Let t be 1230/80*8/6. Let i = t + -20. Is s greater than or equal to i?
False
Let d = -12 - -17. Let c(p) = -p**2 + 8*p - 5. Let v be c(d). Let y = -0.2 - -0.1. Is y >= v?
False
Let v(h) = 4*h + 4. Let m be v(6). Suppose -4*j - 2*k = m, -2*j = 4*k + k + 6. Let i = -11591 + 11592. Which is bigger: j or i?
i
Suppose -1 = b, 0*p + 5*b - 35 = -4*p. Let j be 64/28 - p/35. Suppose 3*x - r = -34, -36 = 4*x - j*r + 10. Is -10 <= x?
False
Let h = 6.4 + -0.4. Let y = h - 9. Let c = 0.12 - 0.32. Is c <= y?
False
Let i = -19 + 5. Let p be ((-8)/(-7))/((-4)/i). Suppose -16 = p*n, -4 = 4*k - 7*n + 3*n. Is k < -6?
False
Suppose -13*d - 482 = -92. Which is bigger: d or -89/3?
-89/3
Let h(o) = -o**2 - 19*o - 24. Let v be h(-7). Suppose 26*i = 30*i + v. Are i and -15 equal?
True
Suppose 15*q + 743 + 292 = 0. Which is greater: q or -68?
-68
Let d = 63 + -65. Which is smaller: -5 or d?
-5
Let u be ((-12)/(-10))/(3/30). Let z be u/(-30) - 2/(-5). Which is greater: z or 2/47?
2/47
Suppose -3*q + o + 124 = 2*o, 5*q - 4*o - 218 = 0. Suppose q = -4*l + 2. Let n be 1/(-2*3/66). Which is smaller: n or l?
n
Suppose -6 = 3*j - 2*q, -q = -12*j + 17*j - 3. Does j = 1/190?
False
Let o = 39 - 36. Let r be (3 - 6)/(o/(-8)). Is r smaller than 8?
False
Let t = -91 - -287. Which is bigger: 195 or t?
t
Let v = 0.87 - 0.07. Let t = -0.5 + v. Which is smaller: t or -0.1?
-0.1
Suppose -5*h + 10 = 5*j, -5*h - 4 = -h. Let p = j - 6. Let x = 12 - 18. Is x smaller than p?
True
Suppose -3*p - 45 - 2 = -x, 3*p = -5*x - 71. Is 2/67 less than or equal to p?
False
Let d be 77 + -15 + 10 + 8. Is 80 greater than or equal to d?
True
Let q(a) = -5*a + 137. Let o be q(35). Which is bigger: o or -37?
-37
Let b(u) = u**3 - 5*u**2 + 4*u + 6. Let o be b(4). Let r be ((-3)/(-18))/(o/9). Is r > 0?
True
Suppose 5*o - 2*o - 18 = 3*u, 3*o - 38 = -2*u. Let y be (-84)/(-70) - 2/o. Which is smaller: 6 or y?
y
Let b be 23 + -2 + (-1)/(-1). Suppose 5*v + 3*h = -18, -v - 26 = -0*v - 5*h. Let c be (-10)/3*v + 1. Which is greater: b or c?
b
Let o(c) = -c**2 - 14*c - 16. Let h be o(-12). Suppose -3*u - h = 10. Let r be -6 + 3 - u/4. Is -2 less than or equal to r?
True
Suppose d + 2 = -w, -w - w = -d + 13. Suppose 2*t - 7 = -2*o - 1, 0 = -4*o - t - d. Does -13/8 = o?
False
Suppose 2*a + 4 = -4*t, -6*t + 18 = -10*t + 5*a. Are 0.024 and t unequal?
True
Suppose 0*v + 3*s = -3*v - 1560, 3*v + 1590 = 3*s. Let q be v/20*-1*(-2)/(-3). Which is bigger: q or -1?
q
Let o = 4434 + -2052944/463. Is -1 less than o?
True
Let b = -1.5 + 1.58. Let x = 0.02 + b. Let d = 1 + -8. Which is greater: x or d?
x
Suppose b = -5*t - 62, 2*b - 32 = t + t. Suppose -5*c = 0, 0 = -v - 0*v - c + 61. Suppose 46 = -4*p - 2*k, 0*k + k = 5*p + v. Is p greater than t?
True
Suppose 9*x - 27 = 45. Suppose 0 = 2*u - x - 0. Let r be -3 - -2 - (-8 - -1). Is u smaller than r?
True
Let h(z) = z. Suppose 11 = -4*i - 5*o - 4, -2*o - 6 = -4*i. Let k be h(i). Let p = k - -2/7. Is -12 greater than or equal to p?
False
Let z = -1.815 + 0.055. Let o = z + -0.24. Let f = -1 - o. Is f < 2/7?
False
Let u(h) = -h**2 - 2*h + 3. Let g(l) = -l + 1. Let p be g(-2). Let i be u(p). Suppose 0 = 16*f - 17*f - 11. Which is smaller: i or f?
i
Let d = 43 - 68. Let o = -35 - d. Do o and -11 have the same value?
False
Let l = -292 + 405. Which is bigger: 115 or l?
115
Suppose -4*v = -4*f + 25 + 11, 22 = -2*v + f. Is v != -10?
True
Suppose -o - 2*g + 4*g - 10 = 0, 3*o - 2*g + 10 = 0. Does o = -3/10?
False
Let d = 45 + -104. Let a = 58.7 + d. Which is smaller: 1 or a?
a
Suppose b = 5*b - 8. Let d(w) = 7*w**2 + 2. Let t be d(b). Let c = t - 88/3. Is 0 smaller than c?
True
Let w = -156 - -157. Are w and 1/9 unequal?
True
Suppose 143 = 75*p + 443. Is p greater than -66?
True
Let r be (-30)/(-4)*(-2 + 4). Suppose 1 = 2*c - r. Let s be (-209)/(-1012) - 2/c. Is s less than -1?
False
Let q be (-19)/(-6) - (-9)/(-54). Suppose -5*n = -c - 0*c - 12, 8 = q*n - c. Which is bigger: n or 24/7?
24/7
Let w(d) = -7*d + 370. Let n be w(53). Let r = 0.8 - 0.3. Is n at most as big as r?
True
Let s = -70.1 - -70.2. Is s bigger than -202?
True
Let z = -22 - -8. Let l = -13 - z. Let k be ((-864)/20)/4 + (-1)/5. Which is smaller: k or l?
k
Let u be (1864/(-40))/(3 + 24/(-10)). Which is greater: u or -78?
u
Suppose 348*o + 19680 = 307*o. Which is bigger: o or -479?
-479
Suppose 4*u - 3*o + 12 = 0, 4*u + 4*o - 4 = 3*o. Let z be (-4)/(-8)*-2*u. Let k be (((-56)/60 - -1)*6)/(-1). Which is greater: z or k?
z
Let o = 41.96 + -41. Let m = -0.57 + o. Which is bigger: 0 or m?
m
Suppose -3*s + 73 = 2*g, 0 = -s + g - 5*g + 41. Let b = s - 18. Let u be (1 - -1)*(-15)/b. Which is bigger: u or -11?
u
Let a = -74.58 - -74. Let w = 2242/5 - 448. Which is greater: a or w?
w
Let b(p) = -6*p**3 + 4*p**3 +