(78*93/14508)/(0 - (-6)/4). Which is smaller: 6.522 or i?
i
Let d be -4 + (-8)/6 + 58/174. Are d and 46 non-equal?
True
Suppose 2 = 5*u - 3. Let s be (15/(-45))/(1/(-9399)). Let f be (s/442 + -7)/((-30)/8). Which is smaller: f or u?
f
Let v = -5965 + 5965.13. Which is smaller: v or -2.2?
-2.2
Let h = 2/24213 + 2784491/48426. Let a be ((-1)/3)/((-2)/342). Is h smaller than a?
False
Let d be (-8)/6*105/14. Let w be 35/(-14)*(12/d - 2). Suppose -w*r + 12*r + 24 = 0. Is -6 >= r?
True
Let s be 0 - (18/(-5) - 3/(-5)). Suppose 3 = 3*w + 3*t, t - s*t + 1 = w. Which is smaller: -1/42 or w?
-1/42
Let b = -3017/6 - -504. Let c = 242 + -178. Let t be 4/(-14) - (c/(-14))/2. Is b <= t?
True
Suppose -63 = 41*v + 12*v + 10*v. Are 188/17 and v nonequal?
True
Let t = 1.6 - 1.1. Let q = t - 1.5. Suppose 0 = 2*r + 6, -47*z + 46*z = -4*r - 14. Is q >= z?
False
Suppose 3*h = 3*l - 483, h - 2*l + 153 = -5*l. Suppose -127*c - 4858 = 15589. Which is bigger: h or c?
h
Suppose 0 = q + 4*u + u + 7, 14 = -2*q + 4*u. Suppose -9*n + 2*v + 3*v = 78, 4*n = -4*v - 16. Is q > n?
False
Suppose 3*s + 12 = 5*o + 119, -s + o = -35. Let w be ((-71)/(-2) - 0) + -1. Let f = w - s. Is f at most 0.03?
False
Let i(h) = -38*h**3 - 6*h**2 - 3*h + 8. Let w be i(-2). Let t = -295 + w. Which is bigger: -44/23 or t?
t
Let y be ((-270)/12)/(-9)*-8. Let a be (-2 - (-2082)/(-690)) + y/(-4). Which is smaller: a or 1?
a
Let o(j) = 33*j**2 + 2*j + 1. Let v be o(-1). Let k be (-5)/20 - (-10758)/24. Suppose -k*n + 160 = -443*n. Is n not equal to v?
False
Suppose -435 + 435 = -m. Is 34/161 at least m?
True
Let v be 3 + (20/5)/((-2)/256). Let j = 495 + v. Which is greater: -146/11 or j?
-146/11
Let u(h) = -3*h + 3. Let x be u(-5). Let n be 12/x + (-12)/(-9). Suppose q - n = -q. Is q > -2/145?
True
Let t be (0 - 1632/(-18))*12. Suppose 19*o = -t - 128. Are -66 and o non-equal?
True
Suppose 14 = -2*z - b, 4*z = -0*z - 4*b - 36. Let m be (-5 + (z - -79))*1. Let c = -74 + m. Which is smaller: -7 or c?
-7
Suppose 2*q + 3*c = 0, 2 - 9 = -3*q - c. Suppose -i = -3*x + 102, 2*x - 251 = q*i + 4*x. Suppose d - 29 = -116. Is i at most as big as d?
True
Let z(i) = i + 8. Let g be z(-6). Suppose -b = g*b - 2*a - 7078, -b - a = -2366. Let d = -342488/145 + b. Is d at most 0?
False
Let q = -3925 - -3926. Which is smaller: q or -33/112?
-33/112
Let t be (-10)/6 + 1*9/(-27). Let p be 7*1/(-1)*t. Suppose 26 = 5*l - 2*f, -2*f = -4*l + 2*l + p. Which is greater: 21/4 or l?
21/4
Suppose 14741 = 27*d - 4240. Is d at most as big as -0.05?
False
Let n(h) = h**2 - 8*h + 0*h + 0*h + 16*h + 3. Let q be n(-10). Which is smaller: 24 or q?
q
Let r(i) = 13*i**2 - i. Let s be r(1). Suppose 2*t = -5*n + 6, -3*n + n = 4*t - 28. Suppose 9*h - 125 + t = 0. Which is bigger: h or s?
h
Let a = 675 + -453.9. Is a less than 2?
False
Let k = 13 + -9. Suppose -3*x = 4*i + 32 - 84, k*x + 65 = 5*i. Suppose 0 = 10*d - i*d + 75. Is d > -2?
True
Suppose 2*w = -3*a + 17, -6*w + 44 = 248*a - 246*a. Is a bigger than -1/6442?
True
Let p(g) = 67*g - 2009. Let i be p(30). Which is greater: i or -3/7231?
i
Let d = 382.71 + -382.6. Which is smaller: d or -98?
-98
Let c = 94 + -88. Let a be ((-444)/(-150) - 3)*c/(-4). Which is bigger: a or -1?
a
Suppose 3*s - 2*o + 796 = 2*o, 3*s = 3*o - 795. Let r = -227 - s. Which is smaller: r or 36?
36
Suppose -4*o + 47 = -53. Is o at most 34?
True
Let m = -0.06497 + 1.46057. Let u = -0.0056 + m. Is 1 <= u?
True
Suppose 0 = 5*s + 29 - 64. Suppose 2*b - s*b = -40. Which is smaller: -1 or b?
-1
Suppose 10*x + 7*x + 14*x = -2821. Which is greater: x or -101?
x
Let a = 13625 + -13625.2. Let y = -9 - -9.01. Which is bigger: a or y?
y
Let y(f) = f**3 - 72*f**2 - 4*f + 326. Let j be y(72). Suppose -5*g - 2*m + 200 = -m, -2*g - 2*m + 80 = 0. Is j bigger than g?
False
Let x = -157129/30 - -26189/5. Suppose 6*c - i - 8 = c, -3*c + 2*i + 9 = 0. Is x > c?
False
Suppose 84*f = r + 88*f - 2422, 6 = -f. Which is greater: 2445 or r?
r
Suppose 4*u - 2*r = 14, -u = 2*u - 3*r - 12. Let j = u - 7. Let t = -43 + 87/2. Which is smaller: j or t?
j
Suppose 5*n = -3*d + 50, -5 - 7 = -2*d + 2*n. Suppose -58 = -3*c - d. Is c greater than 17?
False
Let w be (-1)/(-2) + (-50)/8. Let j be -10 - 16/((-480)/150). Which is greater: w or j?
j
Suppose -60 = -i + 7. Suppose -3*k - 4*o = -200, 6*k + o = k + 339. Which is bigger: k or i?
k
Let x(w) = 10*w**2 - 4*w - 43. Let b be x(6). Suppose -456 = b*u - 297*u. Is u < 113?
False
Suppose 4*p + p + 55 = 0. Let f = -144 + 161. Suppose 13 = -3*a - f. Is p less than a?
True
Let f(c) = -c**3 + 4*c**2 + 30*c - 118. Let r be f(5). Suppose -g - 2 = -2*g. Suppose g*v - 305 = r*v. Are -60 and v unequal?
True
Let c be (578/(-3))/((-31)/(-651)). Which is greater: c or -4047?
c
Let j be 12 + 2 + 0 + (-14)/7. Let o be (-2)/j*(-6)/(-4)*-4. Are o and 20/41 equal?
False
Let k be 0 - (2214/(-8))/(-18 - -15). Let f = k + 1629/20. Which is smaller: f or -10?
f
Let d be -94*4 + -2 - 4 - 0. Let s = d + 313. Is s != -64?
True
Suppose 5*o + 14 = 2*k, 4*k + 3*o = -0 + 2. Let v be (-3)/1*k/(-12). Let g be 8/40*(-63)/(43848/240). Is v bigger than g?
True
Let t = 4264/4419 + -201/491. Let d = 2.8 + -3. Are d and t equal?
False
Suppose -2*s - 1 = 23. Let z(w) = 37*w + 677. Let j be z(-19). Is j greater than s?
False
Let a = -2/2579 + 7777/51580. Let h(r) = r**3 + 4*r**2 + r + 3. Suppose -2*v + b = 3*v + 24, -2*v + 5*b = 28. Let y be h(v). Is y greater than a?
False
Let k be (-409 + -149)*4/3. Is k at most as big as -746?
False
Suppose 2*d = 5*r - 7, -5*d - 3*r = 1 + 1. Suppose 0 = -4*p + 2*l + 14, -3*l - 17 = 3*p - 5*p. Let a be (p/6)/(5/40*12). Which is greater: a or d?
a
Let r = -33602 - -33602. Which is smaller: 15/13 or r?
r
Let s = 147 - 236. Let h = s + 62. Let p = 27 + h. Is 2/23 less than p?
False
Let f(y) = -y**2 + 2. Let n be f(2). Let p = -4413.9 + 4234. Let a = p - -180. Is n <= a?
True
Suppose -5*j - 2*z = -258 - 64, 5*j - 3*z - 317 = 0. Is j at most -17?
False
Suppose 71*w - 82*w + 8393 = 0. Suppose -784 = 7*b - w. Which is greater: b or -7?
b
Let h be -1*(10/(-15))/(82/(-3)). Which is bigger: h or -1?
h
Let g(w) = -w**3 - 6*w**2 + 8*w + 9. Let i be g(-7). Let h(a) = 3*a**3 - a**2 - a. Let r be h(i). Let z be (-7)/(-9) + 4/r - 1. Which is smaller: z or -8/7?
-8/7
Let g(h) = 24*h + 11 + h**3 - 2*h**3 + 4 - 71*h**2 + 51*h**2. Let t be g(-21). Let p = t - -191/4. Which is smaller: p or 0.2?
p
Let w = -17/481 + -8945/32708. Is w at most 1?
True
Let p be (-8)/44 - (-96)/286. Let y = -22538 + 22538.54. Is p > y?
False
Suppose -4*t + s = 2*s - 1221, -2*t + 618 = -2*s. Suppose t*c - 311*c = 60. Is c at least -7?
False
Let k be (-4 - (-4 + 1)/1)/(20/60). Let u = 0.17 + -0.36. Which is smaller: k or u?
k
Suppose -51*k - 1561 = 1295. Which is greater: k or -19?
-19
Let x = 3687 - 3160. Which is bigger: 524 or x?
x
Let h = 1490 + 1016. Which is greater: 2504 or h?
h
Let h be (-3)/(-9)*(-3 + 0). Let s be -4 + (-8)/(-4) + (h - -2). Which is smaller: s or 1/230?
s
Suppose 5*x + 0*x - 230 = -5*s, 10 = 5*x. Let n be (-2 - -19)/(s/11). Which is greater: n or 5?
5
Let v(l) = -248*l + 7934. Let x be v(32). Which is smaller: x or 111/32?
x
Let o be 1586592/4158 - (-2)/(-3). Which is smaller: 381 or o?
o
Let y be (1739/3515)/(4/24 - 0). Which is bigger: 1/3 or y?
y
Let n = 73.97 + -59.8. Let r = 14.3 - n. Is -1 <= r?
True
Let q be 8/(-3)*(-7 - (-8 + 272108/272112)). Do -1 and q have different values?
True
Let m = -1982 + 3786. Let j = m + -1123894/623. Which is greater: 1 or j?
1
Suppose 31*y + 9 = 33*y - 3*t, -9 = y + 3*t. Is 63/53 at least as big as y?
True
Let y = 123/7 - 20801/1183. Suppose 0*v - 2*v = -f + 2, 5*f = v + 19. Is y bigger than v?
False
Suppose -5*b - 40 = 3*l, -4 = -2*b - 2. Suppose 8*r = -2*r - 730. Let d = r + 58. Does l = d?
True
Suppose 0 = -17*x + 15*x + 18. Let j = 14089 + -14104. Are x and j equal?
False
Let o be (-4)/(-5)*(-1)/(-10). Let j = 4893.4 - 4892.7. Which is greater: j or o?
j
Let p = 1398.3 - 1316. Let s = p + -5.3. Let u = 70 - s. Is -0.1 not equal to u?
True
Let g = 1427076/183445315 - -2/713795. Let m = -0.6 + 2.6. Does g = m?
False
Let v(s) = -s**3 - 5*s**2 + s + 2. Let a be v(-4). Let w = 18 + a. Suppose -5*b + 0*b - 50 = w. Which is greater: b or -9?
-9
Suppose 0 = 12*r - 3553 + 2473. Is r >= 105?
Fa