h is smaller: l or v?
l
Let t = -212.6 - -35.6. Let i = t + 202. Let q = -3 + 3. Are i and q equal?
False
Let p(z) = z**3 + 6*z**2 + 7*z + 15. Let w be p(-4). Suppose 3*j + j - 24 = 0. Suppose -3*q + j*q - 63 = 0. Do w and q have the same value?
False
Let n = -48844 - -48843. Let c(d) = 7*d**2 + d + 1. Let y be c(-3). Let z be 1*((-120)/y + 2). Are n and z nonequal?
True
Let r = 91 + -89.88. Let q = 80.88 + r. Let w = q + -82. Which is smaller: 1/5 or w?
w
Suppose -6*f + 3 = -5*f, -4*y + 21 = -f. Let w be (-2)/(-9)*12 - 4/y. Which is smaller: 50/39 or w?
50/39
Let c = 0.21 - -22.79. Let s = c - 20. Is s at least as big as -23?
True
Suppose -196 = 2*d + 306. Suppose -464*q + 113*q - 53313 = 34437. Are q and d non-equal?
True
Let j be (14/1 - -1)*7. Let h be (171 - 175)*(1 + -2). Suppose h*u + u = j. Do 2 and u have different values?
True
Let v be 18/(-18) - (1077/(-24) - -2). Which is bigger: 42 or v?
42
Suppose 49 - 121 = -4*l. Suppose 3*f + 51 = k, -l*f - 101 = -2*k - 13*f. Which is greater: k or 49?
49
Suppose -167*b + 1 = -171*b - 5*n, 3 = 4*b + n. Which is smaller: b or -1/1344?
-1/1344
Let b be (9/(-231))/(((-2475)/(-22))/(-25)). Is 24 less than b?
False
Suppose 1214*m = 1217*m - 218 - 190. Is m >= -1/33?
True
Let j = -239.47 + 239. Which is smaller: -1/4 or j?
j
Let f be (3 + 0 + -3)*((-2)/(-8))/(-1). Is 68/93 smaller than f?
False
Let v = -46 - -48. Let r be 4*v/28 + 58/(-7). Let z = 13 + r. Is 5 not equal to z?
False
Let l be (0 + (-4)/(-12))/((-38)/27018). Is l < -234?
True
Let d(t) = 2*t - 23. Let p be d(11). Let i be 10/(-5) + (-5)/p + -3. Is i >= 2/271?
False
Let v = 21821/332 - 263/4. Let z = 101 + -101. Is v less than z?
True
Let u = 6181.94 + -6182. Are u and -132 equal?
False
Let l(m) = 3*m**2 + 3*m - 4. Let k be l(1). Suppose -75*h - k*i = -70*h - 6, -2*i + 6 = 4*h. Are 14/37 and h nonequal?
True
Let j = -708 + 704.968. Let d = 0.032 + j. Let w be (2/(-48))/((-9)/18). Is d >= w?
False
Let j = 14433266496 + -9323893399981/646. Let f = 5021 + j. Which is bigger: f or 1?
1
Suppose 25*g = 26*g + 1. Let u be 1 - 2*(0 + g + -4). Let j(m) = m + 5. Let z be j(5). Is z at least as big as u?
False
Let q be (5616/(-87))/8 - -8. Let r = 1/21 + -1/3. Which is bigger: q or r?
q
Let c(t) = -t**2 - 397*t + 136. Let b be c(0). Which is smaller: 157 or b?
b
Let i = 19953349/42849 - -2/42849. Is i > 0.1?
True
Let j(h) = 55*h**2 - 53*h**2 - 70*h + 81 + 13*h. Let u be j(27). Is u equal to 2/177?
False
Let o = -639 + 635. Let n be (-138)/o*(-40)/630*3. Suppose -4*f - 2 = 22. Which is smaller: n or f?
n
Suppose 2*p = -4*i - 840, 2*p - 428 = 2*i - p. Let y = 243 + i. Is y greater than 32?
False
Let x be (-11169)/36 + 1/(-1). Let p = x + 309. Suppose -208*w - 63 - 84 - 61 = 0. Which is smaller: p or w?
p
Let g = -63.3 + 406.3. Let y = 344 - g. Do y and -2.14 have the same value?
False
Suppose -24*g + 5 = -4*x - 25*g, 0 = g + 1. Is -971 != x?
True
Suppose 322*u - 217 = 315*u. Suppose 49*x - 414 = u*x. Which is greater: x or 8?
x
Let c = -185.77 - -185.8. Is c < 14/29?
True
Let r = 7253696/379 - 19139. Let n = r - 99373/1895. Which is bigger: n or -51?
-51
Suppose 3*w - 178 + 137 = -5*s, 3*w - 48 = -6*s. Which is smaller: 22/19 or w?
22/19
Let k be (6 + -15 - -5)*(2 - -1)/(-78). Which is smaller: -32/15 or k?
-32/15
Let a be 1*1/14 - (-7682042)/15428. Is a > 1/7?
True
Suppose 24 = 4*x, -2*y = -7*x + 11*x - 28634. Which is bigger: y or 14304?
y
Let a(v) = -v**3 - 3*v**2 + 2*v - 6. Let x(c) = c**2 + 2*c + 1. Let u be x(-1). Suppose -5*r + u = 20. Let p be a(r). Is 1 greater than p?
False
Let h(l) = -l**2 + 11*l - 6. Let n be h(6). Let a(f) = -f**3 + 24*f**2 + 53*f + 22. Let w be a(26). Let m be (-52)/(-3)*(-18)/w*-4. Is m smaller than n?
False
Let s = -308.422 + -0.578. Let y = s + 311. Is 52 < y?
False
Let n = -3116 + 3421. Is 313 bigger than n?
True
Suppose 3*a = -16*s + 11*s - 208, 0 = 2*a - 3*s + 107. Which is bigger: -38 or a?
-38
Let w = 125017/210979962 - 9/26018. Which is smaller: w or 0?
0
Let x be 3/(46075/291 - (-1 + 3)). Which is greater: x or -0.1?
x
Let j(g) = -g**3 - 14*g**2 + 38*g + 9. Let i be j(-15). Let z be 2/(-14) - (-42960)/i. Is -128 less than z?
False
Let p = 0.15 + -24.15. Let h = -53.6 - -24.4. Let d = 29 + h. Which is smaller: p or d?
p
Let d be (3/(-24)*-2)/42. Let j(c) = 2*c**3 - 3*c**2 - 148*c + 32. Let k be j(-8). Is k at least as big as d?
False
Let b(g) = -6*g**3 - 43*g**2 - 21*g - 47. Let j be b(-8). Which is greater: 439 or j?
j
Suppose -l + 3 = -5*x, 2*x + 18*l - 2 = 20*l. Is x equal to 1/6635?
False
Let v = 9 + -5. Let n = -1218.8 - -1113. Let l = n + 106. Is l not equal to v?
True
Let i be 5 - 0/(1 - 0) - 3. Let p be i - 5 - 5/(25/(-20)). Is -2/323 >= p?
False
Let m be (-138)/(-7) + 2/7. Suppose -21*r - 1612 = -83*r. Which is smaller: m or r?
m
Let a(o) = -o**3 - 4*o**2 - 3*o - 10. Let l be a(-4). Let j be (l/1002)/((-31)/186). Suppose z + g - 1 = 0, 0 = g - 3*g. Is z greater than j?
True
Let j = 3531 - 1390. Does j = 2141?
True
Let d(g) = -g**3 - 10*g**2 - 10*g - 11. Suppose 2*j = -x - 4 - 14, 3*j = x - 27. Let n be d(j). Which is bigger: n or -10?
n
Let f = -609/2684 + -3346619/1409100. Let r = f - -58/21. Let j = -1/150 - r. Is j bigger than 0.12?
False
Suppose 30 = 4*k - 9*k. Suppose -21 = -36*l + 35*l. Let u be (-3)/(-2)*13*(-7)/l. Which is greater: k or u?
k
Let z(h) = -16*h**2 - 430*h + 54. Let t be z(-27). Let w be 8/7*(-4)/1072. Which is smaller: t or w?
w
Let g = -978 - 2612. Is -3589 smaller than g?
False
Let x(f) = -8*f**2 + 16. Let q(y) = y**2 - 17*y + 5. Let j be q(17). Let u be x(j). Is -184 bigger than u?
False
Let w(o) = -2*o**2 + o + 8*o**3 + 3*o - 2*o**2 - 5*o**3. Let z(d) = -d**3 - 1. Let x(a) = w(a) + 2*z(a). Let m be x(3). Which is smaller: 0 or m?
0
Let a be (3 - 34/10) + (-12)/(-5). Let l be ((-30)/5)/a - 0 - -41. Which is greater: l or 36?
l
Suppose 316*u + 6044 = 314*u - 4*y, -4*y + 6092 = -2*u. Is 1 greater than or equal to u?
True
Let a = 1221 - 257632/211. Let h = a - -437/3165. Which is bigger: h or 0.05?
h
Suppose 3*y - 57 = 5*y - 5*d, 2*y = 2*d - 54. Let n(q) = -28*q**3 + 3*q**2 - 4*q + 3. Let p be n(1). Is y equal to p?
True
Suppose 8*i - 450 = 2*i. Suppose 0 = -h + 4*h + i. Let s(u) = 2*u**2 + 32*u + 7. Let w be s(-15). Is h != w?
True
Suppose 3*j = -j + 12, -153 = -2*y + 5*j. Suppose 0 = 2*g + 2*w - 138, g - y = w + 3*w. Let m be 3/(g/20)*4/(-10). Is m greater than or equal to 1/8?
False
Let y be 2*(-26)/(-20) - (-64)/160. Suppose -4*n - 3 = -y*l, -5*n = -2*n. Is l at least 3/265?
True
Let b = 0.57 - 0.37. Let v = -485 - -417. Is b less than or equal to v?
False
Let v be (-13 - -12) + 30/28. Suppose -29 = -5*h - 34. Which is bigger: v or h?
v
Suppose -1786 = -10*s - 196. Let c = -149 + s. Which is smaller: 21/2 or c?
c
Let i be 414648/162036 - (-18)/(-7). Which is bigger: 1 or i?
1
Let j = -31812 - -477214/15. Which is greater: -13 or j?
j
Suppose -3*i - 570 = 3*f, -5*f + 153 + 777 = -5*i. Let l = i - -187. Which is smaller: l or -3/49?
l
Suppose -4*x = 2*j + 3*j - 134, -4*x = -4*j + 136. Are j and 43 nonequal?
True
Suppose -5*x + 59 = 2*z, 6*x + 4 = 2*x. Let b be (-30 + z)*1/(-2). Which is greater: -28/19 or b?
b
Let u(p) = -p**2 - 5*p - 1. Let q(h) = h**2 + 16*h + 35. Let r be q(-13). Let x be u(r). Let w be (14/32)/(((-2)/(-2))/6). Is w bigger than x?
False
Let h be 3 + (-93)/33 - 44518/(-8404). Let n = h + 4/191. Which is smaller: n or 3/5?
3/5
Let d(w) = 6*w**2 + 60*w + 33. Let c(l) = 8*l**2 + 61*l + 33. Let r(u) = 2*c(u) - 3*d(u). Let k be r(-29). Which is bigger: k or -32?
-32
Let q = 12075 + -12074.932. Which is greater: q or 0.68?
0.68
Let n be -4 + (-1524870)/70*8/12. Let q = n + 14488. Is -40 greater than q?
False
Let z(t) = -t**3 + 5*t**2 - 5*t - 3. Let p be z(3). Suppose p = -6*j - 8 - 46. Let d(m) = m**2 + 5*m - 23. Let l be d(j). Which is bigger: 15 or l?
15
Let q = -36.6 + 30.52. Let b = 1.08 + q. Let a = 1 + -1.3. Which is greater: b or a?
a
Let q = -158.65 + 154. Let h = -5.4 - q. Let d = 4.75 + h. Which is smaller: d or 0.3?
0.3
Let u(v) = -10*v - 115. Let t be u(-17). Suppose 18*z - 217 = -t. Which is bigger: z or 8/7?
z
Suppose 4*k + 5*m = -342, 81*m - 83*m + 291 = -3*k. Let z(w) = -w**3 - 5*w**2 + 4*w - 4. Let c be z(-5). Let g = c + -70. Which is bigger: k