nd v have different values?
True
Let d(j) = -j + 10. Let q be d(4). Suppose -15*i + 54 = -q*i. Suppose 0*s = 2*s - 2. Is i less than or equal to s?
False
Let h = -2.058 - -1.358. Which is bigger: 31.8 or h?
31.8
Let f(k) = -k + 4. Let t be f(5). Let i be (-67)/172 + 4/(-32)*0. Let g = -6/43 - i. Does g = t?
False
Let x be (40/528*-4)/(62/(-6)). Which is bigger: -1 or x?
x
Suppose -96*v - 5*z - 23 = -98*v, 3*z + 14 = v. Which is smaller: 2/661 or v?
v
Let s = 4060.1 + -4060. Is -917/4 < s?
True
Let j be (-3)/(-2 - 50/20). Which is smaller: j or 16/47?
16/47
Let j = 29032/63 - 2061398/4473. Let v be (-2)/(-7) - (-2)/(-7). Are j and v unequal?
True
Let u(k) = 10*k. Let l be u(-1). Suppose 4*s - 60 = 2*g + 3*g, -s - 53 = 3*g. Let z be -8 + 6 + g/l. Are -27 and z equal?
False
Let h(m) = m**2 - 9*m - 15. Let r be h(10). Let q be (9/12)/(185/20 - 1). Which is smaller: r or q?
r
Let y(z) = -13*z + 4. Let x(l) = 4*l - 1. Let u(n) = -7*x(n) - 2*y(n). Let q be u(-2). Suppose -q*j + 2*g = 7*g + 56, 4*g + 52 = -3*j. Does j = -12?
True
Suppose 0*h = -13*o + 6*h - 137, 29 = 4*h - 19. Suppose 2*n = -4*i - 52, 5*i = 7*n - 3*n - 39. Which is smaller: o or i?
i
Let m = 8/5 - 91/60. Let c(f) = 15*f - 59. Let n be c(4). Which is bigger: m or n?
n
Suppose 2*c + 174 = 4*k + 470, -2*k = 4*c - 542. Is c at least as big as 273/2?
True
Suppose 1490*b - 1503*b - 19 = -110. Does b = 7/2?
False
Let a = 144 - 205. Let q = -62 - a. Which is smaller: q or 4/11?
q
Suppose 3 = -3*s + 3*q, 3*s + 2*s + 4*q + 41 = 0. Let r(m) = 2*m**2 + 5*m - 11. Let h be r(-5). Suppose -111 = h*o + 43. Do s and o have different values?
True
Let u = 90 + -88. Let i = 20 + -20. Suppose 3*y + 4*j - 6 = i, 2*j = u*y - 6 + 16. Is y at least as big as -1?
False
Let r(a) = -367*a + 53. Let i be r(7). Let d = -4925/2 - i. Which is smaller: d or 54?
d
Let l = -784 - -786. Suppose 4*h - h + r + 1171 = 0, -3*h + l*r - 1177 = 0. Is -392 at least as big as h?
False
Let f be (-8)/(-22) + 90168/(-1122). Let u be (f/(-240))/(2/(-42)). Is u bigger than -6?
False
Let p = 6 - 6.14. Let f = -49.56 + 68.7. Let d = f + p. Which is smaller: -0.1 or d?
-0.1
Suppose h + 53 = 3*v, h + 4*v + 34 = -47. Let m(g) = -6*g**2 + 18*g - 5. Let p be m(5). Is p at most h?
True
Let d = -63 - -24. Let k(j) = j**3 - 7*j**2 - 9*j + 2. Let r be k(8). Let w be r/d - 1197/91. Which is greater: -15 or w?
w
Let j = 18559 + -18559. Is -31/22 equal to j?
False
Let r = -1 - -2. Let g be r/28*(-2)/(-4). Suppose 4*z + 3*i = -5, 15 = -0*z - 3*z - 6*i. Which is smaller: z or g?
g
Suppose -5*s - 217 = -h, 3*s + 1173 = -h + 6*h. Let b = h - 1183/5. Do -164 and b have different values?
True
Let c = -54/55 - -2/11. Let l = 26846 + -26846. Which is smaller: l or c?
c
Let o(l) = 8*l + 36 + 11 + 8 - 2 + 1. Let c be o(-6). Which is smaller: c or 19/4?
19/4
Let i be (1 - 103)*(-28 + (-7084)/(-252)). Do 1.1 and i have different values?
True
Suppose -36*i + 1437 + 436 = -575. Is i < 68?
False
Let o = -16342 + 15865. Which is greater: 0.5 or o?
0.5
Let v = 1229 - 1137. Let f be (11 + -1)/((-1)/(-9)). Which is smaller: v or f?
f
Let r = -216 - -235. Suppose -21 + 2 = r*h. Let s = -0.1 - -0.04. Which is smaller: s or h?
h
Let t(s) = s**3 + 2*s + 12. Let c be t(-5). Let n = 215 + -338. Is c > n?
False
Let l = 1954.1 - 1848. Let u = l + -51.1. Which is smaller: 1 or u?
1
Let l = 125547 + -125547. Let w be 4/14 - 206/819. Is w less than l?
False
Let d = -289 + 243. Let l be (-74)/19 - d/(-437). Which is greater: 11/3 or l?
11/3
Let t = -6465 + 6475.663. Is 0.1 bigger than t?
False
Suppose -1245 + 1239 = -3*o. Let r = -213 - 314. Let n = 2648/5 + r. Which is smaller: n or o?
o
Let j be (4 - 0)*(1 - 135/(-12)). Let w = j - 50. Let l be (-34)/2 + (-1)/w + -3. Which is smaller: l or -20?
-20
Let s = -5563 + -4751. Is s less than or equal to -10314?
True
Let q be ((-6)/(-9))/(4/126). Suppose 0 = -6*w - q + 807. Which is bigger: w or 132?
132
Let n be (-784)/(-168) + 4/(-6). Suppose -43*l + 48*l - 5*s = -595, n*l + 3*s = -448. Are -118 and l nonequal?
True
Let w(d) be the second derivative of d**4/12 + 5*d**3/6 + d**2 - 14*d. Let r be w(-4). Let c(b) = -2*b**2 - b. Let o be c(1). Which is greater: r or o?
r
Let m be (-14)/(-6) + (-8)/24. Suppose 4*p = 2*p - m. Let v = 2/3 - 64/69. Is v at most as big as p?
False
Let d be ((-28)/(-108))/(2/6). Let a = 76 - 70. Let h be a + (5 - 8) + -3. Which is smaller: d or h?
h
Let f = 15697/2 - 54122/7. Which is bigger: f or 118?
118
Let o be (-5)/(-80) - 360/(-384). Is o smaller than 17?
True
Let x(k) = -28*k - 365. Let v be x(-13). Which is smaller: v or 194.4?
v
Let o(y) = 8*y + 69. Suppose -5*s - 5*b + 31 = -9, 0 = 5*s + 2*b - 25. Let u be (-4 - 10)/(-2 - (-1 - s)). Let z be o(u). Which is bigger: 15 or z?
15
Let a = 9001/35 - 257. Let n be (-4)/2*4/(-4)*1. Suppose 0 = 2*g - 3*k - 2, -n*g + k = -g - 1. Which is bigger: a or g?
g
Suppose 17*w - 5*w = -180. Is -13 > w?
True
Let b be (-114)/660 - ((-9)/(-15) - 1). Suppose 3*n - 7 + 3 = 4*k, 5*k + 5 = -n. Is n less than b?
True
Suppose 0 = -2*x + 2*f - 723228, -f = -2*x - 6*f - 723214. Let w = 1813666/5 + x. Let y = 1125 - w. Is 0.2 less than y?
True
Let a be (-49)/(-14)*120/(-105). Let h(x) = -4*x - 12 - x + x. Let w be h(a). Which is smaller: w or 5/2?
5/2
Let g be (-12)/15 - (-2)/(-10). Let q be ((-39)/(-65))/(g - 5 - -1). Is q greater than -1/3?
True
Let t = -4660 - -4694. Is t at least -4?
True
Let l be (12/7 - 0)/(1032/588). Let c = -55 - -57. Which is greater: c or l?
c
Let d be ((-4)/(-195482))/(-6 - 492/(-84)). Do 1 and d have different values?
True
Let g = -97 + 682. Let h = 1171 + -587. Which is bigger: g or h?
g
Suppose 15 = -p + 6*p, 3*y + 5*p = 186. Let r be 32/y*(-6 + 189/28). Is r smaller than 0?
False
Let m be (-2)/4*4 + -505. Let g = -1526/3 - m. Is 0.03 >= g?
True
Let f = 6 - 4.2. Let m = f - 2. Suppose 12*r + 72 = 48*r. Which is greater: r or m?
r
Let u = 1118 - 1117. Which is greater: u or -5/1102?
u
Let z be 14 + (3*-3)/(-3). Suppose -b + 5*h - 23 = 0, -b + z = 3*h - 0*h. Suppose 16 = -8*s + 4*s + 4*o, -7*o = -2*s - 23. Which is smaller: b or s?
s
Let u = 40509/5 + -8110. Are u and -12/11 nonequal?
True
Suppose 2*b + 5*g = -922, 5*g = 3*b + 908 + 375. Which is smaller: -412 or b?
b
Let l(r) = r**2 + r + 2. Let k be ((-1)/(-3))/((-1)/9). Let z be l(k). Suppose -33*f + 91 = -f - 133. Which is smaller: f or z?
f
Let j = -0.4 - -0.2. Let w = j - -0.3. Let s be -3 - ((-308)/(-693) + (-68)/18). Which is smaller: s or w?
w
Let l = 116 + -138. Let d be 254/(-12) + (-3)/9. Is d at most as big as l?
False
Suppose 5 = l + m, 2*m = -l + 3 + 5. Suppose -h - 2 = -3*h + l*i, -4*h + 24 = i. Let k be 2*636/(-256) + h. Which is smaller: k or -1?
-1
Let a = 14950 - 14981. Which is smaller: 70 or a?
a
Let b be 1/3*3/(-4). Let j be (32/112)/((-2)/(-322)). Suppose -4*z - j = -42. Is b less than z?
False
Let o = 162.59 + -121.59. Suppose 4*l = -t + 12, -12 + 3 = 2*t - 3*l. Are o and t nonequal?
True
Let o be 9 + 120/(-5 + -10). Does 2/3759 = o?
False
Let o be -5 + 1560/(-1550)*-5. Is -1 at least o?
False
Suppose 2*t = -5*k - 0 - 3, 4*t - 9 = 5*k. Let n = 947 + -950. Let w be (-6 - -2)/(644/4 + n). Which is smaller: w or k?
k
Let d(k) = -k**3 + 18*k**2 - k + 18. Let m be d(18). Let b be (-5 - -95)*(m - -1). Are 359/4 and b nonequal?
True
Let s = -0.26 + 0.06. Let q = -108 - -43. Let v be q/2 - -1*3/2. Is v >= s?
False
Suppose -11*k = 9*k - 60. Suppose -2*m - 296 = 3*v, 315 = -3*v + k*m + 24. Which is greater: -99 or v?
v
Let m = -214 - -214. Suppose 10*j - 9*j - 10 = m. Is j greater than or equal to -1?
True
Let o = -3139.9 - -3141. Is 0.042 <= o?
True
Let l = 423/20 + -23101/1090. Which is bigger: 1 or l?
1
Suppose -216 = 20*q + 204. Let h be (18/q)/(-3 - (-242)/84). Which is bigger: 0 or h?
h
Let k = 237 - 246. Let b be (-3)/6*0*k/(-18). Is 8/103 at most as big as b?
False
Let u = 115 + -113. Suppose 0 = -u*g + 15*g. Which is bigger: -1/64 or g?
g
Suppose 0*n + n - 13 = -4*c, 0 = -3*n + 2*c + 39. Suppose 0 = -4*k - 69 + 249. Let z = k - 31. Which is bigger: n or z?
z
Let x be 3 + -1 + -2 + 2. Let h(b) = -14*b + 211. Let a be h(15). Let l be ((a/x)/(4/(-12)))/(-6). Is l greater than -16?
True
Let x(k) = k**2 - 55*k + 18. Let y(a) = a**2 - 110*a + 36. Let d(v) = 5*x(v) - 2*y(v). Le