 = 2*v, 4*f = -5*v + 46. Which is smaller: 13 or f?
13
Suppose 25*x + 5*c + 240 = 30*x, c - 202 = -4*x. Which is bigger: x or 257/5?
257/5
Suppose -3*o - 2*k + 4 = -k, 3*o = 3*k + 12. Let g be (-4 - -1) + 8 - o. Let h be -2 + 2 - (-2 - g). Is 6 at most as big as h?
False
Let d be (4/(-8) + 2)*-68. Let z = d + 287/3. Suppose -4*o + 0*o - 24 = 0. Do o and z have the same value?
False
Let j be -1 + -70 - (3 + -2). Let q = -35/26 - -227/130. Which is smaller: q or j?
j
Suppose -33 = 2*j + 2*o - 21, 3*j = 4*o + 17. Which is greater: j or 7/239?
7/239
Let z(l) = -10*l - 312. Let f be z(-31). Let u be 2/(-4) - 10/(-4). Let g be 1/(u - 1)*-4. Is g != f?
True
Suppose -61*v + 72 = -133*v. Which is smaller: v or 14/131?
v
Let s be (-553)/6 - (204/12)/(-102). Is -86 bigger than s?
True
Suppose -j = -5*p + 12, -6*p + 12 = -3*p - 3*j. Suppose p*r + r = 21. Let w be 44/84 + (-10)/(-70). Is w <= r?
True
Suppose -2*r - 5*c - 228 = 0, -5*c + 359 = -5*r - 246. Is r bigger than -119?
False
Let h = -150 + -130. Let s be h/(-12)*3*-1. Let b be (-20)/s - 74/14. Which is bigger: -4 or b?
-4
Let w(c) = 2*c**3 - 29*c**2 - 18*c + 45. Let r be w(15). Is r >= -3/829?
True
Let w = 927 - 867. Is w != 8?
True
Suppose 0*n + 3*n = 12. Let f be (1/3)/((-15)/(-315)) + -4. Which is bigger: n or f?
n
Let c be (-3 - -2)/((-2)/2). Let z = -130/51 + 8/3. Is z at least c?
False
Let n = -7 + 9. Let p(s) = s**3 - s. Let v be p(2). Suppose -v*l + l = -10. Do l and n have the same value?
True
Suppose 11*o = 17*o + 438. Is -70 at least o?
True
Let p = 21 - 1. Let a = 16 - p. Let k be 4/(-8)*a - 3. Is -2 bigger than k?
False
Let c(n) = 2*n**3 - 8*n**2 - 13*n + 14. Let m be c(5). Is m <= -1/208?
True
Let z = 69 - 205/3. Let b = 0.27 + -0.38. Let s = 0.15 + b. Is s at most z?
True
Let u be (-1)/(0 + (-88)/(-18) - 5). Which is greater: u or 1.6?
u
Let k = 568 - 1721/3. Is k < 2?
True
Let s be (-56)/(-21)*1*-3. Let v(g) = 2*g**3 + 16*g**2 - 4*g - 8. Let o be v(s). Which is bigger: 23 or o?
o
Let q be (-1 + 2)*(46 - (12 + -1)). Which is smaller: q or 1?
1
Let b = 8.2 + -6. Let o = b + -0.2. Let y be 18/12*(-3 + (-38)/(-14)). Is o >= y?
True
Suppose -10*t - 73 = -113. Do t and -23 have the same value?
False
Let p = -0.0789 - -0.0389. Which is bigger: p or 56?
56
Let r = 154.8 + -184. Let j = 33 - 4. Let x = r + j. Which is smaller: x or -2?
-2
Let n(u) = u**3 - 10*u**2 + 4. Let i be n(10). Let h(c) = -c**3 + 4*c**2 + 4*c. Let j be h(i). Is 18 less than j?
False
Let w(j) = j**2 - 16*j - 17. Let x be w(17). Suppose 3*g + 3 + 0 = x. Let y = 38/7 - 176/35. Is y != g?
True
Let i = 38.5 - 38. Let w = i - 0.4. Let h = 5 + -4.6. Which is bigger: w or h?
h
Suppose -3*l + 6 = 5*s - 4, -4*l = 3*s - 6. Let q(g) = 7*g + g**s - g - 8 - 2*g**2 - 14*g. Let x be q(-7). Is x less than 4/11?
True
Let t = -48.7 + 6.7. Let i = t + 41. Which is smaller: i or -0.028?
i
Let d = -1195/6 - -20177/102. Let k = -20507/4 - -5230801/1020. Let g = d + k. Is -1/4 <= g?
True
Let h(i) = -2*i**2 + 23*i - 57. Let y be h(8). Are 164 and y unequal?
True
Suppose 0 = 2*c - 0*c + f - 4, -5*f = -2*c + 4. Let h be ((-2)/(-6))/(0 + 4/252). Let d be h/(-168) + (-34)/(-16). Are c and d unequal?
False
Let s = 5091 + -35579/7. Which is smaller: s or -1?
-1
Let r = 484 + -448. Let t = 132 - 93. Which is smaller: r or t?
r
Suppose 42 + 6 = 4*n. Let b be 3/(-15) + n/(-15). Let w = 25/22 - 18/11. Which is smaller: b or w?
b
Suppose -3*m = -1 + 10. Let k be (-2)/(-13) - (-2700)/(-1326) - (-34)/(-289). Are m and k non-equal?
True
Let w be 9/(-3) + (2 - -2). Let r = -2/3 + w. Which is greater: -0.06 or r?
r
Let s be 1/(-2)*8 + 28. Let h = 23 - s. Are h and 1/6 non-equal?
True
Let p = -4/2383 - -195426/11915. Suppose -1 = y - 18. Is p != y?
True
Suppose i + 3 - 13 = 0. Let z(m) be the first derivative of 5*m**2/2 - m + 8. Let h be z(2). Is h equal to i?
False
Let g = -142 - -143. Which is bigger: g or 7/11?
g
Let w = 11 + -8. Suppose -t - 116 = -w*r, 4*r + 4*t = 3*t + 150. Suppose 2*v + 4*i = -36, -4*v - 18 = 4*i + r. Which is smaller: -11 or v?
-11
Let z be (-5 - 1818/(-372))/((-2)/10). Let k = z - 2229/434. Which is greater: -6 or k?
k
Let p(t) = -2*t**3 - t**2 + 9. Let l be p(3). Let z = l + 44. Is -8 != z?
True
Let p be -1 + -3 + 1*(-3)/15. Let d = 0.088 + 0.012. Which is bigger: p or d?
d
Suppose -34*l + 26*l - 1808 = 0. Which is smaller: -225 or l?
l
Let s = -1/238 - -1909/1190. Let l(n) = -n**2 - 32*n - 110. Let x be l(-4). Which is greater: s or x?
x
Let y = 88.07 - 88. Is 2/15 greater than y?
True
Let r = 0.08 - 1.08. Let k = 8/73 + -519/5402. Does k = r?
False
Let h be ((-5)/15)/((-1)/(-9)). Let p(f) = -2*f**2 + f + 1. Let v be p(h). Let d = -10 - v. Is 9 at least as big as d?
False
Let b be (-132)/4*(-2)/(-2). Let x = b - -64. Is 31 < x?
False
Let k = -0.1 - -0.2. Let w = -1362/7 - -195. Let h = -53/42 + w. Is h greater than or equal to k?
False
Suppose 0 = -4*p - f - 6, 4*p - 4 = -72*f + 76*f. Which is smaller: p or 6/79?
p
Suppose -r = -5*g - 130 + 1245, g + 3*r = 207. Which is bigger: g or 223?
223
Let h(f) = -4*f**2 + 8*f - 8. Let p(i) = -i**2 - i + 1. Let n(y) = -h(y) - 5*p(y). Let c be n(1). Suppose c*b = 14*b - 80. Is b equal to 17?
False
Let x be (-50)/(-170)*(70/25)/7. Is x at most -0.015?
False
Let w be (10 - 3600/297) + 4/6. Suppose 4*r - x = -2, 3 = -3*x - 3. Is w < r?
True
Let s be (8/(-12))/((-1)/9). Suppose -4*w - 6 = -s*w. Suppose 3*o + w = 2*o. Which is bigger: 1 or o?
1
Let x(q) = -q**2 + 13*q - 15. Let g be x(-13). Is g > -352?
False
Let d be (4 - 0) + 210/294. Which is bigger: 5 or d?
5
Let k = 1 + -1.07. Let b = 0.21 + -0.14. Let u = k + b. Do u and -6 have different values?
True
Let y = -212 - -204.6. Is y equal to 2?
False
Let o = 3 + -3.1. Let z = 14 + -11.7. Let d = z - 0.7. Which is smaller: o or d?
o
Let l = 11.5 - 16. Let h = 5 + l. Let g = 0.021 + -2.021. Do g and h have the same value?
False
Let y be (6/7)/((-2)/(-42)). Let q be 2/y*(-10)/(-5). Let a = -0.14 - 0.86. Is q less than a?
False
Suppose -f + 8*l = 3*l - 64, 44 = f - l. Let v = 38 - f. Are 2 and v nonequal?
True
Let u = 0.28 - 2.68. Let f = 204 - 205. Is u at most as big as f?
True
Suppose -5*k - 4*f + 5 = 0, 0 = -3*k + 2*f - 1 + 4. Do k and -2/431 have the same value?
False
Suppose 31 = v - 13. Let u = -265/6 + v. Which is smaller: u or -1/4?
-1/4
Let u = 637 + -634. Is u less than 39?
True
Let m = -149 + 167.9. Let d = m - 18. Which is bigger: d or -1?
d
Let f = 0.8833 + 0.0987. Let s = f - -0.018. Is 2/5 bigger than s?
False
Suppose 0 = 5*b + p + 100, -5*b + 6*p = 2*p + 100. Is b greater than -24?
True
Let n(i) be the second derivative of i**4/12 - 7*i**3/6 + 17*i**2/2 + i. Let k be n(8). Let q = -24 + k. Which is smaller: q or 2/5?
2/5
Let u = -4 + 6. Let l be 18/12*(-4)/2. Let d be (-1)/3 - 10/l. Is u greater than or equal to d?
False
Let o = 85 - 98. Let y = -24 + 12. Let u = y - o. Which is bigger: 0.1 or u?
u
Let o = 309 - 309. Do o and -10 have different values?
True
Suppose -7*p - 72 = -5*p. Let f be (p/(-24))/(3/(-56)). Let d be ((-10)/(-35))/((-2)/f). Which is greater: d or 1?
d
Let t be (29/435)/((-6)/28). Do t and -1 have the same value?
False
Let l(q) = -q**3 + 33*q**2 + 35*q - 33. Let o be l(34). Which is greater: o or 6/173?
o
Let y be (-2 - (-16)/6)/((-37)/(-148)). Suppose 2*a - 4 = -4*m - 18, -4*a - m = 14. Let v = y + a. Are 10 and v non-equal?
True
Let z be (-12)/16*(-5 + 1). Let m(g) = 3*g**2 + 9*g + 3. Let v be m(-7). Let c be v/33 + -4 + 3. Is z > c?
True
Let m be (-8)/646*(-22)/(-44). Which is smaller: m or 1?
m
Let a be -2 - (2 + 5/1). Let g = -161 + 159. Is a > g?
False
Let x = 1090 + -202. Do 887 and x have the same value?
False
Suppose -3*v + 6 = r - 7, 0 = -v - 5*r + 23. Let f be (-2 - v)*(-4)/4. Suppose -4*n + 0*n = -4*u - 20, -f*n + 25 = u. Which is bigger: -2 or u?
u
Let k = 89/7 + -1367/91. Let r be (-4)/8 + (-3)/(10 + -4). Which is bigger: r or k?
r
Let f = -12 + 20. Let w be ((-7)/2 - -3)/((-2)/(-20)). Let n(m) = -m**3 - 4*m**2 + 5*m + 7. Let z be n(w). Do f and z have the same value?
False
Suppose 3*j = -j - 60. Let r be j/(-30) + 1/(-2). Let x = 333/1463 - -6/133. Is r >= x?
False
Suppose 0*j - 65 = 13*j. Let z be -2 + (-8)/(-5) + (-12)/j. Which is greater: z or 1?
z
Suppose 0 = 43*u - 45*u + 2. Let a = 1673/