maller: 1 or w?
w
Let a(n) = 1411*n - 51. Let w be a(-2). Which is bigger: -2872 or w?
-2872
Suppose 2*d - 33 = -23. Suppose 8 = -d*z + y, -z + 5*y = z + 17. Let c = 190 - 10073/53. Which is smaller: z or c?
z
Suppose -617 = -180*n - 15800 - 837. Which is bigger: n or 3/58?
3/58
Let a = 43835 + -43834. Let c = 0.07 + -6.07. Which is bigger: a or c?
a
Let l = -800289/166 - -4821. Let n(p) = -p**2 - 153*p - 4662. Let o be n(-42). Which is smaller: l or o?
l
Let y = 72115 + -505908/7. Do -159 and y have different values?
True
Let d = -32 + -9. Suppose 5*x + 4*a + 34 = 0, -x + 4 - 2 = 3*a. Let i = -30 + x. Which is bigger: i or d?
i
Let a = -60 - -59.824. Let r = 85.176 + a. Let o = -87 + r. Which is greater: o or 14/3?
14/3
Let d = -113582/11 - -10326. Let p = 0.21 - 2.81. Which is greater: d or p?
d
Let k = -45 + 45. Suppose 2*x = -3*j - 2 + 10, k = -5*j. Suppose -5*d + x*f + 0*f - 3 = 0, 3*d + 7 = 5*f. Is d greater than 1?
False
Let h = -10 + 9.9. Let v = 74 + -35. Let n = 48 - v. Is n smaller than h?
False
Suppose -k = 100 - 45. Which is greater: k or -33?
-33
Let z(f) = -5*f**2 - f + 210. Let a be z(0). Let h = a + -3148/15. Which is smaller: h or 0?
0
Suppose t + 2*t = -3. Let f = -1852 - -2950. Let y = f - 26351/24. Is y at least as big as t?
True
Let d(r) = -121*r + 396. Let y be d(2). Which is bigger: 4/5 or y?
y
Let m = -33.464 - -33.41829. Which is smaller: -1 or m?
-1
Suppose -92*p + 208*p - 119 = 109*p. Suppose 0 = 5*v - 181 + 31. Is v equal to p?
False
Suppose 0 = -38*r + 3*r + 70. Let w = -9 + 6. Let q = w + 5. Is r greater than or equal to q?
True
Let a = 6.159 - 5.159. Which is smaller: -760 or a?
-760
Let a = -33 + 35. Suppose -6*u = 3*i - 4*u + 352, 344 = -3*i + a*u. Is 1 equal to i?
False
Let p = 11408 - 11410. Which is bigger: -24.36 or p?
p
Suppose 0 = 2*k - a + 673, 3*k - 4*k - a - 344 = 0. Let v be -3 + 36/15 + k/(-15). Suppose 4*y + 11 = f, 0 = -f - 3*y + y + 29. Which is smaller: v or f?
v
Let g = -7462 + 7459. Let r = -1.7 - 0.3. Let a = -4 - r. Which is bigger: g or a?
a
Suppose -37*v + 72*v = 43*v + 648. Does v = -51?
False
Let c = -294 + 325. Let w be (-909)/99 + 3 + c/(-11). Is w < -3/7?
True
Let d = -1.1992 + 2.5992. Suppose -2*c + 0*c + 244 = 0. Let l = c - 856/7. Which is smaller: l or d?
l
Suppose 0 = -39*s - 85 + 175 - 753. Do s and 246 have different values?
True
Let p(b) = 40*b**3 + 2*b**2 + 5*b - 8. Let f = 260 - 259. Let o be p(f). Is -0.3 not equal to o?
True
Let l = -174 - -354. Let f be 1*3/(-15) + (-25899)/l. Let m = -144 - f. Is m at most as big as -1?
False
Let x be 1*-1 - 5/(20/(-144)). Suppose 4*y - x = 5. Let n be (-3)/(-9)*12/y. Is n greater than -1?
True
Let j = 204/40604729 + 334833213741219/32564992658. Let i = j - 10282. Let a = i + 22459/2406. Which is smaller: a or 8?
8
Let u be 657/438*(-1)/(0 + -2). Which is smaller: 6199 or u?
u
Let f be (-3 - (-3)/1)/(1 - (-40)/8). Is f not equal to -106/143?
True
Let n(r) = r**3 - 4*r**2 - 4*r - 4. Let h be n(5). Let o = -0.3964 - 16.5336. Let v = -18 - o. Which is smaller: h or v?
v
Let z = -24096 - -13965. Is z greater than -10131?
False
Let n = 0.00389 + -0.04389. Let h be (-20)/15*(-9)/48. Is n at least as big as h?
False
Let v = 195788/21 - 9322. Is v at least as big as -6?
True
Let d = 23 + -31. Let h be (4/6)/(d/24). Let g be -4*(0 + -3 + 104/28). Which is smaller: h or g?
g
Let i = 81 - 85. Let s = 0.73 + 20.27. Let x = s + -23. Which is bigger: i or x?
x
Let b = -53 + 35. Let a be 27/3111*(-129)/b. Let i = a + -2/61. Is i > 1?
False
Let y be (12 + -14)/((-12)/(-10)). Suppose -43 = 2*q - 1. Let f(j) = j**2 + 21*j - 1. Let x be f(q). Which is bigger: x or y?
x
Let p(m) = 5*m - 3. Let b be p(3). Let x(g) = -g**3 - 8*g**2 - 10*g + 12. Let h be x(-6). Suppose h = 15*v - 369 + 144. Is b greater than or equal to v?
False
Suppose 4 = -y, -2*y + 28 = -o - 7*y. Suppose 18*i + 2088 = 12*i. Let n = i + 348. Which is smaller: o or n?
o
Let t be 5/(-3)*(-4 + 82). Let y = t + 107. Is y at least -19?
False
Let b = -725/268 + -3/67. Let s be (6 - -3) + -6 - 159*2. Let f = -318 - s. Which is greater: f or b?
b
Let k = 946396/65 - 14559. Which is smaller: k or 0?
0
Let y be 19402/22 + 143/1573. Do 882 and y have different values?
False
Suppose -3*i = -2*u - 39, -839*i + 841*i = -4*u - 38. Do -79/6 and u have the same value?
False
Let i = -14 - -7. Let d be -6 - (18 + -21 - 38/(-10)). Is i greater than d?
False
Let y = -50 + 63.5. Let o = y + 41.5. Let v = o + -58. Which is smaller: -1 or v?
v
Let m be 9/(-6)*4/3. Let w(z) = 6*z + 0*z + 2*z - 28*z + 4*z - 22. Let v be w(m). Which is smaller: v or 0?
0
Suppose -b + 1 = -13*d + 15*d - 1, 2*b = 0. Which is bigger: d or -10/967?
d
Suppose -51*v - 5*j = -48*v + 609, -196 = v + 4*j. Which is smaller: v or -203?
v
Let g be (102/(-4))/(45/(-75)). Let p be (27 + -5)*20/2. Let t be p/8*16/10. Is t at most g?
False
Let a be ((-81)/(-45) + -2)/(57/6). Let j = -13 - -11.4. Let b = 2.6 + j. Are b and a non-equal?
True
Suppose -a + 1163 = -3*j + 3807, -3*a - 3*j - 7980 = 0. Is a <= -2657?
False
Suppose 0 = 313481*h - 313333*h + 148. Let w be (-4)/(-214)*2/4. Which is greater: w or h?
w
Let y be ((-7)/(-91)*0)/(-11). Which is bigger: y or -24/427?
y
Let c(s) = s**2 - 17*s - 85. Let w be c(21). Is 2/3477 at most as big as w?
False
Let o(g) = g - 34. Suppose 4*c = 18 + 114. Let k be o(c). Is k at most -3/13?
True
Suppose 9*w - 35 = 4*w - 5*q, -2*w + 2*q = -6. Let m be (-46)/(-110) + (-2)/w. Let k = -69/770 + m. Is k < -1?
False
Let i be 2/(-8) + 1/4 - (1 + 0). Is i <= -8/47?
True
Let h = 4422 + -4421.93812. Is 0 at least as big as h?
False
Let w = -697.2 + 711.2. Which is bigger: 83/2 or w?
83/2
Let f = 1016 - 643. Let u = 429 - f. Is 2 at least u?
False
Let r(n) = -n**3 + 14*n**2 + 39*n - 33. Suppose 2*m - 3*t - 38 = 0, 0 = -5*m - t - 4 + 82. Let x be r(m). Is 80 greater than x?
True
Let w = 30 + -14. Suppose -5*o + 7 = -r + 33, 0 = 2*o - 6. Suppose -3*l + 89 = r. Is l >= w?
True
Let f = -1140 + 1143. Suppose -4*s = -h + f*h - 4, -3*s + 2*h = 4. Let g = 0.06 - 0. Is s at most g?
True
Let w = 35 - 5. Let c = 112 - w. Suppose 2*v + 5 = 7*v, -2*z = 4*v - c. Is 39 greater than z?
False
Suppose -7*r = -2*r - 5700. Suppose 8*m - r = 20*m. Is -96 at least as big as m?
False
Let k(l) = l**2 - 2*l - 20. Let q(y) = -2*y**2 + 4*y + 41. Let f(t) = 5*k(t) + 2*q(t). Let v be f(-8). Let m = v - 62. Is -5/7 less than m?
True
Let f(v) = -48*v - 487. Let y be f(-32). Is 1048 greater than or equal to y?
False
Let q = 5162 + -5161.9. Which is bigger: q or -5/801?
q
Let c = 487 - 487. Suppose -r + 4*g - 4 = -2, 2*r - 3*g = 1. Suppose -y - r = -1. Which is smaller: c or y?
y
Let q(i) = 17*i + 162. Let d be q(9). Let n be (-3990)/d + 8/(-6) + 1. Which is smaller: n or -109/9?
n
Suppose 26 = 2*l - 5*s, -65 = -10*l + 5*l + 3*s. Let a be ((-2)/(-3))/(l/((-117)/6)). Are 1/52 and a non-equal?
True
Let s = -1314 + 2542. Let j = s + -35621/29. Which is greater: j or 1?
1
Suppose -2*v + t + 0*t = 199, 3*t + 321 = -3*v. Let j = 106 + v. Suppose 0*k + 5*k = j*o, 3*o = 3*k. Which is smaller: -1.7 or k?
-1.7
Let x(r) = r**3 + 16*r**2 + 17*r + 39. Let q be x(-15). Suppose -13*b + q*b = -4. Is b < -4/115?
False
Suppose -2*t + 2*b + 216 = 0, 3*t - 255 = -4*b + 76. Which is greater: 110 or t?
110
Let m(k) = -k**3 + 23*k**2 - 43*k - 124. Let h be m(21). Which is bigger: h or 2?
2
Let t be (-2)/(-7) - (-25)/(-35). Suppose 4*b + 0*b - 8 = -3*x, 2*x + 13 = b. Suppose 5 = z, b*k - 2*z - 25 = -7*z. Is k at least as big as t?
True
Let t = 23822 + -23827. Is -72/13 at least as big as t?
False
Let g be (1114/12 - (-1945)/(-1167))/((-1)/27). Which is bigger: g or -2463?
g
Let k(m) = m**3 + 10*m**2 + 8*m - 13. Let v be k(-9). Let b be (-45)/v*(2 - (1 + 9)). Let s = b + 104. Is s at least 0?
True
Let f(n) = 44*n + 6. Let u(p) = -51*p - 11. Let j(t) = 52*t + 12. Let c(i) = 6*j(i) + 7*u(i). Let r(y) = 5*c(y) + 4*f(y). Let m be r(-1). Are m and 49 equal?
False
Suppose 2*g - 94 = 16. Let o = g - 56. Let t = 10/13 + -323/403. Is t at least o?
True
Let t = -3092 + 3090. Which is smaller: t or 1399?
t
Let x = 0.15 - 1.35. Let f = -1723 + 445. Let d = f - -3836/3. Is d not equal to x?
True
Let a be 3/((-19 + 1355/20)*2/5). Is -0.017 at least a?
False
Let g = 10.72 + -11.93. Which is s