28 + -31). Which is bigger: l or -2283?
l
Let g be (-189)/30*2/(-18). Which is bigger: 15 or g?
15
Let f = 88250736/941 - 93784. Which is smaller: -1 or f?
-1
Let h = -671 + 700. Suppose 109 = -4*t + 2*v + h, -4 = -2*v. Does -25 = t?
False
Let i = -157 + 155. Let g be (2*(i + 1))/((-41)/533). Which is greater: g or 29?
29
Let u be 6/(-45) - (-374)/(-204). Which is smaller: -2 or u?
-2
Let f = 25.67 + 1.43. Let c = f - 27.2. Which is smaller: c or 4?
c
Let j = 131.3 - -2.7. Let q = -240 + 109. Let s = q + j. Is s < -3?
False
Let m(z) = -z**2 + 3*z + 29. Let a be m(8). Let d(n) = 11*n - 4. Let r be d(-3). Let u = r + 25. Which is greater: a or u?
a
Let l be 2/4 - 192465/(-26). Let t = -2391171/323 + l. Which is bigger: 1 or t?
1
Let s(q) = -q**3 - 5*q**2 + 12*q - 7. Let l = -2 + 23. Suppose 13*z - l = 16*z. Let v be s(z). Is 1/4 greater than v?
False
Let y = 99 + -94. Suppose 4*t - 9 = n, -y*n + 6 = 6*t - 9*t. Let a be ((-114)/152)/(1 - n/4). Is -3/4 <= a?
False
Suppose 45 = 2*i - i + 5*z, 4*i + 4*z = 116. Suppose 4*n = -3*k + 128, -4*n - 124 = -6*k + 2*k. Let c(m) = -m**2 + 38*m - 48. Let j be c(k). Is j >= i?
False
Suppose -1 = -9*r + 44. Suppose 138 = -r*q - 2*w + 21, -q - 4*w = 27. Are -23 and q nonequal?
False
Suppose 13*g + 3*g - 75 = g. Which is bigger: g or 171/29?
171/29
Let x = -1637 - -109681/67. Let m(b) = -3*b + 4. Let c be m(-2). Let q be 240/(-200) + 2/c. Is x not equal to q?
True
Let c = 231.1 - 231.3. Are c and 851 equal?
False
Suppose 3*s - 7*s + 20 = 0. Let n be s/18*(-38)/95. Let j be 2/3*(-12)/8. Which is smaller: j or n?
j
Suppose -5*c + 2*v = -3*v - 55, -5*c - 2*v + 76 = 0. Let z be 6*4/8*1. Let x be 1/1 + c/(-30)*z. Is -0.7 not equal to x?
True
Let d = 11995.6 + -11996. Which is greater: d or -344?
d
Let m be 240541/91 + (-4)/13. Is 2643 smaller than m?
False
Let n = 507 + -511.58. Let g = 4.78 + n. Let l be (-19 + (-1)/(-1))/(-1). Which is greater: g or l?
l
Let o = -9.9 + 10. Let p = -98 - -177.5. Let v = 76 - p. Which is smaller: v or o?
v
Let m(o) = 2*o**3 + 39*o**2 - 13*o - 324. Let b be m(-15). Is 1893 < b?
True
Let c(d) = -d**3 + 3*d**2 + 5*d - 4. Let q be c(4). Let v be (-162)/9*(-16)/(-3864). Let w = 18/23 - v. Is w less than q?
False
Let x = -1220 - -1192. Suppose n + 4*b = -4*n - 110, -5*b = 2*n + 27. Which is smaller: x or n?
x
Let v be 2806200/165 + 2/11. Let b = 16996 - v. Which is smaller: -11 or b?
b
Let q = -15998369/801 + 19973. Which is smaller: q or 1?
q
Let p(b) = 14*b - 12. Let r be p(1). Let q(a) = 9*a**2 - 22*a - 3. Let d be q(r). Which is bigger: d or -153/13?
d
Let j = -22266 + 54930224/2467. Is 2/7 at least j?
True
Let b(u) = -4*u - 7. Let i be b(-6). Let z = 497 - 526. Let f = z + i. Do -14 and f have the same value?
False
Let x be 670/268 - (0 - 45/2). Which is smaller: x or 616/25?
616/25
Let v = -11.7 - -11. Let q = -5425 - -5432. Which is greater: q or v?
q
Let y(j) = 5*j**3 - 9*j**2 - 13*j - 9. Let w be y(9). Let v be (-3)/(795/w - 2/6). Let a = v + -15. Which is greater: a or 48?
48
Suppose -2*d + 17 = -m - 0*m, -m = d - 7. Suppose 35 = -d*c - 13. Let l be (c/4 + 1)*194. Are l and -96 equal?
False
Let b = -228 + 169177/742. Let y = b + -186/371. Which is smaller: y or -125?
-125
Let k = -160959/182442521 + 3/22831. Is 0 less than k?
False
Suppose -4*q = -q - 15. Suppose 94 - 24 = -q*d. Suppose 3*s - s + 26 = 0. Which is smaller: s or d?
d
Let f = -45510774/1319 - -34504. Is f greater than or equal to 0?
True
Suppose 5*g = 4*d - 10, -4 = 2*g + 2*d - 3*d. Let i(o) = 92*o - 3. Let s be i(g). Let f be s/33 + 10/6. Which is greater: -19/4 or f?
f
Suppose -51 + 59 = -2*c + 2*y, 5*y - 20 = -4*c. Is c greater than 3/1573?
False
Let j(w) = w**2 - 14*w - 70. Let o be j(18). Suppose 0 = 3*s - 5*u - 62, 7*u - 8 = -o*s + 2*u. Which is smaller: 130/9 or s?
s
Let z be 849*(6 - (-3 + 0 - -8)). Is 848 at most as big as z?
True
Suppose 3*o = 3*n - 3, 0 = 5*n - 3*o + o - 8. Suppose n*f - 1 = -9*d + 10*d, -5*d + f = -4. Which is smaller: d or -176?
-176
Let g be (109/872)/((-1)/8). Is g greater than or equal to 2/147?
False
Let j = -1.936 - -0.036. Let n(r) = 2*r**2 - 18*r - 10. Let d be n(10). Let g be (d/35)/(16/14). Which is greater: j or g?
g
Suppose -q - 30 = 2*q. Let n = 3367 - 3382. Which is bigger: n or q?
q
Let x = 2.972 - 2.782. Let o = 5.6 - -0.4. Which is greater: o or x?
o
Let v = -1011 + 948. Which is smaller: v or -50?
v
Let q = 147 - 147.29. Let g = 848 - 844.29. Let p = q - g. Is p <= 2?
True
Let p(k) = -4*k - 31. Let d be p(-5). Let s be ((-2)/22)/(d/121). Which is smaller: 18 or s?
s
Let b = -1998 + 1397. Let c = b + 600.99. Suppose -p + 3 = -4*p. Which is smaller: p or c?
p
Let r = 4.726 - -7.874. Which is bigger: -9 or r?
r
Let z = 514 - 1021. Let c = 490 + z. Is 3 at most as big as c?
False
Let c be (-57)/12*2*-52. Suppose 20*r - 33*r + c = 0. Is r <= 37?
False
Suppose -85*g - 81*g + 48*g = -118. Is g less than -2/5319?
False
Let i(o) = -o**3 - 3*o**2 + 4*o + 3. Let m = -751 - -747. Let g be i(m). Is g at most as big as -212?
False
Let z(j) = j**2 + 5*j - 22. Let f be z(-10). Suppose f*i = 27*i - 1. Are -38/25 and i nonequal?
True
Suppose 4*c = c + 804. Let w be (-8372)/(-31) - (-10)/(-5). Let a = w - c. Which is smaller: a or 1?
a
Let w(j) = 12*j - 6. Suppose -3*g - 3 = 3*i, 21 = -g - 0*i + 3*i. Let u be w(g). Suppose -642*l + 23023 = -941*l. Which is smaller: l or u?
u
Let j = -3883 - -3873. Which is smaller: j or -988?
-988
Let z be ((-1)/185)/((-5872)/2063960). Let a = -141/74 + z. Which is bigger: a or 1?
1
Let x = 8525 + -8559. Is x at least as big as -0.075?
False
Suppose 5*i = 4*z - 9*z + 350, 3*i - 214 = -2*z. Suppose g - 3*c = 22, -5*g + 0*c - 3*c = -i. Is 11 != g?
True
Let k be 48/4 - 5/(-5). Suppose -84 = -k*o - 19. Let s be 6/15 - 102/o - -4. Which is greater: s or -1?
-1
Let s = 130/3 + -43. Let o = 94 - 95.37. Let z = o + 1.32. Are s and z non-equal?
True
Let x = 8 + -19. Suppose 0 = 46*r + 70*r - 41*r. Which is bigger: x or r?
r
Let h = -11300229/260 + 217298/5. Let y = -29611/20 - -1478. Let f = h - y. Which is smaller: 1 or f?
f
Let s = -108.644 + 6.584. Let i = s - -102. Which is bigger: -0.2 or i?
i
Let r = -0.586 - -0.336. Which is bigger: -51 or r?
r
Let v = 31.333 - 0.133. Let j = v - 31. Let d be 414/60 + (-3)/(-5). Is d at least as big as j?
True
Let g be ((-171)/38)/(5/(-630)*-7). Let r(t) = t**3 + t**2 - 3*t + 2. Let a be r(-5). Which is smaller: g or a?
a
Let s(w) = 5*w - 124. Let c be s(19). Suppose 2*k = 4*q + 3*k - 476, 4*q - 5*k - 500 = 0. Suppose -4*z - 153 = 5*u, 2*u + 2*z = -2*u - q. Is c != u?
False
Let f = -2866 + 34357/12. Let z = 9/4 + f. Which is smaller: -2 or z?
-2
Suppose -3*s - 2*m = -103, 4*s - 4*m - 102 - 22 = 0. Let g be 2 + s/(-15) - 4/(-5). Do g and -5/13 have the same value?
False
Suppose -5*f + 44 = -3*j + 70, f - 3*j = -10. Which is smaller: f or -43/9?
-43/9
Let k = 6419 + -6417. Which is bigger: k or 303?
303
Let g = -11443 + 11446.9. Which is greater: -4 or g?
g
Suppose -76 - 5 = 3*y. Let v be (-6)/y + (-64)/(-36). Let p be (-930)/(-1050) + 6/28. Is v at least p?
True
Let m = -0.1 - -2.1. Let v = 255 - 107. Let c = 147.7 - v. Which is bigger: c or m?
m
Let l = -4082.8 + 4081.8. Let q = -285 + 263.9. Is l smaller than q?
False
Let s be -26 - 0*(1 - 2). Let c(i) = -i**2 + 4*i + 2. Let o be c(4). Suppose -r - o*n + 54 = -3*r, -3*r + 2*n = 79. Is s greater than or equal to r?
False
Let d = 658300 + -211314083/321. Let c be 35/(-14)*(-2)/(-1) - (-60342)/12091. Let v = c + d. Is v bigger than -8?
True
Suppose -3*n - 4 - 8 = 0. Suppose 0 = r + 4*x + 87, -12*r + 7*r + 2*x = 501. Let c = 98 + r. Is n <= c?
True
Let p(d) = -3*d + 6. Let v be p(2). Suppose 2*j + v*j + 4*w = 26, -2*j - 6 = -4*w. Suppose 2*u + j*n = 5*u + 29, -5*u + n = 41. Which is smaller: -1 or u?
u
Let m = 150479 - 1055484/7. Which is greater: m or -304?
-304
Suppose -4*f - 4 = -5*f - p, 4*f - p = 11. Suppose 6 = 9*n - f. Let r = 7/33 - -23/99. Which is smaller: n or r?
r
Suppose 35*v = 14*v + 12726. Suppose 3*k + v = 5*y, 0 = -0*k - 4*k + 5*y - 803. Which is smaller: 1 or k?
k
Let h = -828.4 - -779.89. Let b = 48 + h. Let t = b - -0.51. Is t less than or equal to -6.9?
False
Let x be 12/(-30)*1 - 42/(-180). Let v be (-9)/(-12) - (-1)/4. Which is smaller: v or x?
x
Let 