4. Let w = -274 + 274. Is w >= l?
False
Let r = -21.7371 + 21.4671. Let p = -0.7 - 0.3. Which is greater: p or r?
r
Suppose -7*t + 1030 = -2*t. Let x = -127 + t. Which is bigger: x or -1?
x
Let j(k) = 82*k + 257. Let c be j(-3). Let z(v) = -v**3 + 10*v**2 + 11*v - 3. Let g(f) = -f. Let b(o) = -4*g(o) - z(o). Let s be b(c). Is 47 greater than s?
False
Let s be (-4 + 1653/(-6))*(0 + 9/(-4)). Which is smaller: 628 or s?
628
Suppose 0*a + 3*a - 81 = 0. Suppose -7*i - a = -4*i. Suppose -o + 2*w = -6*o - 44, 0 = -4*o - w - 34. Is i equal to o?
False
Let l = 79 - 22. Let j = l + -62.5. Let o = 5.6 + j. Which is greater: 32 or o?
32
Let m = -13063 - -13990. Which is smaller: m or -0.07?
-0.07
Let v(l) = -l**2 - 54*l - 476. Let q be v(-43). Let i be (-6*420/(-324))/((-4)/q). Does 7 = i?
False
Let h = -3488 + 21083/6. Suppose -2*v - 181 = -233. Which is greater: h or v?
v
Let l = 122.18 + -50.59. Let s = 72 - l. Let p = s + -0.21. Which is smaller: -2/25 or p?
-2/25
Let d = 30799.942 + -30800. Which is bigger: d or 0.84?
0.84
Let z(o) = -5*o + 30. Let r(n) = 2*n - 16. Let q(c) = 5*r(c) + 3*z(c). Let h be q(6). Do -21 and h have different values?
True
Let o(w) = 2*w**3 - 5*w**2 - 16*w + 6. Suppose -2*g + 18 = 5*u, 2*g + 61 = 5*u + 39. Let z be o(u). Which is smaller: z or 24?
z
Suppose 0 = 5*g + 5*q - 1595, 3*g = 3*q + 1565 - 578. Suppose -m = g - 321. Do m and -34/9 have the same value?
False
Suppose 5*n + 56*n + 25959 = 10*n. Is n < 0.05?
True
Let w = -177 + 177. Let f(l) = -7*l + 39. Let j be f(w). Is 41 >= j?
True
Let x be (1/2)/((-9)/(3 + 15)). Is x greater than -4/925?
False
Let s = -111.097 + 0.097. Let d = -109 - s. Which is smaller: d or 67?
d
Let q be (-17)/(-51)*(-1 - ((-15)/(-261) + -1)). Which is bigger: q or -1?
q
Let c be (-11*189/5775)/((-3)/2335). Which is smaller: c or 279?
279
Suppose 1672210 + 2511472 = 218*i - 1806304. Is i at least as big as 27478?
False
Let m = -106 + 106. Suppose 0 = -x - 4*o + 22, m = -x - x + 3*o. Suppose -5*l - x + 6 = 0. Which is smaller: 12/23 or l?
l
Suppose 3*m + 7 = -2. Let p be 5/((-20)/12) - m. Let c = -1931/42 + 46. Is p <= c?
True
Let q be 19 + -192 + 12/(-3). Is q greater than 23?
False
Suppose 5*k = h - 24, -137*k + 141*k + 24 = -4*h. Which is bigger: h or 6/16141?
6/16141
Suppose -64*d = -49*d. Which is bigger: d or 70/209?
70/209
Let b = 770 + -763. Let l(n) = 27*n - 188. Let p be l(b). Which is smaller: p or -8/169?
-8/169
Suppose -36*c + 46*c - 50 = 0. Let o be (0 - 7)*(1 - 2). Is c at most as big as o?
True
Suppose 3*m = -3*y + 6, 0*y = 3*y - 4*m - 6. Let w = -113 + 117. Suppose 4*f + 5 = 2*f - 5*c, -y = w*f + 2*c. Which is bigger: -5/24 or f?
f
Let x = -5670 + 5667. Is -0.936 at least x?
True
Let d(q) = 3*q + 14 - 5*q**2 + 12*q**2 - 3*q**2. Let k be d(-6). Let i be k/(-357)*1*(-3)/2. Which is smaller: 0 or i?
0
Let l = -133.177 - -2.097. Let a = l - -132. Which is smaller: a or -1?
-1
Let j be (6 - 3)/(22/(-6) + 4). Suppose 0 = -15*o + j*o + 438. Which is greater: 72 or o?
o
Let m(k) = k + 11. Let x(q) = -2*q**2 - 14*q - 8. Let i be x(-7). Let a be m(i). Let r be 57/(-15) + a/(-15). Is r at least -4?
True
Suppose 30 + 6528 = 6*q. Let z = q - 39343/36. Which is bigger: -1 or z?
z
Suppose -32*o = -11*o + 3990. Let b = o + 91. Which is bigger: b or 2?
2
Let j(w) = -21*w - 174. Let o be j(-8). Let z be ((-1)/o)/((1 + 7)/(-16)). Do -61 and z have different values?
True
Suppose v + 3*m - 11 = -2*m, 0 = v - m - 17. Let x be (3/2)/(76/v - 4). Let d be (-4*(-3)/(-6))/x. Which is bigger: d or -3/5?
-3/5
Let l = -864 - -871. Is -187 smaller than l?
True
Suppose -95 = -7*p + 10. Suppose 252 = 18*x - p*x. Let n = -63 + x. Are n and -2/7 equal?
False
Suppose 13*p = 7*p + 12. Suppose p*s + k + 37 = 4*s, -2*s = -2*k - 34. Let y be -1*s/(-6)*(-7)/(-7). Is y bigger than 1?
True
Suppose 2*o = 6*o + 4. Let m be (-8 - (-3470)/420) + (-4)/(-24). Which is bigger: o or m?
m
Let n = 19128 + -17250. Does 3 = n?
False
Let n = -0.359 + 1.459. Let v be (95/20 - 4)/((-108)/(-32)). Is n smaller than v?
False
Suppose 2*t + 5*z = z + 20, -65 = -5*t + 5*z. Suppose 5*p = j + 59, -2*p + 100*j - 102*j = -14. Is p < t?
True
Suppose 44*h - 32*h + 128 = 1988. Is h equal to -1?
False
Suppose u - 2*j + 2 = -0, -3*u + 3*j - 6 = 0. Let o = -1454/1805 + 2/361. Which is smaller: o or u?
u
Let t = -834 + 879. Suppose -2*a - 235 = t*a. Does 2/9 = a?
False
Let s be ((-18)/(-4))/(8/((-160)/(-15))). Suppose -45 = s*y + 27. Is y less than -14?
False
Let z be -24 - (1 - 1) - -3. Let k be (-2)/1 + 5/((-45)/z). Let h(t) = t**3 - 3*t**2 + 4*t - 2. Let p be h(2). Which is bigger: k or p?
p
Let g = -6251 - -6251.1. Is -136/7 at most g?
True
Suppose i + 3 = 0, 408*i - 411*i - 4661 = 2*a. Is -2326 <= a?
True
Let s be 6/15 + 2088/(-20). Let u be 13/s + (-642)/(-16). Let q(g) = -g**2 + 14*g + 6. Let v be q(11). Which is greater: v or u?
u
Let h(f) = -18*f + 1526. Let z be h(85). Which is smaller: z or -119?
-119
Let g = 2286/27007 - 16/239. Let h be 2 - 0*9/(-81). Is h less than or equal to g?
False
Suppose -6*p + 8 = -4*p + 3*x, 0 = 5*p - 4*x + 26. Let j be -3 + 3/(180/(-8)). Is p less than or equal to j?
False
Let k = -121.12 + 0.12. Let o = k - -121. Suppose h = 4*g - 0*h + 70, -4*g = -4*h + 64. Do o and g have the same value?
False
Suppose -15*w = -6*w - 117. Suppose -4*v - w - 5 = 5*g, 4*g + 4*v + 12 = 0. Let k be ((-1)/(-3))/((-2)/g). Is 1 <= k?
True
Let u(b) = b**3 + 16*b**2 + 46*b - 24. Let j(y) = 2*y**3 + 14*y**2 + 2*y + 2. Let q be j(-7). Let r be u(q). Is -73 greater than r?
False
Let q = -259.9 + 17.9. Let d = q - -364. Let l = d + -181. Which is greater: l or -2/3?
-2/3
Let a(g) be the third derivative of -g**4/12 - 16*g**3/3 - 125*g**2. Let k be a(-8). Which is smaller: k or -12?
k
Let g(r) = 107*r + 1447. Let c be g(36). Which is smaller: 5300 or c?
c
Suppose 114 = 2*r - 4*d, 101 - 276 = -3*r + 5*d. Let f = -3384 + 3318. Let v = f + r. Which is greater: 2 or v?
2
Let p = -811 + 982. Let j = 170.96 - p. Is -10 less than j?
True
Let s = 5445/34 - 321/2. Are 1/80 and s equal?
False
Let j = -4.629 + 5.429. Is j > -84?
True
Let c(f) = f**3 - 3*f**2 + 5*f - 3. Let o be c(3). Let n = -4719 + 4722. Suppose o = -r - n*r. Is -4 at most r?
True
Let r = 61/21 + 3/7. Let s(j) = -j**2 + 41*j + 916. Let x be s(57). Is r > x?
False
Let w = 42 - 42. Let g be (4 - -4)*16 + w. Suppose g = s - 5*s. Are s and -32 non-equal?
False
Let q = 17.2 + 118.8. Let p = 137 - q. Let j be (-2)/(-3) - (-96)/(-9). Which is smaller: j or p?
j
Let s = -0.03 + 2.03. Let u = 583.408 - 584. Let w = -13.592 - u. Which is smaller: w or s?
w
Let o be 18/(-8)*((-473024)/(-24))/(-19). Which is greater: o or 2333?
o
Let h(k) = 5*k**2 - 60*k - 62. Let d be h(13). Let a = -20 + 20.03. Which is bigger: d or a?
d
Let b = 273.5 - 11.5. Let y = b + -246. Let x = 0.24 + 0.76. Is y at least as big as x?
True
Let t = 340 + -478. Let i = -139 - t. Which is greater: i or -1/76?
-1/76
Let g be 3 + 1*12/(-4). Let w = -40/23 - -32/23. Which is smaller: w or g?
w
Suppose -5*u + 2 - 8 = u. Which is smaller: u or 9/46?
u
Let n be (-3)/1260*-6*10/(-4). Which is smaller: -0.83 or n?
-0.83
Let l be (-55)/23 - 1*(3 - 6). Which is bigger: -6 or l?
l
Let x(a) = -2*a**3 - 4*a**2 + 3*a + 11. Let w = -15 - -12. Let g be x(w). Let r be 3 + (-2 - -3) - 82/g. Is 0.2 >= r?
True
Suppose 0 = 2*c - 3*t - 14, 2 = 2*c + 8*t - 5*t. Suppose 2*v - f = -154, -c*f + 255 - 24 = -3*v. Which is smaller: v or -76?
v
Let z = -5 - -6. Let t = -2066 + 2222. Let k be ((-684)/t + (z - -3))*2. Do k and -1 have the same value?
False
Let b(c) = -c**2 + 8*c - 6. Let i be b(6). Let g = 9 + 0. Suppose -13*j + 24 = -g*j. Are j and i nonequal?
False
Let b = -22.01 + 22.01. Is -817 at least b?
False
Let j(o) = -o**3 - 9*o**2 + 92*o + 659. Let s be j(-6). Which is smaller: 0.03364 or s?
s
Let f = 6 + 5. Let t = 3301700/303219 + 2/33691. Do f and t have the same value?
False
Suppose 0 = 8*b - 7*b - 3. Suppose 0 = h + b*h + 8. Let p be (14 - h)*(-10)/20. Is p less than or equal to -9?
False
Suppose -5*a = c + 8680, 2*a - 116 = -5*c - 3565. Are a and -1737 nonequal?
False
Let x = -18007 - -12511. Let f = x - -3105238/565. Which is smaller: 1 or f?
f
Let m = 1137/11 + -53329/517. Let t = -2511 + 2511. Which is smaller: t or m?
t
Let m = -2057