(-3)/(-36)*0/3. Suppose -5*g + j + 12 = 0, -2*g - 5*j = -h*g - 21. Suppose 5 = -2*o + g. Is o > -3/17?
False
Suppose 3*z = 4*a + 215, 4*z - 265 = 4*a - 45. Let f = 38 + a. Is -104/9 < f?
False
Let t = -8315 + 249457/30. Which is smaller: t or -8?
-8
Let w = -68.34 - -69.34. Do w and -1/485 have the same value?
False
Let c = 5 + -2. Suppose 1 = 2*v - 3*l - 0, -4*v + 5*l = -c. Suppose 0 = 7*j - v*j. Which is bigger: j or 1/38?
1/38
Let a be (-2)/(-7) - (-6)/((-42)/107). Let f = a + -52. Which is bigger: f or -69?
f
Let v = 458 - 317. Let p = v + -37. Is 105 greater than p?
True
Suppose -4*i - 32 + 24 = -2*o, 4*o = -13*i + 16. Which is greater: i or -15/553?
i
Let g(b) = 3*b**2 - b - 68. Let d be g(3). Suppose -2*y = -3*c, 5*c = 2*y - 3*y. Suppose 2*r + 69 + 17 = y. Which is smaller: r or d?
d
Let o = 415 - 395. Let k(g) = -g**2 + 15*g + 109. Let l be k(o). Is 86/11 at most as big as l?
True
Let m(q) = 401*q + 618. Let u be m(-2). Which is smaller: u or -183?
u
Let r = 597 + -345. Suppose 356129 - 368729 = -50*p. Do p and r have the same value?
True
Suppose 0 = 6*v - f - 3 - 3, -12 = -5*v + 2*f. Suppose -t + 0 + 1 = 0, -4*t = k - 1. Which is smaller: v or k?
k
Suppose -51*x + 48*x - 3*w = -3, x - 2*w = 1. Is x greater than or equal to 73/86?
True
Let h = -21826 - -21891. Is h bigger than 160?
False
Let a(y) = y + 5. Let j be a(-8). Let p be (-11 + 7)*j/(-174). Let s = 54 + -54. Which is smaller: s or p?
p
Suppose 3*m - 5*w = -4858 + 1432, 0 = 2*m + w + 2284. Is m less than or equal to -1141?
True
Let i be (-12)/30 - ((-12932)/(-2220) - 6). Which is smaller: 0 or i?
i
Let u be 65*48/15 - ((-3)/3 + 9). Are 200 and u unequal?
False
Suppose 0 = 28*o - 27*o - 3. Suppose -39 = -3*y - 5*w, -3*y + 38 = y + 2*w. Suppose -o*d - 35 = -y*d. Is d <= 4?
False
Let r = 57.4 - 55. Let w = r + -2.2. Is w bigger than 3.9?
False
Suppose -3*f = -2*j - 1639, 4*f + 4*j = 9*j + 2176. Let u = f + -550. Is 1/188 less than or equal to u?
False
Suppose -2*z = 2*b - 0*b + 16, 35 = -4*b - 5*z. Let w = -2399/5 - -616/5. Let u = -357 - w. Which is smaller: u or b?
b
Let x be (1575/(-130) + 12)*70/75. Is x at most 0?
True
Suppose 0 = -49*g + 314 - 69. Suppose 0 = -2*b - 5 + 27. Suppose -s + b = 8. Which is greater: g or s?
g
Let j be ((-147)/182)/(-7)*(-4)/1104. Which is smaller: 0 or j?
j
Let m = -1 - -1.01. Let q = 45.156 + -18.156. Which is smaller: q or m?
m
Let b be (-1 - 2) + (-11 - -14). Suppose 4*d + b*d - 3*r = -12, d = 3*r - 12. Which is greater: d or 16/15?
16/15
Let i be (1 + -2)*(-297)/(-3). Let k = i - -101. Let w be ((-3)/((-105)/k))/(70/50). Is -1 smaller than w?
True
Let p be (-3 - 2) + 1611/354. Let t = p - 3/59. Which is bigger: -0.129 or t?
-0.129
Let k be (-6)/8 + 206988/144. Let v = -1417 + k. Does 19 = v?
False
Let f = 8.707 + -8.36. Let z = 0.34 - f. Let c = 19.993 - z. Is c bigger than -2?
True
Suppose 0 = -13*o - 11*o + 13032. Suppose 0 = -25*m + o - 3093. Suppose -505 = 4*h + h. Is m != h?
True
Let f = 2213 + -1995. Which is smaller: 221 or f?
f
Let t be (-5)/1*(49021/(-705) + 16/(-6)). Which is smaller: 358 or t?
358
Let f = 9261 + -9328. Is -11 at least as big as f?
True
Suppose -50 = 37*b + 61. Let z be (b/(-348))/(-3*(-12)/(-54)). Is z less than 0?
True
Let k(v) = -30*v**2 + 108*v + 124. Let w be k(19). Are w and -8654 non-equal?
False
Let d(j) = -2*j**2 + 120*j - 448. Let b be d(4). Which is smaller: -4/337 or b?
-4/337
Suppose 3*o + 3*c = -708, 13*c = 18*c. Which is smaller: -233 or o?
o
Let v = -268 + 271.035. Let f = 0.065 + v. Let d = f - 3. Is 0.39 bigger than d?
True
Let j be (1190/(-425))/((-6)/(-10))*(-174)/7. Suppose 0*v - 5*v - 3*n + 578 = 0, -5*v + 594 = -n. Are j and v equal?
False
Suppose -6884 = -249*k + 4207 - 2127. Let l = 6188 - 24611/4. Which is smaller: l or k?
l
Let h = -933 - -933. Is -2/45 equal to h?
False
Let q(h) = 48*h + 2. Let f be q(-3). Let z = -279/2 - f. Let l(j) = -6*j**3 + 407*j**2 + 75*j - 472. Let d be l(68). Which is smaller: d or z?
z
Let r be (-3)/(-2)*1/(-2). Suppose 68*j - 65*j + 604 = -2*c, 0 = c + 4*j + 312. Let v = 296 + c. Are v and r unequal?
True
Let g(f) = -f**2 - 3. Let i be g(3). Let n = i - -11. Let u = -8029/44 - -729/4. Which is smaller: u or n?
n
Let b be (-324)/(-1620) - (-1057)/(-5260). Is -0.11 greater than or equal to b?
False
Let i = -108 + 111. Let k be (54/(-99))/((132/2)/i). Which is bigger: -1 or k?
k
Suppose 2*j - 10*j + 40 = 0. Suppose l + j*d - 53 = 0, 0 = -4*d + 6*d + 8. Let f = l + -211/3. Is 0.5 smaller than f?
True
Let c = -10427/17 + 613. Let h(n) = n**2 + n - 7. Let d be h(-4). Suppose 0 = 3*k - d*m - 18, 5*m + 4 = -5*k + 2*m. Which is bigger: c or k?
k
Suppose 2*m + 2*z = 3*m - 2, 2*m + 3*z = -3. Suppose -a + 6*a + 60 = m. Let g be 15 + 405/((-255)/17). Is a greater than or equal to g?
True
Let f be 791175/3167340 - 1/4. Which is greater: f or -1?
f
Let u be (-560 + 580)*26/40. Let r(k) = k + 63. Let f be r(0). Suppose 5*n = -4*i + f, -5*n = -2*n + 4*i - 41. Is n > u?
False
Suppose -18 = 2*x - 3*q - 42, 4 = 4*x + 5*q. Which is smaller: x or 22?
x
Let g = -877/6760 - -4/845. Is 41.4 less than or equal to g?
False
Let v(s) = -91*s - 144. Let w be v(-3). Let y(u) = -u**3 - 10*u**2 - 8*u + 19. Let r be y(-8). Let z be -3 + (12/(-4)*r - 2). Which is smaller: z or w?
w
Let r = -151 + 151.1215. Let o = 0.0215 - r. Let n = 1.8 - 1.45. Which is bigger: n or o?
n
Let m(r) = -2*r**2 + 292*r - 253. Let i be m(145). Is 70 equal to i?
False
Let a be 25 + (28 - 61) + (2 + -1 - -9). Is -1363 greater than a?
False
Let c = -404.3 - -413. Let n = 19.7 - c. Which is bigger: n or 0?
n
Let y = -340 + 353. Let h = -1.2 - -14.2. Let s = h - y. Is 0.9 less than s?
False
Let t = -44 + 48. Suppose -7*o + 2*o = t*n - 118, -n + 5*o = -17. Let r = n + -27. Is r at most as big as 3/11?
True
Let n = 49 - 66. Let s = n - -17.2. Is s greater than 15?
False
Let z = -275 + 129. Suppose -y = -2*o + 2, 4*y - 4*o = -55 + 51. Is y smaller than z?
False
Let q(n) = -n - 2. Let u be q(-1). Let o = 4393 + -636981/145. Which is smaller: o or u?
u
Let w(p) = -7*p**2 - 202*p + 18. Let o be w(-49). Is o greater than or equal to -6892?
True
Let o = -2 - -3. Let p be (-4)/((-12)/9)*9182/(-60). Let c = 459 + p. Is o <= c?
False
Let u = 173 + -146. Let d = -3.95 - 0.05. Let r = d + u. Which is greater: r or 0.1?
r
Let q = 13468 - 13467.431. Which is bigger: 0.01 or q?
q
Let v = -35 - -34. Let q = 28 - 12. Suppose 0 = 2*x - 16 - q. Is v not equal to x?
True
Let s = -14338/7 + 2048. Which is bigger: s or 38.75?
38.75
Let w = -5283 + 6888. Which is smaller: w or 1604?
1604
Let j(v) = v**3 + 4*v**2 - 174*v + 13. Let k be j(-15). Are k and 1635/11 equal?
False
Suppose 0 = -72*h + 67*h + 3*m - 314, -5*m = 4*h + 303. Which is smaller: -14 or h?
h
Let w = 957.5 - 758. Let u = w - 202. Which is greater: -1/2 or u?
-1/2
Let z = 2/438573 + -42542309/159640572. Let c = -1/52 + z. Which is bigger: 7/41 or c?
7/41
Let f = -107 - -89. Let q be 16/(-36) + (-14)/f. Let z = -9 - -5. Do z and q have the same value?
False
Let z = 75.219 + -0.219. Let w = z - 86. Let o be 1/5 - (-14)/(-20). Which is smaller: o or w?
w
Suppose 3*z = 3*b + 6, 5*z + 17 = -4*b + 45. Suppose 2*i + r = 46, 6*r - 2*r = b*i - 36. Which is smaller: 13 or i?
13
Suppose 308 = 3*u - 4*g, -u + 88 = -0*u - 5*g. Let m = 2 - 0. Let q be m/(-1)*(-9)/u. Which is greater: 0.3 or q?
0.3
Let u = -0.3 + 0.3. Let p = -0.628 + -14.422. Let x = 15 + p. Are u and x equal?
False
Let b = -159 - -199. Let j = 72 + -49. Let h = j - b. Is -16 equal to h?
False
Let w = -12.7 + 2.2. Let h = 14849.5 + -14858. Let d = w - h. Which is smaller: 1 or d?
d
Let a = -23748 - -24589. Is 841 smaller than a?
False
Suppose -5*c - 28 = 3*l, -5*c = -3*l - 741 + 733. Do -327/97 and c have the same value?
False
Let z(p) = -p**3 + 6*p**2 - 8*p - 1. Let j be z(4). Let l be 687/(-3) - -1 - (0 + 0). Let n be 28/(-98) + l/(-945). Is n less than j?
False
Let d(t) = -t**3 + 2*t**2 + 7*t - 8. Let j be (-6)/4*-2 - (-1 + 2). Let k be d(j). Let y be -52*1 + (2 - k)*-1. Is y at least as big as -48?
True
Let l = -0.342 + -0.198. Let u = -0.32 + 0.96. Let o = u + l. Do 18/7 and o have different values?
True
Let p be (-21 + 26)*(-207)/(-1). Let o = 804 - p. Is o > -232?
True
Suppose 23 + 44 = 14*p + 81. Let y = -3.26 - 153