w = 1 - 4. Is 28 < m?
True
Let v(y) = -2*y**2 + 28*y - 34. Let n be v(12). Let h be ((-216)/40 - -7)*34/4. Are n and h nonequal?
True
Let m be 6/(-9)*(1 - 784)/3. Let g = m - 189. Is -17 at least as big as g?
False
Suppose 3*d + 4*g = -19741, -54*d - 5*g = -56*d - 13176. Is d less than or equal to -6583?
True
Let o be 1/(-16) + (-2 - -2). Suppose 19*w + 318 = -20*w - 150. Which is smaller: o or w?
w
Let v = -13473547/8 - -205989389/120. Let z = v + -32330. Let n = 306/5 - z. Which is greater: 7 or n?
7
Let m(h) = -h**2 + 13*h + 26. Let n be ((-44)/(-33))/(2/24) - 1. Let q be m(n). Let p be q/(-12)*(2 - 2). Is 2/17 smaller than p?
False
Let m be (-79035)/(-3435) + -17 - 6. Let b(q) = q**3 - 6. Let k be b(0). Let h be (2/k)/((-2)/6). Which is smaller: m or h?
m
Let u = -7809 - -7809.4. Which is smaller: -1.544 or u?
-1.544
Let r = 947 + -943. Let d be (3 + -3)/(0 + -2). Suppose d = -28*z + 24*z - r. Which is smaller: z or -1/17?
z
Let g = 371 - 372. Let o be g*-20*(-5)/220. Suppose -f = -4*f. Is o >= f?
False
Let h(i) = -33*i**2 + 6*i + 5. Let s be h(-1). Let u(g) = -g**3 - 7*g**2 - 6*g - 10. Let z be u(-5). Is z > s?
True
Let a(q) = -15*q + 164. Let w be a(11). Let z be w/(3 + 5 + -9). Which is bigger: z or -6/103?
z
Let s be (207*32)/(-6) - -10. Which is bigger: -1095 or s?
s
Let b = -1159 - -2081. Let z = -922 + b. Which is bigger: z or 2/611?
2/611
Let t = 97 - 197. Let c = -92 - t. Is 10 at least as big as c?
True
Let i = 44898 - 44889. Is 118.1 less than or equal to i?
False
Let c be ((-16)/5)/(42/(-105)) + (-3664)/500. Which is smaller: 2 or c?
c
Suppose -i = 2*y + 153, 2*y - 2*i = -5*i - 155. Let s be ((-1602)/(-21))/(-1) - (-2)/7. Is y < s?
False
Let n be ((-128)/(-6))/32 - -590*4/(-3). Which is bigger: n or -787?
n
Let v be 2/(-7) - ((-4)/30 + 1869/2205). Is v less than 4/635?
True
Let j be 1/(-4) + 14/(-8) + -1. Let q be 150/4*((-16)/j)/(-8). Is -23 < q?
False
Let i = -510 - -825. Let r be ((i/(-10))/9)/(1/(-6)). Let l be 6/(-33) + (-222)/(-11). Do r and l have different values?
True
Suppose 10*c = l + 61, 12*c - 7*c = 4*l + 244. Let f = 71 + -132. Is l greater than or equal to f?
True
Let x(k) be the first derivative of 50*k**2 - 45*k - 10. Let j be x(-15). Let s be 470/j - -1*(-2)/(-6). Which is greater: 0 or s?
s
Let k be (2*(-34)/16)/(90/1080). Suppose 0 = 4*t - 3*t + 3*c + 45, 0 = 2*c - 2. Is k at most as big as t?
True
Let u = -143618 - -144419.042. Let f = -803 + u. Let z = 0.042 - f. Is z < -14?
False
Let b(g) = 5*g**2 - 3*g + 1. Let i be b(2). Suppose -r + i = -2. Suppose 14*u - r*u = -24. Is 1 at most as big as u?
True
Suppose 3*t = 5*y + 137 + 65, t - 66 = y. Let r be t/(-32)*(-1)/2. Is r less than -7/15?
False
Let o = -10489/2750 - 1/250. Suppose -4*k - 46 = -3*h - 22, 4*h + 3*k = -43. Is h at most as big as o?
True
Let d = -2539 - -490026/193. Is d < 3?
True
Let n = -319 + 271. Let m be n*50/45*3. Is m > -161?
True
Suppose -3159 = 68*j - 81*j. Let c = -242 + j. Is 3/10 <= c?
True
Suppose -2*l + 2 - 4 = 0. Let w(p) = 142*p - 991. Let q be w(7). Let u be 69/q + -3 + l. Which is smaller: 20 or u?
u
Suppose -4*y - 354 = 82. Suppose -1775*a - 435 = -1771*a + f, 0 = -3*a + f - 335. Is y less than or equal to a?
False
Let c = 1119 - 1119. Let g = 248639/240 - 1036. Which is greater: g or c?
c
Let b = -0.02 - -83.02. Let r = 83.236 - b. Is 0.1 greater than or equal to r?
False
Let o = -22 - -62. Let g be (-36)/(-8)*(o/15 - 2). Let a(y) = y**3 + 8*y**2 + 5*y - 9. Let j be a(-7). Which is smaller: g or j?
g
Let q be 58/(-29)*-3*3*1. Suppose -8*n - q = -2. Let f = 1/136 - 241/136. Is f != n?
True
Let l(s) = -s + 6. Let g be l(5). Let u be 1 + g - 219/108. Let i = 33655 + -33654. Which is smaller: i or u?
u
Suppose 27 = 9*w - 0*w. Suppose 0 = w*k - 7*d + 4*d - 9, 3*k - 10 = 4*d. Does -0.04 = k?
False
Suppose 3*j + 12*j + 225 = 0. Let y be j/5 + 4/10*10. Which is greater: 3/200 or y?
y
Suppose t + 15 = 2*i, 2*i = -28*t + 25*t - 45. Let o be (7 - (-95)/t)/(2/141). Is 46 not equal to o?
True
Let y = -94 + 418. Suppose 3*r - 4*l + 101 = 2*r, -3*r = -5*l + y. Is r != 2/5?
True
Let j be (32 - -22)/((-6)/(-4)). Suppose -10*m = -12*m + j. Is 21 < m?
False
Let k = -68.0045 - -0.0045. Let h = -13 + 81.2. Let l = k + h. Is -3/7 >= l?
False
Let l = -189 + 539. Let h = 349 - l. Which is bigger: h or -0.08?
-0.08
Let o = 10774 + -10756.8. Which is smaller: 20 or o?
o
Let i = -202 - -202. Suppose -8*t + 97 - 145 = i. Which is bigger: t or -39/7?
-39/7
Let u(p) = -p**3 + 94*p**2 - 763*p + 381. Let o be u(85). Which is bigger: 549 or o?
o
Suppose -v + 19 = a + 84, 0 = 2*a - 4*v + 94. Let m = -139 - -80. Is a < m?
False
Let f = -39 + 52. Suppose -5*t + 27 = -f. Suppose -t*y - 11 = 21. Is y at most as big as -3?
True
Suppose 4*n + x - 9104 = 0, -5*n - 4*x = -14698 + 3318. Is 2275 at least as big as n?
False
Let p = -29512 - -29509. Let o = -0.065 + 0.995. Do o and p have the same value?
False
Suppose 22 = 4*i + 94. Let v = 2 + i. Let x be 0/(2 + 2 + -1). Do x and v have different values?
True
Let r = -0.588 - -0.578. Is r > 0.0315?
False
Let g be (-2)/(-4)*-4 - -31. Let o(r) = 31*r - 1. Let n be o(-1). Let b = n + g. Which is bigger: -5/3 or b?
-5/3
Let q be (-1 + -1 - (-400)/220) + (-237)/693. Which is bigger: -2 or q?
q
Let d = -36354 - -36357. Which is bigger: d or -1745?
d
Suppose -4*f - 31012 - 12941 = -11*f. Which is greater: 6278 or f?
f
Let c(t) = -2*t**3 - 411*t**2 + 43 + 31*t - 16 + 430*t**2. Let z be c(11). Are 28/5 and z unequal?
True
Let n be (1/(-2) - -1)*-60. Suppose -11*i - 91*i - 1798 - 2180 = 0. Which is greater: n or i?
n
Let k = 109649/360 + -1522/5. Which is bigger: 1 or k?
1
Let f = 205 - 206. Let h(k) = -30*k**2 + k + 3. Let o be h(f). Which is greater: o or -29?
o
Let p(m) = 541*m + 1813. Let w be p(-7). Are -1976 and w nonequal?
True
Let p(d) = 10*d + 3*d**2 - 5*d**2 + 6 - 8. Let b be p(5). Let h = b + -3. Is h at least as big as -30/7?
False
Let i = 38 + -39. Suppose 0 = -5*h - 23 + 8. Is i > h?
True
Let h(n) = 10*n**2 + 450*n + 1. Let g be h(-45). Which is smaller: 14/337 or g?
14/337
Let v be 7*444/672 - (7 - 1). Which is smaller: v or 2/5?
v
Let m = -778/45 - -152/9. Let y = 0.357 - -0.053. Let u = y - -0.09. Is m not equal to u?
True
Let j = -1761 - -66913/38. Let o = j - 259/342. Does o = 5?
False
Let t = 1.2975 - 1.3635. Let j = -2 - -2.2. Which is bigger: j or t?
j
Let o = 289.56 + -288.56. Which is bigger: o or 1419.8?
1419.8
Suppose 3*h - 3 = 0, -4*h + 9 - 3 = -v. Let i be 1820/30 + v/(-6). Let n = i - 67. Is -1 smaller than n?
False
Let u = 205 + -321. Let w = u - -98. Are w and -0.07 equal?
False
Let v = 251 - 250. Are 6/197 and v nonequal?
True
Let u = -1 - -3. Let o = -13.87 + -0.13. Let s = -8 - o. Does u = s?
False
Let u be (-208)/20*-1*315/(-14). Let z be (-1)/4*9/u*-1. Which is smaller: z or -1?
-1
Let l be (-144)/(-14)*(-112)/(-24). Let k = l - -28. Suppose 4*z = -2*h + 308, h - 194 = -4*z + 112. Is z smaller than k?
False
Let p = -388/5 + 78. Let o = 8145 + -7760. Is p bigger than o?
False
Let i = -159 - -89. Let c be 27/((-27)/46) + 10. Let x be 0 + 2 - i/c. Which is bigger: -1 or x?
x
Let m = 6/5185 - 10388/15555. Is m <= 219?
True
Let z = -208726 - -208915. Let v be 0/2 + 1/2. Which is smaller: v or z?
v
Suppose 109 = 13*q + 44. Let g be 144/(-1800)*q/(-16). Let c = 3 - 2. Is g < c?
True
Let k(x) = -4*x**2 + 21*x + 693. Let y be k(-20). Is y at least -1326?
False
Suppose -2*j = -5*a + 278, 290 = -2*j + 149*a - 147*a. Do j and -743/5 have different values?
True
Let z(b) = -2*b - 17. Let y be z(-13). Suppose 8*h = y*h - 16. Suppose -h*u = -10*u + 90. Which is bigger: u or -16?
u
Let k be -2 + 4 + 2*1. Let s be (k/(-24))/((-1)/(-4)). Let a = -480.3 + 469.3. Is s less than a?
False
Let h = 209 - 213. Let s be h - (-5 - 30/(-4))*40. Is -103 > s?
True
Let r(n) = -9*n**3 - n**2 - 2*n - 1. Let d be r(-1). Is -1085 greater than d?
False
Let c = 70.06 + -3.96. Let s = 66 - c. Is -236 smaller than s?
True
Let q = 24808/8995257 + -4/3889. Is 0 equal to q?
False
Let y(u) = u**2 + 39*u - 243. Let f be y(5). Which is greater: f or -28?
f
Let l(y) = 15*y**2 - y + 1. Let f be l(1). Let b = 668 - 648. Suppose w = f + b. Which is smaller: w or -1/3?
-1/3
Let z = 181 + -176. Suppose 3*u - 72 = -3*b - 2*u, 4*b = 2*u + 96