61. Suppose -633 + 2313 = 20*p. Which is smaller: p or w?
w
Let o be 93/546 - 4/14. Let s(y) = -11*y - 340. Let r be s(-31). Is r greater than or equal to o?
True
Let k(t) = t**3 - 2*t**2 - 4. Let b be k(3). Suppose 1 = -4*h + b. Which is smaller: 6/5 or h?
h
Let g = 0.31 + 0.14. Let m = -0.55 - g. Which is smaller: 4/7 or m?
m
Let x(k) = 26*k + 5. Let u be x(1). Let t = u - 123/4. Are -1/25 and t non-equal?
True
Suppose -564*g = -568*g - 4. Which is bigger: -6/19 or g?
-6/19
Let m be (24 - 1) + -4 + 5. Suppose 2*f + m = 5*w, 3*w - w - 36 = 3*f. Let p be (-2 - 16/f)*9. Which is greater: -4 or p?
-4
Let l = -60 + 100. Suppose -5 = -5*x - l. Let d(i) = i**3 - 5*i**2 - 6. Let o be d(5). Which is greater: o or x?
o
Suppose -3*y - 11 = 1. Let h be 0/(4/y) + 2. Is 3 >= h?
True
Suppose -15*p - 5*p = 20. Which is greater: 1/430 or p?
1/430
Suppose 0 = 2*f - 6*h + h + 16, 2*f - 12 = -2*h. Let b be 4 - 161*4/104. Let c = -9/13 - b. Is f at least c?
True
Let m be (-4)/(-10) + 1 - 87/(-145). Let h be -3 + ((-879)/(-594) - (-3)/m). Which is bigger: 0 or h?
0
Suppose 0 = -r + 2*j + 15, -4*r + 3*j + 5 = -30. Suppose 0 = -r*a + 14 + 1. Is a greater than 17/4?
False
Let s be (35/27)/((-51)/18) + 1. Let t = 5/51 - s. Is t less than 1/6?
True
Let y = 149 + -245. Let g = 160 + y. Is g < 64?
False
Let c be (11/(-814))/((-1)/2). Which is bigger: c or -1?
c
Let b(d) = -6*d - 28. Let z = -81 + 74. Let a be b(z). Which is smaller: 13 or a?
13
Suppose -8 = -5*t - 2*q, 0 = t + 2*t + 3*q - 12. Let h(l) = -l - 37. Let p be h(-37). Is p smaller than t?
False
Let d be ((-45)/(-25))/(6/20). Suppose -d*i = -i. Let m = -207 + 2689/13. Is m <= i?
True
Let p = 3.02 + -3. Let i = p - 2.02. Suppose 0 = -9*u - 137 + 281. Which is smaller: u or i?
i
Let q = -38 + 65. Let s = 26.7 - q. Is 4 less than or equal to s?
False
Suppose -30 = 3*p - 3*m, -p + 0*m = -2*m + 6. Let n be 2 + 1 + 56/p. Which is smaller: -1.6 or n?
-1.6
Suppose -c - 7*c + 1344 = 0. Is 168 at least c?
True
Suppose 24*f + 3 = 27. Does f = -2/5987?
False
Suppose -17*j - 6*j - 69 = r, 0 = 5*j - 3*r + 15. Suppose 2*o - 1 + 3 = 0. Which is bigger: o or j?
o
Suppose -2*u + 7 = g, -3*g - 5 = -u + 9. Let t = 12 + g. Is 0.2 bigger than t?
False
Let j(k) = -k - 3. Let p be (-15)/10 - (-39)/6. Let b = 3 - p. Let d be j(b). Which is bigger: 2/9 or d?
2/9
Suppose 0 = 2*w + 1 + 1, -2*w + 91 = 3*g. Suppose -g = -5*r + 9. Which is smaller: r or 1?
1
Let q = -65315/7 + 9285. Let g = q + 46. Let m = 22 - 23. Is g greater than m?
True
Let l = 81 + -83. Does -14.8 = l?
False
Let d = -165.95 - -166. Which is smaller: d or 20?
d
Let i(d) = -d**2 - 2*d + 26. Let b be i(0). Let r = b + -25. Which is bigger: r or 1/15?
r
Let w = 13.2 - 14. Let d = 0.2 - w. Let z = -0.2 - -0.12. Are z and d non-equal?
True
Let w(m) = m**3 - 4*m**2 - m + 4. Let l be w(4). Let s = -34598/11 - -3145. Which is smaller: s or l?
s
Let m = -201 - -203. Which is bigger: -12 or m?
m
Let p(r) = -49*r + 392. Let a be p(8). Do 0.002 and a have the same value?
False
Let i = 260 - 256. Are -50 and i equal?
False
Let s = 2680 + -2682. Which is greater: 670 or s?
670
Suppose -4*d - 21 = -z, 2*d - 27 - 166 = -5*z. Let h be 9*(-240)/(-64) - 5/(-4). Which is bigger: z or h?
z
Let u = 2379 - 2239. Which is greater: u or -0.02?
u
Let b be (-155)/657 + 2/9. Let f be 56/(-84) + (-5)/(-3). Which is bigger: f or b?
f
Suppose -h + 6 = h, -5*o - 11 = 3*h. Are o and 1 nonequal?
True
Let s = -0.074 - 0.026. Is 0.092 less than s?
False
Let g be (-14)/(-1 - 3/(-2)). Suppose -3*y - 54 = 27. Which is bigger: y or g?
y
Let n = -45 + 45.1. Let z = -14377/6 - -2459. Let d = z - 62. Are n and d unequal?
True
Let t = 303 + -452. Let n = 148.9 + t. Which is greater: -8/7 or n?
n
Let m(z) = -8*z**2 - 64*z - 20. Let v be m(-8). Is v > -5?
False
Let n = 13 - -20. Let t = 33 - n. Which is smaller: t or -2?
-2
Let i = 198/67679 - 31821826/143141085. Let c = 2/705 - i. Which is smaller: c or -9?
-9
Let l = 956 - 1177. Are -222 and l nonequal?
True
Let k be (-6)/9*(-11 + 12 + 2). Which is smaller: 0.669 or k?
k
Suppose 0 = 4*r + 2*a + 910, 2*a = 4*r - 2*r + 440. Let j be (-185)/r + (-9)/15. Is j equal to 1/9?
False
Let i be -3 - 234/16*3. Let z = -47 - i. Let w(f) = -f + 4. Let g be w(3). Which is bigger: z or g?
g
Let x = 0.1863 - 0.4863. Let s = -3.6 + 0.6. Is x less than or equal to s?
False
Let k = -278 + 278.1. Is -127 at most as big as k?
True
Let w(b) = b**2 - 11. Suppose 7*s = 2*s - 20. Let u be w(s). Suppose -5*r - 6*v = -2*v - u, 4*r = 4*v + 40. Which is smaller: r or 6?
r
Let s(v) = -v**2 + 8*v + 6. Let a be s(5). Let f be a/(-6) - (-2)/4. Let b be ((-2)/f)/(-2)*-3. Which is bigger: 1/19 or b?
b
Suppose 3*u = 5*k + 675, 4*k + 240 = -5*u - 263. Is -132 at most as big as k?
True
Suppose -4*c - 57 = 2*m + 225, 0 = 2*c - 3*m + 153. Which is smaller: -71 or c?
c
Suppose i - 1 = -3*z, 2*i = -9*z + 4*z. Suppose 3*x + x + 8 = 0. Let t be 0*x/6 - z. Is -5 <= t?
True
Let d be -2*(6/(-2) - -1). Suppose 0 = o - 3*i - 19, 3*i = -6*o + d*o + 74. Let k = 33 - o. Which is smaller: 3 or k?
k
Suppose -7*c = -16*c - 63. Which is bigger: -5 or c?
-5
Suppose 325 - 333 = -8*d. Are d and -2/1787 equal?
False
Let m = -496747/21 - -23650. Let l = 33/7 + m. Suppose 193*h = 203*h. Are l and h nonequal?
True
Let l(m) = m - 1. Let z(q) = q**2 + 9*q + 10. Let a be z(-8). Let i be l(a). Let r be i + (-3)/(27/15). Are r and -2 unequal?
True
Let i(t) = 182*t**2 - 76*t - 151. Let u be i(-2). Do 2 and u have different values?
True
Let d = -3861/7 + 96259/175. Is -3 <= d?
True
Suppose 2*r + 3 = -k + 3*r, -31 = 5*k + 3*r. Let i be 5/k*2 + 3. Which is smaller: -4/21 or i?
-4/21
Let s be (-1)/2 - (-6)/4. Suppose 8*d = 3*d + 10. Suppose -d*t - s = 1. Are t and -2/31 nonequal?
True
Let h = 3 - -3. Suppose 0 = 5*v - h*v + 1. Suppose r + 3*s = -r - 11, r - s = 7. Which is smaller: v or r?
v
Let v be 5/(-3030)*1814 + 3. Which is smaller: v or -1?
-1
Let p be (-33)/(-42) + 4/(-14). Let c be 17/(-34)*35/2. Let m = c + 9. Is m less than or equal to p?
True
Let p = 6/1079 + 3171/11869. Is 1/4 at most p?
True
Let k be -57 - -51 - (-6670)/1112. Which is bigger: k or -1?
k
Let i(n) = n**3 + 2*n**2 - 4*n + 1. Let r be i(-3). Suppose -4*t + 0*t + 2*c = -104, 78 = 3*t - r*c. Let s = t - 105/4. Is s <= -1?
False
Let j(k) = -2*k**3 - 20*k**2 - 16*k - 18. Let w(b) = b**3 + 10*b**2 + 8*b + 9. Let m(u) = 3*j(u) + 5*w(u). Let s be m(-10). Is s <= 71?
True
Let n = 19/4 + -111/20. Is 1 greater than or equal to n?
True
Let n(k) = k + 6. Let o be n(0). Let v be ((-3)/o)/((-1)/(-2)). Let j(u) = -18*u - 111. Let r be j(-6). Does v = r?
False
Suppose -2*a = a. Let p = -3125/2716 - -3/388. Which is smaller: p or a?
p
Let d = 335 - 335. Does 1/18 = d?
False
Let t = -3/121 + 741/605. Let q = 3 + -12. Let v = q - -9. Which is bigger: v or t?
t
Let l = 33 + -17. Suppose 4*q + l = 0, 5*q + 34 = -z - z. Suppose 49*y - 61*y - 108 = 0. Which is smaller: z or y?
y
Let u(o) = -3*o**2 + 9*o - 4. Let k(x) = x**3 - 10*x**2 + 5. Let q be k(10). Let r be u(q). Which is bigger: r or -33?
-33
Let c = 1698 - 18654/11. Which is greater: -0.7 or c?
c
Let u = -5/3 + 17/12. Let r = 50 - 73. Is u < r?
False
Let d = 1745.1 - 1745. Suppose -4*l = 83 + 41. Which is greater: l or d?
d
Let n = -0.027 - 26.973. Let r = -25.1 - n. Which is smaller: 1 or r?
1
Suppose 7*f - 6*f + 22 = 0. Let l be (-9 - -11)/(f/4). Is l at least as big as 0?
False
Let h be 0*(14/4)/(-7) + 0. Let l be 1/4*(0 - -2). Are l and h equal?
False
Let i(u) = -u - 6. Let g be i(-19). Suppose 0 = -4*a - 5*l - 21, 0*a - 3*a + g = -2*l. Which is smaller: 1/18 or a?
1/18
Let q(i) = -i**2 + i + 12. Let o be q(4). Let z(n) = -n**3 - 8*n**2 - 8*n - 6. Let b be z(-7). Let g be b/(-13) + 1 + -1. Are g and o unequal?
True
Let z = -769 - -811. Which is bigger: 30 or z?
z
Let n = 1621 - 1606. Which is smaller: 82/5 or n?
n
Let u = 277 - 268. Is 17 bigger than u?
True
Let v = -594 + 611. Which is greater: v or 145/9?
v
Let w(b) = -b**3 - 7*b**2 - 3*b + 15. Let p be w(-6). Is -1.5 < p?
False
Suppose 5*l - 5*g - 45 = 0, -3 = -2*l + 4*g + 11. Let h be (40/l - 4)*-2. Which is smaller: h or 2?
h
Let o be (1 - 2)*(-9 - -7) - 331. Do o and -329 have the same value?
True
Let w be (-1)/4 + (-52)/(-16). Suppose -w*l = -0 - 12. Suppose 