er than v?
True
Let v(q) = 7*q**3 - 2*q**2 + q. Let u be v(1). Suppose 5*l = 3*d - 32, 3*l + d = u*l + 16. Let i(p) = -10*p - 55. Let a be i(-5). Does l = a?
False
Suppose -4*f - 1 = 3*w, -2*f - 4*w + 2 = -0*w. Which is greater: f or -6/113?
-6/113
Let b = 239 + -2135/9. Is -0.3 less than b?
True
Let y be (30/4)/((-48)/(-64)). Let q be 12/y + 3/(-15). Is q less than or equal to -0.05?
False
Suppose -2*f + 12 = 4*f. Let i be 2370/85 + f/17. Is 27 at most i?
True
Let q be (-10)/21 + (-13)/(-39). Let j(l) = -l**2 - 5*l + 1. Let d be j(-5). Is d != q?
True
Suppose -o + 4*b + 5 = 0, -3*o - 5*b + 10 = 46. Let p(v) = -v**2 - 10*v - 17. Let n be p(o). Is -0.5 at least n?
False
Let j = -686 + 690. Let x = 311 - 922/3. Let u = j - x. Which is smaller: u or -1.1?
-1.1
Let y be 6/9*60/880. Which is greater: y or -0.03?
y
Suppose -5*b - 4*c + 173 = 0, 3*c - 25 = -b + 14. Is 225/7 smaller than b?
True
Let o be 2/4 - (5620/12)/5. Let z = -93 - o. Let n(b) = b + 10. Let i be n(-9). Are z and i nonequal?
True
Let g = 299 - 278. Which is bigger: 0 or g?
g
Let g = -63.2 + 51. Let m = 9.5 - -2.5. Let i = m + g. Do i and -1 have the same value?
False
Let s = -0.1 + 0.2. Let t = 7 + -6.9. Let w = s - t. Which is greater: -8 or w?
w
Let b = 4 - 16. Let d = -48 - -94. Let f = 46 - d. Which is smaller: b or f?
b
Suppose 0 = -4*x, -x + 10 - 4 = 3*j. Which is smaller: j or 26/17?
26/17
Suppose 3*b - 5*b + 362 = -4*f, 2*b + 5*f = 362. Which is greater: b or 909/5?
909/5
Let l = -0.063 - -9.063. Let u = 371.04 - 362. Let x = u - l. Which is bigger: -2 or x?
x
Let d be (-4)/(-14) + 2/(-7). Suppose 3*q = -w - 12, -4*q = -d*q - w + 9. Let t be 0/(q/(3/2)). Which is bigger: -2/13 or t?
t
Let o = -15 + 32. Let u = 38 - 38.2. Is o smaller than u?
False
Let r(i) = 3*i + 18. Let l be r(2). Which is bigger: 28 or l?
28
Let u = -236 + 234. Is 1/379 smaller than u?
False
Suppose -6*z - 6*z + 24 = 0. Suppose 0*a - z*a = 0. Is a at most as big as 3/32?
True
Suppose 4*k - 3*k + 74 = 5*r, 59 = 4*r - k. Do r and 19 have different values?
True
Let w = 2.2 + -2. Let l(v) = -5*v + 77 - 139 + 87. Let d be l(6). Which is smaller: d or w?
d
Suppose 2*x = x + 2, -4*x = 2*q - 32. Let o = 5 - q. Which is greater: o or -4?
-4
Let g = -21.1 - -18.8. Which is greater: 3 or g?
3
Let m = 18691 + -20952613/1121. Which is bigger: m or -1?
m
Let n = 16 + -32. Let o = -20 - n. Do -4 and o have the same value?
True
Let a be ((-8)/3)/((-14)/21). Suppose -4*x - 20 = 4*m, -5*m = a*x - x + 15. Is m bigger than -7/5?
True
Let r be (1304/(-40))/(9/(-45)). Which is smaller: 161 or r?
161
Let a = -4 - -5. Let w = -4/101 + 18/5555. Which is smaller: w or a?
w
Let k = -89 + 90. Let b be (7/6)/((-80)/(-30)). Are k and b equal?
False
Let o = -1158 - -1156. Is 225 <= o?
False
Let t be 0 - 4*6/(-4). Let v = 34 + -22. Let g be v*1 - 8/2. Is t >= g?
False
Suppose -16 + 76 = -5*y. Let z be (-2 - y)/(-2 - -1). Let j be (z/20)/(7/2). Do j and -1 have different values?
True
Suppose 2*n = l + 7, -2*n - 4 = 2*l - 14. Let j(t) = -t**3 - 3*t**2 - 4*t - 4. Let m be j(-3). Suppose 0 = 9*s - m*s. Which is greater: l or s?
l
Let k be 6*(-1)/30*(1 - 1). Which is smaller: k or -1867?
-1867
Let w = -0.07 - 21.93. Let l = w - -21.1. Let m = -1 - -3. Which is smaller: m or l?
l
Let a(m) = -6*m - 26. Let f be a(-5). Suppose -f*d = -5*t - 59, 4*d - 3*t - 18 = 51. Let b = 43 + -21. Are b and d non-equal?
True
Suppose 7*g - 14 = 2*g - 4*w, 0 = 3*g - w - 22. Let i be (9/(-15))/(3/(-45)). Suppose -2*k = -5 - i. Is k > g?
True
Suppose x + 4 = 0, 2*t - 6*x - 106 = -x. Let u = 33 + t. Let l be 3*u/36*3. Is 19 not equal to l?
False
Suppose 5*f + 0*f = -10. Let k be -3*f/(-9)*-6. Suppose 0*j - 4*j - k = 0. Which is greater: -1/5 or j?
-1/5
Let i = 3 + -4. Let w = -2 - i. Let h = -0.2 - 0.7. Which is smaller: h or w?
w
Let n be 5 + -3 - (216 + 6). Let s be -1 - 0 - n/218. Do s and -1 have the same value?
False
Let m(a) = 0*a - 6*a - 6 + a**2 + 0 + 2. Let l be 2 + 23/5 - 3/5. Let v be m(l). Is v bigger than -19/5?
False
Suppose -r + 5*b + 27 = 0, r - b = -4*b + 3. Let c = r + -4. Let h = 32 + -23. Is c less than or equal to h?
True
Let q(b) = 23*b + 214. Let r be q(-9). Are 12 and r equal?
False
Let b = 1.9 - -0.1. Let k = -2.1 + b. Let a = 1289/12 - 395/4. Which is smaller: k or a?
k
Let y = -29/13 + 303/130. Let b = 1 - 1. Suppose 2*a + 3*w - 5 = b, -3*a + a + 1 = -w. Which is smaller: y or a?
y
Suppose -5*h + 3*o + 38 = 0, -3*h + 5*o = o - 25. Let g = 6 - h. Is g >= 1/4?
False
Let r be 44/(-55) - 1222/10. Which is smaller: -125 or r?
-125
Suppose 0*f = 4*f. Let z = -8 - -12. Let q be (-232)/(-330) - z/6. Which is smaller: f or q?
f
Let q = -137 + 683/5. Let b = 0.1 + -0.1. Let k = b - -0.2. Is k < q?
False
Let l be (-21)/15 - (-1 + 1) - -2. Let v = 164 - 162. Which is greater: l or v?
v
Suppose -5*z + 8*z = -36. Let v be z*4/4*-1. Suppose -2*y + v = 14. Do y and 2/41 have different values?
True
Let o(q) = -q**3 + q**2 + 20. Let u be o(0). Let r be ((-5)/u)/((-1)/4). Let k be ((6/5)/(-3))/r. Which is bigger: 1 or k?
1
Let r = 108 + -861/8. Suppose -3 = -p - 1. Let a be 3 - 1 - 2/p. Is r greater than a?
False
Let u = 18 + -12. Let h be ((-96)/38)/u*(-1)/2. Which is smaller: 0 or h?
0
Let m be 14 + -19 - (-20900)/4170. Is 1 equal to m?
False
Let n(x) = 21*x + 183. Let b be n(-12). Is b < -68?
True
Let f = 0.74 - 0.757. Let t = f + 2.017. Is 1 at most as big as t?
True
Let g(z) = -z**2 + 17*z - 59. Let a be g(12). Which is smaller: a or -11?
-11
Suppose 0 = -3*z + 5*i + 15, -4*z + 15*i - 12*i = -9. Are 5/6 and z equal?
False
Let q be ((-360)/(-270))/((-1226)/3). Which is greater: q or -1?
q
Suppose -n - 39 = -4*c - 7, -2*c - 92 = 4*n. Let x be n/(-8) - (-227)/(-76). Which is bigger: -1 or x?
x
Let s = 15 + -22. Let o be (2*(-3)/18)/((-10)/(-150)). Which is smaller: s or o?
s
Let w = -1.16 + 0.16. Suppose 0 = -0*c - 5*c - 4*o + 25, -c = -2*o + 9. Suppose -i + 2 = c. Which is bigger: i or w?
i
Let w(k) = k**2 + 12*k + 9. Let i be w(-13). Let u = -24 + i. Is 0 greater than u?
True
Let v(p) = -25*p + 100. Let m be v(4). Which is bigger: -1/95 or m?
m
Let m(g) = -5*g**2 + g + 2. Let q be m(2). Let w be (-30324)/2280 - 6/5. Which is greater: w or q?
w
Let u be 10/(-140)*(3 - 7)/(-1). Is u not equal to 0.0731?
True
Suppose -3*d + 7*d + 8 = 0. Let q = 2 + d. Suppose 5*a - 3 - 52 = q. Are a and 1 equal?
False
Suppose -7*s - 66 = -5*s. Let f be 13/s - 8/(-24). Is 1 greater than f?
True
Let v = 11 - 6. Let h be ((-2)/(-12))/((-2)/(-3)). Which is bigger: v or h?
v
Let h = 12034/15951 - -48/409. Which is greater: 0 or h?
h
Let i(r) = 3*r**3 - r + 1. Let q be i(-1). Which is smaller: q or 17/7?
q
Let y be 30/12 + (-6)/4 - 6. Which is smaller: y or -0.08?
y
Let c = -24.4 - -24.642. Let k = c - 0.042. Which is bigger: 8 or k?
8
Suppose -1 = v - 4. Let j(s) = -s**3 + 15*s**2 - 7*s + 102. Let t be j(15). Which is greater: v or t?
v
Let u(t) = 2*t**3 - 57*t**2 + 27*t + 13. Let n be u(28). Which is greater: n or -29?
n
Let m = 6509/11 - 591. Let j = 316 - 316. Which is smaller: j or m?
j
Suppose -5*d = -5*f + 80, 2*f - d - 25 = 2. Suppose 4*l + 5*k + f = -0, -k = -4*l + 7. Let m be 6/4*(-88)/(-99). Which is smaller: m or l?
l
Let l = -85 + 32. Let w = l - -16. Which is bigger: w or -38?
w
Let w = -1.94 + -0.06. Let q be 9/(-21) + (-158)/7. Let h = 47/2 + q. Does h = w?
False
Suppose -m - 5*i + 19 = -2*m, 4*i - 15 = m. Which is bigger: 24/29 or m?
m
Let j(o) = o**2 - 15*o + 17. Let i be j(14). Let x be (-4)/i - 342/(-216). Do x and -20 have the same value?
False
Let w be (78 + 1)*(-3 - -2). Let a = w + 43. Which is smaller: a or -35?
a
Let u be (5 + 2*114/(-48))/1. Which is smaller: u or -5?
-5
Let p = -14758/3 + 4920. Let h = -29/63 + -3/7. Is p bigger than h?
True
Suppose 26*g - 34*g = -2784. Which is smaller: g or 347?
347
Let g be (-2)/4 - 27*4/120. Let r = -32 - -31. Which is greater: g or r?
r
Let r = 1066 - 1069. Is r != -293?
True
Let m(z) = -z**2 - 3*z + 4. Let n be m(-4). Let b = 5 + n. Suppose 4*i + i - 5*p = 10, -3*i + 12 = -p. Is b at most as big as i?
True
Suppose 3*z = 5*l + 38, -z - 26 = l + 3*z. Let u be ((-8)/l)/(12/480). Is 32 at least u?
True
Let f = -4.3 - -4.24. Suppose 0*r - 8 = 2*r - 2*h, 4*h - 18 = 5*r. Is f smaller than r?
False
Let g = -70.9