(v) = -13*v + 104. Let j be c(30). Is j greater than or equal to -285?
False
Suppose -9*d = 9 - 0. Let m(l) = -l**3 + 5*l**2 + l - 2. Let z be m(5). Let h be ((9/3)/z)/d. Is h at most 1/14?
True
Let n = -818.1 - -757. Let m = n + 61. Which is smaller: 24 or m?
m
Let g(k) = -k - 4. Let t be g(-7). Suppose 0 = 2*q - t*q - 20. Is q smaller than 0?
True
Let p(n) = 30*n + 420. Let y be p(-14). Which is smaller: y or -50?
-50
Suppose 4*j = -11*c + 14*c + 511, -3*j = -c - 162. Is -178 <= c?
True
Let p = 859 - 39513/46. Are 1 and p unequal?
True
Suppose -m + 6 = 16. Let j = -2 + m. Let y = 17 + j. Is 7 greater than y?
True
Let l = -0.782 - -0.72. Let j = l - -8.262. Let t = j + -8. Is t greater than or equal to -1?
True
Let w be (-1)/3 - 12/18. Let z be -1 - 2 - 2/w. Let p = -368 - -4790/13. Is z greater than p?
False
Let f = 754 + -747. Let i(b) = -b**2 - 6*b + 6. Let m be i(-6). Which is greater: m or f?
f
Suppose c - 2 = 2*c. Let i be c/(-3)*(-9)/6. Which is smaller: -7/6 or i?
-7/6
Let u(r) = 2*r - 21. Let t = -27 + 28. Let j be (t - 4)*1 - -12. Let a be u(j). Is a less than or equal to -11/5?
True
Let i be (-198)/44 - 3/(-2). Which is smaller: i or 11?
i
Let t be (-3 - (-19)/6)/((-17)/34). Let p = -0.25 + 20.25. Let z = 10 - p. Is t not equal to z?
True
Let z be (-2898)/1224 - (-3)/((-102)/(-4)). Is -5 less than or equal to z?
True
Let w(p) = 2*p**2 - 2*p + 6. Let d be w(6). Suppose -3*m - 44 = -i, m - 5*m + 5*i = d. Does m = -14?
True
Let o = -4 - -8. Let r = 0.7 + -0.4. Let m = 0.3 - r. Is m greater than o?
False
Let c = -487.9 + 488. Which is smaller: -130 or c?
-130
Let c = -764 + 490. Which is smaller: 1 or c?
c
Let f be (-3033)/(-36) - (9 - 11). Which is bigger: 87 or f?
87
Let v be (-4)/44 - 10/2. Let k = v + 58/11. Which is smaller: k or -1?
-1
Let r = -28 + 27. Let o be -5*(132/(-140) - r). Let f = 0.12 - 0.21. Is f not equal to o?
True
Suppose 6*l - 10*l = -68. Is 20 at most as big as l?
False
Let s be 249/(-15) + (-26)/65. Which is smaller: -87/5 or s?
-87/5
Let s be ((-7)/(-21))/((-3)/9). Which is smaller: s or -6/53?
s
Suppose -x + 2*b - 14 = 0, 4*x + 3*b + 35 = -32. Are -24 and x unequal?
True
Let k = 474 - 26068/55. Let p be 1 - (-2 + (3 - 0)). Which is greater: k or p?
k
Let i(t) = -16*t - 6. Let g be i(-3). Let l be 14/g + 100/6. Which is greater: 18 or l?
18
Let c = 2.4 - 2.3. Which is smaller: c or 45?
c
Let m = 1088 + -1088. Let a(h) = h. Let y be a(-4). Are m and y non-equal?
True
Let s = 8.695 - 7.8. Let f = s + -0.105. Which is bigger: -1 or f?
f
Let j be (-1 - 2)*3/(-102). Suppose -3*t = -5*n - 31 + 13, -5*n - 13 = 2*t. Is j greater than t?
False
Let n = -2616 + 2612. Let c = -2/75 - -9/25. Which is smaller: n or c?
n
Let v(a) = -10*a - 1. Let i(g) = 20*g + 2. Let h(x) = 6*i(x) + 13*v(x). Let l be h(-2). Let n = 20 - l. Which is greater: n or 4/3?
4/3
Let d be (-80)/504*-3*-3. Let z = -2 - -2. Is d at least as big as z?
False
Let k = 0.9 + -8.9. Let n = 37 + -29. Let g = n + k. Does 0.3 = g?
False
Let h be (2/(-10))/(52/1300). Which is bigger: -14 or h?
h
Let r = 1165 + -115336/99. Is -0.2 less than or equal to r?
True
Let f = -57029941/175 - -325884. Let c = 12/25 - f. Which is greater: c or 1?
c
Let d be 10/25 + (-6)/15. Suppose -23 = -2*l + 5*f - d, f = -4*l - 9. Which is smaller: l or -10/7?
-10/7
Let i be (-189)/(-14)*2/3. Let k be (-3)/9 + (-6)/i. Let x be (3 + -2 - 1)/k. Is 1/6 at most x?
False
Suppose 26 = 19*h - 50. Let i(o) = o**3 - o**2 + o + 6. Let j be i(0). Suppose -j = h*p - 2*p. Do 1 and p have the same value?
False
Suppose -56 = 3*i - 173. Let h = -7 - -47. Are h and i nonequal?
True
Let z = 217.55 + -2.55. Let k = z - 135. Which is smaller: k or 1?
1
Let f = -39 - -45. Suppose 0 = -f*c + 8*c. Which is bigger: 4/17 or c?
4/17
Let a(t) = 2*t - 15. Let j(y) = -10*y + 74. Let r(m) = 14*a(m) + 3*j(m). Let k be r(6). Which is greater: 4/15 or k?
4/15
Let s be (-2)/(-4) - 111/74. Is s > -34?
True
Suppose -11*j - 12 = -56. Suppose 3*r + j = k - 3, 0 = -k + 4*r + 10. Is 0.6 > k?
True
Let t be (27/(-12))/(46/8). Is t less than 1?
True
Let s(a) = a**2 + 1. Let t be s(-2). Suppose -5*v = t*i - 15, 4*v + 0*v + 3*i - 8 = 0. Is 0 >= v?
True
Let d be ((-2)/4)/(1/(-2)). Let a be 1 + 1 + (0 - d). Let h be 26/126 + (-4)/(-18). Is h != a?
True
Let b = 392 + -325. Which is smaller: -1 or b?
-1
Let j = 21903/40 + -3347/8. Is 130 >= j?
True
Let f = -408 - -463. Which is bigger: f or 51?
f
Let l = -0.7 - 2.8. Do 7 and l have the same value?
False
Suppose -3*g - 10 = -6*q + 4*q, -3*g = 3*q + 15. Which is greater: 1/48 or q?
1/48
Let h = -378 + 377. Which is smaller: h or -3/253?
h
Let w = -334/1173 + -1/51. Which is bigger: w or 1?
1
Let g be (3 + 2 + -3)/2. Let f = -1108/1425 + 19/25. Are f and g non-equal?
True
Let q be (455/165 - 2) + 0 - 1. Is 1 less than or equal to q?
False
Let u = 939 - 934. Suppose 3*m - 4*q - 2 + 17 = 0, 4*q - 12 = 0. Which is smaller: m or u?
m
Let h = -0.48 - 0.02. Which is bigger: -1 or h?
h
Let t be 26/(-78) - (-1)/3. Are t and 4/35 nonequal?
True
Let a = 623 + -615. Let i = -4 + 8. Suppose i*j - 20 = a. Which is greater: 8 or j?
8
Let d(t) = -4*t + 9. Let r(a) = -8*a + 17. Let v(f) = 5*d(f) - 3*r(f). Let z be v(9). Do z and 30 have the same value?
True
Let v be 1/(-3)*(-3 - 6). Which is smaller: v or -24?
-24
Let y = -717 + 716. Is y at least 2/47?
False
Suppose 5*v = 3*s + 106 - 36, -s = 4*v - 56. Let q be (-16 - 3 - 0) + 4. Let x be ((-2)/(-1))/(2 + 28/q). Which is greater: v or x?
x
Let d be 156/27 + (-7)/((-126)/4). Suppose -d*j + 19*j = -559. Is j < -44?
False
Let j = 2250 + -2253. Which is smaller: 113 or j?
j
Let t be (1/2)/(2/(-8)). Let o = -46 - -42. Is t at least o?
True
Let u be (2 - 1) + 1 + -2. Let n = 1 + u. Let s = 2/1699 - -5093/3398. Which is greater: s or n?
s
Let c be 6/4*(-14)/63. Let s be (-45)/6*(2 + (-16)/6). Suppose 0 = v + 3*r - 6, -2*r + 7*r = s*v + 10. Are c and v equal?
False
Let y be 14/4*12/7. Suppose -12*z + 9*z = -y. Suppose -z = k + k. Which is greater: 0 or k?
0
Suppose -2*w + 16 = 3*a, -4*a + 4*w - w = -44. Suppose -5*h = -s - 0*s + a, 2*s = -h + 5. Suppose l = s*l + 6. Do -4 and l have different values?
True
Let d(z) = z**3 - 5*z**2 - z - 5. Let r be d(5). Let c be (6/15)/((-6)/r). Suppose -5*g = -7 - 3. Which is smaller: g or c?
c
Let t(w) = -w**2 + w + 11. Let h be t(0). Suppose h = -4*d + 3*d. Let r(v) = v**2 - 5*v - 4. Let a be r(3). Which is greater: d or a?
a
Suppose 0 = -8*v + 5*v. Suppose v*x - 3*x = -5*o - 27, -o - 5*x = 11. Are -13/2 and o unequal?
True
Suppose j = b + 6, 3*b - 51 = -5*j + b. Let s = -22 + j. Which is greater: -14 or s?
s
Let v(q) = -q**3 + 12*q**2 - 9*q - 15. Let r be v(11). Let c(w) = -w**3 + 6*w**2 + 8*w - 7. Let n be c(r). Is n not equal to -1/35?
True
Let p = -148 + 224. Is p > 77?
False
Let u(l) = 5*l. Let a be u(2). Suppose -65 = -a*v + 5*v. Let t be 10/(-25) - v/(-45). Do 1 and t have different values?
True
Let y(a) = 57*a - 76. Let s be y(4). Is 152 > s?
False
Let q = 0 + -4. Let w be 0 - (-2)/(-6)*q. Let p be (-3)/8 - 3*76/(-96). Which is smaller: p or w?
w
Let r = -0.6 - -0.645. Let d = -19.955 - r. Let b = d + 20.07. Which is smaller: b or 1?
b
Let k(u) = -11*u + 79. Let a be k(17). Which is smaller: -107 or a?
a
Let s = -48881/17 - -2877. Which is smaller: s or 2?
s
Let b = 12212 + -6574. Let l be b/(-72) - (0 + 1). Let w = 319/4 + l. Is w at most -0.1?
False
Suppose 3*l + 3*t + 28 = 2*t, -l - t - 10 = 0. Suppose 0 = 2*k + 60 - 0. Let b = 29 + k. Which is greater: b or l?
b
Let j = 17 + -16.68. Let z = 152 - 148.68. Let b = z - j. Is b bigger than -1?
True
Let w be -5*-2*4/10. Suppose -3*r = -5*d + 13, w*d + 0*r = r + 9. Suppose 0 = d*n + 4*c + 2, 4*n + 3*c = 2 + 9. Is 4 at least n?
False
Let v(t) = t**3 - 6*t**2 + 8. Let u be v(7). Let g = u - 43. Is g at most as big as 14?
True
Let d = 92 + -42. Let h be d/15*-1*-3. Are h and 10 unequal?
False
Let b = -5.587 + -0.413. Which is smaller: -1/38 or b?
b
Let h be 5355/14 - 2/4. Suppose 546 = 16*f - h. Which is smaller: f or -1?
-1
Suppose -2*m = 4*n - 26, 4*n - 3*m + 2 - 3 = 0. Suppose 6*a + 17 = a + n*w, a = 3*w - 10. Which is smaller: a or -1/23?
a
Let o = -2.2 - 1.8. Which is smaller: 2/7 or o?
o
Suppose 6*x - 28 + 4 = 0. Let u = -14 + x. Let r = -12 - u. Which is bigge