r: v or x?
v
Let u = -3 - 9. Let q = u + 0. Let d be q/8*4/(-15). Does d = 8?
False
Let t = 13 - 10. Is -5 at least as big as t?
False
Let r = 0.065 + -0.065. Are -14 and r non-equal?
True
Let t = 0.05 + -0.09. Let k = 0.13 + t. Is k smaller than 1?
True
Let z be 38/(-78) + (-2)/(-6). Let p = -96 + 94. Does z = p?
False
Let a = -1 + 1. Suppose -5*y - 155 = 2*n - 0*n, -2*y - 91 = -5*n. Let o = y + 31. Which is greater: o or a?
a
Suppose 4*x = -66 + 86. Let d be -12*(-2 + 2 + -2). Suppose 0 = -2*o + x*o - d. Is o < 8?
False
Let t = -4.63 + -0.77. Let i = -7.4 - t. Which is smaller: i or -8?
-8
Let v = 4927 - 9730823/1975. Is v >= 1?
False
Let m be (0 + 2)/(-4)*-10. Let u be m/(-15) - 14/(-78). Which is smaller: 1 or u?
u
Let o = 322 - 174. Which is greater: o or 0?
o
Let k be (-14220)/(-4914) + 2/13. Is 4 smaller than k?
False
Suppose x - 3 = -i, -5*i + 3*x - 2*x = -9. Let u(b) be the first derivative of -b**2 - 3*b + 3. Let l be u(-2). Which is greater: i or l?
i
Let t = 0.012 + 0.028. Let a = 42.7 - 43. Which is smaller: a or t?
a
Let b be ((-2)/17)/(16 - 14). Let l be (-1)/2 + (-13)/(-2). Let n = 5 - l. Is b at most as big as n?
False
Suppose 0 = 13*n - 9 + 61. Is 2/33 <= n?
False
Suppose 3*j + 2*n = -10, -4 = -j - 3*n - 5. Let l be -1 - (-2 - j/2). Do l and -2 have the same value?
False
Let c = -135 - -134. Which is smaller: 0.06 or c?
c
Let k = 34 + -19. Let q(x) = x**2 - 8*x - 22. Let p be q(10). Are p and k non-equal?
True
Let v = -95 - -103. Suppose -v*x + 2*x = -18. Which is bigger: x or 9/5?
x
Let i be 38*(52/24 - 2). Let n = -1 + 8. Which is bigger: i or n?
n
Let x be (-30)/(-50) + 2/5. Which is greater: x or 9/100?
x
Let v = 5801.73 - 5924. Let a = v - -122. Is 3 greater than or equal to a?
True
Let w be (1/82)/(192/256). Let j(z) = z - 1. Let p be j(2). Is w less than or equal to p?
True
Let q(m) = -m**3 - 4*m**2 - m - 3. Let c be q(-4). Let r be ((-5)/45*-6)/(c/(-6)). Let a = 0 + -4. Do a and r have the same value?
True
Let r be (-6)/12*18 - 1/(-1). Let b = -229/10 - -72/5. Which is smaller: r or b?
b
Let l = 14 - 3. Suppose -14*w + l = -45. Which is smaller: 36/7 or w?
w
Let i(w) = -65*w**2 + 10 + 4*w + 66*w**2 - 33. Let b be i(-6). Do b and -0.1 have the same value?
False
Suppose -3*m - 3*d - 29 - 4 = 0, 2 = 2*m - 4*d. Let n be 100/(-8) + 2/8*-2. Let i(s) = -s**3 - 14*s**2 - 12*s + 5. Let z be i(n). Which is smaller: z or m?
z
Let m be (-3)/2*5/(-15). Let j = -2.72 - -9.02. Is j at least as big as m?
True
Let l = -14075 - -70871/5. Is 100 bigger than l?
True
Let w = -11.275 + 11.3. Let r = -0.275 - w. Does r = 0?
False
Let h = -64 - -65.06. Let q = -0.06 + h. Let p = -122/5 + 25. Which is smaller: q or p?
p
Let i = -3.9 + 4. Let j = -6.5 - 8.5. Are i and j non-equal?
True
Suppose 2*p - 4*p - t - 2 = 0, -4*p - 5*t - 16 = 0. Which is smaller: p or 1/418?
1/418
Suppose 2*o + 5220 = -o. Let k be o/26 + (2 - 4). Let z = 69 + k. Is -1 >= z?
False
Let n be -15*5/(-20)*4. Let s = n - 14. Let a be 2*2*(-9)/(-60). Which is smaller: s or a?
a
Let v = 21 - 7. Let d be (-5378)/18872 + 4/v. Let a = 16183/9436 - d. Which is greater: a or 3?
3
Let k = 54 - 53. Let g be (k*(-8)/(-20))/22. Is 0 smaller than g?
True
Let p = -299 + 261. Which is bigger: -37 or p?
-37
Let q(h) = 7*h - 8. Let b be q(4). Let o = 17 - b. Let k be (-4 - 0 - o)*1. Which is greater: k or 3/7?
3/7
Suppose -3*h - 4*z = 40 + 12, -4*h - 32 = -4*z. Is -12 greater than h?
False
Suppose 6*y - 384 = -264. Which is smaller: y or 11?
11
Let p(r) = r**3 - 9*r**2 + 8*r - 1. Let t be p(8). Suppose 3*x - 12 = -0*x. Suppose -3*w + j = -8*w - 4, x*w - 4*j + 8 = 0. Is t greater than or equal to w?
True
Let k = -15.35 + 15. Let s = 15.65 - k. Let r = s + -16.2. Is r at most as big as 3/5?
True
Let c be -15 + 0 + (-2)/(-1). Suppose -18 = 2*s - 60. Let f = c + s. Is f at least 8?
True
Let z = 11.04 + -1.14. Let g = 1.4 + 7.6. Let m = g - z. Which is smaller: 2/5 or m?
m
Suppose -2*t + 44 - 18 = 0. Let n be ((-1079)/(-166))/((-1)/(-2)). Is t greater than n?
False
Suppose -4*d - 4 = -6*d. Suppose -2*y - 4*x - 3 = -23, 0 = 2*y - 5*x + 7. Suppose 0 = p + p - y. Is d > p?
False
Suppose -3*g - 2*x - 19 = -10, 5*g - 5*x = 10. Which is smaller: 1/512 or g?
g
Suppose -5*t + 4 = -1. Let j be ((-22)/(-4))/((-45)/(-198)). Let o = j + -24. Which is smaller: o or t?
o
Suppose m = 3*m - 2. Let o = -12063/29 + 416. Is m greater than or equal to o?
True
Let o(l) = 9*l**2. Let c be o(2). Suppose -2*v = -69 + 3. Is c bigger than v?
True
Suppose -f + 10 = 4*f. Suppose -9*z + 4*z + 105 = 0. Which is smaller: f or z?
f
Let u = -1174 - -41093/35. Which is bigger: u or -1?
u
Let y = 3 + -1. Let k(o) = -o - 1. Let v be k(y). Let j be v*(-4 + 140/36). Is 7 less than j?
False
Let d(u) = -u**2 - 7*u - 1. Let x be d(-6). Suppose z - 1 = -0*k + k, x*k = -5*z - 25. Let a be (1/(-3))/(z/24). Which is bigger: 5 or a?
5
Let y = -1/449 - 422/12123. Which is smaller: y or -1?
-1
Let u(w) = w**2 - w + 1. Let o be u(-2). Let q = 18 - o. Is q bigger than 9?
True
Let z = 9 - 6. Suppose -2*a = z*a - 15. Suppose -3*j - a = 0, -6*t - 3*j + 3 = -3*t. Is 8/3 equal to t?
False
Let z be ((-18)/(-36))/((-147)/146 - -1). Is 2 at most as big as z?
False
Let f be 1/(7/1400*-5). Is f greater than -448/11?
True
Let c be (2 + 1339/(-669))/(29/(-174)). Are -2 and c unequal?
True
Let a(s) = -1. Let m(h) = h**3 + 11*h**2 + 10*h + 7. Let k(w) = 6*a(w) + m(w). Let b be k(-10). Let z be b*-1 + 7/(-7). Is 0 less than or equal to z?
False
Suppose 0 = -3*s + 60 + 546. Which is greater: 201 or s?
s
Let u = 30/125963 - -2654668905/5542372. Let n = u + -479. Is 0 at most n?
False
Suppose 44*m = -21 - 23. Is 11/200 greater than or equal to m?
True
Let m = 3/701 + -1501/23133. Let b(o) = -o**3 + o + 1. Let i = -2 - -2. Let y be b(i). Which is greater: y or m?
y
Let g be 36/80*(-4)/(-2). Let x = 8 - 4. Suppose x*n = -4*c + 24, -2*n - 3*c = 2*c - 27. Which is smaller: n or g?
g
Let t = 314.59 - 314.8. Which is greater: -37 or t?
t
Let k be 64/416 - 536/(-1586). Do 1 and k have the same value?
False
Let x(z) = 6*z + 127. Let l be x(-8). Which is smaller: l or 78?
78
Let y = 8.2 + -109.2. Let w = 102 + y. Which is smaller: 10 or w?
w
Suppose -8 = 2*b + 3*g, 5*b + g = 5*g + 3. Is 6/17 bigger than b?
True
Let k(g) = g. Suppose 1 = 4*q - 6*q + n, -2*n + 2 = q. Let p be k(q). Suppose -25 = -p*c + 5*c. Which is smaller: -3 or c?
c
Let p(l) = l**2 - 32*l + 60. Let s be p(30). Which is smaller: 6/173 or s?
s
Suppose -39 - 5 = -4*h. Let j be 8/4 + -5 + h. Let o be (-6)/8 - (j - 8). Which is bigger: 1/7 or o?
1/7
Suppose 2*f = -234 - 608. Which is bigger: f or -422?
f
Suppose 2*q - 3*i = -6*i - 2, 2 = -2*q + 4*i. Are 1/154 and q equal?
False
Suppose -23 = -5*o - 3*t, 123*o - 119*o - t = -2. Let h(q) = q + 6. Let l be h(-3). Suppose 0 = -6*p + l*p. Which is smaller: p or o?
p
Let b = 1468/5 + -294. Which is greater: 330 or b?
330
Suppose n = 3*k - 28, 2*k - 4*k - 84 = 3*n. Let t = n - -29. Is 3/5 >= t?
False
Suppose -5*y = 3*u - 2*u - 15, -u + 4*y = 12. Suppose 4 = 4*w + 3*l - 1, 2*w + 2*l = u. Suppose -2*f + 2*t = -6, -f + 7 + 8 = -w*t. Are f and 2/7 non-equal?
True
Suppose 0 = -f + 3*l - 12, -4*f + 4*l + 8 - 24 = 0. Suppose -4*t + 12 = f, -1281 = -6*k + k - 2*t. Let i = 6887/27 - k. Is i less than 0?
False
Let t be (0 + 1/(-3))/(471/2826). Let a = -29380/33 + 890. Let f = a - 4/11. Which is bigger: t or f?
f
Suppose -4*x + 5*n - 36 = -3*x, 148 = -3*x - 5*n. Which is smaller: x or -45?
x
Let y(g) = 2*g - 7. Suppose 0*d - d = -3. Let s be y(d). Let i be (-2 + 2)*s*1. Is 0 smaller than i?
False
Let a be ((-1)/(-4))/(44/(-32)). Is 0 <= a?
False
Suppose -60 = -14*p + 164. Is p at most as big as 198/13?
False
Suppose 71 = 4*n - 0*p - 3*p, -15 = 3*p. Let t(x) = x**2 - 16*x + 20. Let w be t(n). Let j = w - -11. Which is greater: -2 or j?
j
Let j = -2991 + 326017/109. Which is greater: 1 or j?
1
Suppose -8 = -492*d + 488*d. Is d equal to 20/23?
False
Let x be 48/(-70) - (-4)/10. Let v be 366/9 - (44/12 + -3). Is v less than or equal to x?
False
Let y(v) = -v - 61 + 31 + 29. Let q be y(7). Are q and -10 unequal?
True
Let a = -54.1 - -52.1. Which is greater: -0.116 or a?
-0.116
Let j = 1063/4 - 266. Are 104 and j unequal?
True
Suppose 0 = 5*h - 2*h. Let n = 24/575 + 9/115. Whi