c be j(3). Let d be ((3 - 5) + 3)/(10/(-20)). Does d = c?
False
Let b be (169/13)/((-5)/2). Suppose r + 0 = -2*u - 7, 5*u = 3*r - 1. Let w(q) = 3*q + 3. Let x be w(r). Which is greater: x or b?
b
Let u(a) = -a. Let g be u(4). Let h(n) = -n**2 + 12*n. Let b be h(12). Let k be -4 + (b - 3/(-1)). Which is bigger: g or k?
k
Let d be (2/(-3))/(6/9). Let w be ((-2)/8)/((-5)/(-20)). Let l be (17 - 12) + w + -3. Which is smaller: l or d?
d
Suppose 841 = -5*s + 816. Is s smaller than -92?
False
Suppose -28 + 74 = -23*u. Let n be (6/40)/(1/(-4)). Which is bigger: n or u?
n
Let o be (-8)/10 + 16/(-4) + 6. Let n be -1 + (-6)/((-42)/5). Which is smaller: n or o?
n
Suppose -y - 4*y + 10 = 0. Suppose -5*t - y*v - 11 = v, 2*t = -3*v + 1. Which is greater: t or -10?
t
Let a be 5*-3 - (0/10)/(-16). Which is smaller: -12 or a?
a
Let h be ((-12)/(-18))/((-4)/(-18)). Suppose -16 = -h*s - 5*o, 2*s - 3*o - 16 = -o. Which is greater: 9 or s?
9
Suppose -21 - 99 = 15*q. Is q greater than -10?
True
Suppose -1 + 7 = 3*x. Let f be (2 + 13)*(x - (-16)/(-10)). Which is greater: f or 17/3?
f
Let p = 34 - 15. Let x be p/14 + (-4)/8. Which is smaller: 0 or x?
0
Let t = -994 - -995. Which is smaller: t or -9/85?
-9/85
Suppose 0 = f - 5, -x + 3*x = -5*f + 83. Suppose -x = j - 24. Do j and -4 have the same value?
False
Suppose 46*d = 42*d - 28. Which is greater: d or -20?
d
Let y be (-122)/(-183) + 22/3. Which is smaller: 10 or y?
y
Suppose -5*w + 13 = -2*x, -5*w - 11 + 10 = -x. Is x not equal to 14/13?
True
Let f = -36.526 - 0.374. Is 0 at least as big as f?
True
Let c(s) = -3*s**3 - 8*s**2 - s + 9. Let p be (2 + -2 + 7)*-1. Let d be c(p). Let a = -25469/39 + d. Which is smaller: a or -1?
-1
Suppose 7*u - 2*u + l - 186 = 0, -2*l + 39 = u. Which is smaller: u or 34?
34
Suppose 0 = 3*z - 7*z + 2*a - 2, -3 = -4*z + a. Let i be (-324)/(-216) + (-90)/44. Which is smaller: i or z?
i
Let v be ((-4)/5)/(-14*6/(-24)). Are v and 1 equal?
False
Let f = -52 + 203. Which is greater: 0 or f?
f
Suppose d + 13 = 2*j, 4*j + 2*d = -d + 1. Let f(b) = -b**3 - 9*b**2 - 4. Let t be f(-9). Let n be 3 + t + (4 - 0). Is n <= j?
True
Suppose -6*n + 5*i + 25 = -n, -4*n - 25 = 5*i. Which is smaller: n or 25?
n
Let h be ((-1)/(3/(-82)))/(29/36). Let d = -34 + h. Do d and 0 have different values?
True
Let y = -0.4 + 1. Let k = y + 2.4. Let s = -134 - -133.9. Do k and s have different values?
True
Let g = 695.9 - 664. Let n = g - 32. Is -1.1 greater than or equal to n?
False
Let h = 5 + -9. Suppose 5*y = -5*t - 5, -7 = -5*y + 3. Let i be 15/(-20)*(5/9 - t). Which is bigger: i or h?
i
Suppose f - 2*z - 31 = 3*z, -26 = -2*f + z. Suppose -f + 37 = -2*s. Let n = 12 + s. Is -2 less than n?
True
Let r be (-2)/2 - 9/(-7). Let j(f) = -7*f + 77. Let u be j(22). Let t = u - -77. Which is greater: t or r?
r
Let u be 10 + 0*8/(-16). Is 2 not equal to u?
True
Let m be (-14)/4 + (-6)/4. Let u be 12/(-20)*m*-6. Is -18 <= u?
True
Let k = 3713.18 - 3681. Let s = -0.82 - k. Let f = 19 + s. Are f and -0.1 equal?
False
Let x = 1285 - 1242. Which is bigger: x or 45?
45
Let h(o) = -3*o**2 + 5. Suppose -y = -1, 3*y - 8 = 3*g + 7. Let q be h(g). Which is greater: q or -44?
q
Let d(t) = -t**3 + 7*t**2 + 9*t - 4. Let f be d(8). Suppose -2 = g - 2*z, -2*g + 10*z - 5*z = f. Which is smaller: -23 or g?
-23
Let d be 6/(-12)*(-8)/(-7). Let w(h) = 2*h**2 + 2*h. Let l be w(-2). Suppose -2 = -2*z - l. Which is smaller: z or d?
z
Suppose -1 + 6 = i. Let a be ((-20)/(-5))/8 - i/(-2). Is a at most 4?
True
Let m be 419/(-14) - 2/(-4). Let i = m - -15052/511. Let y be (-5)/15*-3*-1. Is i < y?
False
Suppose c = i + 4*c + 10, -2*c = i + 6. Let z be (-2*2)/i - -2. Suppose -l = -4*y + y + 2, -3*y + 10 = -5*l. Is z <= l?
False
Suppose -792 = 19*i + 14*i. Let c(q) = 24*q**3 + q**2 - q - 1. Let b be c(-1). Let f = i - b. Which is smaller: f or -5/7?
f
Let r = -130.6 - -129. Let y = 0.02 - -0.58. Let i = r + y. Which is greater: i or -2?
i
Suppose -4*g - 8 - 4 = 0. Let w be (g/(-2))/(30/8). Let h(z) = -z + 2. Let b be h(1). Which is smaller: w or b?
w
Let h = 0 - -4. Let m = h - 3. Are m and 19 non-equal?
True
Suppose 28 = -3*l + 5*n, 0*n = -l + 3*n - 16. Are -5/3 and l equal?
False
Let m(k) = 4*k - 5. Let r(o) = 12*o - 15. Let u(t) = -11*m(t) + 4*r(t). Let w be u(-4). Let b be 4 - 1 - w/7. Which is bigger: 25/4 or b?
25/4
Let q = -0.034 - 4.966. Let t = -4.938 - q. Are t and -2 non-equal?
True
Suppose -2*u - t = -5*t - 18, 3*u + 1 = -t. Which is greater: u or 34/19?
34/19
Let p be 45/(-486) + 93/30 + -3. Which is smaller: -1/2 or p?
-1/2
Suppose 2*z = 4, -3*j = 5*z - 23 + 1. Suppose 4*o = 4*h - 8, -j*h + o + 1 = -4. Which is smaller: h or 2?
h
Suppose -160*x + 162*x = 2. Is x greater than -90?
True
Let x(n) = -2*n + 13. Let l be x(-5). Let d = -5581/3 - -1837. Let s = l + d. Which is greater: s or -2/9?
-2/9
Let k = 0.71 + 27.29. Let v = -27.6 + k. Is 1/4 at most as big as v?
True
Let w be 5/2 + (-2)/(-4). Let r be 1 + 1 + -32 + 10. Let z(u) = u + 21. Let v be z(r). Is v smaller than w?
True
Let t(y) = -4 + 0 + 0 - 4*y + 11. Let m be t(2). Let j = -0.7 - 3.3. Is j greater than or equal to m?
False
Let b be (-6 + -1)*((-1121)/(-119) - 7). Is b not equal to -17?
True
Suppose 49*z + 9126 - 1433 = 0. Which is greater: -158 or z?
z
Suppose 3 = -l - 2*n, -5 = l + n + 2*n. Suppose l = 3*j + 94. Is -32 >= j?
False
Let p = -70 - -69. Let n = 927/5 + -76951/415. Is n at most as big as p?
False
Let j = -5336/11 - -5992306/12353. Are j and 0 nonequal?
True
Let q be ((-2)/(-4))/((-3)/(-18)). Suppose -52 = -5*b + q. Let x(i) = -i + 11. Let a be x(b). Which is bigger: a or 2/3?
2/3
Let g be (-15)/18 + ((-51562)/1932)/(-29). Which is smaller: g or -0.19?
-0.19
Let r be (0 + 8/(-16))*2. Which is smaller: r or -10/81?
r
Let j be ((-5)/15)/((-1)/15). Suppose 5*q = -5*w + q + 4, 4*w = 5*q - j. Suppose b + 4*b + 30 = w. Which is greater: -5 or b?
-5
Let t = -124 + 373. Let h be 1*(4 + -5) - (-240)/t. Do h and 1/4 have the same value?
False
Let v be (41/((-451)/440))/((-4)/(-14)). Is v greater than or equal to -139?
False
Let h be (-4)/5*12/(-16). Suppose -37 = -2*j - 5*c, -2*j + 0*c - 3*c + 27 = 0. Let n(g) = g - 4. Let m be n(j). Which is greater: h or m?
m
Let b be 30/(-7) - -3*(4 + -3). Is b at most -1?
True
Let q = 850.9 - 818. Let u = -33 + q. Which is smaller: 15 or u?
u
Suppose -59 = 2*o - 137. Which is greater: o or 46?
46
Let l be (28/(-49))/((-2)/((-2)/(-15))). Is l >= -1?
True
Let n = -1/2388 - -95533/31044. Is 4 less than n?
False
Let x = -47 - -83. Let y = x - 35. Let f(q) = 3*q**3 - q**2 + q. Let a be f(1). Is a less than y?
False
Suppose 6 = 3*t - 3*p, 5*t + p - 7 = 3*p. Let h be 186/9 - (-6)/(-9). Let z be h/(-15) + (-2)/(-6). Is z less than t?
True
Let l = -651 + 651. Is -2/2445 greater than l?
False
Let j be (9 - 77/3)/((-159)/(-9)). Is j != -2?
True
Suppose 4*a + 16 = -2*w - 2*w, 3*w - a + 16 = 0. Let c(z) = -6*z + 108. Let g be c(19). Is w < g?
False
Suppose x - 8 = -7*x. Which is greater: -1/102 or x?
x
Suppose 3*k - c = 485, 3*k + 7*c - 473 = 11*c. Are 158 and k non-equal?
True
Suppose -109*s + 44 = -113*s. Are s and -3 non-equal?
True
Suppose 0 = -z - 4*q + 6, -q + 4 = 7. Let a = -143/8 + z. Is a < 1?
True
Let t(q) = -3*q. Let m be t(-1). Suppose -m*j = -0*j - 12. Suppose -13 = j*n + 3. Which is greater: n or -2?
-2
Let r be 8172/20 - 3*(-6)/45. Which is smaller: r or 408?
408
Suppose 0*t - 2 = -t. Let n = -9413017/170 - -55371. Let h = n + 3/34. Do h and t have the same value?
False
Let h be 916/(-6020) + 22/(-385). Are h and 0 equal?
False
Let h(c) = c**2 - 4*c + 3. Let d be h(1). Which is smaller: d or -0.026?
-0.026
Let l(z) = 12*z + 193. Let g be l(15). Is 2 > g?
False
Let a be 10/6*(-44)/(-5). Let u be ((-582)/34)/(-1) - 36/306. Let l = a - u. Is l greater than 2?
False
Let a be ((-560)/336)/((-5)/(-6)*-1). Let m = 1165/668 + 1/167. Which is greater: m or a?
a
Let a(q) = 11*q + 213. Let g be a(-21). Which is bigger: -17 or g?
-17
Let o = -149.5 - -162. Is -1 greater than o?
False
Let p(a) = 3*a**2 - 16*a + 7. Let k be p(5). Suppose -2*h + 76 = k*h. Is 19 less than h?
False
Let j = 22 - 19. Let a be j + ((-4)/(-2) - 3). Suppose -3*u = 2*o + 42, -4*u - u - 70 = -a*o. Which is greater: -15 or u?
u
Let i = 5.5 - 9. Let h = -3.3 - i. Which is gre