3)/15 + 2/(-15). Let v be (10/(-35) + 2)*x. Which is smaller: v or -13?
-13
Let a = 7 - -1. Let t = 7 - a. Let p = 0.8 + t. Are -0.01 and p equal?
False
Let b(f) = 4*f - 46. Let h be b(12). Let d be (1/h)/((-10)/120). Suppose 5*x + 23 = -2*s + s, 4*x + 30 = 5*s. Which is bigger: d or x?
x
Let g = -1140 - -1287. Which is greater: 6 or g?
g
Suppose -4360*g + 46 = -4406*g. Suppose -t + 5 = -2*v, 4*t - 2*v = -6*v - 16. Let i be 11/(-4) - 1/t. Is g at most as big as i?
False
Let x(b) = b**3 + 5*b**2 - 7*b - 8. Let u be x(-6). Let z be (1 - (-788)/6) + 2/3. Let f = z + -935/7. Is u smaller than f?
True
Suppose -4*k + 569 = -5*n, 0 = -26*k + 22*k + 4*n + 564. Is k at least as big as 137?
False
Let u = -26 + 31. Let w be 8/u + (-40)/(-100). Is w at most as big as 4?
True
Let d = 1572/5 + -14123/45. Let y = 0 - 0.2. Let f = y - -0.2. Which is smaller: f or d?
f
Let o = 29.9 + -1.9. Let z = o - 26. Which is bigger: z or 10/7?
z
Let o = -30 - -31. Let j be 106/(-27) + 4*o. Which is smaller: j or -1?
-1
Let y be ((-4)/(-30) - 1)*3. Suppose -5*o + 53 = -0*o + 2*i, -3*o + 2*i + 35 = 0. Suppose 0 = w + c + 6 - 2, -4*w + c = o. Which is greater: w or y?
y
Let p be -52*(-7)/(14/(-4)). Which is greater: p or -102?
-102
Suppose 0 = -w + 3*i + 16 + 1, 0 = -4*i. Suppose 3*q - 2 + w = 0. Are -2 and q unequal?
True
Let h(y) = y**2 + 3*y + 7. Let a be h(-5). Suppose -4*z = 27 + a. Let n be (-3)/(9/(594/546) + -8). Are z and n equal?
True
Let u be (9 + 2 + -11)/2. Which is smaller: u or -197?
-197
Let a be -1 + -2 + (-6465)/21. Let w = 310 + a. Which is greater: 2/11 or w?
2/11
Let o(j) = -j**3 + j**2 - 10*j + 17. Let h be o(5). Which is greater: h or -265/2?
-265/2
Suppose -4*q + 32 - 96 = 0. Let r be q/(-40)*15/(-24). Which is greater: r or -1?
r
Suppose 0 = -2*w + 4*w + 4. Let l be (w/(-6) - 49/21)/5. Which is bigger: 0.1 or l?
0.1
Let h be (60/200)/(24/3220). Are 39 and h unequal?
True
Let f = -53.3 + 43. Let m = f + 10. Which is greater: -5/3 or m?
m
Let c = -2.2 - 0.8. Let w = c - -5. Which is smaller: 1/2 or w?
1/2
Let n = 820 - 821.2. Which is smaller: n or -23?
-23
Let b(u) = u**2 - 8*u + 2. Let f be b(8). Let g be 4/(-58)*-28 - f. Let j = g - -35/87. Which is greater: j or 0?
j
Let a = 18 + -27. Let q be (-3)/a*75*-1. Let u = -19 - q. Is u greater than -1?
True
Let g(b) = 10*b**3 + 40*b**2 + 40*b + 27. Let k(y) = 7*y**3 + 27*y**2 + 27*y + 18. Let u(j) = -5*g(j) + 7*k(j). Let i be u(-10). Is i < 4/15?
False
Let t(v) = v**3 + 4*v**2 - 6*v + 4. Let f be (10/(-4))/((-1)/(-2)). Let a be t(f). Let u = 12 - a. Is 5/2 bigger than u?
False
Suppose 0 = -3*k + 56 - 224. Let u be -2*((-221)/k + -6 + 2). Which is greater: u or 0?
u
Suppose 44 = 2*k + 112. Suppose 35*l - 39*l = 136. Is k != l?
False
Let w be ((-1)/1)/(2/(-2)). Let o be 3 - (-4)/(-2)*w. Let s be ((132/30)/(-11))/((-21)/(-5)). Which is smaller: o or s?
s
Let q = -5 - -3. Let v be 78/11 + 11/(-121). Let s be -4*(3/2)/(21/v). Do q and s have the same value?
True
Suppose 42*s - 47*s = 4*l + 52, -4 = -2*l. Let q = -4.6 + 5. Which is greater: s or q?
q
Let g(i) = 2*i + 24. Let f be g(-12). Suppose -d = 3*d - 4*s - 672, 2*s = 4*d - 680. Let h = 1202/7 - d. Are f and h nonequal?
True
Suppose -316*n + 310*n = -900. Which is bigger: n or 151?
151
Suppose 2*i - 5*i - 44640 = 0. Let n = -254794/17 - i. Let x = n - -108. Which is bigger: x or 0?
x
Let f = 133 - 38. Let z = f + -95. Is z at most -87?
False
Let m be ((-5)/(-175))/(-1 - 19/(-5)). Which is smaller: 0 or m?
0
Let h = 0.2 + -0.1. Let n = 211.9 - 211.93. Is h bigger than n?
True
Let l = -0.0243 - 31.6757. Let s = l - -32. Is s equal to 1?
False
Suppose 14*i - 117 + 131 = 0. Which is bigger: i or 2/319?
2/319
Suppose 56*n - 63*n = -77. Which is smaller: 9 or n?
9
Suppose -7*s - 12 = -12. Do 1/225 and s have the same value?
False
Let r(u) = u**3 + u**2 - 2. Let h be r(-2). Let f be ((-24)/16)/((-1)/(-2)). Let x be 2 - f*4/h. Do -1/10 and x have different values?
True
Let q be -10 - -10 - (14/(-22) + -1). Let z = -272/99 + q. Do z and -2/5 have the same value?
False
Let p(d) = d**2 + 3*d - 8. Let s be p(-5). Suppose 2*r - t - s + 5 = 0, 2*r - 4*t + 18 = 0. Which is smaller: r or 2/5?
2/5
Let t be (-2 - 0) + 36/(-2). Let j be 8/t + ((-22)/(-5) - 2). Which is smaller: j or -3?
-3
Suppose 3*q + 15 = -3*g, -2*g - 2 = -q - 4. Is g less than or equal to -8/53?
True
Let t be (2 - 1) + -3 + 6. Suppose 17 = 2*n + g, 0 = t*n - g - 11 - 38. Which is greater: n or 8?
n
Let j = -107/1343 + -3/79. Let c(t) = -t**2 + 4*t - 4. Let f be c(3). Is j bigger than f?
True
Suppose 7*s - 402 + 1109 = 0. Is -100 > s?
True
Suppose 0 = 3*g + 2*g - 10. Let n be (g - 3)/((-2)/4). Suppose 2 = -n*a - 6. Which is smaller: a or 0?
a
Let y be ((-83)/3)/((-7)/21) + 2. Suppose -27 = -2*i + y. Is 57 <= i?
False
Suppose -v = -5*h - 21, 3*h = -4*v + 8 + 30. Is v bigger than 112/11?
True
Suppose 27 = -3*x + 93. Let w = x + -23. Is w >= -1?
True
Let k(o) = -13*o**3 - 4*o**2 - 2*o + 1. Let p be k(-2). Suppose 32 = -5*c - 4*i - p, c = i - 16. Is -21 smaller than c?
False
Let x = 49596/12115 + -535371643/131399290. Let y = x - 2/935. Which is bigger: y or 0?
y
Let s be 4 + (-34)/9 + 14/(-9). Let i be 1*(-6 + 2 + 3). Is s less than i?
True
Suppose j + 3654 = -3*x, -x - 3*j = -0*x + 1218. Which is bigger: -0.1 or x?
-0.1
Let i(x) = 1 + 4 - 6*x + 4*x + 1. Let o be i(5). Let h = o - -5. Which is smaller: h or -3?
-3
Let w = 30 - 26. Let u(s) = s**3 - 3*s**2 - 2*s. Let m be u(w). Let k be 6/(-9)*(-12)/m. Which is smaller: k or 2?
k
Let o(h) = h**2 + 11*h - 209. Let b be o(-21). Which is greater: b or -2/2547?
b
Let h be 0 - ((2 - 1) + -26). Let a be (45 - -3)/(-1)*2/(-4). Which is greater: h or a?
h
Let g = -7.7 - -41.1. Let h = -33 + g. Is -1 equal to h?
False
Suppose -2*y = n + 3 + 2, 0 = 3*y + 9. Let a = 1437 - 171002/119. Is n at least as big as a?
True
Let y(s) = -s**3 - 4*s**2 + 4*s - 2. Let l be y(-5). Let r(u) = u - 7. Let k be r(6). Let o(g) = 2*g**3 + g**2. Let n be o(k). Which is greater: l or n?
l
Let d be (-2 + 4)/((-12)/138). Is -158/7 less than or equal to d?
False
Suppose -6*o - 161 = o. Let x = 23 + o. Let l be (-6)/(-4)*4/42. Are x and l unequal?
True
Suppose 3*n - 160 = -5*b, 8*n - 254 = 3*n - 2*b. Let c = n + -48. Is -1 at most as big as c?
True
Let y(t) = -t**2 - t - 12. Let p be y(0). Let w be (4/p*-2)/7. Is w greater than 1?
False
Let n be (-23)/(-3) + (-2)/(-6). Let s = n - 7. Let g = -113/484 - 2/121. Which is greater: s or g?
s
Suppose 0 = -3*p - 7 + 40. Suppose -c - 3 = -i, i = 3*c - 0*c + p. Let x(y) = -y**2 + 3*y + 5. Let t be x(4). Is t greater than or equal to i?
True
Let u = -386 + 387. Which is smaller: -8/113 or u?
-8/113
Let y = -80702521 + 24937271498/309. Let r = -623 + y. Is 0 at least as big as r?
False
Let v(h) = h**3 - 5*h**2 + 3*h + 4. Let m be v(5). Let l(b) = 2*b + 18. Let f be l(m). Does f = 56?
True
Let l be -43 + 14/((-28)/(-18)). Which is smaller: -67/2 or l?
l
Let c = 26/55 + -1322/935. Which is greater: c or 2?
2
Let d = -7.26 - -8. Let q = d + -0.34. Are q and -8 unequal?
True
Suppose 4*p = 4*h - 20, h - 2*p - 2 = 3*h. Let z be 12/9*(-1)/(-8)*h. Which is smaller: 0.12 or z?
0.12
Let d be (10/(-4) - -2)*-10. Let w be 16/6*87/58. Suppose d*v = r + 4*r, 2*r - 6 = -w*v. Is 1/3 less than v?
True
Let x be (18/5)/(8 + 9405/(-1175)). Is x bigger than -845?
False
Let w = 0.03 + 1.47. Let k = w + -3. Let i = -1 - k. Are 0 and i non-equal?
True
Let b be (-17)/(-85) + 18/10. Suppose -b*u + 4 = 6. Which is smaller: 2/17 or u?
u
Let u(f) = -6*f + 15*f - 11*f + 32. Let w be u(16). Is 1 < w?
False
Let s be ((-3)/15)/((-43)/(-430)). Is -25 > s?
False
Let d be -2*5/(-20)*1634. Let g = -8997/11 + d. Which is bigger: g or -2?
g
Let q be (-18)/(-30)*25/(-15). Is -3/359 greater than q?
True
Let s be (9/18)/(2/(-24)). Let c be 40/s - 5/15. Which is bigger: -4 or c?
-4
Let b = 1925 - 677. Which is smaller: 2/5 or b?
2/5
Suppose -2*b + 111 = 3*g, 0 = 2*g + b - 5*b - 74. Is 39 less than g?
False
Let l be 354/(-261) - (2 + 10/(-3)). Which is greater: 0 or l?
0
Let u(x) = -x**3 - 8*x**2 - 8*x - 6. Let t be u(-7). Let p(a) = -a + 1. Let g be p(t). Let v = 1/267 + -30/89. Is v equal to g?
False
Let w = 8 + -8.13. Let c = 0.87 - w. Which is smaller: -3 or c?
-3
Let b be 2840/35424 + 2/