). Suppose -2*v + 2*a = 2, 3*v + 0*v + 1 = a. Which is smaller: v or b?
b
Let x = -4 - 47. Let y = x + 50.9. Does y = -2/43?
False
Let s = 41 + -22. Which is greater: 17 or s?
s
Suppose -7 = 2*c - 15. Let t be 24/45*9/c. Suppose d + 2 = 3. Which is smaller: t or d?
d
Let o(b) = 22*b + 146. Let r be o(-4). Which is greater: 55 or r?
r
Let v be 1/(((-2)/(-1))/14). Let z be (-16)/(-44) - (-195)/1430. Is v > z?
True
Let u = 109 + -110. Let t = -5 + -3. Let b = 6 + t. Is u less than or equal to b?
False
Let v be (-175)/(-21) - (-2)/(-6). Suppose 2*h + 48 = v*h. Let j be 0 - (-4 + 38/h). Are -2 and j nonequal?
True
Let a(l) = -6*l - 4. Let i be a(-1). Let x be ((-15)/10)/((-3)/i). Which is bigger: x or 30/13?
30/13
Suppose 13*t = 6*t + 161. Let n be 2*(1 + -2) + -19. Let x = t + n. Are x and 1 unequal?
True
Let o be 315/27 + -2 + (-7)/(-3). Let p be (o - 11)*2/2. Which is greater: p or -4/29?
p
Let q = 1082 - 1084. Let g = -7/8 - -3/8. Is q > g?
False
Let h = 105 - 241. Is -136 at most h?
True
Let j = 149 + -154. Suppose 0 = 4*l + 5*s - 2*s + 4, -3*l + 4*s = 28. Is j less than l?
True
Suppose -2*q - 62 = -3*u, 3*q = -3*u - 0*u + 57. Let l(p) = 2*p**2 + 13*p - 6. Let o be l(-6). Let s = o + u. Is 7 equal to s?
False
Let h = 984 - 984.7. Is 4 smaller than h?
False
Let i = -324.9 - -325. Is i < 12?
True
Let y be (-3 + 2 - -5) + -14. Let l be 4/y + 132/(-20). Let q be (-2)/(-60) + l/35. Is -1 < q?
True
Let z be 4/(-20) - (2616/(-20))/(-1). Is z less than -131?
False
Let o be -9 - 43 - (-2 - -3). Let k = o + 27. Do -25 and k have different values?
True
Suppose 0 = -3*l - 4*r - 16, 2*l = -3*l + 5*r + 20. Suppose l = 4*j - 2*j - 4*o - 38, -j + o + 16 = 0. Which is bigger: j or 0?
j
Let b(f) = -18*f**2 + 145*f + 19. Let u be b(9). Which is smaller: u or -400/3?
u
Let s = 64 - 34. Let r = s - 27. Suppose -r*x + 3*m + 63 = 0, -x + 1 = m - 28. Which is smaller: 24 or x?
24
Let j(a) = 5*a + 40. Let v be j(-8). Suppose v = -22*z + 9*z + 507. Is z < 40?
True
Let k = -3.7 + 28.7. Let o = k + -35. Let g = 10.1 + o. Is -7 at most as big as g?
True
Let n = 0.1 - 0.1. Let h(s) = -s**2 - 11*s - 16. Let g be h(-9). Let w be (-47)/21 + g + (-8)/(-12). Which is greater: w or n?
w
Let h be (-1)/9 + -7 + 77980/10890. Which is bigger: 0 or h?
h
Let y be 5/((-20)/16) + -22. Let s = y + 31. Do 7 and s have different values?
True
Let q(n) = -9*n + 17. Let r be q(7). Let i be ((-4 - -5) + 0)*(-2)/r. Are -1 and i unequal?
True
Let s(q) be the third derivative of -q**4/12 + 2*q**3/3 + 9*q**2. Let w be s(3). Let d be -1 + (2 - 10/4). Are d and w equal?
False
Let p be 2/(-3) + (-616)/(-33). Let l = 26 + -24. Which is greater: p or l?
p
Let p = -636 - -658. Is 18 at most p?
True
Let u be 14/(840/740) + (-2)/6. Let n(l) = l**2 - 5*l - 2. Let j be n(-4). Suppose 4 = -3*g + j. Is g bigger than u?
False
Let g be 44/11 - 12651/3162. Let s = g + 2373/279310. Is -1 >= s?
False
Suppose 9*n = 4*n + 125. Let w = n - 25. Is 5 > w?
True
Let l = 36 - 68. Let z = -28 - l. Is z less than or equal to 21/5?
True
Let j = 9 + 487. Which is greater: j or 497?
497
Let f(q) = q**3 - 3*q**2 - q + 2. Let u be f(3). Let j be ((-8)/6)/((-594)/81). Which is smaller: u or j?
u
Let n = 1332 - 34639/26. Let l = n + -265/78. Let h be (9 - 49/7)*5/(-2). Which is bigger: h or l?
l
Let o = 121 + -78. Let d = o - 44. Which is greater: d or 7?
7
Let m = -1423 - -1643. Is -1/3 < m?
True
Suppose 104 = 5*v - 2*v + 4*o, -94 = -3*v + o. Let b = 37 + -68. Let i = v + b. Are i and -1/5 equal?
False
Let f be 8/10 + 2546/(-2345). Is 18.3 bigger than f?
True
Let n = -77 - -96. Which is greater: 17 or n?
n
Let r be 6 - 4/1 - -1. Let x be (-1)/r*24/112. Is -1 less than or equal to x?
True
Let f be (-2)/3*(-3)/(-6). Suppose 0 = 3*t - 4*t - 2*u - 10, 3*t + 3*u + 15 = 0. Suppose 4*v - 3 = 2*z + 7, t = 4*z + 4*v - 16. Is z at least as big as f?
True
Suppose 15 = -2*h + 3*h. Let l = h - 63. Is -48 less than l?
False
Let g = 491 + -494. Is g greater than -52/21?
False
Let k(h) = 2*h**2. Let x be k(1). Suppose 2*z + 5*f = -10, -2*z - f - x = -0. Is 4/9 greater than or equal to z?
True
Suppose 16 = -8*n - 24. Let v = n - 2. Which is smaller: v or -8?
-8
Let v = 679 + -396. Which is smaller: 282 or v?
282
Let z = -1032 + 993. Which is greater: -37 or z?
-37
Let y be 257/(-1037)*10688/(-20). Let d = 42/1037 - y. Let m = d - -132. Is -1 at least m?
False
Let s = -29/56 + 3/8. Let q = -12 + 17. Let u(m) = -m + 4. Let p be u(q). Is s less than or equal to p?
False
Let d be (-5 - (-4)/4) + 7. Suppose 5*u - d*u = -52. Let n = 24 + u. Which is bigger: -8/15 or n?
-8/15
Let y(g) = g**2 + 9*g - 7. Let t be y(7). Let i = t + -106. Is i >= 3/46?
False
Let y be (-16)/(-42) + (-2)/3. Let v(t) = -t**2 + 4*t - 1. Let i be v(3). Suppose 3*c + 5*h = i - 5, 2 = -2*c - 2*h. Is c > y?
False
Let c = 5.97 - -0.03. Let u = 14.87 - -0.13. Let z = -15.1 + u. Which is greater: c or z?
c
Let i = 4507 + -9081/2. Suppose 4*q + 4*c = -116, 151 = -0*q - 4*q + 3*c. Is i at least q?
True
Let d(n) = -n**2 + n - 5. Let m be d(6). Let i = m + 31. Let b be (-132)/(-232) + 2/i. Which is bigger: b or 1?
1
Suppose 3*s - 12 = -s. Suppose s*v = 4*f + 4, -v + 4 = -4*f - 0*v. Which is smaller: 10 or f?
f
Let u(d) = 12*d - 381. Let i be u(32). Which is smaller: i or -1.69?
-1.69
Let u(h) = h + 4. Let s be u(-5). Let t(x) = x**3 - 1. Let c be t(s). Let p = -6 + 5. Which is smaller: c or p?
c
Let g = 0 + 0. Let l = g + 0.1. Let k = -79.8 - -79. Is l bigger than k?
True
Suppose -445*h = -450*h - 75. Is -16 <= h?
True
Suppose -147*g - 896 = -140*g. Which is greater: g or 3?
3
Let w be 40/16*(-788)/(-10). Which is smaller: 393/2 or w?
393/2
Let d(u) = 18*u - 57. Let k be d(5). Which is smaller: 127/4 or k?
127/4
Let h be (-8 - (-7323)/891) + 2/(-11). Let u be (-1)/4 + 33/(-12). Let a = -2 - u. Is h <= a?
True
Let t = -55.9 + 56. Let y = 0.053 - 0.523. Let k = 29.47 + y. Does k = t?
False
Suppose -s = 5*v - 0*v - 39, 5*v + 4*s = 36. Suppose -3*w - 530 = -v*w. Let x = -847/8 + w. Which is bigger: x or -0.2?
x
Let p be (9 - 8) + 303/(-18). Suppose 0 = 2*v + v + 48. Let a = v - p. Which is smaller: a or 0.1?
a
Let c = 6695569/17563 - 4956/13. Which is smaller: 1 or c?
c
Let u = 42.6 - 2.6. Let k = u - 39.99. Which is smaller: k or -2/7?
-2/7
Suppose -175 = 6*m - 193. Is m at least as big as 27/17?
True
Let w = -0.05 - -0.18. Let b = 1508 - 1508.2. Which is smaller: w or b?
b
Let t be (4 - 11/3)*(2 - 1). Which is greater: -1/2 or t?
t
Let x(w) = -44*w**2 - 2*w + 1. Let q be x(1). Let o = -21 - q. Which is smaller: o or 23?
23
Suppose 5*r + 6 - 11 = 0. Suppose -3*z - 162 = o, -3*o - 3*z = -8*o - 756. Let h = 463/3 + o. Which is smaller: h or r?
r
Suppose -22*j = -9*j + 923. Is 0.1 < j?
False
Suppose 0 = -3*x + 15, -2*x + 7*x = 3*k + 28. Let w be (-8)/16*(1 + k). Are w and -4/5 unequal?
True
Let h be (((-4)/18)/(8/(-3)))/1. Let g = -56 + 57. Which is smaller: g or h?
h
Let g be 1 + 1/(-1) + 6. Let f be g/3 + 294/8. Let k = -38 + f. Is 0.3 equal to k?
False
Let s = 22 - 28.5. Let r = -6.5 - s. Which is greater: 16 or r?
16
Let l(q) = -q**3 - 10*q**2 - 11*q - 9. Let z be l(-9). Let c = -8 + z. Suppose -o + 4*t = 3*o - 16, 4*o - 4 = -2*t. Do c and o have the same value?
False
Let y be (-2)/(-13) + 1624/91. Let j be 39/(-4 + 1) - -3. Let o = j - y. Is -28 < o?
False
Let j = -67 + 70. Suppose j*a - 130 = -7*a. Which is greater: a or 14?
14
Let q = 401 + -401. Is q > 3/35?
False
Let h = -444 + 444. Let u = -3 + 2.5. Let a = u - 1.5. Which is smaller: h or a?
a
Let c = 0 + 4. Suppose c*d - d - 3 = 0. Let a be 3/(((-150)/4)/(-5)). Is a at least d?
False
Let n be -35 - 20/5 - (-2)/2. Let c(l) = 2*l**3 + 4*l**2 - l - 3. Let o be c(-5). Let q be 8 + -4 - o/n. Is 0 smaller than q?
True
Let b be (-55204)/(-300) + -3 + 4. Let l = -185 + b. Is -1 >= l?
False
Let d(z) = -z + 4. Let h be d(2). Suppose p + h*w = 3*w - 9, -5*p + 3*w - 43 = 0. Let i be (-8)/(-3)*(-18)/p. Which is greater: 1 or i?
i
Let w = 3.83 - 3.83. Are -64 and w non-equal?
True
Let g = 58 + -70. Let z be ((-3)/g)/(-1) - (-266)/8. Which is bigger: 32 or z?
z
Let a = -7 + -11. Let j = -17 - a. Which is greater: 0.5 or j?
j
Let n(h) = -34*h**2 + 23*h + 27. Let f be n(-3). Which is greater: -347 or f?
-347
Suppose 4*d + d = 5. Let k be (-1)/(-