Suppose v + 2*g - 6 = a, v - 3*v + 9 = 3*g. Suppose v*q = q - 1. Which is bigger: -1/10 or q?
q
Let b(a) = -3*a + 22. Let s be b(7). Suppose o + 0 = -3. Let l be -1*o/84*2. Which is bigger: l or s?
s
Let p(f) = 25*f**3 - 3*f**2 - f + 2. Let b be p(1). Which is smaller: 189/8 or b?
b
Let j(q) = 3*q**3 - 163*q**2 + 165*q**2 - q**3 - 3*q**3 + 9. Let p be j(3). Which is smaller: p or 1/4?
p
Let s be (-34 + 3)/(15/25*5). Which is smaller: s or -11?
-11
Suppose 9*i - 34*i = 0. Which is smaller: 1/2625 or i?
i
Suppose 44 = 4*o - 4*g, 12 + 25 = 2*o - 5*g. Suppose -9*q + 6*q = o. Let x be 356/28 - q/7. Are x and 12 nonequal?
True
Suppose -2*r - 1 - 5 = -4*t, 2*t = -5*r + 21. Suppose 5*d = -10, 5*d - r*d + 4 = -2*i. Which is smaller: i or 2/65?
i
Let x = 107/9 + -305/36. Let k = -337/12 - x. Let d = k - -32. Are d and 0 equal?
False
Let k be (-162)/(-36) + 1/(-1). Which is bigger: 5 or k?
5
Let u = 5/42 + 8/21. Suppose 0 = -5*d + 10, 2*a = -a - d + 2. Let v be 0 + (a - (1 - 2)). Which is bigger: u or v?
v
Let o = 10 - 15. Let y = 5.2 + o. Let s = -746/11 - -68. Which is greater: y or s?
y
Suppose w - 2 = 2*w, -w + 22 = 3*l. Let c be (3 - l)*20/(-4). Is c at most as big as 26?
True
Suppose 0 = -0*d + 3*d - 99. Let i = 36 - d. Are i and 0.4 equal?
False
Suppose -20 = -j + 4*t, 3*j - 2*j - t - 5 = 0. Suppose j = -x + 5*x - 12. Suppose h = x*r - 17, -2*h - r = -1 + 7. Which is greater: h or 0?
0
Let u be (1/6)/(8/48*374). Is 0 > u?
False
Let t = 12.95 + -13. Let s = -69 - -69.2. Is t < s?
True
Let o be 1/1 - -10 - -3. Suppose -9*u - 35 = -o*u. Suppose 12 = u*h - 11*h. Is -4 bigger than h?
False
Let u = 551 - 559. Is u less than -7?
True
Suppose -2 = -2*m - 5*k, 2*m + 3*k + 1 + 1 = 0. Suppose -5 = 5*q - 15. Suppose -5*d - 5 = 2*p - 4*d, q*d - 2 = 0. Are m and p nonequal?
True
Suppose -h + 4*d - 83 = 0, -5*h = -0*d - 5*d + 400. Let w = h + 58. Is 1 < w?
False
Let s(l) = -3*l + 2*l + 0*l**2 + 4*l**2 + 1. Let f be s(1). Suppose -f*y - 4 = b - 14, 5*b = 5*y. Is b at least 1?
True
Let u be 35/15 + 70/(-10). Which is bigger: u or 0?
0
Let j be 8/(-16)*(-10)/1. Suppose 7 = -j*r - 23. Which is greater: -3 or r?
-3
Let l = 12 - 27. Let p be (2 - (-18)/8)/((-34)/136). Which is smaller: p or l?
p
Suppose 4*z = -t + 98, -2*z - 23 + 71 = t. Are 25 and z nonequal?
False
Let h be ((-2)/182)/((-15)/1395). Let r = 17/13 - h. Is -12 smaller than r?
True
Let n = -91 - -40. Let a = -56 - n. Let o = 0 + 0.2. Is a smaller than o?
True
Let v be 246/7*(-770)/(-64). Let l = 423 - v. Is 0 >= l?
False
Let s = -59 - -227. Is 168 > s?
False
Let g(m) = m**3 - 13*m**2 + 13*m - 7. Let q be g(12). Let y be (-33)/(-12) + q/(-20). Let l be (-6)/9 - (-14)/3. Which is smaller: y or l?
y
Suppose -2*f = 4*y + 652, 5*y - 3*f + 974 - 137 = 0. Let o be (-6)/10 + (-44)/y. Suppose 2 = -4*k + 6. Which is greater: o or k?
k
Let c be -14*(9 + (-1270)/140). Is 1/481 less than or equal to c?
True
Let f = 300 - 298. Is 8/13 >= f?
False
Let l be (-3)/(-2)*(-24)/45. Let w be 4 - 1/2*2. Let a be ((-4)/(-6))/((-2)/w). Are l and a non-equal?
True
Let c = -13 + 17. Let h be (-37)/c + (-24)/32. Let b be 5/(-63)*2/h. Is 1 <= b?
False
Suppose 17*m + 9 = 14*m. Do m and -46/19 have the same value?
False
Let u be (-3)/12 + (-10)/(-8). Let t(n) = -3*n**2 + 2*n + 1. Let j be t(3). Let d be ((-1)/3)/(j/12). Is u != d?
True
Let k = -1659 + 1657. Which is bigger: k or -38/35?
-38/35
Suppose -5*l - 46 = -11. Let d(v) = v**3 + 7*v**2 - 2. Let a be d(l). Which is greater: 0.07 or a?
0.07
Suppose -5*p - 133 = -2*r - 136, -25 = 5*p + 5*r. Is p less than or equal to 2/249?
True
Let y be (-1 - 0)/(-4 + 3)*-1. Let l be (10/8 + -2)/(y/(-2)). Which is bigger: -1.3 or l?
-1.3
Let w = -48.83 - -48. Let q = -1.03 - w. Is -1.5 at most as big as q?
True
Let m(h) = 5*h**3 + 40*h**2 - 8. Let y be m(-8). Which is greater: y or -37/4?
y
Let p = 363 + -413. Are -50 and p equal?
True
Let c = -4246/35 + -552/5. Let n = -231 - c. Which is smaller: n or 0?
0
Let w = -0.083 + 2.183. Let l = w - 2.3. Is l > -2/9?
True
Let s = 232.9 - 233. Which is smaller: 46/3 or s?
s
Let g = -131.6 + 120. Let s = 0.6 + g. Let a = 11 + s. Which is smaller: a or -1/3?
-1/3
Suppose 489*p - 495*p = -6. Which is greater: 8/35 or p?
p
Let g = -612598905 - -140890190797/230. Let c = g - -32858. Let u = -1/23 + c. Is -1 less than u?
True
Let a = 1469/14 - 105. Suppose 4*o = 2*n - 26, 2*n + o + 83 = 7*n. Let q = -17 + n. Which is smaller: a or q?
a
Let n = 14.3 - -14.7. Let f = -6301 - -6272.01. Let u = n + f. Which is greater: 0 or u?
u
Let g(t) = t**2 + 23 - 7 + 22*t - 7*t. Let f be g(-14). Suppose -y - o + f = 15, -5*y - 2*o = 62. Which is bigger: -13 or y?
y
Let x(d) = 2*d - 16. Let m be x(9). Let n be (-15)/(-10) + m/(-4). Suppose 0 + n = t. Is 7/9 >= t?
False
Let p be (1 - 8/(-4)) + 1. Suppose -p*t - 5 = 7. Let y = 168/1045 - -2/95. Are y and t nonequal?
True
Let q = -15 - -26. Let i(a) = 5 - q + 5 + 2*a. Let t be i(0). Which is greater: -2/9 or t?
-2/9
Let b be (-4)/14 + (-3)/(-35). Suppose 4*t - 24 + 1 = z, 30 = -5*z + 3*t. Let d(h) = -2*h. Let q be d(z). Is q greater than b?
True
Let v be 19/5 + (-140)/175. Suppose -9 = -3*x - c, -x + 2*c + 14 = x. Suppose -j + x*j = -v. Are 0.3 and j equal?
False
Let r = -42 - -307/7. Let f = 57703 + -3635378/63. Let p = f + r. Is p != 1?
True
Let x = 3 + -4. Suppose 83*j + 1198 = -56*j - 1165. Do x and j have the same value?
False
Suppose -11*r + 15*r + 32 = 0. Let z(i) = -11*i - 71. Let x be z(r). Which is smaller: 14 or x?
14
Let t = -6.74 + 8.74. Is t at most -165/8?
False
Let i be (-75)/(-9) + (-8)/1. Do 80/3 and i have the same value?
False
Let q(b) = b + 4. Let t be q(0). Let c(o) = -55*o**2 + 3246*o - 60. Let u be c(59). Which is greater: t or u?
t
Let k = 28 - 24. Let h be ((0/k)/(-1))/1 + 6. Is h at most as big as 5?
False
Let f = -1.37 + 45.37. Let q = 46 - f. Which is smaller: 4 or q?
q
Let x = 118.69 - 119. Is 2/15 > x?
True
Let q = -12 + 10.4. Let m = q + -0.2. Let v = m + 1.2. Is 0 greater than v?
True
Suppose 0 = -6*x - 36*x + 1302. Is x at least 38?
False
Let t = -40.2 + 41.2. Which is greater: 575 or t?
575
Let s = -2313.1 - -2314. Let o = -3.1 - -3. Which is bigger: o or s?
s
Let v = 54 - 25. Suppose 0 = 5*z + 13 - 38, -q + 4*z - v = 0. Suppose 0 = -s + 2*m - 4, -2*s = -6*s - 2*m - 36. Is q greater than s?
False
Suppose -n = -2*x - 0*x + 4, -3*n = 6. Let p be (34/(-38))/(-1) - x. Suppose 0 = 10*d + 20 - 10. Which is greater: p or d?
p
Let x be (-1*1)/(1833/(-689)). Let w = 2/47 - x. Let c = 0 - 0.4. Which is bigger: w or c?
w
Let q = 27 - 25. Suppose -q*c - 71 = -101. Is c less than 14?
False
Let d be (-60)/210 + 2686/1911. Let l = 5/147 + d. Which is smaller: 2 or l?
l
Let t be (-1)/(-6)*3*4. Suppose 6*f - 5*u = t*f - 29, -3*f = -5*u + 28. Suppose 6*z = 2*z - 12. Is z < f?
True
Suppose 5 + 5 = 5*u, 5*x + 3*u - 6 = 0. Let i = 6.03 - 5.5. Let h = -0.43 + i. Which is greater: h or x?
h
Suppose -5*v + 4*v = -2*n + 11, -2*v + 6 = 3*n. Is v >= 9/4?
False
Let l = -127 - -133. Let y be (-4)/17*((-15)/l - -3). Let g(b) = -b - 2. Let r be g(-3). Is r smaller than y?
False
Suppose 0 = -3*m - 2*p + 30, -m + 4*p + 17 = 7*p. Is m at most 2/5?
False
Let d be (384/(-165))/((-12)/(-30)). Is -6 greater than d?
False
Suppose -q - 5*u = -8 - 16, -3*q + 4*u = -15. Suppose 8*o - 3*o + a + 8 = 0, -11 = -o + 4*a. Let v = o - q. Does -11 = v?
False
Let f be (-10)/204 + (-1 - 3 - -4). Let c = f + -733/306. Which is smaller: c or -1?
c
Let r be 1*(1*-1 - -1). Let l be (-18 - -21) + (-124)/40. Do r and l have the same value?
False
Suppose -h + 3*s = -9, 7 = 5*h - 4*s - 16. Which is greater: -2 or h?
h
Suppose -3*f = 4*d - 17, -3*f + d + 4 + 3 = 0. Suppose -f*v - 2*v = -20. Suppose -4*c - v*w = -3*c - 10, -2*c + 4*w = 4. Which is smaller: c or 4/5?
4/5
Let f = 4917.967 + -4916. Let t = f + 0.033. Is -4 >= t?
False
Let q be (-7)/((-644)/100) - 1. Is q less than -2/63?
False
Let f = -0.97 - -1.013. Let g = 15.957 + f. Is g greater than -3/4?
True
Let q be 11/(-55) - (1344/(-260) - -5). Let j(r) = r + 7. Let o be j(-7). Suppose o = -0*w - w. Is q > w?
False
Let y be 10/(-87)*(-396)/330. Let t be (4/(-18))/((-2)/3). Which is greater: y or t?
t
Let j be 1*(-2 - -3)*16. Suppose -4 + j = -4*h. Let s be 0 - (2 + 0/(-1)). Are s and h nonequal