1 or z?
z
Suppose 33 + 15 = -l. Let s = -46 - l. Let f be 20/(-3)*(-8)/20. Which is smaller: s or f?
s
Let b = -2437 - -3452. Which is bigger: 1 or b?
b
Let r = -10890 + 11235. Which is smaller: r or 0.3?
0.3
Let f = -1734 - -1756.1. Let p = -2 - 20. Let d = p + f. Which is greater: -5/3 or d?
d
Let w be 1/(-4 + (-1)/(-65)*261). Let a = w + -106. Let p = a - -44. Which is smaller: 0.2 or p?
0.2
Suppose -9*k + 122*k = -100*k. Which is smaller: 6/857 or k?
k
Let x = -286.85 - -277. Let m = 1155.9 + -1146. Let j = m + x. Is 1 less than j?
False
Let l = -199/2 + 105. Let b be (-66)/(-15) - 3/(-5). Let d = b - l. Which is smaller: d or 16?
d
Suppose 10*r = 6*r + 8*r. Is -33/52 greater than r?
False
Let c = -2939 + 3134. Are c and 197 equal?
False
Let s = -539 - -550. Suppose -13*b - s - 28 = 0. Let x = -2.6 - 0.4. Is b > x?
False
Let w be (1 + 0)/(73/156001). Is w < 2138?
True
Let k = 3459 + -1504. Suppose 47*b = k - 75. Is 42 smaller than b?
False
Let k be (16/10)/(5480/1500). Is k smaller than 0?
False
Suppose -5*f = -z - 19, -3 = 2*f - 4*z - 7. Suppose 0*v = f*v. Let j = v - -2. Does 12 = j?
False
Suppose 3*n - 8 = 2*n. Let w be ((-1)/2)/(n/160). Let g be ((-25)/w)/(-3*(-4)/24). Is g less than or equal to 21/5?
False
Let q = 12378.5 + -12380. Which is smaller: -86/9 or q?
-86/9
Let u = 320 + -291. Let g = 61/2 - u. Do g and 3.1 have different values?
True
Let t = 11310 + -101536/9. Let y = -30 + t. Which is smaller: y or -2?
-2
Let b = -265.8 - -384.8. Which is smaller: -0.1 or b?
-0.1
Let w be (-3)/6*(-11)/2. Let l = 38.4 - 39.4. Is w less than l?
False
Let k = 771 + -551. Let p be 666/5 + -9 + k/25. Which is bigger: p or 134?
134
Suppose 207*v - 135 = 198*v. Suppose -v*w = -w + 952. Are -68 and w unequal?
False
Let p(q) = 66*q + 2821. Let o be p(-60). Is -1138 != o?
True
Let z(t) = -t**2 + 79*t - 327. Let s be z(70). Which is greater: s or 307?
307
Let t(r) = 9*r**2 - 603*r + 99. Let n be t(67). Let y = 846519/8444 - 2/2111. Is y != n?
True
Let p = -14513 - -1915699/132. Are -1 and p equal?
False
Let x(y) = -6*y**2 + 90*y - 277. Let n be x(6). Are 41/2 and n equal?
False
Let g(t) = -t**3 + t**2 + t + 5. Let y be g(0). Suppose 3*l + y*h + 18 = 0, -8 = 5*l + h - 0*h. Let o be -6 - (-3 - 1) - l. Is o >= 2/7?
False
Suppose -42*p + 0*p = -420. Suppose 33*i = 28*i - p. Which is greater: -23/14 or i?
-23/14
Suppose 2*s = -3*x - 0*x + 22, 3*s - 31 = -4*x. Let o be x/5 - (-652)/10. Suppose -2*u + 132 = 2*v, -2*u = -u - v - 68. Is u greater than o?
True
Suppose -4*d - 1332 - 245 - 563 = 0. Let m be 4273*(34/(-16) + 2). Let h = m - d. Are 2 and h unequal?
True
Suppose -6*y + 10*y = 620. Is y equal to 0.3?
False
Let u = -72 + 143. Suppose 344 = -4*n + 4*w, -w = -n - 5*w - u. Which is greater: -84 or n?
n
Let h = 20243.8 + -20244. Let w(z) = z**3 + 6*z**2 - 3*z - 5. Let i be w(-6). Which is bigger: h or i?
i
Suppose -4*o + k + 43 = 0, 4*o - 4*k = 5*o + 2. Let y = o + 7. Suppose -2*u - r = -5*r - 24, -u = r - 21. Which is smaller: y or u?
y
Let p = -0.02 - 1.98. Let v = 1577.18 + -1583.18. Which is bigger: v or p?
p
Let y = -164 - -164.89. Let h = -35.49 + 35.38. Let k = h - y. Is k > -4?
True
Suppose -81*f - 300689 = -100*f - 180*f. Which is smaller: f or 1500?
1500
Suppose 2*r + 9*p - 10 = 13*p, 5*p + 23 = 4*r. Which is greater: 13 or r?
13
Let s = -13173.1 - -13173. Let g be (-1)/2 + (-26)/(-76). Is g bigger than s?
False
Suppose 0 = 2*b + 2 + 6. Let o be (-3)/2*(2 + b) - 4. Let g = 313 + -14084/45. Is g <= o?
False
Let o = 17989 + -1385091/77. Is 2 at most as big as o?
False
Suppose 6*f + 1 = -23. Let w be -1*f/20 - 338/(-10). Let d = -37 + w. Does d = 1?
False
Let u be 10/(-18) + 8/84*(-154)/33. Which is smaller: u or -56/117?
u
Let n = -2.4511 + 669.4511. Which is greater: -19 or n?
n
Let j(w) = -6*w**3 - 7*w**2 - 208*w + 1177. Let y be j(6). Which is bigger: y or -3235/2?
-3235/2
Let v = 30 - 36. Let c = -35 + 37. Suppose 7 = -u + c. Is u at least v?
True
Let m = -32059/67 + 478. Which is smaller: 1 or m?
m
Let u(f) = f**2 - 9*f + 4. Let w be u(9). Suppose 0 = 3*v + w*v + 273. Let s be v/35 + (-8)/(-8). Which is smaller: 0 or s?
s
Let t(b) be the third derivative of b**4/8 + 7*b**3/3 + 19*b**2. Let z be t(-3). Suppose w + 83 = o, -193 + 534 = 4*o + z*w. Is o not equal to 85?
True
Let a be 452232/352 - (3/4 + (-1 - 0)). Is 1285 greater than a?
False
Let t be 78503/(-76) + (-4)/(-16). Suppose w + 1043 = -3*l + 5*l, -3*w - 3124 = -5*l. Let c = w - t. Is 1 less than c?
False
Let y = -415 + 1222. Let g = 806.9 - y. Is -0.1 equal to g?
True
Suppose -86*x + 40*x = -4*u - 42*x - 87732, -2*x = 0. Are u and -21933 unequal?
False
Suppose 4*p = 4*d - 128, -4*d + 0*d + 122 = -p. Suppose 0 = -5*y + 4*k + 26 - 11, 0 = -5*y - 5*k - d. Let x(j) = 12*j + 2. Let f be x(y). Is -11 not equal to f?
True
Suppose 12*i = 13*i + 72. Let c be 8 + 297/(-36) - (-110)/i. Which is smaller: -1 or c?
c
Let n(q) = 10*q - 3. Let h be n(3). Let s = -86493 + 86526. Is s less than or equal to h?
False
Let c be 10 + 6 + (-12 - -8) - 10. Is 89/65 <= c?
True
Suppose 10 = -25*p + 27*p. Suppose -p*c + 233 = 133. Are c and 20 unequal?
False
Suppose 3*p + w = -w + 106, 3*p + 4*w = 116. Suppose -4*h - p = -4*n, -7 = 2*h - 4*n + 13. Let q be (-279)/28 - (200/(-35) - h). Which is smaller: q or -9?
q
Suppose -181*y - 1425 = -186*y. Let u be y/(-291) + (8 - 7). Which is smaller: u or -1?
-1
Let g = -0.71 + 0.48. Let s = 652.5 - 642.5. Which is bigger: g or s?
s
Suppose 7*j - 6 = 29. Suppose -3*r = 8*r + j*r. Does -18/29 = r?
False
Suppose -112*d + 514*d = -148*d + 1650. Suppose 0 = 4*r - 17 + 1. Is r >= d?
True
Let x be (15/4)/((-1)/4). Let u(h) = -358*h + 2492. Let g be u(7). Which is smaller: x or g?
x
Let u be 388*(27/(-30) - ((-72)/(-20))/(-9)). Is u >= -194?
True
Let w be -18*(-1604)/(-289520) - -2*(-2)/(-40). Which is smaller: w or 0?
0
Suppose 3*t - 97*k = -92*k - 7994, -t + 2*k - 2664 = 0. Which is greater: 0 or t?
0
Suppose 0 = z + 2*z - 4*c - 3136, 5*z = -2*c + 5270. Suppose 0 = 4*h + 8*i - 1088, 4*h + 0*i - z = 4*i. Are h and 266 nonequal?
False
Let u be 10946/17485 - (-33)/(-55). Is 0 less than or equal to u?
True
Let t(c) = -198*c + 5 + 202*c - 4*c**3 + 6*c**3. Let g be t(0). Which is greater: g or -13?
g
Let r be 888 + (-17 - -14 - 4). Is 884 at least as big as r?
True
Suppose 3*v = 5*m - 321, -v - 104 = 5*m - 417. Is m greater than or equal to -17?
True
Suppose 3*z + 1695 = 4*l - 2*z, 5*z = -4*l + 1665. Let a be 2/24 - 5495/l. Is -13 <= a?
True
Suppose -3140 = -15*r + 160. Let i = r + -2857/13. Which is smaller: i or -2/11?
-2/11
Let t be 8/(-14)*(0 + 70/(-20)). Let h be 2/2 - (21 - 18) - t. Which is greater: h or -4/3?
-4/3
Let q be (-26)/(-22) + (0 - 1). Suppose -4*y - 3*p + 72 = -7*y, y + 39 = -2*p. Which is smaller: q or y?
y
Suppose 3*a - 3*z = 301 - 25, 9 = 3*z. Let p = -13327 - -13423. Which is bigger: p or a?
p
Suppose -102*i - 62 + 180 = 16*i. Which is smaller: 48/179 or i?
48/179
Let r(a) = a - 1. Let x be r(-6). Let j = -126 + -154. Let z = 278 + j. Is x > z?
False
Let f(m) be the first derivative of -7*m**4 + 3*m**2/2 + m + 18. Let y be f(2). Let z = y + 2830/13. Which is greater: 2 or z?
2
Let k be (5/(75/(-486)))/(342/2565). Are -239 and k equal?
False
Let i = 10333 - 9803. Is i at most as big as 560?
True
Let l be 0 - 1/4 - 2. Let y = -158 - -155. Let t be (-5)/10*(y + 7). Which is bigger: t or l?
t
Suppose 0*a + 67 = 4*a + 3*n, -n = -5*a + 79. Suppose 2*t + 3*v - 10 = 0, v + 65 = 5*t + 23. Is a bigger than t?
True
Let o = -0.251 + -67.749. Let k = o + 56. Is k > 4?
False
Let a(k) = -32*k + 162. Let x be a(5). Suppose x*o + 240 = 18*o. Which is bigger: o or 5?
o
Let v = -245 + 249. Suppose 2*g + 5*y = 18, -y + 63 + 9 = v*g. Which is greater: 17 or g?
g
Suppose -44*o = -15 - 161. Is 57/17 at least as big as o?
False
Suppose 0 = -4*k + 9*k - 10. Suppose 19 = 5*m + 5*z - 16, m + k*z = 10. Suppose -m*y + 0*y = -204. Do 51 and y have the same value?
True
Let k = 143 - -375. Let r = 519 - k. Let b = 0.7 - -3.3. Are r and b equal?
False
Let k(j) = 38*j**2 + j + 1. Let z be k(-1). Let p = z - 32. Suppose -p = s - 8. Does 10/13 = s?
False
Suppose 2*r - 34 = -36. Let x be r*(3/5 - 126/225). Let c = 6 + -3. Which is bigger: x or c?
c
Suppose -42*a - 3*d = -38*a - 508, 5*d = -