. Are g and l unequal?
True
Let x = -4.3867 + 0.3867. Is x != -3/266?
True
Let l = -0.0787 + 292.0787. Let p = l - 291. Which is smaller: 45 or p?
p
Let m be 5/(-1) + ((-80)/(-32)*-4 - -15). Let c = -14/55 + 469/330. Which is greater: m or c?
c
Let v = 1002.9925 + 0.0075. Which is smaller: 2/11 or v?
2/11
Suppose -24*g = -18*g - 24. Suppose -3*j + g*m - 7*m + 15 = 0, 5*j - 37 = m. Let l(u) = -10*u + 16. Let d be l(j). Which is smaller: -53 or d?
d
Suppose 4*l = 4722 - 1334. Suppose -10*p = p + l. Let x be 96/238 - (-22)/p. Is x > 15?
False
Let l be (17 - (28 + -10))/(0 + 1). Is l <= 1/17?
True
Let d = 24 + -21. Suppose -3*m = -t - 5, -d*m + t + 7 = 2*m. Suppose 16 = 3*x + m. Which is bigger: x or 3?
x
Let d = -23785 + 8788. Which is smaller: -14998 or d?
-14998
Let l = -4.14148 - -0.14148. Which is smaller: l or 9/493?
l
Suppose 0 = -3*t - 3*k + 3, 0*t - 4*k + 4 = 3*t. Let v = t - -2. Let r be ((-2)/(80/(-4)))/(1 - v). Is r equal to 0?
False
Let d = 1163229/7 - 1634332846/9835. Let c = -1/281 - d. Is -1 at least c?
False
Let o = -48 + 52. Suppose -3*q - 2 = q + s, 2*q + o = s. Are q and 3/11 nonequal?
True
Suppose -5 = 3*m - 11. Suppose -2*c - m*c = 20. Suppose -g - 5*s - 30 = 4*g, 3*g = 3*s. Is c != g?
True
Suppose -2*n + 243 = i, -n + 104 = -0*n - 3*i. Let g = 289 - n. Is 171 greater than or equal to g?
True
Let g(p) = -43*p**2 + 4631*p + 158. Let f be g(108). Is f not equal to -1251?
True
Suppose l + 2*h = 3, 0 = -0*l + 5*l - 5*h. Let g = l - 0. Which is greater: 86 or g?
86
Let q = 480 + -478. Suppose -3*m - 2*m = 2*o + 39, m = q*o + 9. Let v(x) = -x**3 - x + 2. Let g be v(2). Is o not equal to g?
True
Let d = 22627/623770 + -19/4690. Which is smaller: -1 or d?
-1
Let z be ((-2)/(-1))/(15/3). Let f = -586.472 + 586. Let y = 0.372 + f. Do z and y have the same value?
False
Let c(w) = w**2 + 2*w + 6. Let a be c(-5). Suppose 33*v = 28*v + 430. Suppose -5*s = 3*b - 47, v = 4*b - s + 8. Is a at least b?
True
Suppose -w = 0, -29*v - 6*w = -24*v + 985. Is v bigger than -195?
False
Let u be 1 - 3/9 - (-182)/(-21). Let c be u/(-20) - ((-2)/(-30) - 0). Is c greater than or equal to -241?
True
Let a = 349.9 + 1.1. Let c = a - 339. Is c at least 23?
False
Let o = -615 + 2814. Let k be 136/1564 - o/161. Which is bigger: k or -14?
k
Suppose 6*n - u - 19 = 4*n, -5*n - 2*u = -70. Suppose n = 5*s - 2*s. Suppose -28*o = -26*o - s. Which is bigger: o or 1?
o
Suppose 3*o - 135 = m, 369 = -3*m - 0*m - 3*o. Let s be 12/(3/(m/60)). Which is bigger: -8 or s?
-8
Suppose 115*i = 83*i. Which is greater: -6/385 or i?
i
Suppose -c = 5*p + 50, 5 = -3*p - 10. Let m = 51577 - 51604. Is c != m?
True
Let y = 0.7 - 1.5. Let g = -58.5 - -61. Let t = 0.5 - g. Which is smaller: t or y?
t
Let z be ((-57)/12 - -5)*-4. Let b be -4 - (2 - (z - -2) - 5). Is -1/63 > b?
False
Let h = -38 - -50. Suppose -59 = -h*v + 25. Which is smaller: v or 10?
v
Let h = 45.37 - -6.73. Let c = 5.9 + h. Let w = c + -57.5. Which is smaller: -6 or w?
-6
Let v = -479 - -14842/31. Suppose -36*a + 69 = 33*a. Which is smaller: a or v?
v
Let w = 368927/183 + -2016. Let o = -373/1281 - w. Is -22.8 at least o?
False
Let i = 950650/54153 + 4/6017. Let d(g) = 11*g**2 + 258*g + 584. Let k be d(-21). Which is smaller: i or k?
k
Let r = 49 - 58. Suppose 6*b = 19 - 1. Suppose 0*c + c = 2*t + 13, -41 = 4*t + b*c. Which is smaller: t or r?
r
Suppose 3*r - 1497 = 3*c, -4*c - 28 + 32 = 0. Suppose -24*h + r = -364. Suppose 5*k + 0 + 10 = 0, 5*b + 4*k - 177 = 0. Which is greater: b or h?
b
Suppose -25*m + 165 = 263 - 448. Are m and 962/63 equal?
False
Let c be (-130)/455 + 4566/7. Which is bigger: c or 650?
c
Let u(d) = -d**3 + d**2 - 2*d - 4. Let v be u(-3). Let o = 110 - v. Let f = o - 69. Is 9/4 less than or equal to f?
True
Suppose -4*f + 4 = -8. Suppose -f*n + 6 = 0, -4*g + n = -2*g + 4. Let q = -16 - -22. Is g at least q?
False
Let v(w) = 21*w**3 + 7*w**2 + 55*w + 17. Let d be v(-4). Which is bigger: d or -0.2?
-0.2
Let c(x) = x**2 + 53*x + 1028. Let s be c(-117). Which is smaller: s or 8518?
s
Let d(w) = -271744*w**2 + 2*w + 2. Let v be d(2). Let m = -59786657/55 - v. Let a = m - -297/5. Is -2 smaller than a?
True
Let c be ((-4)/1 + 2)/((-60)/90). Suppose 6 = c*t, -4*g + 108 = 3*t - 7*t. Are 23 and g non-equal?
True
Let j = 2/36825 + 3129929/3608850. Is 2 at most as big as j?
False
Suppose 0 = -22*a + 18*a + 164. Let y = a - 35. Suppose o = 3*p + 37, 3*o = y*p - 2*p + 51. Is p != -9?
True
Let s(b) = -b**2 - 44*b - 88. Let i be s(-40). Suppose i = -9*t - 0*t. Suppose -6*a = -2*a + 36. Is t smaller than a?
False
Let y = 5860 - 4724. Is y equal to 1136?
True
Let w = -13 + 8. Let k be (-12410)/2600 + 2/(-26). Let t = k + 1/10. Which is bigger: w or t?
t
Suppose -2*d - 2*d + 18 = -v, -v - 3*d + 10 = 0. Let z be v/(4/14)*-4. Suppose 3*m = 2*h + 85, -m = 2*m - 3*h - 87. Which is bigger: m or z?
z
Let w(y) = -y + 31. Let s be w(25). Suppose 42*g = 36*g + s. Which is greater: g or 2/373?
g
Let o = -2980 - -2991. Suppose -3*i + v = 2*v - 23, 4*v = -3*i + 20. Do i and o have the same value?
False
Suppose -37*x + 29*x = 0. Suppose -6*z + 9*z + 3 = x. Which is bigger: z or 10/31?
10/31
Let n be (87238/265)/(3*2/15). Let h = n - 824. Which is smaller: -6/77 or h?
h
Let z = -6317 - -6345. Is z equal to -346?
False
Let z = 1/61 - -237/427. Suppose 0 = -2*c + 5*w - 4, 3*c - w - 5 - 2 = 0. Let t be c + (1 - 2)*2. Which is greater: z or t?
t
Let i(q) = 3*q**2 - 182*q + 1751. Let r be i(12). Suppose 0 = 3*b - 154 + 1759. Let w = b + 21401/40. Which is smaller: w or r?
r
Suppose -2*v + 154 = 36. Let y be (-5)/((-60)/(-512))*(0 - -3). Let l = y - -186. Which is greater: v or l?
v
Let n = -7605 + 2418395/318. Do n and -1 have the same value?
False
Let x(h) = h + 20. Let q be x(-17). Suppose -q*z + 12 = -0*z. Let a be (-6 - 303/(-12)) + 3/z. Is 20 != a?
False
Let g = -12 + 20. Let u be (15/9)/((-15)/(-18)). Let m be u + 0 + (-5 - -4). Which is bigger: g or m?
g
Let r = 7.9 + -8. Let g = 2.08 - -130.92. Let m = 139.1 - g. Is r greater than or equal to m?
False
Let s(u) = u**2 + 22*u + 46. Let h be 12/20*(-1 + -4). Let w be s(h). Which is smaller: -21/2 or w?
w
Let a = -158 + 80. Let m = -77.995 - a. Let z = -11.995 - m. Does -2 = z?
False
Let z = 4/134765 - -269126/13611265. Let c(v) = -v - 4. Let p be c(-3). Do z and p have the same value?
False
Suppose 4*n = 2*k - 20 + 208, -4*k = -n + 47. Let o(i) = -25*i**2 - 1876*i - 76. Let a be o(-75). Is n less than or equal to a?
False
Let d = -70 + 115. Let m be (8 - 7)*(-65)/d. Which is smaller: -2 or m?
-2
Let s = -11 + 16. Let x = 42372/19 + -2226. Is s not equal to x?
True
Let t = -11748 - -11745. Is -47/27 bigger than t?
True
Let s be (-2 + (-310)/(-140))*(-164)/(-33). Which is smaller: s or 0?
0
Let n = 44 - 41. Suppose -v + 83 = -5*g + n*v, -2*g = 2*v + 26. Does g = -13?
False
Suppose 2*j - 5*j + 24 = 0. Suppose 2*f = -3*x + j, -3*x + 20 = 4*f + f. Suppose x = -d - 5*c + 23, -2*c + 19 = 3*d + 3*c. Are -1 and d nonequal?
True
Let v = 852 - 852. Is v < -1/1531?
False
Let x be (-1)/(-4) + 3688/(-1872). Let h = 22/13 + x. Is h greater than -1?
True
Let m(b) be the second derivative of b**3/2 + 3*b**2/2 + 517*b. Let l be -1*(-2)/4*-6. Let h be m(l). Is h bigger than -27/5?
False
Suppose -17*u + 14*u = -12. Suppose 13 = m + 3*i + u, 3 = -2*m + i. Suppose 285 = 5*o + 4*b - b, m = b. Which is bigger: 56 or o?
o
Let q(y) = -y**3 - 14*y**2 + 15*y + 15. Let n be ((-21)/(-28))/(4/(-80)). Let h be q(n). Let t be h/(-18) - (2 + 1)/(-3). Are -4 and t equal?
False
Let m be 24/(-3492)*(-1 - 123386). Suppose 3*x + 1440 + 1104 = 0. Let z = x + m. Are 0 and z non-equal?
True
Let i = 59 + -34. Let b(h) = -19*h**2 - 2*h - i + 4*h + 26. Let p be b(-1). Which is bigger: p or -18?
-18
Let b = 1189.2 + -1202.2. Is 1/14 < b?
False
Let c be ((-2)/(-7))/((-110)/(-14)). Let b = -456 + 463. Suppose -4*j = 3*r + 17, 2*r - j + 0 = b. Which is smaller: r or c?
c
Let p be 32/(-272) - (1859/238 - 0). Is -9 bigger than p?
False
Let t(b) = 38*b**2 - 65*b**2 + 117 + 26*b**2 - 7*b. Let y be t(9). Is y bigger than -225/8?
True
Suppose 5*t - 622 = 258. Let w be (-94)/(-4) + 0 + 44/t. Which is bigger: 23 or w?
w
Let i = -293 - -325. Suppose i*s - 120 = 29*s. Which is bigger: s or 34?
s
Suppose -5*f + 5 = -3*l - 29, -l = -2*f 