Let x be v(-6). Suppose -2*m - 2 = 2*n, x*m - 7 = 2*n - 11. Are k and m equal?
True
Let x be 91*((-5 - 0) + 4). Let y = 10201 + -30329/3. Let o = x + y. Which is bigger: 1 or o?
1
Let q be 6988/(-194)*69/(-414) - (-1 + 7). Does q = 0.3?
False
Let a(l) = 7*l**3 + 31*l**2 - 64*l - 4. Let c be a(2). Which is bigger: c or -26?
c
Let q = 2131 + -2132.795. Which is smaller: -1/4 or q?
q
Let n = -0.09633 - -49.09633. Which is smaller: n or -5/27?
-5/27
Let g(u) be the first derivative of u**3/3 - 11*u**2/2 + 3*u + 1. Suppose -5*y + 2*r + 26 = 0, -5*r + 6 = -3*y + 33. Let l be g(y). Are -24 and l equal?
False
Let n be (18/(-36))/(4487/14). Are -0.1 and n nonequal?
True
Suppose -4*h = 11*m - 9*m, -4*m - 15 = 5*h. Let v be (-4)/m + 11/(385/651). Does 24 = v?
False
Let t = -14.28 - 0.72. Let g = 74 + t. Let q = 69 - g. Does q = -4?
False
Let y(c) = -18*c - 49. Let k be y(-3). Let a = -16 - -29. Which is greater: k or a?
a
Suppose 26*k + 1120 = 33*k. Suppose 105 = 5*l + k. Is l != -12?
True
Let u(z) = z**3 + 6*z**2 + 7*z + 44. Let q be u(-4). Let a be ((-128)/q)/((-4)/6) - 4. Which is greater: a or 3/25?
3/25
Let g = -452.19007 - 0.00993. Let m = -452 - g. Which is greater: m or -3/43?
m
Suppose 0 = -41*m + 22509 + 451. Which is greater: m or 558?
m
Let m be 20*(7/(-4))/(-7). Suppose -p - 6 = -m*j, j - 4*p - 9 + 4 = 0. Let l = -0.533 + 0.133. Is j at least as big as l?
True
Let x = -508 - -436. Let h be 3135/66*x/10. Which is smaller: h or -341?
h
Suppose -4*q + 50 = -14*q. Let j(k) = -k**2 + 9*k + 11. Let z be j(10). Let b be (-11 - z) + 1 - -4. Is q less than b?
False
Suppose 0 = a + 2*a, -2*z - 3*a + 56 = 0. Suppose 2*d - z = -4*v, 4*v - 2*v - 34 = -3*d. Let r(o) = 9*o - 7. Let t be r(2). Is t > d?
True
Let c be (1 - (-3 + -2)) + 561*-1. Let k = c - -616. Which is bigger: k or 1?
k
Let q be (-3)/12 - (-4 + (-106)/8). Which is greater: q or 24?
24
Suppose 3*d = -4*b + 1893, 2*b = 2*d - b - 1279. Suppose 14*v + d = 89. Is v < 0?
True
Let j = 179 - 55. Let n = 121 - j. Do n and -1/2 have the same value?
False
Let d(z) = z + 4. Let h be d(-3). Let n be h - (-6 + 7 + 5/(-1)). Suppose 3*r = -5*v + 168, n*r + 20 - 331 = 2*v. Are 61 and r nonequal?
False
Let l(y) = 33*y + 369. Let z be l(-14). Is -1 less than z?
False
Suppose 0 = -2*j + 4*j - 112. Let i = j - 154. Which is smaller: i or -95?
i
Let f be 1/2*121*2. Let d be 143 - (-21 + (26 - -17)). Is d < f?
False
Let l = -4563 + 4566. Let x = 32 + -208. Let i = -697/4 - x. Is l less than or equal to i?
False
Let l(u) = u**2 + 5*u - 2. Let a be l(-5). Let m be 0 - 2/(-28)*(-1274)/52. Which is smaller: a or m?
a
Let s = -0.7072 - 33.0828. Let a = s - 0.21. Let p = a + 31.1. Which is bigger: p or -2/7?
-2/7
Suppose 4*j + 2*m - 7*m = -3, -2*m - 3 = -3*j. Suppose 0 = 2*n - 3*q + 17, j*q = -2*n + 12 + 1. Let x be 2*(-15)/(-40) + (-405)/252. Is x equal to n?
False
Suppose -307 = 7*m + 2549. Let b(t) = -45*t - 722. Let n be b(-7). Which is smaller: n or m?
m
Let q be ((-120)/(-28))/((-12)/(-11480)). Which is smaller: q or 4099?
4099
Let h(y) = -y**2 + 7*y + 18. Let t be h(8). Let a be (t/(-3))/((-8)/12). Let l be 14*((-8)/(-10))/(2/a). Is l smaller than 28?
False
Let o(s) = -s**2 + 8*s + 9. Let d be o(9). Suppose -4*b = 2*v + v - 159, d = 3*b + 5*v - 133. Let j(q) = -5*q - 65. Let u be j(-20). Is b != u?
True
Let m be 0 - -156 - (-9 - (0 + -4 - 2)). Which is bigger: m or 1764/11?
1764/11
Let h = -730 + 600. Let d = h - -97. Is d > -0.1?
False
Let v(t) = -2*t**2 + 55*t - 287. Let o be v(21). Which is smaller: o or -13?
o
Suppose -19*o + 89 + 82 = 0. Suppose -3*c - o*t = -6*t, 5*c - 12 = -2*t. Which is smaller: 32 or c?
c
Let k = 0.0042 + 2.0058. Let z = 0.01 - k. Let h = -683636 + 683634. Is h >= z?
True
Suppose 5*t + 5*y + 25 = 2*t, -5*t - 4*y - 20 = 0. Suppose 7*c + 2 - 9 = t. Let h be (-3)/((13 - 6) + -190). Which is smaller: c or h?
h
Let a = 1.51 - -0.19. Let h = 2.1748 - 8.1748. Which is greater: h or a?
a
Let f = 152/579 - 1334045/2316. Let j = 576 + f. Which is smaller: -3/47 or j?
-3/47
Let y be 137/(-822) + (-1)/(-6)*-5. Which is smaller: 2/7327 or y?
y
Let b = 124 + -6. Let w = b - 115. Let t be (0 - -2)*(-12)/8. Is w > t?
True
Let v be 1 - (-4 + -5 - (-2 - 2)). Let n be v/(-33) + 3632/858 + -4. Let q = -6.9 - -7. Is q greater than or equal to n?
True
Let b = -7629.26 + 7632. Is -1/2 less than or equal to b?
True
Let y(q) = -q**3 - q - 21. Let b be y(0). Let l = -68 + 43. Is b less than l?
False
Let d = -32 - -31. Let r(h) = -269*h**2 - 6*h - 4. Let i be r(d). Let o = -2939/11 - i. Which is smaller: 5/6 or o?
o
Let r be (-2)/12*10/25. Let d be 12/15 - 64/(-20). Suppose 0 = d*f - 5*n + 25, -2*f + 0*n - 3*n = -15. Is f greater than r?
True
Let b be 1*(3 + -5 - -571). Let x = b + -10808/19. Let g = x + 10/57. Which is greater: g or -1?
g
Suppose 28 = -127*u + 134*u. Suppose -8*t = -12*t - 2*r - 10, u*r + 17 = -5*t. Let a = -4/9 - -109/252. Which is smaller: a or t?
t
Let d be -1 + -1 - (-33 - (0 - 30)). Let v(g) = 6*g + 3. Let w be v(-5). Which is smaller: w or d?
w
Let n be (11/(-33))/(2/(-282)). Suppose -51*w - 20 = -n*w. Let s be w/15 - 177/(-504). Is 1 not equal to s?
True
Let m = -0.27 - -3.67. Let u = -40 - -56. Suppose -j = 2*z + 3*z + 4, 4*j + u = 3*z. Which is smaller: m or z?
z
Let u = 1653 + -1653. Which is bigger: 30/119 or u?
30/119
Let r be (-2 - -3)/(2/82). Let j = 228 - 181. Suppose -j*g + r*g - 6 = 0. Is g not equal to 2/185?
True
Let t = -459/10 - -46. Let r(k) = -k**3 + 6*k**2 + 17*k - 2. Let p be r(8). Let c be (8/p)/((-38)/(-171)). Is t greater than c?
False
Let q = 3102 + -4445. Which is smaller: 2/9 or q?
q
Let l be 5/((-20)/(-12)) - (0 + -5). Suppose -l*w + 16 - 40 = 0. Which is bigger: -4 or w?
w
Suppose 3*z - 16 = -2*d, -2*d - 16 = -6*z + z. Suppose -3*i + 457 = z*k - 0*i, -2*k = 5*i - 239. Which is smaller: 113 or k?
k
Let j(v) = v**3 - 3*v**2 - 6*v + 9. Let u be j(4). Let m be 42548/(-570) + 3 - -1. Let h = m + 212/3. Which is bigger: h or u?
u
Let z = 122.83 + -0.83. Let j = z - 122. Let c(i) = 4*i - 5. Let b be c(5). Is b smaller than j?
False
Suppose -3*y + 2*j + 298 = 0, 3*y + 52*j - 290 = 56*j. Suppose -26*z = -9*z - y. Which is smaller: 8 or z?
z
Let l = 2598 + -2637. Is l less than -11?
True
Let o = 1668/13 - 1072511/8359. Which is bigger: o or 0?
o
Suppose -143*k + 176 = -121*k. Suppose p - 3*p = 2. Let n be (-18)/(-1)*p/(-2). Which is smaller: n or k?
k
Let h be (-1 + -6)*1/4. Suppose -158 = -170*j + 1202. Which is greater: h or j?
j
Let u be ((-5)/3)/(18/(-54)). Suppose 4 = a + 2*h - u*h, 4*a - 5 = h. Let t be ((-3)/4)/(12/4). Which is smaller: a or t?
t
Let y be (-9)/(-6)*(-72)/(-486) - (-765195)/(-3445200). Which is smaller: 0 or y?
0
Let g = -35441/6 - -5901. Is -3 greater than g?
True
Suppose -5*a - 1645 = -1680. Which is smaller: -20 or a?
-20
Suppose 5*q + 758 = -4*k, -15*k + 10*k = 4*q + 610. Let d be (q/(-12))/(10/(-25)). Is d equal to -30?
False
Suppose 5*h - 20 = -3*q + 7*h, 2*q - 12 = 2*h. Let b be (-6)/q + -2 + 9894/3624. Is 0 >= b?
True
Let k be ((-5572)/(-16))/((-16)/64). Do k and -1392 have different values?
True
Let k = 120 + -110.4. Let z = 9 - k. Let r = -3 - -2. Is r <= z?
True
Let h(j) = -j**2 - 23*j + 249. Let i be h(-31). Are i and 21/25 equal?
False
Let r be (1310/(-3406))/((-10)/(-8)). Which is bigger: -687 or r?
r
Let m = 19 - 12. Let x = 3686.9 - 3682.9. Which is greater: m or x?
m
Let v be (-2)/(69248/6296 - 11). Which is bigger: 3145/2 or v?
v
Let w = -0.066 - 0.204. Let g = w - -0.3. Let d = -0.07 - g. Do 2 and d have different values?
True
Let q be (-6)/(-15) + (-198)/(-55). Let k be 8/28 - ((-4566)/1218 + q). Which is smaller: k or 0?
0
Let f = -7134 - -7173. Which is smaller: f or 54?
f
Let g be (3 + -8)/5*0 - -2. Suppose 3*u - 79 = 4*b, -5*u + b + 117 = -g*b. Is 25 equal to u?
False
Let x = -45.7 - 41.32. Let s = 10.72 + x. Let m = 77 + s. Are m and 0.8 unequal?
True
Let x be 0 - (-5)/15*-6. Let z be x/(-2) + (-5 + 0 - -46). Which is smaller: z or 209/5?
209/5
Let p = -1158911/503 - -2304. Is p <= 0?
False
Let w be -2*(2 + 5/(-3)). Let p(u) = u**2 + 5*u - 34. Let k be p(-9). Suppose 15*t + 117 = k*t. Which is smaller: t or w?
t
Let x(c) = -23*c + 118. Let h be x(5). Suppose 5*y = -4*g + 294 - 885, 4*y + h*g + 473 = 0. Is -118 at least a