156/7. Is 0 greater than l?
False
Let p be ((-331836)/41484 + 8)*(-10)/(-3). Which is bigger: -1 or p?
p
Let i(r) = -r**2 - 23*r - 350. Let f be i(-12). Is f not equal to -221?
True
Let h be -127*12/1122 + 20/110. Let u(a) = -a**2 + 8*a - 2. Let b be u(8). Is b at least as big as h?
False
Let d = 193759/36 - 27375/4. Is d at most -1463?
False
Suppose 332 = 26*w + 98. Suppose -4*i - w = -13. Which is smaller: i or 10/33?
10/33
Let z = 55.8 + -55.669. Let i = z - 1.131. Which is smaller: -16 or i?
-16
Suppose -3*r = 8*r + 22*r - 363. Which is smaller: r or 617?
r
Suppose 3290 = 2*o + 5*b, 2*b = -o + 8*o - 11437. Is 1634 less than o?
True
Let g = -33749 - -33750. Which is smaller: 1610 or g?
g
Let f = 23898 + -13668. Which is greater: 10229 or f?
f
Suppose 0 = -4*s - 3*l - 15, 2*l + 38 - 28 = -s. Do s and 37/64 have the same value?
False
Let o be 966/(-15) + 6/15. Let u = -70 - o. Suppose -3*d = -6, f = -3*f + d - 14. Is u at least f?
False
Suppose 3*u = 0, 5*h + 5*u - 4*u - 150 = 0. Which is greater: 4 or h?
h
Let q = -4438 - -4599. Is q at least 162?
False
Let r(n) = -3*n. Let x be r(0). Suppose -4*b + 0*b - 256 = x. Let l = -131 - -68. Do b and l have different values?
True
Suppose 5 = -2*f + 7. Let p(o) = o**3 + 7*o**2 + 7*o + 3. Let k be p(-5). Let y = k - 21. Are f and y nonequal?
True
Suppose -11*v - 70 = 4*t, 3*v = -1041*t + 1039*t - 20. Let y be 0 - (175/(-171) + 1). Is y at most as big as t?
False
Suppose 62 = 5*v + 632. Let y = -1024 - -612. Let o = y - -298. Are o and v unequal?
False
Let l be (5/(-10))/(10/380) + (-1 - -9). Let o = -3 - 3. Is o less than or equal to l?
False
Let g = 2642 - 2643. Does 3/1423 = g?
False
Suppose 3*x + 208 = 4*s - 80, -2*x + 3*s = 193. Let q = 122 + x. Is 30 at least q?
True
Let a = 27603 + -27602. Let v be (16/2060)/(36/10). Which is smaller: v or a?
v
Let j = 47 - 63. Let r = -37 - j. Let m be (-60)/(-40)*(-11 - (0 - -1)). Is r less than m?
True
Let f = 9561.1 - 9561. Is f < -1723?
False
Let i = -4/55 - -26/55. Suppose -363 + 510 = 7*r. Let w be (-15)/r + (-12)/42. Is i less than or equal to w?
False
Let y = 12552/11 + -37645/33. Which is greater: -256.6 or y?
y
Let v(r) = 2*r**3 - 6*r**2 + 12*r - 8. Let q be v(4). Let h = q - 52. Suppose -h = -2*y - 0*y. Is 8 >= y?
False
Let j = 1344738 - 70132120912/52153. Is j >= -0.1?
True
Let g be 32/17 - 2 - 39/(-884)*-20. Is 5/699 less than g?
False
Suppose -351 - 94 - 147 = 37*a. Is -298/19 > a?
True
Let p be (0 - ((-25)/35 + 1)) + (-28864)/(-101220). Is p equal to 0?
False
Let o(h) be the first derivative of -h**4 - 11*h**3/3 + h**2/2 - 5*h - 76. Let d be o(-3). Do d and 2/395 have the same value?
False
Suppose -7*a + 29 = -8*a - 5*m, 78 = -4*a - m. Let u be (a/76)/(2/236). Is u at least -29?
False
Let l be 2*(3 + -3 + 1). Suppose -1748 + 4032 + 2076 = 20*m. Suppose g + g + m = 3*u, -l*g = -10. Which is smaller: 77 or u?
u
Let b = 151 - 151.5. Let g = 41 - 40.8. Do g and b have the same value?
False
Let d be ((-19)/38)/(1/(-4)). Let b be 11 + 1*(d - -2). Let a be 30/(-9) + (-10)/b. Which is smaller: a or -5?
-5
Suppose 5*l = -5*m - 30, -33 - 9 = 2*l - 3*m. Let c = -3597/205 - -252/41. Which is greater: l or c?
c
Let d(s) = -s**2 - 17*s - 17. Let l be d(-14). Let w be (-2 - l/(-20))*4*1. Let c(o) = 3*o**3 - 2*o - 9. Let j be c(w). Is -84 <= j?
True
Let v be 28/(-210)*171*-10. Is v != 227?
True
Let r = -0.46 - -4.76. Let n = 1423.6 + -1420. Let s = r - n. Is -1 < s?
True
Let v be 690/423*(5890/(-350) + 17). Is 1 smaller than v?
False
Let d = 126 + -7. Suppose 5*f - 220 = 5*z, -4*f - 4*z + 65 = -d. Are f and 45 unequal?
False
Let c be (-634570)/(-437) - -2 - (-2)/(-19). Is 1455 at most c?
False
Suppose h = -u - 3307, 538*u - 542*u - 13276 = -4*h. Which is greater: -3306 or u?
-3306
Let u(o) = 3*o - 26. Let k be u(10). Suppose -c - k*c = 25. Let l be c - (-2 - 108/40). Which is smaller: 1 or l?
l
Let m = 1958 - 1957.8. Let h = 0.029 + -4.829. Let q = h - -2. Do q and m have the same value?
False
Let m = -700 + 701. Let c be (-70)/((-178)/(-72) + 6/(-27)). Let q = c - -12058/387. Is m smaller than q?
False
Let n be 1 - (-400)/((-2805)/8568 + (-4)/(-14)). Which is smaller: n or -9600?
-9600
Let b = 8.2 - 17. Let q = -0.1662 + -9.0338. Let f = q - b. Are f and 7 equal?
False
Let p = 294 - 303. Let b(l) = l**2 + 10*l + 20. Let u be b(p). Let m = 77/8 - -1/24. Are u and m nonequal?
True
Let i = -0.78 - 0.02. Let u = -75 + 74.704. Let x = u - -0.696. Is i at most as big as x?
True
Let h(a) = a**2 - 11*a + 6. Let w be h(11). Suppose 3*s - 6 = -4*y, -3*s + w = -4*y - y. Is -6/23 != y?
True
Suppose -y - 2*w = -6*y + 138, -3*w - 64 = -2*y. Let i = y + 35. Suppose 0*z + z = 2*x - 56, 3*x = z + i. Is -44 at least as big as z?
True
Let u = -12191 + 12190.41. Which is bigger: 0.11 or u?
0.11
Let n(a) = a**2 - 26*a - 31. Let z be n(31). Let t = -334 + 460. Is z greater than or equal to t?
False
Let n be 0 + -1*2/34. Let j = -35 - -50. Suppose 5*b + j = -0. Is b > n?
False
Let i = 41/728 + -1133/728. Let v = 14 + -7. Let x = 5 - v. Is x at least i?
False
Let z(d) = 231*d - 249. Let v(a) = 46*a - 49. Let b(c) = 11*v(c) - 2*z(c). Let r be b(-4). Is -216 less than r?
False
Suppose 638*r - 20 = 618*r. Is -1037 >= r?
False
Suppose 16*f = -5*p + 15*f + 310, 3*f = 4*p - 248. Let q be (-12)/p*-4*1/8. Suppose -u - 2*u + 7 = -4*v, 6 = -4*v + 2*u. Which is smaller: v or q?
v
Suppose 111*x - 812 = -2*y + 110*x, -3*x + 2034 = 5*y. Which is bigger: 400 or y?
y
Suppose 0 = -202*q + 4391 - 21561. Do q and -77 have different values?
True
Let b = 103/2 + -258/5. Let r(x) = -2*x**2 + 17*x + 14. Let n be r(9). Suppose 2*o - 3*a = n, -5*o - 2*a = -3*o. Is o greater than or equal to b?
True
Let z = -1971 - -846. Which is bigger: z or -1124?
-1124
Suppose 0 = -337*r - 233*r + 157*r. Which is smaller: r or -13/694?
-13/694
Let b = -3.1 - 0.9. Let w = -62 - -65.2. Let s = b + w. Which is smaller: -0.2 or s?
s
Suppose -4*t + 1864 = 3*z, -2*z = t - 0*t - 1241. Let v = 619 - z. Let j be (-3 + 1)*4/52. Which is smaller: v or j?
v
Let k be -142 + 14 + (-12)/(-16)*4. Is k bigger than -503/4?
True
Let f(q) = -5*q**2 - 101*q - 493. Let l be f(-12). Is -33/628 != l?
True
Suppose 36*c - 4*i = 31*c - 3849, -2*c - 1540 = -2*i. Is c not equal to -760?
True
Suppose 2*o - 98 = -4*y, -2*y = 5*o - 0*y - 205. Let r be 453/12 + 2/8. Let z = r - o. Is -1 at least as big as z?
True
Let o be ((-117)/(-260)*5)/(6/8). Let n be o*(-4182)/36*2. Which is smaller: n or 2/3?
n
Let d = 69 - 220/3. Let z(m) = 3*m - 34. Let t be z(13). Suppose 5*k - 3*v + 6*v = -29, 2*k + t = v. Which is bigger: k or d?
k
Let m = -2007 + 2002.4. Is -1/3 at least m?
True
Let c(n) = -n**3 + n**2 - 2*n - 2. Let x be c(0). Let k be 8/122*x/(-4). Let u = -22 - -22. Is u <= k?
True
Let u = -3.268 - -3.6843. Which is bigger: -0.2 or u?
u
Let y(n) = -3*n + 13. Let g be y(-7). Let j = -9 - g. Let x = 23 + j. Is x at most -18?
True
Let p be (-20)/(-1)*3/5. Suppose -20*i + 360 = -p*i. Is 227/5 <= i?
False
Let h = -32 + 35. Suppose -o + 0*o = 2*x - 21, 4*x - h*o = 27. Let c be (x/27)/(1/3). Is -2/47 < c?
True
Suppose 67 = 9*p + 229. Let o be 194/(-318) - 12/p. Let w = 1.42 + -1.32. Which is smaller: o or w?
o
Let x(h) be the second derivative of -h**4/3 - h**3/2 - h**2/2 + 81*h. Let c be x(-8). Are c and -233 non-equal?
False
Suppose 30*i - 23*i + 54236 = 0. Let t be 2/4*i/13. Which is bigger: -299 or t?
t
Let q = -2.921 + -0.079. Let h = -1194 + 1180. Is q equal to h?
False
Let x = -1.3 - 0.7. Let j = -2.1 - x. Let c = -20.788 - 3.212. Is j at most as big as c?
False
Let v be ((-325)/39)/((-472)/42). Let f = 12/5 + -1411/590. Let x = v + f. Are 11 and x equal?
False
Let b be 1/((-7 + 8)/4). Let h be (275/22 + 11)/(2/b). Which is smaller: h or 50?
h
Suppose 24 - 122 = -7*l. Suppose u = 2*h - l, 5*u = -h - 13 - 2. Let s(p) = -2*p - 6. Let b be s(u). Which is bigger: 4/5 or b?
b
Let h(f) = -f**3 - 30*f**2 - 16*f - 481. Let g be h(-30). Is g not equal to -5/1464?
True
Let u = 0.673 - 0.973. Let f = -23 - -85. Which is smaller: u or f?
u
Suppose 2*v - 2*p = 12, -3*p = 7 + 5. Let h be (-350)/(-20)*(0 - v). Let z = -36 - h. Which is smaller: z or -6?
-6
Let i = 218.2 - 247. Let f = 55.8 + i. Which is smaller: -1/2 or f?
-1/2
Let x(l) = -2*l**3 + 7*l**2 + 42*l + 8. 