
False
Let n(i) = 58*i - 2433. Let w be n(41). Is -20.1 < w?
False
Let l be 612/14 - 72/(-252). Let n = 93 - l. Is n greater than or equal to 48?
True
Let n = 52959 + -160730567/3035. Are -1 and n non-equal?
True
Let b = 19962 - 19952. Which is bigger: 561/62 or b?
b
Let b = -857 - -860. Suppose -3*x + 109 = 19. Which is smaller: x or b?
b
Let w be ((-6)/18)/((10/(-915)*-3)/(-44)). Which is smaller: w or 447?
447
Let w = 1.6 + -1.9. Let m = 0.017 + -3.817. Let b = m + -1.2. Are w and b unequal?
True
Suppose -227*i = -247*i - 880. Let s = 98 + -136. Which is bigger: i or s?
s
Let y = -2 - -2. Let x be (11/4675)/(42/70). Is y at most x?
True
Let i be (27/(-120))/((-6)/(-184)) - (-1 - 6). Let h be 0/3*2/4. Suppose h*z = -4*z. Is z greater than i?
False
Let m = -135 - -150. Suppose -m*r - 2*r - 289 = 0. Is r at most as big as -16?
True
Let s be ((-22)/3)/((-14)/(-42)) - -3. Let a be 170/(-4) + (-1)/(-2). Let q = 23 + a. Do q and s have the same value?
True
Let y = -9411 - -9411. Are y and -14/1151 nonequal?
True
Let k = -2.1 + 2. Let o = -30821 - -30820.979. Which is greater: k or o?
o
Suppose 6*b + 307 = -287. Let f be -4 - (1143/b + 7). Suppose -4*p + 3*w + 3 = 9, -6 = -p - 3*w. Do p and f have the same value?
False
Let p(y) = y**3 - 17*y**2 + 37*y + 15. Let z be p(4). Which is bigger: z or -47?
z
Let n = -1988/524275 + 1/1675. Let y = -216/30361 + n. Are y and 0 equal?
False
Let j be (-144)/10 - (-4)/10. Suppose 0*z = 5*h + 2*z - 35, -h + 4 = z. Suppose -6*w + 42 = -h*w. Do j and w have the same value?
True
Suppose -381*a + 28194 = -418*a. Is -762 greater than or equal to a?
True
Let i(v) = 5*v - 87. Let a be i(19). Suppose 41*z = 37*z + a. Is z at least 1?
True
Let r(z) = -z**3 + 21*z**2 + 1. Let w(f) = -f**2 - 29*f - 7. Let k be w(-28). Let i be r(k). Let q be (-1)/2 - (-34)/80. Is q at most i?
True
Let h be (-6)/8 - (-20)/(-16). Suppose 0 = -4*a - 45 + 49. Let p = h - a. Which is bigger: p or -16/9?
-16/9
Let j = -1/89067 + -48475/9530169. Is j less than 0?
True
Let g be 12387/(-9)*(-1)/(-17). Let j = g - -81. Which is greater: j or 1?
1
Let t = -49 - 615. Let s = -665 - t. Is s at most as big as 5/209?
True
Suppose -10846 + 18357 = 78*c - 21427. Is c smaller than 380?
True
Let p(o) = o**2 - 5*o - 16. Let h be (60/40)/(3/(-4)). Let s be 8/h + 88/8. Let d be p(s). Is d at most as big as -2?
True
Suppose 5*r - 6 = -0*r + 2*d, r - 6 = -2*d. Suppose -g - 5*f + 9 = 0, 0 = -r*g + g - f + 1. Let a = -15061/21 - -717. Which is smaller: a or g?
g
Let v(d) = -d**2 - 9*d + 9. Let m be v(-12). Let p be ((-6)/8)/(m/72). Let k be 224/(-42) + p/6. Which is bigger: -6 or k?
k
Let u(h) = -2*h**3 + 3*h**2 - 2*h + 2. Let k be u(3). Let q be -3*27*12/30. Let i = k - q. Is 2 bigger than i?
True
Suppose f - 85 = 4*y, -5*y - 15 = 10. Let p = -60 + f. Suppose 0 = -p*w - 41 + 36. Which is bigger: w or -11/9?
w
Let b(s) = -14*s + 332. Let j be b(53). Which is bigger: j or -408?
-408
Let g = 958 + -501. Suppose -4*z = -3*p - 361, -5*p + 2*z - 126 = g. Do p and -582/5 have the same value?
False
Let s = 46 + -42. Suppose -t - 2*m + 9 = 0, s*t = -m - 2*m + 16. Let u be (55/44)/(t/4). Which is smaller: u or 6?
u
Suppose 45*f + 229 + 176 = 0. Are f and -16 equal?
False
Let h = 134.71 + -133. Let c = h - 0.21. Let x = c + -1.3. Which is greater: -3.1 or x?
x
Suppose 7*v + 146 = 678. Let j be -3 + (-2 + 420/v)/1. Is 1 less than or equal to j?
False
Suppose 0 - 16 = -2*d. Suppose -11*t = -1042 + 1020. Suppose t*h + 4*s = -2, 27*h + 2 = 25*h + 5*s. Which is smaller: d or h?
h
Let n be (1 - 1) + (873/144 - 6). Suppose -4*z - m - 10 = -55, 18 = z - 2*m. Suppose -3*o - 7 = -2*b, -5*o - z = 3. Which is greater: n or b?
n
Let v = -6482 - -58486/9. Let p = 3 - -14. Is p >= v?
True
Let d = -12 + -43. Suppose -4*w - 45 - 171 = 0. Which is smaller: d or w?
d
Suppose -39*r = -46*r - 49. Let k be (5967/21 + (-6)/r)/(-1). Is k at most -284?
True
Let n = 8820 + -8819.9. Which is greater: 1081/4 or n?
1081/4
Let s = -290 - -188. Let y = -93 - s. Suppose 4*d = 3*w - 2 + y, -2 = -2*w - 4*d. Is w not equal to -2/35?
True
Let a = 7626 + -7624. Which is smaller: 19/17 or a?
19/17
Let a = -5115 - -15344/3. Is a greater than or equal to 1.597?
False
Let n be (-15)/(-6)*(9 + -3 + -4). Let k = -190 + 200. Which is greater: k or n?
k
Let v(o) = o + 1. Let y be v(3). Suppose 3*b = f + y*f + 25, b + 4*f = -3. Suppose 0 = -3*l + 4*l - 2*h - 2, h - b = 0. Is 53/4 at least l?
True
Let m be (1/2)/(2/(-268)). Let d be -74 + 1 + 8 + -3. Let g = d - m. Is g at most as big as -3/8?
True
Let s be 404/2*(6/(-123) - (-29145)/4920). Is s less than or equal to 1186?
False
Suppose 49 = 241*t + 49. Do -1/1496 and t have different values?
True
Let w be (84/8 + -10)/(6/21668). Let j = -1822 + w. Which is smaller: j or -17?
-17
Suppose -3*r - 9 = r - 5*x, 2*r - x - 3 = 0. Suppose -4*l - 10 = 6, 5*p + r*l - 14 = 0. Suppose -28*w = -29*w + 3. Which is greater: p or w?
p
Let j = 195 - 194.8. Let y = 21 + -20.93. Let h = 1.07 - y. Is h at least j?
True
Let x = -485 + 484. Let v be 8/16 + 3/(-6) + x. Which is bigger: -12/85 or v?
-12/85
Let s = 293.6 + -277. Let c = 16.61 - s. Which is bigger: c or -2/13?
c
Let c(x) = -x**3 + 32*x**2 + 148*x + 4. Let b be c(-4). Which is smaller: 41 or b?
b
Let n be 12/(-16) + (-1139)/268. Which is bigger: -123/31 or n?
-123/31
Suppose -4*v = -3*r + 89, 5*r = 1 - 6. Let c = v - -28. Is 9 > c?
True
Let h(w) = w**2 + 315*w + 3110. Let m be h(-10). Let k(s) = s**3 - 4*s**2 - 3*s + 7. Let p be k(6). Which is smaller: m or p?
m
Let n be (49/3)/((-2)/(-6)). Suppose -1 = 5*j + 4. Let h be j/(-3) + n/(-12). Which is smaller: h or -3?
h
Let w(k) = -14*k - 83. Let p be w(-6). Let l(d) = -2*d**2 - d + 2. Let s be l(p). Which is greater: s or 3/23?
3/23
Let i(z) = z**3 - 15*z**2 - 25*z. Let l be i(17). Let w be l - 4*7/4. Do 145 and w have the same value?
False
Let l = 5871 + -13925. Which is smaller: l or -8053?
l
Suppose 11001 = 18*r + 39*r. Let k(q) = -17*q + 7. Let d be k(-11). Are d and r unequal?
True
Suppose 0*u - 9*u = -36. Suppose 7*b - 12 = 4*b. Let q be 7 + 2 - u*2/b. Is q less than 7?
False
Let q = 0.46 + 0.12. Let f = 108.58 - q. Let c = 98 - f. Is c equal to -3?
False
Let q(n) = n**3 + 46*n**2 + 2*n - 83. Let c be q(-46). Which is smaller: c or -149?
c
Let j = 2513 - 2529. Are -5/2 and j nonequal?
True
Suppose 2 + 133 = 5*d. Suppose -a - 2*a = -d. Let q(w) = -298*w**2 - 893*w + 6. Let k be q(-3). Which is bigger: a or k?
a
Let k = 2 + 7. Let i be (-7 - -6)/(-1 + 0). Let q be (18/(-6) - i) + 1*12. Which is smaller: q or k?
q
Let f = 3006599/2492 + -2413/2. Which is greater: -1 or f?
f
Let t = -0.0008 + 12.0008. Let x = -3/11 + 37/55. Which is bigger: x or t?
t
Suppose -222*s - 118322 = -319010. Which is smaller: s or 901?
901
Let x(o) = -8*o**2 - 145*o - 83. Let u be x(-17). Is u greater than -6/11?
True
Let z be ((-6)/(-21))/(48/(-160)*-20). Do -14.8 and z have different values?
True
Suppose -5*i + 4*i + m - 3 = 0, 4*i + 2*m = -6. Let u be i + 4*(-6)/(-4). Suppose -25 = -5*y, -3*y + 4 = -u*l - 11. Is l at most as big as -5/8?
False
Suppose v + 4*r - 39 = 0, -5*v - 687*r + 685*r + 339 = 0. Is v at most as big as 507/7?
True
Let a = 0.98542 + 0.05458. Which is smaller: a or -5?
-5
Let j(a) = -a**2 - 9*a - 14. Let o be j(-5). Suppose -o*d + d - 3*v = -79, 4*d - 65 = -3*v. Let r be d/63*(-75)/(-4). Does r = 3?
False
Suppose 2*z = 4*m + 1516, -4*z + 8*m + 3092 = 12*m. Suppose -5*t = -5*x + 1250, -10*t + 13*t + 3*x = -z. Which is smaller: t or -252?
t
Suppose -5*l - 41*q = -42*q + 41240, -3*q = -l - 8234. Is l < -8248?
True
Suppose 93*s - 87 = 6. Let y = 11136 + -8541310/767. Is s less than or equal to y?
False
Suppose 1172 = 3*r - 5*d, -5*d + 29 = 4. Let p be r/35 - 6/15. Let s = -149 - -162. Which is greater: p or s?
s
Suppose 2*y - 57 + 35 = -2*l, 0 = -8*y + 2*l + 8. Suppose 3*i - 103 = 5*z, -4*z - 5*i - 44 = 31. Are y and z non-equal?
True
Let w = 5.07 - 0.07. Let v = 10.2 - 3.7. Let h = v + -6.45. Which is bigger: w or h?
w
Let u be 15*(390/(-90225))/13. Let x(b) = -b**3 - 5*b**2 - 5*b - 5. Let i be x(-4). Which is greater: u or i?
u
Let i(h) = 5*h**3 + 4*h**2 - 7*h + 2. Let o be i(1). Suppose 0 = 33*q - o*q + 638. Is -22 smaller than q?
False
Let u be (-4)/(-26) - (-4005)/(-27300). Le