62. Let r be t(-140). Which is greater: r or d?
d
Let u be (3/(-9)*-3)/((-2)/(-14)). Suppose 2*n + 4*m + 18 = 0, -2*n + u*n = 5*m. Suppose y + 10 = -y. Which is bigger: y or n?
n
Suppose 17*s = 19*s - 16. Let z be s*-2*5/4 + 2. Let v be (-2 - (-399)/270) + (-4)/z. Which is smaller: v or -1?
-1
Suppose 3*a = -o + 1, -5*a - 4*o = 56 - 46. Let y be -4*(5/4 + -2). Suppose -5*k + y*k = a*k. Is 0 >= k?
True
Let g = 1723 + -1721.1. Does 0 = g?
False
Let r = -43/3954 - 3184817/193746. Is -15 < r?
False
Let r = 29.775 - 4.645. Let l = r - 1.13. Let z = 24.1 - l. Which is bigger: 28/5 or z?
28/5
Let p = -34716.96 + 34717. Let f = -28 + 42. Is p < f?
True
Let y be (13/(-130))/((-8)/100) - (-1690)/(-1288). Let a be ((-2)/1)/(92/(-16)). Let i = y + a. Is i at most as big as -1?
False
Let y = -2.111 + 0.011. Let b = -9728 + 9727.9. Are y and b non-equal?
True
Suppose 1 = -4*c - 7. Let h = 8 + c. Suppose -3*w + 207 = h*w. Which is greater: 22 or w?
w
Let o be 94/8 - (44/16 - 2). Suppose 3*f = -3*x + 3, -6*f = -9*f - 5*x - 5. Suppose -p - 4*m + 3 - 8 = 0, -2*p + 42 = -f*m. Is o < p?
False
Let n(h) be the second derivative of -h**4/12 + 25*h**3/6 + 9*h**2 - 6*h + 7. Let g be n(25). Which is smaller: 0 or g?
0
Let o = 28 - 32. Let n = o - -6.3. Let q = n + -2.3. Which is bigger: -26 or q?
q
Suppose 0 = 4*s - 9*y + 5*y - 680, 5*s - 800 = -5*y. Suppose s*w - 154*w = -11. Which is bigger: w or 2/243?
2/243
Let p = 7.374 - 7.474. Is p greater than or equal to 1431?
False
Let i be (-9)/(-51)*(-151)/(-302). Is -1 bigger than i?
False
Let h = 152 - 148. Let v be (-266)/980 - ((-10)/h - -2). Which is smaller: v or -1?
-1
Let q(t) = 224*t - 4478. Let v be q(21). Do 218 and v have different values?
True
Let a(b) = -b**3 - 24*b**2 - 25*b - 35. Let u be a(-23). Is u less than or equal to 374/31?
True
Let o = -161939 - -161938. Let j(u) = 96*u. Let h be j(1). Do o and h have the same value?
False
Let m be -4 - (-88)/12 - 4*1. Let j = 118 - 291. Which is smaller: m or j?
j
Suppose 5*i + 182 = 4*d + 7*i, -d + 3*i = -49. Suppose -2*k = -d + 28. Suppose 16*f - k = 7*f. Which is smaller: 1/50 or f?
1/50
Suppose -5*f - 824 = -2*b - 9*f, -3*f = b - 414. Let q = b + -414. Which is bigger: 0.13 or q?
0.13
Suppose 710 = 3*a - 13. Let b = -198629 - -198869. Which is greater: a or b?
a
Let l(j) be the first derivative of j**2/2 + 10*j - 78. Let q be l(-11). Is -3/134 < q?
False
Let w be 519/12 + (-2)/8. Let n = w + -43. Suppose s - 1 + 10 = 0. Is s > n?
False
Suppose -17 = -2*m - 21. Let c be m*(-282)/(-20) + 12/(-15). Which is bigger: c or -27?
-27
Suppose 5*b = 3*r - 3969, -3*b - 5*r + 1561 = -5*b. Is b at most -798?
True
Let k(p) = p**3 + p + 9. Let w be k(-3). Let n = 20 + w. Suppose 2*r + 2*v - 4 = 0, r = -r + v - 11. Which is smaller: r or n?
r
Let s = -104 + 104. Let d be 1/5*(s - -30)/6. Is -2/379 at most as big as d?
True
Let g = -5004 - -4485. Is g at least -518?
False
Let u(t) = t + 10. Let q(h) = -h**3 - 7*h**2 - 4*h + 16. Let s be q(-5). Let f be u(s). Let k be (-6 - f)*3/3. Are 1 and k non-equal?
True
Suppose 0 = a + 5 - 1. Let n be (a + 8)/(-4)*-3. Let f be 21/(-14)*(1 - 3). Is n smaller than f?
False
Let t be (-1600)/1056*(-3384)/10. Which is smaller: 513 or t?
t
Let q be 0/21 + (-1)/(1/(-14)). Suppose q*m = 10*m - 8. Which is smaller: m or -54/17?
-54/17
Let q = -0.043711 - -2098.943711. Is q greater than -1?
True
Let d(r) = r**3 + 6*r**2 - 11*r - 7. Let n be d(-7). Let w be n + (4 - (5 + -2)) + -2. Let h(c) = -c**3 - 8*c**2 + 8*c - 7. Let f be h(-9). Is w equal to f?
False
Let k = -174.9467 + 175. Let a = -0.1533 + k. Is 1 smaller than a?
False
Let m = -12110 - -12085. Suppose 3*c = -c - 96. Is c less than or equal to m?
False
Suppose 148*d - 4*i = 147*d - 5214, -5*d - 5*i = 26245. Which is greater: d or -5243?
d
Let n = 10871 - 10035. Is 1671/2 >= n?
False
Let q(o) = -o**2 - 41*o - 76. Let d be q(-2). Which is smaller: d or -2/303?
-2/303
Let b be 9/((-990)/310) - (3 + -4). Is -10 equal to b?
False
Let g be 9/15 - (2 - 1). Let q(h) = -h**3 + h**2 + 28*h + 19. Let y be q(-6). Which is bigger: y or g?
y
Let c = -4 + 4. Let s = c - -11. Let l = -2465 - -14791/6. Is l smaller than s?
True
Let j = -1 + 4. Let b = 5 - j. Suppose -69*h = 105*h - 30*h + 144. Which is smaller: b or h?
h
Let x = -12 - -25. Suppose 14*g - 16*g - 2 = -5*j, -3*g = 5*j - 72. Which is greater: g or x?
g
Suppose 16 = -63*u + 67*u. Suppose 0*w + c + 48 = w, 5*c + 194 = u*w. Suppose -20 = 45*g - w*g. Does g = 20?
True
Suppose 4*j - 1 = -3*a - 0, 3*a = j + 26. Let d(k) = -2*k**2 + 15*k - 5. Let f be d(a). Is 15/8 smaller than f?
True
Let d = -537115/7 + 76588. Which is smaller: -144 or d?
-144
Let c = -9642 + 9452. Which is greater: -189 or c?
-189
Let w = -8072/3 - -2548. Let k = -144 - w. Suppose 0*b + 4 = -4*b. Which is bigger: b or k?
b
Suppose b - 4 = -3*l, -b + 31 = 2*l - 6*b. Let r(n) = -n - 3. Let t(i) = i - 1. Let z(g) = -r(g) - 2*t(g). Let u be z(l). Are u and 0 nonequal?
True
Let r be 2 + (2/4)/((-225)/(-397362)). Let f = 885 - r. Is f at most as big as -1?
False
Let g be (-1)/(3 + -6)*3. Let b be (-285)/30*(2 + 1/5). Let f = 4803/230 + b. Is g greater than or equal to f?
True
Let h = -3209 + 3208.5. Which is smaller: 11/13 or h?
h
Let s = -158 + 31. Suppose -672 = 28*p + 2884. Is p less than s?
False
Let p = 37.998 + -38. Let u = 344.802 + -367.8. Let g = u + p. Is -1 bigger than g?
True
Let f = -20.754 + 20.64. Do f and 2 have the same value?
False
Let c(o) = -o**3 + 13*o**2 - 17*o - 58. Let n be c(9). Do 110 and n have different values?
True
Let v be 858/(-55) + 12/(-30). Let j be (-4)/v*(-220)/11 + -3. Let q = -3778/7 - -532. Which is smaller: j or q?
j
Suppose 2*z + z + 21 = 0. Let b be (-1 - -2)/((-11)/(-836)). Let l = 76 - b. Which is smaller: z or l?
z
Let y = -16218 - -16227.549. Let g = 9.5 - y. Let j = -0.029 - g. Which is smaller: -3 or j?
-3
Suppose 22 = 3*j - j. Suppose 3 = -2*r + j. Let y be -8 - (7 - 11 - 6). Which is smaller: y or r?
y
Let x = 66.55 - 67.355. Which is smaller: -1 or x?
-1
Suppose -33 = -4*d - 89. Let a = d - -9. Let b be (-2 - (1144/16)/(-11)) + -8. Is a greater than b?
False
Let t(r) = -r**2 - 40*r + 688. Let z be t(-53). Which is bigger: z or 1/2797?
1/2797
Let c = -17219 + 17307. Is c smaller than -19/4?
False
Suppose 22 = -2*a + 3*a. Suppose 2*c - 3 = 5*c, 3*c - 172 = 5*w. Let x be (2 + w/10)/((-6)/88). Is x greater than or equal to a?
True
Let g = -568 + 1013. Let z = 1399 - g. Let l = z + -4791/5. Which is smaller: -3 or l?
l
Let c = 3179 - 3258. Is c equal to -91?
False
Let t = -44 - -48. Suppose t*u = -0*u + 2*r + 132, -r = 3*u - 94. Let f = 30 - u. Is -36/11 > f?
False
Let l = 794 - 794.17. Let f = -0.11 - l. Does f = 21?
False
Let h = 16771/7 + -2396. Which is bigger: -117 or h?
h
Let z(h) = 26*h**2 - 39*h - 38. Let i be z(-1). Which is smaller: -110/7 or i?
-110/7
Let n be 0 - -2 - 22/(-11). Let c(f) = 2*f**2 - 6*f - 8. Let x be c(n). Are x and -2/43 unequal?
True
Let g(h) = h**3 - 10*h**2 + 11*h - 15. Let r(a) = 2*a**2 + 27*a + 22. Let u be r(-13). Let o be g(u). Are o and -34 equal?
False
Suppose -2*h + 3111 = 37*t - 40*t, -2*h = 5*t - 3135. Is h <= 1561?
True
Let j = 78064649/617 + -126523. Does -1 = j?
False
Suppose 22512 = -2*b - 46*b. Let t = 431 + b. Which is smaller: -0.2 or t?
t
Let c(l) = -8*l + 6. Let r(n) = 2*n + 8. Let f be r(-4). Let s be c(f). Let b be (1 - s/4)/((-2)/(-4)). Is -1/25 at least as big as b?
True
Let z = 1.7951 - 2.0951. Is z >= 133?
False
Let l(b) = -16*b - 63. Let u be l(-3). Let h be 36/18*u/2. Is h > -19?
True
Suppose -27*n + 22 = -25*n. Let m = 60 - 33. Let y = -17 + m. Is y not equal to n?
True
Let j = 1100.18 - 1100.2. Which is greater: 440 or j?
440
Suppose 367*y + 217 = 174*y - 362. Which is smaller: y or -70?
-70
Let j be ((578/3)/2)/(11/33). Is 301 > j?
True
Let c be (-12)/(-15) - 7135086/(-2530). Let w = c - 2821. Suppose 10 = -y + 5, -5*i - 4*y - 20 = 0. Does w = i?
False
Let j = -297261/233 + -113405/15844. Let v = j + 1283. Is v smaller than 1?
True
Let w = -86 + 89. Suppose 4*f + 2*o = 4, w*f - 2*f - 1 = 3*o. Let g be 2/(-5) + 57/55. Are f and g nonequal?
True
Let a be (-104)/20*(46/(-437) + (-8367)/114). Which is smaller: 381 or a?
381
Let r = 625 - 625. Suppose 3*g = -3*b + 3, 2*b + 3*g - 2*g - 1