Let c(l) = 3*l + 0*l - 5 - 2*l + 29. Let u be c(-20). Suppose u*k = -5*z + 2*z - 19, -k = -4*z. Is z greater than or equal to -1?
True
Let o = -7683 - -8735. Is o at least 1?
True
Let n(z) = z**3 - 16*z**2 + 58*z + 21. Let l be n(10). Does l = 36/307?
False
Let l = 556/7 - 16649/203. Is 0.12 greater than or equal to l?
True
Suppose 5*o + 3*a - 75 = 0, o = a + 14 + 9. Let q be 70 - (-5 + 8 + 6). Suppose 2*h - q*h = -885. Is h greater than or equal to o?
False
Suppose 3*y + 2211 = -0*y - 3*p, 3*y + 2219 = -p. Let r = y - -752. Is -10 != r?
True
Let i be -11 + 2 - (5669 - 2). Which is greater: i or -5675?
-5675
Let d be 7/((-21)/12)*10. Let g = -2128 + 2129. Are g and d nonequal?
True
Let i = -1749 + 2521. Let m = i - 810. Is 3 at most as big as m?
False
Let y be 6505*(-153)/(-36) - 24/(-32). Is 27647 greater than y?
False
Suppose -o - 6*o + 28 = 0. Suppose -o*f = -3*v - f + 423, v - 4*f - 153 = 0. Is v bigger than 137?
False
Suppose 0 = 2*v + 5 - 3, -4*t = 4*v - 4. Suppose -4466 - 382 = -4*q. Let i be -3*(q/(-108) + t/9). Do i and 34 have different values?
True
Let d = 5.444 + -1.944. Which is smaller: 14 or d?
d
Let b = -53 - -55. Suppose -b*m = -5*y - m - 103, -5*y + 4*m = 112. Which is greater: -21 or y?
y
Let v be (-8)/70 - ((-8)/(-5) - 2). Which is bigger: -0.175 or v?
v
Suppose 0 = 25*s + 609 - 484. Which is smaller: 355 or s?
s
Let t be 408/(-7) - 1 - (-2)/7. Is t smaller than 9?
True
Let b = 479.8 + 61.2. Let j = 543 - b. Are j and -251 non-equal?
True
Let a = 66 - 17. Suppose -13 = 2*y + a. Let r = y + 15. Which is smaller: -14 or r?
r
Let x(v) = -v**2 - 10*v. Let n be x(-10). Let t(d) = -133 + d + 72 - d**3 + 61. Let z be t(n). Is 3 <= z?
False
Suppose 95 = 81*a - 86*a + 2*j, -2*a = -2*j + 44. Which is bigger: -383/24 or a?
-383/24
Let h be -8 - ((-16)/40)/((-8)/(-55)). Is 70 bigger than h?
True
Let d be (2 + -2 + (-2 - 1))/(-20). Let r = 211 + -133. Let i = 77 - r. Which is bigger: d or i?
d
Let k = -11293 + 1276084/113. Is k < 0?
True
Let m(v) = 5*v**2 + 4*v - 4. Let x be m(1). Let a = 0.14 + -0.126. Let d = a + -0.114. Does x = d?
False
Let c be 16 - (-2148)/48 - 3/(-4). Which is smaller: 63 or c?
c
Suppose 3*y = 10 + 8. Let b = 122 - -60. Let h = -176 + b. Is h < y?
False
Suppose -20*h + 19*h = -31. Let o = -37 + h. Which is smaller: o or -60/13?
o
Suppose v = -4*x + 17 - 49, 0 = 3*v - 5*x + 130. Let p be 3*((-50)/15)/(-5). Let t be (-5)/12*p*(-156)/v. Which is smaller: -4 or t?
-4
Let a = -296.8 - -301.8. Let x = 87 - 39. Let q be 3/(81/x) + -2. Do a and q have the same value?
False
Let z = -814 - -852.3. Let j = z - 38.622. Let k = 0.092 + j. Which is smaller: -1 or k?
-1
Let s = 937/18 + -52. Let x = s + 13/90. Which is greater: -8/9 or x?
x
Let d be (1 + 2/1)*(-52)/39. Let u be 3/d*(3 + 1). Let i be 40/345 - (-1)/u. Which is bigger: -1 or i?
i
Let p = 1316 - 455. Let r = p + -860. Which is smaller: -185 or r?
-185
Suppose 5*u + 8 = w, 0*w + 56 = 2*w - 2*u. Let c = w + -168/5. Is -0.08 less than c?
False
Let u be ((-1806)/1419)/(2/11). Is 863 less than u?
False
Let m(n) = 8*n + 88 + 8 + 6. Let t be m(-12). Is t > -18?
True
Suppose -2*o = 6, 4*m + 16*o - 14*o + 50 = 0. Let i = 1041 - 8405/8. Which is smaller: m or i?
m
Suppose -4*o + 0*q = 2*q - 20, 0 = o + 5*q - 14. Suppose o*h = 2*h + f - 113, -f + 275 = -5*h. Let v = -58 - h. Which is greater: -21/4 or v?
v
Let m be 350/315 - (-845)/(-477). Which is smaller: -2 or m?
-2
Suppose -n = -2*n + 3*f + 17, 5*n - 2*f - 20 = 0. Suppose -5*y - 14 = n*j - 61, 22 = j + 2*y. Is 15 less than j?
True
Let q(o) = o**3 + 26*o**2. Let n be -30 - (7 - -3)*(-6)/15. Let a be q(n). Which is smaller: -18 or a?
-18
Let k = 19469/2 + -9559. Is 176 less than or equal to k?
False
Let u be (2*(-3)/12)/(1/(-88)). Let x = 10/241 - -20465/482. Let c = x - u. Is -2 bigger than c?
False
Let y be (-164)/402 + (-3)/(-9). Let f = y + 212/1943. Let x = 41 + -42. Which is smaller: f or x?
x
Suppose -5*f - 141 = r, -4*f - r - 83 = -f. Let x be (1404/192)/(2/(-8)). Which is smaller: x or f?
x
Let h(l) = -l**2 + 30*l - 86. Let i be h(23). Let p be (-50)/i*(-44)/(-3). Which is bigger: p or -10?
p
Let v = -2692 - -13373/5. Suppose -14*r + 47 - 337 + 52 = 0. Which is greater: v or r?
r
Let g = 24 + -14. Let a = 296.2 - 296. Is a < g?
True
Let d = 4.32 + -4.4. Let z = 0.159 + -0.359. Are d and z equal?
False
Suppose 0 = f - i - 58, -18 = -72*i + 69*i. Which is bigger: 73 or f?
73
Let k = -758.0083 + 0.0083. Let g = 761 + k. Let o be (-9 - -4)*(0 + -1). Which is greater: g or o?
o
Suppose 3*m = 4*m + 2*j - 8, -3*m = 11*j - 54. Is -1031 bigger than m?
False
Suppose j + 151 - 159 = 0. Let r be ((-4)/j)/((-7)/(-14) - 1). Which is bigger: r or 1/142?
r
Let l = -14 + 26. Let d(g) = -g**3 + 16*g**2 + 2*g - 20. Let r be d(16). Let q = r - l. Which is bigger: q or 1/13?
1/13
Let s = 2447051/12096 - 29/1728. Which is bigger: s or 201?
s
Let n(h) = h**2 - 65*h + 1051. Let y be n(30). Is y at most -2/9801?
False
Suppose -82 + 96 = 2*w. Suppose 9 = w*r - 33. Suppose 248 = -r*i - 130. Is i at least as big as -64?
True
Suppose 0 = -2*m - g + 859 + 2322, 7975 = 5*m - 2*g. Suppose -11*b - 651 = m. Is b less than -205?
False
Let o = -300.24 - -292. Let z = o + 4.24. Is z < -3?
True
Let f be (-451)/(-492) - (-1)/12. Let k be (2/24)/((-200)/(-1766432)). Let w = k + -736. Is w != f?
True
Let t be -4 - (-4 + (2 - 1)). Let m = 7/53 - 588/1643. Is t less than or equal to m?
True
Let w = -8958 - -9008. Which is smaller: 0.16 or w?
0.16
Suppose 2*m - 3*l - 2 = -0*l, 4*m = 4*l. Let i(b) = 32 + 30 - 6*b + 2*b - 97 + 32. Let o be i(0). Which is smaller: m or o?
o
Let i(x) = -217*x**2 - 76*x - 234. Let g be i(-3). Which is greater: g or -1960?
g
Suppose -b + 38 = -3*p, -2*p - 5*b - 29 = 2. Let s be (-4 - -162)*p/104. Which is smaller: -19 or s?
s
Let y = 7/4096 - 36913/28672. Is 323 at least as big as y?
True
Let a(r) = -2*r**2 + 28*r + 26. Let s be 1*-6 - -3 - (-4 - 14). Let g be a(s). Do g and -14/3 have the same value?
False
Let q be ((-534)/133 - -2) + 2. Suppose 2*v - 3*r = 14, 3*v + 6 = -r + 5. Which is smaller: q or v?
q
Let n = -3204.381 + 3204. Is 1/3 less than n?
False
Let f(n) = 70*n - 8189. Let c be f(93). Which is smaller: c or -1676?
c
Let c = 362 + -225. Let f = c + -92. Suppose -46*x = -f*x. Do -2/27 and x have the same value?
False
Let m(i) = i**2 - 11*i - 22. Suppose -12 = 3*t, 0 = -4*j - t + 2*t + 12. Suppose 5 = j*b - 15. Let f be m(b). Is -32 <= f?
True
Let x = 37 + -59. Let y = x + 26. Suppose 0*n = 2*n - b, -3*n + 18 = 3*b. Which is bigger: y or n?
y
Let v = -152 - -512. Let j be ((60/16)/(-5))/((-2)/v). Suppose 0 = -j*z + 134*z + 1. Is z >= 2/189?
True
Suppose -5*j = -4*a + 34016, 5*a - 5165 = -5*j - 39190. Let p be 3/((-21)/(-2)) - (-23868)/j. Is p <= -4?
False
Let k = 275 + -144. Let z = k + -109. Does 45/2 = z?
False
Let n be (335944/(-392))/((-4)/(-10) - 54/10). Which is smaller: 0.04 or n?
0.04
Suppose 4*a + 3*y = -921, -7*y = 3*a - 5*y + 690. Are -221 and a nonequal?
True
Let l = 75 - -202. Let r = 192162 + -191884. Are r and l nonequal?
True
Let o(l) = -9*l**3 - 18*l**2 - 13*l - 33. Let v be o(-12). Let s be (-4)/(-18) - v/189. Which is smaller: -67 or s?
s
Let a = 262 - 236. Let g be ((-39)/a)/(4/(-8) - -2). Which is smaller: g or 6?
g
Let v be 1/(-2) + 4109/70 + 3. Let l = v + -60. Which is bigger: l or 10?
10
Let j = 9851 + -12400. Which is greater: j or -2548?
-2548
Suppose -g - 491 = 2*o, g - 2 = 1. Let k(w) = 74*w + 1676. Let t be k(-26). Which is bigger: t or o?
o
Let n(d) = -d**2 - 10*d - 17. Suppose -4*y = -2*v + 50, y + 80 = 4*v + 3*y. Suppose 3*g = -v + 9. Let h be n(g). Which is smaller: 25/3 or h?
h
Suppose 0 = -11*g - 65*g - 15884. Is -1 less than g?
False
Let i be -90*(-84)/(-175)*10/(-4). Let j = i - 112. Is j greater than or equal to -4?
True
Suppose -2*a - 538 = 152. Let o = a + 339. Do -53 and o have the same value?
False
Let c(g) = g**2 - 12*g + 27. Let q be c(9). Let i be 4/(-8) + (-7)/((-238)/3). Are i and q unequal?
True
Let w(l) = -6*l + 2*l - 26 + 2*l + 22. Let s be w(5). Which is greater: s or -13?
-13
Suppose 324*m = 332*m + 7544. Which is smaller: -945 or m?
-945
Suppose 7*i = 3*i. Suppose h = -i*h. Let p(f) = f**3 - 25*f**2 + 160*f - 65. Let t be p(11). Which is smaller: h or t?
h
Suppos