1 = -22*s. Suppose -28 = 3*p + 2*n + 39, -s*n = -5*p - 133. Which is smaller: p or -30?
-30
Let s = -236 - -247. Suppose -n = 4*r + 49, -n + r - s = 18. Do -98/3 and n have the same value?
False
Let w = 77.95 - 0.95. Let g = -31 - w. Let m = g - -107.7. Which is greater: m or -7?
m
Let h(i) = -2*i**3 - 3*i**2 - 2*i - 6. Let m be h(-3). Suppose 19 = 3*o + n, -6*n = -5*o - 3*n + 27. Suppose m = o*z - 69. Is 13 less than or equal to z?
True
Let f = 51 + -186. Let d = f - -135.5. Is 3/5 greater than d?
True
Let b be -2*(3 - 2)*(-2769)/78. Let v = b + -130. Is v >= -60?
True
Suppose 34 = -11*d - 164. Suppose -104 = 4*z - 2*o, -8*z + 5*z - o = 88. Is d smaller than z?
False
Let p = -4340 + 4581. Is -3 at most p?
True
Suppose -28*t + 44*t = -78*t + 12972. Which is smaller: 1787/13 or t?
1787/13
Let g be (-8)/4 - (-2 - 4). Let f be -3 - ((-28)/(-48) - g). Let p = -74 - -73. Which is smaller: p or f?
p
Let p(s) = -3*s**2 - 15*s - 42. Let n(r) = 16*r**2 + 73*r + 209. Let o(v) = 2*n(v) + 11*p(v). Let x be o(-17). Let a = -21 + 13. Is a at most x?
False
Let r = 61.4 - 29. Let k = r - 32.5. Which is greater: 9.1 or k?
9.1
Let l = -36 + 71. Let s(o) = -169*o + 14742. Let b be s(87). Is b greater than or equal to l?
True
Suppose 3 - 3 = 68*h. Which is greater: h or 20/423?
20/423
Let n = 102 + -75. Let f = n - 27.039. Let k = f + -0.061. Which is smaller: 2 or k?
k
Let w be (((-20)/(-8))/(85/51))/3. Which is bigger: w or -1/209?
w
Let s be (-63)/(-7)*3 + -27. Is s at least as big as 2/1943?
False
Let i = -327 + 266. Let q = 2012/33 + i. Is q > 2?
False
Let a(x) be the second derivative of -8*x**3/3 + 64*x**2 - 3*x + 4. Let r be a(8). Does 1/20 = r?
False
Suppose 6*b + 37 = -59. Let v(l) = 2*l**2 + 39*l + 93. Let x be v(b). Which is smaller: -12 or x?
x
Suppose 108 = -20*w - 92. Let p be 6/w + 90/25 - -3. Let s = 11 + -6. Is s less than or equal to p?
True
Let h(f) = f**2 + 5*f. Let w be h(-5). Let o be (0 + 1)/(-1)*-190. Let n = o + -1523/8. Is n at most as big as w?
True
Suppose 282 = 4*q + 3*r, r + 142 = 2*q + 3*r. Suppose -4*h - 57 = 3*n + 7, n + q = -5*h. Let k be h/(-39) + (-74)/6. Is k not equal to 4?
True
Suppose -91 = 2*y + 387. Let c = y - -254. Which is smaller: 3 or c?
3
Let v be (-71)/((-710)/(-20))*(-2608 + (-2)/(-1)). Is v bigger than 5212?
False
Let y = -45752/15831 + 2/1759. Let n = -191 - -187. Which is smaller: y or n?
n
Let y be (-39)/(-12) + (-4)/16. Let h = -52418 - -52413. Which is smaller: y or h?
h
Let d = 8.3 - 8. Let q be (21 + 20730/(-990))/((-44)/18). Is d <= q?
False
Let z = 430.4 + -428. Which is greater: -32 or z?
z
Let a be (-393)/(-4) + (-40)/32. Let y = 98 - a. Is y bigger than 104/9?
False
Let t = -403 + 1030. Suppose -t*r + 630*r - 3 = 0. Is -3/29 >= r?
False
Suppose -110 = -18*v - 21 + 19. Suppose -z - z = 0. Suppose -5*b + 2*s - v*s - 8 = z, 6 = b - 3*s. Which is greater: 2/97 or b?
2/97
Suppose -5*c + 920 = -5*g, 0 = -4*c - 0*c + 3*g + 739. Let u be (-3 - -2)/(17/(c/2)). Which is smaller: -2 or u?
u
Let f = 4.54 + -5. Let r = f - 0.04. Let p = r + 0.5. Is p not equal to 7?
True
Let l(u) = 8*u - 12 + u**3 - 7*u + 5*u - 7*u**2. Let g be l(6). Which is greater: -10 or g?
-10
Let n be (-269)/((-4)/8 - 0). Suppose -266 = 6*p + n. Which is smaller: -133 or p?
p
Let o = -964 + 914. Let l(h) = -2*h**3 + 29*h**2 - 20*h + 28. Let a be l(14). Which is greater: o or a?
o
Let g(n) = 11*n + 43. Let a be 23/(-4) + (-5)/20. Let q be g(a). Is 1 bigger than q?
True
Let g = 292 + -152. Suppose -4*b + 11*b = -g. Let w be ((-32)/20 - -1) + (-28)/b. Which is bigger: w or 1?
1
Let h be 7872/(-160) - (-6)/15*3. Which is bigger: h or -57?
h
Suppose 3*j - 5*v = -540, 2*j + j + 552 = v. Suppose y - 2*l = -54 - 138, -3*y - 5*l - 532 = 0. Which is smaller: y or j?
j
Suppose -q + 180 = -4*q. Let f = 53 - q. Let z = -104 + f. Which is smaller: 46/5 or z?
z
Let q = 207.908 - 208. Let v = 8.092 + q. Which is smaller: v or 0.02?
0.02
Suppose z + 230 = -5*d, 0 = -5*d - 103 + 68. Which is smaller: -21 or z?
z
Let h = 292 + -291. Let x be (245/85 - h) + -2. Is x less than 18?
True
Let m = 65081 - 454600/7. Is m < 137?
False
Let g = 9583.9459 - 9585. Are 0 and g unequal?
True
Let h = -1495/59301 - -3/599. Let w = -30 - -26. Which is greater: w or h?
h
Suppose 6*v = -193 - 71. Let b = v - -56. Suppose 0 = -b*t + 13*t - 10. Which is bigger: t or 9?
t
Suppose 4*w - 326 = q, -q = 2*w - 4*w + 318. Let c(g) = g**3 - 11*g**2 - 17*g - 27. Let y be c(6). Which is smaller: y or q?
q
Suppose -21*p + 52 = 73. Which is greater: p or -10182?
p
Let w(r) = -3*r**2 + r + 3. Let j be w(3). Suppose -2*d + 4*g - 43 = -71, 3*d - 58 = 2*g. Let f = j + d. Which is greater: f or -8?
f
Let r = -100913 - -100914. Let s = 1.9 + 6.1. Let h = s - 5. Does r = h?
False
Let m(x) = x**2 - 21*x + 54. Let a be m(12). Let j = a + 75. Which is bigger: -0.1 or j?
j
Suppose 5*n + 137*o - 135*o - 500 = 0, 0 = 4*o. Is n at least as big as 102?
False
Let t = -7919.06 + 7919. Which is smaller: t or -458?
-458
Let r be (-336)/(-32)*(2 + 6)/2. Are r and -0.16 non-equal?
True
Let q = 2.9365 - 0.0465. Let m = q + 0.71. Let n = -6.2 + m. Is n less than -1?
True
Let n = -400.98 - -411.98. Suppose 3*r - 2 = -8. Is r less than or equal to n?
True
Let d = 14 + -9. Let x(z) = z**2 + 2*z - 40. Let j be x(d). Is -4 smaller than j?
False
Let y = 1812 + -2858. Is -1047 less than y?
True
Let j be (-57090)/(-450) + (-5)/(-15). Is 128 < j?
False
Suppose -17*x + 12*x = -15. Let f be ((-4653)/6)/x*4. Let g be 210/f + 20/110. Which is smaller: g or -1?
-1
Let g(s) = s + 2. Let a be g(3). Suppose 0 = 3*m - 410*f + 413*f + 12, -12 = 3*m + 4*f. Which is bigger: m or a?
a
Let h = -322.1 + 324.1. Is 489 greater than or equal to h?
True
Let a = 112/3 - 38. Let z = -58143 + 58137. Is z > a?
False
Let f(c) = 39*c**3 - 2*c**2 - 4*c + 13. Let g be f(3). Let p = 50760/49 - g. Let h = 5 - 4. Is h < p?
False
Let i(x) be the second derivative of -x**4/12 - 4*x**3/3 + 4*x**2 - x + 14. Let l be i(1). Is l >= 2/107?
False
Let v(n) = 68*n + 215. Let j be v(-3). Is 4 smaller than j?
True
Let g(t) = 13 + 6*t**2 + 44*t + 5*t**3 - 40*t - 3*t**3. Let l be g(-3). Which is smaller: l or 1/50?
1/50
Let m(k) = -3*k**2 + 2*k - 191. Let a be m(0). Let o = a + 102. Is o less than or equal to -89?
True
Let n = -31.41522 + -0.08478. Is -2/39 bigger than n?
True
Let p = 61.86 + 0.14. Let d = 0.377 - 0.177. Which is smaller: p or d?
d
Let s(v) = -141*v**3 + 55*v**2 - 31*v - 3. Let y be s(6). Are -28665 and y equal?
True
Let x = -2131 + 2131. Is 42/59 less than x?
False
Let i = 9777 + -10279. Which is smaller: 6 or i?
i
Let c(y) = -835*y + 27. Let h be c(-1). Let p = 865 - h. Is 27/7 > p?
True
Let f = -10.03838 - -0.03838. Is -0.096 smaller than f?
False
Suppose -198*d + 256*d = -52548. Is -906 greater than d?
False
Let a(h) = 3*h**2 - 79*h - 520. Let c be a(-8). Is 308 < c?
False
Let y(t) = -200*t + 1589. Let b be y(7). Is b not equal to 188?
True
Let u(f) = -f**3 - 4*f**2 + 67*f + 308. Let s be u(-9). Which is greater: s or 99?
s
Let f = 617/46 + -21/23. Let u be 149 + -2*1/2. Let d = u - 136. Is d < f?
True
Let i = 3/773 + -13068/379543. Which is smaller: 0 or i?
i
Let x(p) = 196*p + 151*p + 197*p + 8. Let v be x(4). Let q = 176902/81 - v. Is -1 equal to q?
False
Let u = -172 - -110. Let j = u - -62.02. Is j greater than or equal to -7?
True
Let k = -3302 + 1952. Let r be 6/10 + 3*470/k. Which is bigger: r or -2/17?
-2/17
Let g be (-9)/21 + (136/70)/(-2). Let h = 46/15 + g. Is -21 less than or equal to h?
True
Let x = -2773 - -2774. Which is greater: x or 0.97?
x
Let t = 15951 - 9083. Suppose 31*u = -t + 1629. Is -2 smaller than u?
False
Suppose 0 = -5*c - 4*x + 3116 - 237, -c = -x - 583. Suppose -5*s - 346 = c. Which is smaller: s or -184?
s
Let v = -55 - -24. Let l = 30.61 - -0.39. Let q = l + v. Is q <= 0.5?
True
Let x be -1*((-2 - 3)*-1 + -4). Let o = 5461/2 - 4898519/1794. Is o at least x?
True
Let x be (-33 + 0/(-7) - -5)/(3 - 1). Which is smaller: 674 or x?
x
Let x be -2*2*3/12*-1625. Let q(h) = -7*h**2 + 5*h - 3. Let y be q(4). Let a be x/y - (-4)/38. Is -17 != a?
False
Let m be (-1 + -2)/(-1 + (-11)/(-8)). Let f(a) = 7*a**2 + 11 - 2*a + a**3 - 4*a**2 + 5*a**2. Let k be f(m). Do k and 27 have the same value?
True
Let b be 63/(-252)*59*4.