 - 19. Let g be 2/15*15/(-9). Which is smaller: u or g?
g
Suppose -8*l - 3544 + 150 - 3638 = 0. Is l <= -881?
False
Let w = -3647/3 + 1223. Are -65 and w equal?
False
Let x = -2357 + 2894.5. Is 1/2 > x?
False
Let d(v) = -9*v**2 + 20*v + 549. Let k be d(9). Which is smaller: -14/1419 or k?
-14/1419
Suppose 186*f - 97*f - 1776 = 85*f. Is f at least 442?
True
Let l = 8588 + -8588. Is l not equal to -0.631?
True
Let n = -1.6772 - -9034.6772. Which is greater: n or -1/4?
n
Let k(c) = -2*c**3 + 3*c**2 + 10*c - 4. Suppose -14*p - 13 = -69. Let u be k(p). Suppose 5*b = -87 - 138. Is u less than or equal to b?
False
Let h = 107.27 + -104. Let b = 75.27 - h. Which is greater: b or 1/3?
b
Suppose -2*t + 3*a = -0*t + 43, 2*t + 37 = -3*a. Suppose -u = d + 8, u - 1 = 3*d + 7. Let z be 52/t - d - 1. Which is bigger: 1/24 or z?
z
Let z = -34.4 + -7.6. Let o = 29 + z. Which is smaller: o or -0.02?
o
Let q = 6885 + -7522. Which is greater: -2551/4 or q?
q
Let u be 22800314/(-17515248) + (-4)/(-3). Let q = u + -3/632. Which is smaller: q or 0?
0
Let s(a) be the first derivative of -a**4/4 - 7*a**3 + 16*a - 90. Let w be s(-21). Which is smaller: w or 79/5?
79/5
Let m = 169352/1975 + -2072/79. Which is smaller: m or 61?
m
Let u = 0.1 - 1.1. Let j = 517 - 138. Let p = -381 + j. Do u and p have the same value?
False
Let w = -2.08 - -1.732. Let k = 0.148 + w. Are -7/3 and k equal?
False
Let p = 0.291 - 16.991. Let v = -18.7 - p. Let t = -1.5 + 0.9. Which is greater: v or t?
t
Let f(a) = -a**3 + 12*a**2 + 18*a - 47. Let p be f(13). Let q be (p/21)/((-18)/(-252)). Is q > 78/7?
True
Suppose -3 = 3*m, 11*d - 6*d - 3*m = -52. Suppose 0 = 5*r - 2*c - 56, 5*r - 36 - 30 = -3*c. Let p be (r/(-24))/((-1)/(-26)). Which is greater: p or d?
d
Let w = -133 - -131. Let q be (-36366)/1320 - w/(-8). Which is bigger: -28 or q?
q
Let q = -41.966 - -42. Let d = -0.0339 - -0.9999. Let s = d + q. Which is bigger: 17 or s?
17
Let n = -1054 + 751. Let f = n - -323.3. Let z = f + -17. Are 1 and z non-equal?
True
Let g be 2 + 1415/75 + (-2)/(-15). Let f be 1/(-7) + (-46123)/(-2156). Is g < f?
True
Let x = -2028.1 - -1973.9. Is x <= -20?
True
Suppose 14*z = -0*z + 56. Let y be (2 - (-518)/(-105)) + z. Is y != 2?
True
Let t = -5 + 7. Suppose 0 = -t*l - 11 - 1. Suppose 74*b - 76*b = s + 7, -4*s = -4*b - 44. Is b < l?
False
Let m be (-481)/5005 + (-15)/(-75). Is 5 greater than or equal to m?
True
Let h = 55 - 54. Let p(d) = -d**2 + 9*d - 20. Let z be p(5). Let k be (42/(-36) + 1)*(z - 2). Is h less than or equal to k?
False
Let h = 2076 - 2036. Which is greater: 63 or h?
63
Suppose 13*t - 56 + 446 = 0. Let x be ((-2)/12)/((-5)/t). Which is smaller: -7/4 or x?
-7/4
Let x = 4999 - 4948. Which is smaller: x or 42?
42
Let c be (-6 + -5)/(0 + -1). Let h be c - 9 - (-639)/(-4). Let i = -157 - h. Which is greater: i or 2?
2
Suppose -2*x - x + 81 = 0. Let a be 15/(-30)*(-30*22 + -2). Let q = a + -305. Is q bigger than x?
False
Let v = -2766.3 + 2766.9. Do v and 872 have the same value?
False
Let w(y) = -y - 3. Let q be w(-9). Let n be 3/6*(q - -2). Suppose 0 = -n*s - s. Which is smaller: s or -10/9?
-10/9
Let i = -4366 + 5525. Which is smaller: 1156 or i?
1156
Let c = 80 + -100. Let a be 3 + (-14)/8 + -1. Which is bigger: a or c?
a
Let y = 148 - 139. Suppose -y*a - 16 = -a. Is a less than -36/17?
False
Let a = -281 - -278.58. Let c = -3.42 - a. Which is smaller: c or -4/73?
c
Let r(p) = 2*p**2 - 94*p - 660. Let i be r(24). Which is smaller: -5 or i?
i
Suppose -5*n = 47*n - 5*n + 3901. Which is smaller: n or -1560/19?
n
Let c = 103913 + -519563/5. Let t = -285 + 399. Let u = 77 - t. Is u at least as big as c?
False
Let u = 0.0219 - 0.0199. Let m = -0.2568 + -1.8452. Let j = m + u. Is j greater than -0.1?
False
Let t be ((-114)/(-608))/(18/136). Let v = 37/28 - t. Which is smaller: v or -1?
-1
Let v = 424 + -687. Let s = v - -266. Which is bigger: s or -12/5?
s
Let d = -101553/25 - -4064. Are 2 and d nonequal?
True
Let v = -0.2 + -1.9. Let i = -5.1 - v. Which is bigger: -32 or i?
i
Let b = 0.3633 - 4.3633. Let f(y) = 0*y**3 - y + 1 - 3 + 1 + 2*y**2 + y**3. Let i be f(-2). Which is bigger: i or b?
i
Let t be (-9)/3*(-2)/3. Suppose 761*c = 770*c + 9. Let j be (-4 - c) + t + (-124)/(-132). Which is smaller: 0 or j?
j
Let o(x) = -x**3 + 8*x**2 - 10*x + 81. Let p be o(8). Are 2/63 and p nonequal?
True
Suppose 2*a + 5*i = a + 111, -i = -2*a + 167. Let g = -107281 + 107364. Which is greater: a or g?
a
Let r = -224 + 223.883. Let q = 0.217 + r. Let u = -156.33 - -157. Is u >= q?
True
Let a(c) = 7*c**2 + 3*c + 19. Suppose -7 = 4*m + 5. Let l be a(m). Let s = -74 + l. Is s bigger than -2/163?
False
Let g = -0.118 - 6.072. Let r = g + 162.19. Are -2 and r nonequal?
True
Let z be (1 - 133)*2/3. Let k be (9 + 220/25)*(3 - (6 - -2)). Is z less than k?
False
Let u be -2*(-2 + (-3)/(-6)). Suppose -4*t = -u*d - 530, 5*t - 2*d - 680 = -7*d. Suppose 3*h = -2*j + 51, -5*j + 0*h - h + t = 0. Is j at most as big as 1?
False
Let u be (-136)/34 - (-1 + 1). Let b be (-3)/(u/(-12) + (-651)/1872). Which is smaller: b or 209?
b
Let d(x) = 2*x**2 + 5*x + 1. Let l be d(-2). Let j be l*(-6 - -4 - -2). Suppose -6*r + r + 5 = j. Is r not equal to 1/35?
True
Let u be (-44)/(-55) + 661/5. Let n = -142 + u. Do n and -2 have different values?
True
Let k = -746 + 753. Let c be -283 - ((k - -1) + -2). Is -289 at most as big as c?
True
Let h(u) = -3*u**3 + 19*u**2 - 85*u - 5. Let a be h(6). Let k = a - -479. Is -12/71 <= k?
True
Let o(d) = -d**3 + d**2. Let r be o(0). Let s = 165 + -154. Let w be (-2)/(-26)*(-11)/s. Which is smaller: w or r?
w
Let w be 3630/(-770) + (-10)/(-2). Which is smaller: w or 374?
w
Let i = 0.1 + -0.1. Let k = -6.7999 + 6.85. Let r = k - 0.5501. Which is bigger: i or r?
i
Let w be 24/(-72) + (-1806)/9. Suppose -44*t - 1650 - 7150 = 0. Is w > t?
False
Let r = -5.41 - 103.59. Let p = -298 - -407.2. Let n = r + p. Is -2/33 <= n?
True
Let n = -47431/1957 + 464/19. Which is bigger: n or -1?
n
Let d be ((-507)/(-11492))/((-1)/(-48)). Let m(w) = -2*w - 13. Let n be m(-8). Is n less than d?
False
Let p be 0/((-4)/(-10)*45/(-18)). Suppose p*x + v = -2*x + 73, 5*x - 200 = v. Is 39 != x?
False
Let d(p) = 2*p**2 + 54*p - 57. Let w be d(-28). Which is greater: 78 or w?
78
Suppose 4*f + 405 = -90 - 97. Is f at least -597/4?
True
Let r(f) = 22*f**2 - 21*f - 63. Let u be r(-4). Let t = u + -372. Which is smaller: t or -31?
-31
Let s = 1.01 - 0.01. Let x = 128.4 - 26.4. Is s less than or equal to x?
True
Suppose -19*n + 24*n = -15*n + 51580. Is 2579 smaller than n?
False
Suppose 2*f - 15 = -f. Let s(w) = -w**2 + 21*w - 90. Let c be s(6). Suppose c = r + 1, -5*o + 29 = 3*r - 2*r. Is f bigger than o?
False
Let d = -133.19 - -133.59. Are 3.048 and d non-equal?
True
Let r = -16568.2 + 16603. Which is smaller: -4/7 or r?
-4/7
Let n be -2 - (5 - (-62610)/(-8946)). Let b = n - -11974/34293. Is 0 bigger than b?
False
Suppose -7*u - 57 + 22 = -28. Does 326 = u?
False
Let q = -18 + 22. Suppose -2*v + 5*y = -7*v + 60, q*y = -3*v + 41. Let s be (v + -4 + -2)*(-51 - 0). Is -51 not equal to s?
False
Let k be (-9*(-66)/(-28))/(105/60 + -1). Which is smaller: k or -29?
-29
Suppose -2*l = 28*l. Are -10/87 and l equal?
False
Suppose l + 26 = u + 31, 0 = u - 5*l + 29. Let i be (308/76)/1 + -4. Is i less than or equal to u?
True
Let g = 1330 + -1383.145. Let b = 0.145 + g. Which is smaller: b or 1/5?
b
Suppose 4*k + 469 = -1363. Let x = -460 - k. Is x not equal to -223?
True
Let k be (-34)/102 + 1/21. Is 3552 < k?
False
Let s = 17357 + -16736. Which is smaller: s or -4?
-4
Let f be -2*1 + (31 - -312). Let w = f - 2390/7. Which is bigger: -3/5 or w?
w
Let u = -27/1054 - -46565/7378. Suppose -5*v + 5*y = -10, -5*v + 2 - 4 = -2*y. Let g be (2 + (-3)/2)*v. Which is smaller: g or u?
g
Let r be 5*(-4 + 19 + -4). Suppose 4*j + 29 + r = 2*c, -3*c = j + 14. Let u = j + 12. Is u at least -66/7?
True
Suppose -272*g + 5*t + 2 = -275*g, -5*t = 5*g. Which is greater: g or 40.34?
40.34
Let q = -2 - -4. Suppose 2*j = -q*j + 12. Let m be j/(-2) - (-18)/84. Is -1 >= m?
True
Let z = -0.1 + -0.2. Let x = 105.8 - -6.2. Let u = x + -125. Which is bigger: z or u?
z
Let s(r) = r**2 + 7*r - 4. Let l be s(-9). Let m be (-1356)/(-3640) + 2*1/l. Let j = m + -3/26. Which is smalle