-4*v + 109. Let r be y(18). Which is smaller: 35 or r?
35
Let y = 3 + 2. Let i = 12.18 + -12. Let a = -0.18 + i. Which is smaller: a or y?
a
Suppose -q + 3 - 4 = 0. Let y be q/3 - (-208)/(-24). Is -9 less than or equal to y?
True
Let i = -23 - -19. Let t be (-72)/(-32) - (-1)/i. Let f = -30 + 29.94. Is t less than or equal to f?
False
Suppose 4*g + 1238 = c - 338, -2*g + 3*c = 788. Is -392 less than g?
False
Let k be (-5354)/(-4011) - (-6 - (-198)/27). Are k and 1 unequal?
True
Let s = 2317 - 2316. Do s and 43/29 have different values?
True
Let a(d) = -d**3 - 9*d**2 - 8*d + 13. Suppose -4*n - 39 = -3*t, -16 = n + n + 2*t. Let q be a(n). Suppose -3*i = 2*i - q. Which is bigger: 18 or i?
18
Let s = -91 - -65. Let n = s + 44. Let h = n + -17. Is h less than or equal to 1?
True
Let i(a) = -2*a**2 - a - 2. Let y be i(-2). Suppose 19 = 2*j - 3. Let f = -18 + j. Do y and f have the same value?
False
Suppose 3*j = -1 + 7. Suppose -j*g - 3 = v, 5*g + 5 + 6 = v. Are 1/21 and v nonequal?
True
Suppose -b + 245 = 6*b. Let o = -34 + b. Is 6/31 greater than or equal to o?
False
Let c = 0.411 + 171.589. Let t = c - 165. Do t and 1/7 have the same value?
False
Let x = -45 - -51. Let u be 3/x*(-18)/(-9). Which is smaller: -2/41 or u?
-2/41
Let q = -109 - -66. Let y be (198/12)/(0 + (-6)/16). Are q and y equal?
False
Let f be (-398629)/(-10836) - 1/9. Let d = f + -5/516. Let s = -37 + d. Which is smaller: -3/5 or s?
-3/5
Suppose 0 = 3*c - 7 - 47. Let m be (9/(-12))/((-15)/40). Suppose m*k - 5*k = -c. Is 0.1 greater than or equal to k?
False
Suppose -95 = -26*u + 21*u. Let r be u*2/63 - 58/(-203). Does 0 = r?
False
Let c = 0 + -1. Let k = 3562/11 - 47/11. Let b = k + -319. Which is smaller: c or b?
c
Suppose -10*p + 3786 = -2954. Is 674 equal to p?
True
Suppose -40 = 2*q + 18. Let d = q - -12. Suppose -11*i - 4*i = 255. Are i and d unequal?
False
Let j = -5 + 2. Let i = -22.1 + 21. Let w = -1.9 + i. Are j and w nonequal?
False
Let f be (-13988)/(-24) + (-24)/(-36). Which is smaller: 585 or f?
f
Let q be 7/(-14)*(-9)/(-18). Does q = -8/5?
False
Let p be 185/(-200) + (-4)/(-5). Suppose -3*w - 6 = -3. Let v = -1 - w. Is p > v?
False
Suppose -l = -0 + 1. Let b be ((-395)/135 - -3)/1. Which is smaller: b or l?
l
Let g = 33 - 25. Let y be (4 - g - -1)/((-153)/24). Is y at least as big as -1?
True
Let p(z) = z**3 + 6*z**2 - 5*z + 4. Let c be p(-7). Let l be (-6)/10 + (-1854)/(-240). Let n = l - 133/8. Which is smaller: n or c?
c
Let i(r) = -r**2 + r + 18. Let f = 54 + -60. Let c be i(f). Do c and -24 have different values?
False
Suppose 4*s = 9*s, x = 4*s - 384. Are x and -384 unequal?
False
Let y be (3 + -2)*2/52. Suppose 3*h - 6*l = -10*l + 23, -2*h - 3*l + 17 = 0. Is h at least y?
True
Let d = 311.393 - -1.607. Is d less than 0.3?
False
Suppose 0 = -3*t - 13 + 130. Let g = t - 26. Is 13 != g?
False
Let o be (-8)/4 - (3 + -4). Let m be o/5 - 16/(-4). Is 5 <= m?
False
Suppose -m + 2 = -f, 5*f - 6 = m - 0. Let r be (-2)/(-6) + (-113)/(-39). Which is greater: f or r?
r
Let q be 3 + (48/2)/(-8). Which is smaller: -13/9 or q?
-13/9
Let p = -413 + 3715/9. Is p smaller than -0.9?
False
Suppose -j + 4*t = -10, 7*j - 26 = 3*j + 2*t. Suppose f + 2*g - 4 = -3*g, -20 = -5*f - g. Suppose -f*y - j = -42. Which is greater: 8 or y?
y
Let s = -18 + 20. Suppose -9*h = -7*h + s. Which is bigger: 6/19 or h?
6/19
Let w = 70 - 119. Let h = w + 35. Let m be 1*h*10/(-35). Which is greater: 1 or m?
m
Let x = 15 + 50. Let w be 320/(-2249) + 10/x. Are w and -1 nonequal?
True
Let w be (-3)/6 - (-1)/2. Suppose 2*x - 35 + 5 = 0. Suppose -3 = 3*p - x. Is w at most p?
True
Let a = 429 - 431. Which is smaller: a or 2/11?
a
Let j(b) = -b**2 + 12*b - 12. Let s be j(9). Let r(u) = -2*u**3 - 59*u**2 - 33*u - 106. Let w be r(-29). Which is bigger: s or w?
s
Suppose 0*p - p = -4*t - 9, 4*p - 21 = t. Let a be (-7)/(-4) - 2/(-8). Suppose -3*q - 5*i = -28, 4*i = -0*q + q + a. Is q bigger than p?
True
Let x be (-4 - -3)/((-1)/1 + 2). Which is smaller: x or 2/5?
x
Let u = -33 - -51. Let c = 295 - 292. Let w be c/1 + u/(-6). Which is greater: 1/17 or w?
1/17
Let o(i) = 388*i**3 + 3*i**2 + 2*i. Let t be o(-1). Let r be 3/7 + (t/21 - -2). Which is smaller: r or -14?
r
Let n = -2/15 - 1/30. Let z(y) = -4*y**2 - 5*y. Let m(w) = 3*w**2 + 3*w. Let p(x) = -7*m(x) - 5*z(x). Let o be p(4). Which is greater: n or o?
o
Let j = -9.3 + 60.3. Let h = -50 + j. Is 0.66 less than h?
True
Suppose 66*g = 93*g + 23949. Do g and -888 have the same value?
False
Suppose 0 = -5*t + 3*t. Let x be (2 + t)*(-3 + -3). Is x > -12?
False
Let k = 7.2 - 0.2. Let t = 11 - k. Let c = 358/5 - 72. Which is greater: c or t?
t
Let x = 0.818 - -0.182. Is -2/239 not equal to x?
True
Let u = 0.96 - 2.96. Let m = u - -1.9. Which is smaller: 8/13 or m?
m
Let k be (-2)/70 - 6/(-14). Suppose 15 - 39 = -4*h. Suppose x - 3*x + h = 4*i, 4*x - 4*i = 24. Which is smaller: x or k?
k
Suppose 313*n - 314*n = 170. Let k = n - -160. Which is smaller: k or -0.6?
k
Suppose -8*m - 28*m + 13896 = 0. Is m >= 388?
False
Let k be ((-248)/(-6))/(-4) + 3. Let g = -1 - 6. Do g and k have the same value?
False
Let i be (-76)/(-6)*(-1 - 5 - -3). Is -38 <= i?
True
Let r = -38 + 49. Let y = 26 - 22. Which is smaller: y or r?
y
Let b be 2*2/(-8)*-6. Suppose -3*a - a - 3*m + 33 = 0, -5*m + 15 = 0. Suppose 5*l - 11 = p, a*l - b*l - p = 5. Is l at least as big as 4?
False
Let g = -21103/1358 - -219/14. Which is bigger: g or -1?
g
Let r = -1.99 + 0.99. Is -18 < r?
True
Let d be 10 - 6/(-48)*-82. Which is greater: 0.0182 or d?
0.0182
Suppose -3*i + 288 = -3*q, 32*q = 30*q + 3*i - 187. Is q less than or equal to -97?
True
Let f = -22492/57 + 1183/3. Is 1 equal to f?
False
Let a be (1 - 0)/((-51)/(-204)). Which is greater: a or 25/9?
a
Let j = 18 + -37. Let b = 35 + j. Do 1 and b have different values?
True
Let z be (-19)/((-57)/90) + (1 - 1). Suppose -z = x - 1. Do x and -29 have the same value?
True
Let q be -1*(-291)/(-90) - (-8)/(-12). Which is greater: -4 or q?
q
Suppose -2 = -5*o + 8. Suppose 4*a + o = -34. Let r be a/30*5/(-2). Is -2 less than r?
True
Let f = 393 - 392.8. Is f > 52?
False
Let y = 31 - 7. Let l be 42/483 - (-586)/138 - 4. Is y at most as big as l?
False
Suppose d + 4*m - 224 = -3*d, -4*m = 0. Let k be (16/d)/((-1)/2). Suppose -g + 3 = 4. Is k >= g?
True
Let z be (2 - 19/3) + (-19 - -23). Is z < -32?
False
Let n(b) = -b**3 + 9*b**2 + 2*b - 18. Let u be n(9). Suppose 5*r - 2 = 2*h - 0*h, -10 = -5*h + 5*r. Suppose 9*f - 5*f + h = u. Which is greater: 0 or f?
0
Let k = 56.16 - -13.74. Let o = k - 87. Let m = 17 + o. Which is smaller: m or -0.9?
-0.9
Let r be 24/204 - (-2724)/(-34). Let a be 48/r*(-5)/2*2. Which is smaller: a or 0?
0
Let c(i) be the second derivative of -i**4/12 + 5*i**3/3 - 8*i**2 + 11*i. Let t be c(7). Suppose -14 = -q - t. Is q <= 10?
True
Let p(a) = -43 + 19 - a + 34. Suppose -4*t + 2*t = 4*i - 46, -5*t + 61 = 4*i. Let o be p(i). Are 2 and o nonequal?
True
Let u = 465/10714 + 1/487. Let v be ((-6)/4 - -2)*-2. Which is smaller: v or u?
v
Let p = 12.032 - -0.668. Which is greater: p or -2?
p
Let p = -15.89 + 1266.89. Which is greater: 0 or p?
p
Let u = -1/23 - -51/115. Which is smaller: u or -11/9?
-11/9
Let y = -14.57 + -34.38. Let x = -49 - y. Which is smaller: -5 or x?
-5
Let h = -425 + 37. Is h at least as big as -389?
True
Suppose 7 = j - 1. Let s be (-80)/50*(-10)/4. Suppose -j*q = -s*q. Which is smaller: 2 or q?
q
Let s = 5075/2 - 2488. Is s at most 50?
True
Let o be (1215/(-63))/(4/(-7)). Let d be ((-4)/16*-2)/(2/140). Which is greater: o or d?
d
Suppose -242 = 6*r - 242. Are 6/25 and r equal?
False
Let z = 6 - 9. Let d = 32 - 31. Let b be (z - 208/(-68))/d. Which is smaller: b or -1?
-1
Let d be (-8)/(-28) - (-91)/(-147). Which is smaller: 0.07 or d?
d
Let w be ((-3)/(-2))/((-66)/(-121)). Let v(k) = k**2 - 12*k - 11. Let m be v(13). Is m greater than w?
False
Let v = -20713/8 + 2581. Which is smaller: -8 or v?
v
Let z = -3/38 + 55/456. Is 1 less than z?
False
Let f be ((-100)/(-123400))/((-2)/4). Is f smaller than -1?
False
Let c(y) = -y**3 + 6*y**2 - 4*y - 8. Let o be c(5). Which is smaller: 171 or o?
o
Let i(o) be the second derivative of -4*o**3/3 + 55*o**2/2 + 47*o. Let j be i(8). Let t = 3 + -3. Is t < j?
False
Let c(o) = -o + 7. Le