different values?
True
Let j = 19.4 - 1.4. Let v = -0.581 - -2.581. Which is smaller: v or j?
v
Let z be (27 + -2)/(-2 - -1). Let p be ((-6)/z)/(2/170). Which is smaller: p or 19?
19
Let k(w) = w**3 + 7*w**2 + 5*w - 4. Let q be k(-6). Let a be (20/6)/(2*q/(-12)). Suppose -17*c + 13*c - 3*h - 59 = 0, 3*h = -2*c - 37. Which is greater: a or c?
a
Let w = -4 + 14. Suppose -25 = -5*g + 5*n, 51 - 25 = 4*g - 5*n. Are w and g unequal?
True
Suppose 5*v - 233 = 367. Suppose 13*p - v = 3*p. Suppose -5*w - 5*a = 15, -2*a - p = 5*w + 2*a. Which is greater: 1/20 or w?
1/20
Let s(r) be the first derivative of 10*r**3 + 13*r**2/2 + 22*r - 56. Let j be s(-2). Which is bigger: 115 or j?
j
Suppose 0 = 4*g - 4*j - 106 - 2, -2*g + 50 = -3*j. Let y = g + -30. Let r(l) = 2*l**3 + 10*l**2 + 18*l + 32. Let d be r(-4). Is d at most y?
True
Let z = -2973154984972860 - -55392868363959230181221/18631006. Let m = 20/116931 + z. Let o = -2/239 - m. Are 1 and o non-equal?
True
Let w = 588 + -156. Let g be 6465/60*((6 + -4 - -3) + -1). Which is greater: g or w?
w
Suppose -14*m - 9 = 19. Let q be (-686)/3530 - m/10. Let l = -331/3883 - q. Which is smaller: l or -1?
-1
Let b be (1 + -2)*(16 - 931). Is 915 not equal to b?
False
Let v = 0.0518 + 454.9482. Let h = v - 454.98. Are -47 and h unequal?
True
Suppose -u = 2*u + 48. Suppose 69*l = 45*l - 576. Is l < u?
True
Suppose -165 = i - 5*j, -3*j + 53 + 291 = -2*i. Let p = 62276 - 62453. Is p less than or equal to i?
True
Let d be 1/48*8*(-8)/(-24). Which is bigger: 35 or d?
35
Let z be -45 + 48 - 4*1. Let o be 1*766/4*2*z. Which is greater: o or -382?
-382
Suppose -5*u + 9*u - s = -26, -19 = 3*u - s. Let w(c) = 4*c**2 + 28*c. Let m be w(u). Does m = 13/17?
False
Let m = 138 - 126. Let w = m - 13. Which is smaller: w or 2/17?
w
Let m be (16 - 24)/((-16)/6). Suppose 0 = -4*h + h - 4*u + 28, 0 = 2*h - 4*u + 8. Suppose m*l - h*l = l. Does l = -2/27?
False
Let p(d) = -8*d**2 - 32*d + 12. Let l be p(-8). Let z be (-2)/(-8) - (-31781)/l. Which is bigger: -131 or z?
z
Let b = 12965 + -5678681/438. Is b not equal to -1?
True
Let r = -16.3 + -58.7. Let i = -74.8 - r. Which is smaller: 18 or i?
i
Suppose -4*r - 3 - 217 = -4*z, -4*z + 224 = -3*r. Which is smaller: 1014/17 or z?
z
Let m = -0.27986 + 0.37986. Which is bigger: m or -34.26?
m
Let m = -97 + 131. Suppose m*u = 38*u + 460. Which is greater: u or -114?
-114
Let q = -21.5 + 21.7. Let s be 6/75*120/8. Let n = -31/30 + s. Is q at most n?
False
Let a = -103712989213/1884 - -55049350. Let r = 1/628 - a. Suppose 0 = s + s - 16. Which is bigger: r or s?
s
Let j = 274 - 51. Let s = j + -222.6. Which is smaller: s or 34?
s
Suppose 0 = -5072*l + 5092*l. Is -5/119 > l?
False
Let j be -56 + -2 - (-2 + 4) - 1. Let h = j - -61. Let y be h/((-2 - 4)/(-3)). Is 1/72 at least as big as y?
True
Suppose 0 = -2*j - 18*j + 80. Suppose -5*c = j*m - 5, -m - 8 = 5*c + 2. Let v be 0 + 1 + (-1)/(-1). Do c and v have the same value?
False
Let o = -535 - 71. Let v = -573 - o. Which is bigger: v or 6?
v
Let j = 40.96 + -55.16. Is 0.02 at most j?
False
Let x be ((-48)/(-32))/((-3)/10). Let y = 6 + x. Let d be (8 + -9)*(y - 0). Which is smaller: 15 or d?
d
Let k = -209 - -230. Suppose k = -2*l + 5*o, -l + 2*o - 7*o = -27. Is -4 <= l?
True
Let v = -46831630/10515479 - 2/108407. Does v = -4?
False
Suppose -5*a = -o + 695, -2*o + 139 = 12*a - 13*a. Let n = a - -697/5. Which is smaller: n or 65?
n
Let n be 13/52 + 1086/36. Which is bigger: n or 31?
31
Let j = 13276 + -13276. Suppose 235 + 695 = -5*f. Is f greater than j?
False
Let g be (-3)/12 - 51/(-12). Suppose -c = 3*z - 2 - 29, 44 = 4*c - g*z. Suppose -c = -4*v - 0. Do 6 and v have the same value?
False
Suppose 95 = 75*c + 20*c. Are c and 44/53 unequal?
True
Let f be 8 + 102/(-12) - (-1 - 3/(-4)). Do f and -51 have the same value?
False
Let m = 199 - 96. Let z = -6781 + 6883. Is z >= m?
False
Suppose 0*i = -4*d + 3*i + 352, 2*i = -5*d + 417. Suppose 4*c - 3*j = 2*j + d, 2*j = 4*c - 82. Let h be (-3*c/48)/3. Is -1 at most as big as h?
True
Let v be (1*10/(-15))/((-6)/(-9)). Is 102/301 > v?
True
Let l be 3/(-36)*30528216/(-752). Let x = l - 3383. Which is smaller: x or 0?
0
Let i(d) = 19*d - 163. Let v = 395 + -385. Let n be i(v). Is 19 equal to n?
False
Let l be 4/(-24) + 381/18. Let u be (-20)/70*l/(-6). Is u at most -1/165?
False
Let h = -1/54567 - -40870691/436536. Let j = h + -93. Do j and 0 have the same value?
False
Let z(m) = 2*m**2 - 6*m + 12. Let g be z(2). Suppose 39 = -g*u + 63. Which is smaller: 24/11 or u?
24/11
Let a = -2.7 - 0.3. Let p = -42761 - -42761.021. Which is bigger: p or a?
p
Let g be (189/(-252))/((-6)/(-4))*3. Which is smaller: 62 or g?
g
Suppose -11*o + o - 150 = 0. Let z be (-12)/90 - (0 + 677/o). Let n = -0.2 + 0.2. Which is bigger: z or n?
z
Suppose -4*s + 1171 = 3*p - 389, 3*p = 2*s - 798. Is s greater than or equal to 391?
True
Let g be 10/12 - (-447832)/(-537240). Which is greater: g or 1?
1
Let v be ((-38246)/2250 - 1) + 18. Suppose 0 = -4*m + m. Does v = m?
False
Suppose 21*a + 17*a + 76 = 0. Let n be (-6 + a)/(-2) - 4. Is n at most as big as -12/67?
False
Suppose 4*m - 12*m = 0. Suppose -3*j + 2*i - 87 = m, -3*j = i - 6*i + 78. Is -31 equal to j?
True
Suppose 4*m - m + 3*j = 243, 148 = 2*m - 5*j. Suppose 75*g - 412 = m*g. Is 1 smaller than g?
False
Suppose -34*v = -36*v. Let j = -2118 + 353708/167. Which is smaller: j or v?
v
Let k be ((-42)/9 + 4)*-3. Suppose 2 = -5*u + k. Suppose 4*d - 33 - 35 = u. Are d and 78/5 equal?
False
Let o(m) = 4*m**2 - 30*m + 17. Let t be o(7). Suppose -11*d + t*d + 10*d = 0. Which is greater: d or 16/21?
16/21
Let r be 0 + (-6)/(-21) - 4739/16758. Let x = r + 449/21888. Is 1 at most x?
False
Let s = -4.96 + 10.61. Let j = -0.05 + s. Which is greater: 0.2 or j?
j
Let l be -3 + (-7520)/(-50) - (-3)/5. Let t = 74 - l. Is t smaller than -73?
True
Let y be 8 - (11 - (5 - 1)). Let m be 176/240 + y/(-3). Let x = 65/138 - -2/69. Is x > m?
True
Let h(i) = i**3 + i**2 + 2*i + 1. Suppose -2*b = 2*r - 3*r - 3, 5*b - 4*r = 15. Let s be h(b). Suppose 8 = 2*m + 3*x, 2*m - 2*x + 4 = x. Is s at least m?
False
Suppose 0 = 4*t - 950 + 650. Suppose 80 + 91 = 3*m. Let d = m - t. Which is greater: d or -17?
-17
Let b be 10660/7 - (-517)/3619. Is b greater than 1525?
False
Let x = 87058/3 + -203590/7. Is x at most -64?
True
Let a(j) = -1. Let z(f) = 2*f + 16. Let h(g) = 44*a(g) + 2*z(g). Let v be h(-3). Let m = 1 - 25. Is m greater than v?
False
Suppose 7*j - 165 = 1284. Let x = 207 - j. Is x less than -1/12?
False
Suppose 177*p + 114 + 139 = 154*p. Let m(o) = o**2 - 4*o - 3. Let b be m(5). Suppose 4*i + 20 = b*i. Which is smaller: p or i?
p
Let r = 30/583 - -1016/2915. Let l = -51 - -48.9. Let d = 1.99 + l. Which is smaller: d or r?
d
Let p = 2911/104 - 515/13. Is p less than or equal to -1/5?
True
Let f(y) = -3*y**2 + 21*y + 6. Let c be f(5). Let v be 386/8 + 27/c + 1. Is 51 > v?
True
Let v be ((-3)/(-12))/(5 + 4498/(-819))*-2. Is v != 1?
True
Suppose -13*d = 2*n + 2253, 0 = 3*d - 2*n - 21 + 536. Which is smaller: -170 or d?
d
Let i be (477/(-212))/(2802/(-8716)) - 7. Suppose 13*v + 10*v = 0. Is v > i?
True
Suppose 18 = -0*x + 9*x. Suppose -86 = 4*j - x*j. Is j less than -43?
False
Suppose 4 = 3*y + 5*u - 9*u, -y - u + 13 = 0. Suppose x = 3*m - y*m - 10, 4*x + 2*m = -22. Is x at most as big as -9?
False
Let g(f) = 3*f**3 - f**2 + 3 - 9*f + 0 - 37*f**2. Let z be g(16). Let m = z + -21745/9. Which is smaller: 4 or m?
m
Let c = -2277 - -3098. Which is smaller: 823 or c?
c
Let l(y) = 14*y - 1. Let o be l(1). Suppose -5*m - o = -3. Let v(u) = u**3 + 4*u**2 + 3*u - 2. Let t be v(m). Which is greater: t or -4/3?
t
Let c(v) = -v**3 - 9*v**2 - 9*v - 2. Let u be c(-8). Suppose -5*l - 17 = -2*d, -u*l = -3*d - 4*l + 20. Suppose 11*w = d*w. Is w bigger than -11/10?
True
Let c be 6448/3906 - ((-5)/21 + 2/6). Are c and -46 equal?
False
Suppose 36*f - 1237 - 1139 = 0. Let z = -1 + -1. Is f less than or equal to z?
False
Let s be (475/10)/((-2)/4). Let d = -78 - s. Suppose -d = -k - 4. Do 13 and k have the same value?
True
Let t = -80.1264 + 0.0264. Let a = 12.1 + t. Is a equal to 1/2?
False
Suppose -5*w = -4*t - 4, -11*t + 8*t - w - 3 = 0. Is t greater than -18/95?
False
Suppose 6111 = -51*z + 1215. Which is smaller: z or -94?
z
Let