 -59 - n. Let v = 126.34 + -126.24. Does v = c?
False
Let n be (-3)/(-1)*1/((-1)/(-3)). Suppose -4*s + 3*q + 2*q + 3 = 0, 5*s + n = 2*q. Let f be (-5)/(-45)*-3 + (-7)/s. Which is smaller: 3 or f?
f
Let f = 649325387/33 + -19678027. Let l = 1500 + f. Which is smaller: l or -1?
-1
Let t be (0 + 76965/(-14))*4/(-39). Let d = 564 - t. Are d and -51 equal?
False
Let r = 6283551/2017331 - 190/61. Which is bigger: 1 or r?
1
Suppose -4*j + 14 = -0*y + 5*y, -11 = -4*y - 3*j. Suppose 0 = -3*q - y*q. Let i be -3 + 0 + (-689)/(-221). Is i <= q?
False
Let n be 6 + 8/(-24)*15. Is n at least as big as 30/217?
True
Let d = -0.06 - 2.94. Let q = 3.52 + 154.78. Let b = q - 159. Which is bigger: d or b?
b
Let z = -1112 - -1111.9. Which is smaller: 636 or z?
z
Let c be -1569 - -9*(-6)/(-27). Which is bigger: -1/4 or c?
-1/4
Let o = -197 - -200. Suppose 5*i = -o*c - 137, 0*c + i + 177 = -4*c. Which is bigger: -42 or c?
-42
Let t = 6036 - 7635. Are -1600 and t equal?
False
Let n = -15779 - -173407/11. Which is greater: n or -14?
-14
Let j = -40.179 - 0.021. Let u = 34 + j. Let c = -11.8 + u. Which is greater: c or 1/2?
1/2
Let t = -30274 - -30307. Are -111 and t equal?
False
Let q be -10*(102/20 - (-66)/165). Is q at least -166/3?
True
Let a = -429 + 2997/7. Which is smaller: -10 or a?
-10
Suppose 117*w = -516 - 1941. Is -22 equal to w?
False
Suppose 0 = 4*n - 4 - 20. Suppose -6*l + 8*l + 8 = -5*x, -9 = 2*x - 5*l. Let f be (20/(-4) - -8)*x/n. Is f > -5/23?
False
Let h = -24 + 21. Let w = -10496 + 10495.27. Which is bigger: w or h?
w
Let d(u) = -u**3 - 8*u**2 + 4*u - 5. Suppose 2*r - 236 = -4*n, n = 2*r - 3*n - 220. Let v = -119 + r. Let j be d(v). Is j bigger than -99?
False
Suppose -2*h - 84 = 5*c, -2*h - 89 = 2*c + 7. Let z(g) = -61*g + 5. Let i be z(1). Is i less than or equal to h?
True
Let d = -23 - -9. Let l = d - -15.4. Suppose -27*s = -35*s. Is l < s?
False
Let z(r) = r**2 - 9*r + 12. Let l be z(8). Let v be (6/(-2))/(-3)*28/l. Which is bigger: 5 or v?
v
Suppose 35 = -458*w + 17439. Let h = -68/23 + 1336/483. Let j = -1/7 + h. Is w at least as big as j?
True
Let b = 6/4855 + 1936/4855. Is b not equal to 1040/3?
True
Let z = 19 - 27. Let g be (-3)/2 + 228/z. Let h = 19 + g. Is h less than -4?
True
Suppose -22*b = -51 - 103. Suppose -4*l = b*o - 11*o + 12, -5*o + 15 = -l. Which is smaller: 6/13 or o?
6/13
Let n(i) = -i**2 + 5*i + 6. Let g be n(6). Let q be 0*(-2)/(-2) - (-21 + 43). Let o = q - -150/7. Is g at least as big as o?
True
Let l = 12353 + -10618. Which is greater: 1733 or l?
l
Let j = -108/317 + 63131/178788. Is 1 greater than j?
True
Let h = 246 + -248. Let g be 2775/255 + h/(-17). Let b = -9 + 19. Is b < g?
True
Let l = -6268.9 + 6327. Are 0.4 and l unequal?
True
Let g be (-4)/(-30) - 5/(375/(-29465)). Suppose a - t - 398 = 0, -6*a + 5*a + 2*t = -403. Are a and g equal?
True
Suppose -282 = 7*h - 219, 3*a - 2*h - 3 = 0. Let k be 18/(-7) + (-2)/1. Which is smaller: a or k?
a
Suppose 0 = 5*o + 36*v - 34*v + 27723, 5*v - 16640 = 3*o. Which is smaller: o or -5546?
-5546
Let p(y) = y + 8. Let f be p(-7). Let b = f + 0. Suppose -2*k - 7 = 5*l + 143, -5*k + 25 = 0. Is b > l?
True
Let k = 1.974 + 684.026. Which is greater: k or 0.1?
k
Suppose 0 = -0*h - 15*h + 570. Let z be (-147)/133 - (72/h - 2). Let p = 7261/13 + -559. Which is smaller: p or z?
z
Let w = 101 + 166. Suppose 4*m - 287 = 12*t - 11*t, 4*m = 5*t + w. Which is greater: m or 71?
m
Let q be (-3 - 1)*3/2. Let c(x) = x**3 + 6*x**2 + 2*x + 9. Let m be c(q). Let f(z) = 680*z + 2029. Let t be f(-3). Which is smaller: t or m?
t
Let v = -2204 + 1950. Which is bigger: v or -0.3?
-0.3
Let i = 52/153 + -2/17. Let o be (-7)/(-4) - (-3)/(-36)*-3. Suppose 0 = -5*h + 3*r - 7, o*h + r - 6 = -0. Are h and i unequal?
True
Suppose 9*g + g = -250. Let t be (-6)/36 - 2050/84. Is t < g?
False
Suppose -188 + 176 = -4*i. Let y be (i/212)/((-15)/10). Which is bigger: -1 or y?
y
Let m be (((-6)/1)/3)/(18/(-27)). Let b be m/12 + (-315)/(-20). Which is smaller: 1/5 or b?
1/5
Let j(n) = -20*n + 109. Let s be j(6). Suppose 3*a - 4*a + 9 = 0. Let q be (-2 + 4 + -3)*a. Is s smaller than q?
True
Suppose -152 = 3*u - 191. Is u equal to -4?
False
Suppose -7 = -3*i + 5*w - 25, 3*i + 4*w = -45. Let f be (-408)/(-66) - (-2)/i. Let y = -5 + f. Is 1/6 greater than y?
False
Let s = 0.046 - 0.216. Suppose 3*l + 31 = 5*d, -l - d = -0*l + 5. Let p be 8/(-14) - 2/l. Is s equal to p?
False
Suppose -2*m + 5*f + 27 = -14, 5*m - 2*f = 50. Suppose -3*i + 4*a = a - 12, -2*i - 2*a = m. Let r = -145 - -4639/32. Which is greater: r or i?
i
Let w be (6510/(-28))/31*(-28)/(-5). Is -203/5 < w?
False
Let w = -10 - -11. Let k be (-51)/4 - w/(-1). Let y = 5597 + -5598. Is k >= y?
False
Let g = 533.7148 - -0.2852. Is g less than -0.1?
False
Suppose -h - 39*p = -34*p + 24, 5*h = -2*p - 28. Which is smaller: -3/724 or h?
h
Let t = 1215029/236883200 - 33/6400. Which is smaller: t or 1?
t
Let n = -0.9357 + 0.7257. Which is greater: n or -3/2?
n
Let d = -9163 + 10283. Is d equal to 1117?
False
Let g(y) = 4*y**2 - 26*y + 2. Let z be g(12). Let h = z + -266. Is -13/19 bigger than h?
False
Suppose 70*l + 460 = 530. Let p = 0.8 - -0.5. Which is smaller: p or l?
l
Let n be (5/3 + -1)*-1. Let t = 644536 - 29004116/45. Which is greater: n or t?
t
Let w be 966/8 - ((-90)/40)/9. Let r = -129 + w. Which is greater: -63/8 or r?
-63/8
Let o = -4.715 + 4.175. Is -2 less than o?
True
Suppose -551*o = -496*o - 62095. Which is greater: o or 1127?
o
Let h be (-1)/(-1) - 2/(-3)*3. Suppose h*s = -3*s + 18. Suppose -s*m = 2*m - 35. Which is bigger: m or 8?
8
Let d = -1435 + 109. Which is smaller: d or -1325?
d
Let w(m) = -15*m**2 + 25*m - 9. Let o be (1*2)/(2 - (-20)/(-11)). Let p(f) = -3*f**2 + 5*f - 2. Let t(y) = o*p(y) - 2*w(y). Let d be t(4). Is d <= -32?
True
Suppose 117*g + 130*g - 241*g = -2046. Do -1367/4 and g have different values?
True
Let g be ((-31)/(29853/(-54)))/3. Let r = -12 + 11.8. Let o = r - -0.3. Which is smaller: o or g?
g
Let j = -1082.3 - -1083. Let l = -13 - -12. Let f = l - 1. Is j greater than f?
True
Let x = -3.5 - -19.5. Let c = -10.57 + 3.57. Which is greater: x or c?
x
Let d = -447 + 337. Is -103 less than d?
False
Suppose 4*x - 4*i + 216 = 0, 9*i = 4*x + 13*i + 216. Let k be ((-18)/x)/(6/(-9) + 1). Is 3 greater than or equal to k?
True
Let m be (828/15)/(12/258 + (-76)/(-215)). Let l be 0/(-2) + 141 + 0. Which is bigger: m or l?
l
Let y be (1/(-3))/(4/(-192)). Let h be 1/2*1 - (-632)/y. Suppose -g - 4*g + h = 0. Which is greater: g or 7?
g
Let v = 4132 + 3532. Suppose 0 = -23*l - 5492 - v. Which is smaller: -571 or l?
l
Let g be 315/(-25)*4/(-6) - -4. Let n = g + -199/10. Suppose -2 - 34 = 2*v + 4*f, -5*v - 35 = -f. Which is smaller: n or v?
v
Let n be (-24 + 1)*(16 - 17). Let u = -24 + n. Let b be 1*6/(-3) + (u - -5). Is 7/5 not equal to b?
True
Suppose 154*u = 97*u + 4245 - 1281. Let o be (-2)/8 + 0 + 0. Is o > u?
False
Let q(i) = -2*i**3 + 8*i**2 + 68*i - 4. Let v be q(-5). Is v equal to 102?
False
Let l = 56 + -54. Let w(y) = y**2 - y + 1. Let r be w(l). Suppose -4*s + 23 = -4*d - 53, 0 = -5*s - r*d + 87. Are s and 17 unequal?
True
Let l be (60/25)/(3/140*2). Let x = l + -59. Let f(b) = -b + 2. Let o be f(6). Which is greater: x or o?
x
Let v = 23 - 14. Let w(y) = 3*y**2 - 12*y + 50668 - 50642 - 2*y**2. Let s be w(v). Which is smaller: s or -2/11?
s
Suppose -5*z + 1841 = -3*f, 0*f = -3*z - 5*f + 1091. Suppose 18*i + z = 97. Which is smaller: -20 or i?
-20
Let v be (-9)/336*7*2/(-3). Let t = -29 - -29. Is t bigger than v?
False
Let g = -70430 + 70424. Let y be 324/(-680) + (-2)/(-4). Is y bigger than g?
True
Let t = -0.00154 - 34.59146. Let l = t - -0.293. Let a = -0.7 + l. Which is bigger: -1 or a?
-1
Let s = 50 + -54. Let r = s - -2. Let y = 74.1 - 73. Are r and y unequal?
True
Suppose -5*r = 3*s - 21 - 113, 0 = -4*s - 8. Let w = r + -33. Are w and 16 unequal?
True
Let s(i) = -3*i**2 - 3*i + 127. Let j be s(-7). Let b be 12/543*(-1)/(-4). Is b > j?
False
Let y be ((-1)/(-6)*14)/((-130)/(-15) - 9). Which is bigger: 1/560 or y?
1/560
Suppose 0*a = 4*a - 12. Let q be ((-2)/4)/(5/(-4 + -16)). Let g be 0*(0 + 4/(-8))*q. Is a bigger than g?
True
Let f = 11 - 29.8. Let x = -19 - f. Is x <= -2/9?
False
Suppose 26*r - 121278 = -11*r - 14*r. Is r