 -3). Does m = r?
False
Let t = -59/13 + 2143/455. Are t and -1/37 equal?
False
Let m(u) = -504*u - 1043. Let c be m(8). Which is smaller: c or -5074?
c
Let k = -18 - -19.24. Let w = -0.76 - k. Which is bigger: -2/3 or w?
-2/3
Suppose 0 = -2*b, 6 = 2*u + 17*b - 15*b. Let x be 1/2*(-60)/18*u. Which is smaller: x or 0?
x
Let i(j) = -4*j**2 + 383*j - 4311. Let v be i(13). Let o = -6 + 13. Suppose -4*x - o*q + 3*q = 44, -4*x - 34 = -q. Which is smaller: v or x?
x
Suppose 85*p - 304 = 86*p + 5*y, 312 = -p - 3*y. Is p < -320?
True
Let u be (1987/992 + -1 - 1)/((-72)/24). Is 1 at most as big as u?
False
Let g = 133 + -128. Suppose 2*l = -2*f - 4, 3*l - g + 15 = -5*f. Which is smaller: l or 10?
l
Let w(h) = 2*h**3 + 8*h**2 + 7*h + 9. Let d be w(-3). Let r(o) = o**3 - 7*o**2 - 14*o + 11. Let z be r(d). Is z at least -107?
False
Let z be (6/20)/((-211572)/(-45)). Let t = z - 2111803/15672. Let b = -134 - t. Is b greater than -0.1?
True
Let l(g) = g**2 + 30*g - 18. Let z be l(-33). Suppose -55*y + 54*y - z = 0. Which is smaller: -82 or y?
-82
Let d = 6 - 25/4. Suppose 5*s + 396 = -s. Let o = 67 + s. Does o = d?
False
Suppose 6*u - 545 = -185. Suppose -5*w + u = -h - 8*w, 2*w = 2*h + 80. Suppose -30 = 4*r + 142. Is r bigger than h?
True
Let c(j) = j**2 + 7*j + 10. Let i(k) = k**3 - 13*k**2. Let o be i(13). Suppose 5 = -t - o. Let s be c(t). Is s less than -5/13?
False
Let a = -3.92 - -3.7814. Let b = a + 0.0386. Do b and -24 have the same value?
False
Let a(q) = 44*q - 24. Let d be a(3). Let v be 5/(-2)*d/120. Let b = -9 + 10. Is v at least b?
False
Let o = -361.17 + 361.6. Let b = 0.364 + -0.034. Let v = b - o. Is -7.5 at most as big as v?
True
Suppose -6*o = -5447 - 1529 + 2140. Suppose -2*v + 1142 = -468. Is v less than or equal to o?
True
Let r = 0.6 - 3.6. Let v be 3/720*38 - (-1)/8. Let n = v + -1/12. Which is smaller: n or r?
r
Let l = 4071 + -4030. Which is greater: 38 or l?
l
Let f = 5 - 2. Suppose -u = -y - f*u - 1, -2*u - 36 = -4*y. Let r = -8 + y. Do r and -3/2 have the same value?
False
Let u = 22885/3 - 7555. Let s = u + -4767/65. Which is greater: -1 or s?
s
Let s = -26.2 + 27. Suppose -y - 4*i - 36 = 0, y - 6*i = -3*i - 15. Let o be (70/y + 3)/(1/(-3)). Which is smaller: o or s?
o
Let m = -4 + 3. Let j = -2 + m. Let z = 231619 - 1621351/7. Which is smaller: j or z?
j
Let t = 314 + -224. Suppose x + 89 = t. Is x at most as big as -2/185?
False
Let i = -7831/36164305 - -1/25694. Which is greater: i or 1?
1
Let x be (17/((-425)/(-120)))/((-3)/200). Let k = 268 + x. Is k not equal to -53?
True
Suppose 0 = -12*u + 2*b - 536, 12*b = 4*u + 13*b + 172. Which is bigger: u or -61?
u
Let o = 196 + 99. Let t be -6 - ((-26245)/87 - 1/3). Which is greater: o or t?
t
Let n = 32696759/58290 - 8414/15. Is 1 > n?
True
Let l = 1065 - 1052. Is l at least -2?
True
Suppose 5*y + 2*n - 1264 + 7653 = 0, -2564 = 2*y - 2*n. Let o be -1291 + -3*(-1)/15. Let v = y - o. Which is smaller: 11 or v?
11
Let k = -3709 - -3727. Let q(p) = -p**2 + 8*p - 4. Let d be q(4). Let l = 29 - d. Which is bigger: k or l?
k
Suppose -2108247 = -18*a - 249*a - 10*a. Does 7610 = a?
False
Suppose -l - 354 = -16*l - 384. Which is smaller: l or 1076?
l
Let n be 9/(-72)*-8 + (-947)/2. Let i = 478 + n. Suppose -2*z = -5*o + 8, -4*z - 3*o - o = -40. Is z greater than or equal to i?
True
Suppose 2*k - 2*g + 3 = 9, 5 = k - 3*g. Suppose 0 = -0*d - k*d - 4. Let q be 10/(-110)*d/(-4). Which is smaller: 1 or q?
q
Let z(s) = -s**2 - s + 2. Let a be z(1). Suppose -4*u = -20, a*c = c - 2*u + 5. Suppose -c*q + 66 = -y, 0 = -5*y + 3*q + q - 288. Is y smaller than -56?
False
Suppose -4626 = -3*x - 2*y, -1438 = 2*x - y - 4536. Is x greater than or equal to 1547?
False
Let z = 1589/1731 - -98826083/19041. Let y = -385106/77 + z. Let b = y - 189. Is 1 at least b?
True
Let h(d) = -9*d**2 - 17*d + 8. Let b be h(-7). Let o = b - -315. Let z be -1 - 1 - (-51)/24. Is z >= o?
False
Let z = -11560 - -10977. Is z not equal to -583?
False
Suppose -4*m = -5*l + 102, 63*l - 62*l = m + 19. Is l <= -11?
False
Let d = 0.067 - -241.933. Let l = -250.12 + d. Let n = 8 + l. Is n greater than or equal to 2/11?
False
Let z be (-78)/52*-2*(-4)/(-6). Let w(n) = n + z + 2 - 2 + 3. Let f be w(3). Is 6 at least f?
False
Let l = -2 + 3. Let j = 46236 + -46234. Is l smaller than j?
True
Let l be 4/(-10) + (-884)/1190. Let q(a) = a**2 + 5*a - 6. Let c be q(-6). Suppose c = -5*t - 10. Which is smaller: l or t?
t
Let o = 111 - 112. Let x be (-63)/217*9218/6. Let n = x - -446. Which is smaller: n or o?
o
Suppose -3*u + 341 + 253 = 0. Suppose -771 = c - u. Let w = c - -2261/4. Is w greater than 1?
False
Let o be 4/3*(90/4 + -15). Let s(x) = 29*x - 46. Let a be s(o). Is a not equal to 245?
True
Suppose -3*w - 42 = -p - 3*p, -2*p = 3*w + 60. Let h be (24/w)/((-2)/3). Let s be (3/9)/(h/12). Which is greater: s or 1?
s
Let p be (-5)/20*(-1 - 3). Let w be (750/95 + -8)*1/(-86). Let l = 41/2451 - w. Which is smaller: p or l?
l
Suppose 11*q = -11*q + 4884. Let o = q - 253. Which is smaller: o or -34?
-34
Let j be ((-68685)/(-34344) - 2)/((-111)/74). Which is bigger: 0 or j?
j
Let j = 326 - 994/3. Let f = 14/3 + j. Is 1 equal to f?
False
Suppose -c + 7*k - 13 = 3*k, 5*c = -5*k + 10. Which is smaller: c or 465/17?
c
Let j = 3747 + -1309. Which is greater: j or 3?
j
Suppose 13 + 2 = -5*n, -n = -3*u + 1728. Let t be (-102)/170 - (-343)/u. Is t at most 0?
True
Let h be (-1 - 1) + -1 + -177. Suppose -8*f + n = -4*f + 722, -n = -5*f - 901. Which is smaller: f or h?
h
Let r(w) = 2*w**2 + 10*w + 6. Let q be r(-7). Let n = 928 - 889. Let h = q - n. Which is smaller: h or -6?
-6
Suppose -5*l + 8 = 4*b - 2, -5*l - 15 = -b. Let o be 1985/340 + -7 - l/(-8). Suppose -20*y + 15*y - 10 = 0. Are o and y equal?
False
Suppose 0 = 5*h + 21 - 41. Let v be 14*h/16*2. Suppose v*w - 11*w = 4*z + 116, 5*z - 2*w = -159. Is z at least as big as -32?
True
Suppose -25 = -3*g - 2*r, 6*g - 3*g - 11 = 5*r. Suppose -106*j - 4*l + 18 = -101*j, l + 33 = 5*j. Let t = j - g. Which is smaller: t or 1/21?
t
Let z = 8 + 17. Let a be (-3)/15 - 270/z. Let j(w) = 49*w + 94. Let n be j(-2). Which is greater: a or n?
n
Let m be 42/1204*(-1)/(-18)*(10 + -7). Suppose 0 = 2*w - 12*w. Which is smaller: m or w?
w
Let z be -5 - ((-8944)/(-281))/(-4) - (3 - 0). Which is greater: 0 or z?
0
Let p be ((-30)/(-20))/((-53137)/7588 - -7). Which is smaller: p or -541?
p
Suppose 0 = -4*n - 5*k + 84, -5*n = 3*k + 18 - 110. Let g(r) = -r**3 + 24*r**2 + 31*r - 32. Let h be g(25). Let f = 136 - h. Which is smaller: f or n?
n
Let w = -5711 - -5743. Which is bigger: w or 366/11?
366/11
Let y(h) = 37 + 26*h - 47*h + 26*h. Let c be y(-7). Let d be (-95)/15 - (-1)/3. Which is smaller: c or d?
d
Suppose 17*s = 22*s + 3*j + 4523, -2*j + 4543 = -5*s. Is -909 != s?
True
Suppose -226*g - 25168 + 564856 = 0. Is 2392 greater than or equal to g?
True
Let t = 250 - 3467/14. Suppose 48*f - 50 = 94. Is t < f?
True
Let p = -5 - -2. Let d = p + 1. Suppose 215*a - 1508 = -2798. Is d >= a?
True
Let l be ((-4)/5)/(-3 - -5)*2. Let h = 39 + -24. Let v = -15.07 + h. Is l less than v?
True
Let r be (-7 + 2 + (-119)/(-21))*(-7 + 1). Let c be (-12)/(-5) + 0 + -3. Is r < c?
True
Suppose -26*w = -27*w + 28. Suppose 0*i + w = -4*i. Let m be ((-77)/(-14))/(1*1/(-2)). Which is bigger: i or m?
i
Let l be (-4)/62 - (-130788)/(-496). Is -263 at least l?
True
Let x(t) = t**3 + 5*t**2 + 2*t - 2. Let w be x(-3). Let h(y) = -4*y - 1. Let n be h(1). Let d be (-1 + 2*(2 + n))*-1. Which is smaller: w or d?
d
Let u = 6544 + -12168. Which is greater: -0.1 or u?
-0.1
Suppose 12*r = 9*r + 15. Let o be ((-16)/(-420))/((-1)/r). Are o and 1 nonequal?
True
Let b = -2 - -5. Suppose x = -b*d + 3, 2*d + 4*x - 2 = -0. Let j be ((-375)/(-10))/25*(-16)/(-186). Which is greater: d or j?
d
Let x = -2188 + 3527. Which is greater: x or 1340?
1340
Let r = 0.00932 + 20.64068. Which is greater: 2 or r?
r
Let g = 21991/13 + -1681. Is g greater than -12?
True
Let g be 5 - (38/(-342) - (-41)/18)*3. Is 258 not equal to g?
True
Let o be 2/(-8) - (3/462)/(36/(-2478)). Is o smaller than -1?
False
Let w = 1186231049/16015 - 74070. Which is greater: 0 or w?
0
Let d = -47391 + 47406. Let o be 0 - (-2 + -3 + 2). Suppose -15 = 3*h - o*s, -5*h - 7*s + 2*s + 5 = 0. Which is smalle