(-37)/111)/(3/(-9)). Which is greater: p or 66/35?
66/35
Let f = 404 - 5. Let o be f/75*105/6. Let i = o - 93. Which is smaller: -1 or i?
-1
Suppose -2*g + 54 = -4*k, g + 28 = -3*k - 0*k. Suppose i + 21 = -0*i. Let b = i + 9. Which is smaller: b or k?
b
Suppose -4*q + 19 = r, -4*q + q = -3*r - 3. Let a be 98/(-539) + 2389/11. Let y = a + -427/2. Is y <= q?
True
Suppose 0 = 4*a + 28*a. Is 7 bigger than a?
True
Let b = 61.793 + -62. Let o = 138.207 + b. Is -1 <= o?
True
Let j = -17569/36 + 488. Which is smaller: j or 1?
j
Let h = 54 - 56.1. Let q = h + 15.1. Let m = q + -12.8. Which is bigger: 3 or m?
3
Suppose 6*y - y + 96 = -4*w, 5*y - 3*w = -68. Is -15 greater than or equal to y?
True
Let c be 1/(((-4)/(-6))/(28/(-21))). Let r be 13*(-1)/8 - 0. Is r less than c?
False
Suppose -2*d - 4*c = 0, 4*c = 6*c. Is 24/43 at least as big as d?
True
Let i = -23.4 - -23.37. Which is bigger: 2.1 or i?
2.1
Let b = -366.97 - -367. Are 50 and b non-equal?
True
Let n be (1/3)/(602/(-1008)). Is n >= 0?
False
Let h = -102/35 - -16/5. Do h and -35/3 have the same value?
False
Let t be 20/((-180)/27)*3. Let v = 14 + -9. Suppose -4*y = -3*m - 20, 4*m - 14 = -v*y - 51. Which is smaller: t or m?
t
Let t be (-1)/(-1)*(-4)/2. Let p be (-4 + 0)/(-4) - 3. Let o(d) = 2*d + 2. Let u be o(p). Is u less than t?
False
Suppose 3*d - 4 = 2*k + 1, -3*k = -d - 3. Suppose -15 = 3*s - 0*s + j, 0 = -k*s - 4*j - 10. Let u be (8/(-20))/(1/s). Which is smaller: u or 5/4?
5/4
Let v = 92 + -57.7. Which is greater: v or 1?
v
Let n be 30/(-70)*(-33)/9. Let l = 4 - 3. Is l < n?
True
Let o = 197.407 - -0.593. Is -1 equal to o?
False
Let b be (-13269)/70*(-418)/57. Let x = 1390 - b. Which is smaller: x or -1?
-1
Let l = 77 + -2. Let j = -526/7 + l. Let s be 3/(-3) - 0/(-26). Are j and s equal?
False
Let s = -0.34 - -0.04. Let j be (6/(-8)*-20)/3. Is s < j?
True
Let u = -32 + 18. Let w = u - -13.9. Is -0.7 less than or equal to w?
True
Suppose -3*k = 5*m - 10*m + 94, m - 5 = -4*k. Let q be (-3 - m)/(-4)*-9*1. Which is greater: -46 or q?
q
Let q = 108 + -1. Are 109 and q nonequal?
True
Let f = 236.736 - -1.264. Is -1/5 equal to f?
False
Let d(x) = 2*x**2 - 6*x + 7. Let v be d(2). Let f(m) = -m**3 + 8*m + 2. Let w be f(v). Does 1/89 = w?
False
Let v = -0.96 + -0.04. Let n(b) = 5*b**2 - 2*b - 2. Let g be n(-2). Is g < v?
False
Suppose -133 = -r - 6*r. Which is bigger: r or 1?
r
Suppose 0 = 62*m - 52*m - 70. Is m at least as big as 160/19?
False
Let c be (-1038)/(-22) - (-6)/99*-3. Is c at most as big as 44?
False
Suppose 20 = -f - 5*m, -3*f + 0*m - 20 = 5*m. Are f and 10/109 non-equal?
True
Suppose -33 = -10*j + 117. Suppose 6*r - j*r - 9 = 0. Is r at least as big as 3/10?
False
Let y = -1430 + 1428. Suppose -f + 5*i = -12, 2*f = -0*f - 4*i - 4. Let b(k) = k - 2. Let a be b(f). Do y and a have the same value?
False
Let k(m) = m**2 - 18*m + 54. Let g be k(7). Which is greater: g or -29?
g
Let a = 0.2 - 3.2. Suppose 2*r + x - 6 = 0, 5*r - 8 = -0*r + x. Suppose 2*g = -4, 0 = -4*f - r*g - 3 - 1. Is f not equal to a?
True
Let q = 10 - 65. Let k = -57 - q. Which is bigger: k or 7?
7
Let m be (-8)/16 - (3/2)/(-3). Let z = -1/20 - -9/20. Is z greater than m?
True
Suppose 4*l = 5*j - 3052, 3*j - l = 2*j + 611. Let z = j - 27358/45. Which is bigger: 0.3 or z?
0.3
Let h be 2*((-2)/4)/(5/(-10)). Let w be h/(-8)*(-2)/4. Are w and -1 non-equal?
True
Suppose d = 5 - 2. Let u be (0 - -2) + (-6)/d. Let k be 2 - 4 - (-5)/2. Is u at most as big as k?
True
Let w(t) = -2*t**3 - 13*t**2 + 2*t + 44. Let i be w(-6). Which is smaller: i or 12?
i
Let j be (-1464)/(-112) + 2/(-4). Let b = j - 778/63. Which is smaller: 51 or b?
b
Let x = 42 - 49. Which is smaller: -11 or x?
-11
Suppose 0 = 2*g + 2*g - 8. Suppose 3*w = 5*j + 45, w - 34 = -w + g*j. Let v be 8/w - 4/(-65). Is v at least as big as -1?
True
Let w = -1021 + 915. Is w bigger than -106?
False
Suppose -7*c - 28 = -0*c. Let q be (-6)/6 - (0 - -2). Let t be 10/(-4) - q/(-12). Does t = c?
False
Let y be 1491/15 + 18/30. Let x be -2*(-5)/y*-2. Are x and -3 equal?
False
Let m = 29.2 - 27. Let p = 2 - m. Let l = p - -11.2. Which is smaller: 2/9 or l?
2/9
Let q(p) = p**2 - p - 1. Let l be q(0). Let y(r) = 7*r**2 - r. Let n be y(l). Suppose n*s - u + 29 = 3*s, -3*s - u = 11. Are -6 and s unequal?
True
Let o = 858 - 1221. Is -363 > o?
False
Suppose 1048*n - 1042*n - 84 = 0. Which is smaller: 4.8 or n?
4.8
Let f(l) = -l**2 + 7*l + 30. Let q be f(-5). Is -59/2 < q?
False
Let q = -17 + 42. Suppose 0 = 30*a - q*a + 20. Which is bigger: 2 or a?
2
Suppose 0 = 3*y - 4*j + 35, -5*j + 2*j + 15 = -y. Let c(w) = -w - 2. Let o be c(8). Which is smaller: y or o?
o
Suppose 0 = -0*n + 3*n + 36. Let s be (-43)/(-3) - (3 + -1). Let y = n + s. Which is smaller: 1/4 or y?
1/4
Let g = -284 + 63. Is g not equal to -222?
True
Let z = -180 - -181.17. Let o = 0.17 - z. Which is greater: -4 or o?
o
Let x = -33 - -32. Let s be (-1 - 2)*(-4)/174. Which is smaller: s or x?
x
Let j = -7.94 - -6.94. Is j < -128/3?
False
Let q(k) = -k**2 - 9*k - 10. Let s be q(-4). Suppose 0 = -13*w + s*w - 57. Suppose 2*v + 90 = -5*g, -2*v = -0*g + 2*g + 30. Is g <= w?
True
Let x = 593132/10307 + -633/11. Let t = x + -2837/24362. Which is bigger: t or 2?
2
Suppose -4 = 2*o + 2*o. Let m be 240/(-36) + (4/(-4) - -7). Is m <= o?
False
Let b = -253 - -282. Is 28 less than b?
True
Let r(s) = s**2 + 3*s - 168. Let z be r(0). Which is smaller: -170 or z?
-170
Let v = 0.79 - 4.09. Let x = v - -4.3. Which is smaller: x or -10/11?
-10/11
Let k = -11 - -11. Let m be -2 + (-429)/(-213) + k. Let c = m - 149/497. Which is bigger: 3 or c?
3
Let x be (-40)/(-28) + (-60)/40. Is 14 greater than x?
True
Suppose 2 = 3*b - 1. Suppose -b - 7 = -4*d. Let t be 1/(0 + 1/d). Which is smaller: t or 2/5?
2/5
Let m(h) = -h**3 - h**2 + h + 1. Let u be m(-1). Let l be u/(2 + -3)*1. Is 6/11 at least l?
True
Let b be 2/(-8) + 18/8. Suppose -6 + 0 = -b*v. Suppose -2*k = -3*j - 21, 0 = -2*j + 8*k - 12*k + 2. Are j and v nonequal?
True
Suppose 0 = 7*t - 17*t - 20. Which is smaller: -18/11 or t?
t
Let i be 4/2 + 13/(-9). Let p = 2811 - 2811. Does i = p?
False
Let r = -0.087 + 2.187. Which is greater: -0.1 or r?
r
Let u = -1 - -6. Let a = -11/2 + u. Let l = 96 - 89. Is l greater than a?
True
Let w be (13/((-481)/(-6)))/2. Let b = 3 + -2. Which is smaller: w or b?
w
Let x = -1537/2838 - 1/258. Suppose 3*n = -5*o - 8, 0*o + 3*o = -3*n - 6. Let z be 1/2 + o - 3/6. Which is bigger: x or z?
x
Suppose -2*w - 7 = -c - 2, 3*c = 4*w + 9. Suppose 9 = 3*d - 2*l, 2*l = 2*d - 2 - 6. Is w less than d?
True
Let h = -74.7 + 75. Let y = 0.01 - 8.01. Let q = 7.6 + y. Which is greater: h or q?
h
Let a = 24 - 20. Suppose -2*i + j + a = 0, 3 = -3*i - j + 9. Let t = -1 - -3. Is i at least t?
True
Suppose -4*k = -9*k + 60. Let z be 15/k*(-4)/(-10). Let r be ((-2)/(-8))/(9/18). Is z <= r?
True
Let t = -24 + 19. Let p(u) = -u + 1. Let w be p(0). Let b be (w + -2)/((-3)/(-15)). Is t >= b?
True
Let m(g) = -2*g - 11. Let c be m(-7). Suppose -2*j + 5*d = 43, -c*j - 16 = d + 6. Is -10 greater than or equal to j?
False
Let i = 18 - 15. Let q = i + -4. Let p = q + -4. Which is bigger: -1 or p?
-1
Let v = 2.1 + -2.21. Suppose 11*a - 10*a = 6. Let o be ((-1)/a)/((-6)/(-24)). Which is smaller: v or o?
o
Let y(n) = 7*n**2 - 5*n - 31*n**3 + 32*n**3 - 4*n. Let t be y(-8). Is t < 48/7?
False
Let g = 6 + -3. Let s be 26/6 - (-10)/(-30). Is g <= s?
True
Let i(x) be the third derivative of -x**5/30 + x**4/24 + x**3/2 - 2*x**2. Let c be (2/2)/((-6)/(-12)). Let d be i(c). Are -3/2 and d nonequal?
True
Let j = -9 + 10.7. Let f = 9.3 - j. Let r = 2.6 - f. Which is bigger: r or 0?
0
Let m = 10153/18 - 564. Let s(c) = 0*c + 2 - c + 3. Let u be s(6). Is m != u?
True
Let b be (-2)/(-5) - (-1942)/(-60). Let j = 205/6 + b. Suppose 3*m - 2*h = 5*m + 2, -16 = 4*h. Which is greater: j or m?
m
Let t = -4 + 6. Let f be -4 + t + (-4)/(-2). Let l be (f/(-4))/(-4 - -3). Which is bigger: 2/15 or l?
2/15
Let l = 4/543 - 1661/4344. Is -33 not equal to l?
True
Let m be (-6)/10 - (-12)/20. Is 4/41 less than or equal to m?
False
Let j = -81068/9 - -1034948/117. Let u = 162 + j. Let y be ((-1)/(-1))/(2 - 1). Which is smaller: u or y?
u
Let r = 285 - 420. Let f = r - -133.4. Let u = -0.8 - -1. Which is greater: u or f?
