> c?
True
Let c be (5/15)/(2/(-246)). Let w = c + 44. Let s be ((-6)/(-3))/(-2) + w. Is s > 3?
False
Let m be (((-21)/4)/7)/3. Let z = 307 - 296. Which is bigger: z or m?
z
Suppose -2*k = -6*z + 24 + 6, -35 = 5*k - 5*z. Let t = -6/223 + 704/9589. Is k bigger than t?
False
Let h = 191 + -381. Let c = 5891/31 + h. Let d(j) = -j**3 + 5*j**2 + 7*j - 7. Let o be d(6). Which is smaller: o or c?
o
Let y = 9925 - 9927. Is -120/79 less than y?
False
Let r = -62 - 2. Let j = -38 - r. Do j and 24 have different values?
True
Suppose -24*v + 40 - 88 = 0. Which is bigger: v or -101/33?
v
Suppose 40 = -7*q + 15*q. Suppose 170 = q*u - 95. Which is smaller: u or 54?
u
Suppose 0 = -6801*m + 6782*m - 152. Do -127/14 and m have the same value?
False
Suppose 5*a - 3*p + 8*p - 34405 = 0, -20622 = -3*a + 4*p. Which is bigger: a or 6879?
6879
Suppose -50537 = -6*g - 6*g - 5381. Does 3763 = g?
True
Suppose -3*z + 3*n + 525 = -2*n, 0 = -2*z + 3*n + 349. Let t be (-12)/(-15)*z/4828. Is t greater than 13?
False
Let s(q) = q**2 - 6*q + 4. Let z be s(7). Let m be (-12)/5*30/(-9). Suppose -m*t = 4*t - 132. Is t less than z?
False
Suppose 9*l - 7*l = 2*r - 8, 0 = -2*r + 2. Let t be 3507/(-441) + (-2 - -3)/l. Which is smaller: t or -9?
-9
Let d = 65 - 52.1. Let y = d + -11. Let x = -11.1 - y. Is x at most as big as 1?
True
Let d(w) = -77*w**2 - 38*w - 329. Let r be d(-6). Is r < -2873?
False
Let t be (-51)/(-115) - (-4)/(-10). Suppose -39*b + 14*b = -400. Suppose -4*c - b = 5*x, -2*c + 3*x + 8 = -6. Is c greater than t?
True
Let v = -4.7 + -0.3. Suppose -6*l - 62 = -0*l + 22. Are l and v equal?
False
Let r(i) = -i**2 + 14*i - 11. Let t = 21 - 8. Let l be r(t). Suppose -3*y + 4*y = -4, l*y = 4*v + 76. Which is greater: v or -22?
v
Let j be (7/(175/130))/(2/(-20)). Is j at most -105?
False
Suppose 2*x + 50 = 3*x. Let u be (-114)/4*(1 + 117/27). Let r = 202 + u. Are r and x nonequal?
False
Let n = 17483 + -22351. Are -19467/4 and n non-equal?
True
Let f = 2 - 60. Let m = 361.18 - 364. Let n = -2.82 - m. Which is smaller: n or f?
f
Let f = -2 + -0.4. Let g = 3.928 + -1.928. Let x = f + g. Is -0.2 < x?
False
Let g be 3 - (-3 - (-42)/12)/(6/(-12)). Which is smaller: -242.7 or g?
-242.7
Let d = -99281/29 - -3424. Let j = 17/145 - d. Which is smaller: 72 or j?
j
Let c(z) = -19*z**2 - 3*z + 25. Let o(k) = -6*k**2 - k + 8. Let f(d) = 2*c(d) - 7*o(d). Let j be f(0). Which is greater: j or -64/9?
j
Let p(o) = -o**2 - 146*o - 256. Let n be p(-79). Which is smaller: -0.1 or n?
-0.1
Let w be -4*(4/(-16) - 23/4). Let j(p) = 15*p + 66. Let m be j(-10). Let f = m - -106. Is w at most f?
False
Let f be (-1*(2 - 2)*(-7 - -8))/(-1). Is 14/1049 less than f?
False
Let v be (-1713)/(-2)*(-16)/32*4. Do v and -1714 have different values?
True
Let c = -140471/9 + 15607. Which is smaller: c or 86?
c
Let m = 30/3713 + -3803/11139. Are -12.946 and m non-equal?
True
Let d(c) = -2*c**2 - 21*c - 51. Let h be d(-5). Let u(p) = 9*p - 2. Let g be u(h). Is 34 equal to g?
True
Let j be ((-100)/26800)/(4/48*(-66)/4). Which is smaller: j or 0.1?
j
Let d be 138/8 + (-3)/12. Let t = d + -22. Let z be 1*((t - 40) + 4). Is z bigger than -41?
False
Let d = 336 - 334. Let r be d - (4/(-16) - (-126)/8). Suppose -i + z = 11, 5 = -2*i + 3*z - 13. Which is greater: i or r?
r
Let w = -89 + 129. Let i = 0.306 + 38.694. Let a = w - i. Which is smaller: a or 21?
a
Let j = 2457 + -31942/13. Suppose -n = -0 + 3, 3*i - 2*n = -129. Let c be ((-2)/(-10))/((-9)/i). Which is smaller: c or j?
j
Let j be ((-1272)/(-18))/((-14)/9). Suppose 0 = -2*h - 59 - 31. Which is smaller: j or h?
j
Suppose 0 = -2*a + 160 - 118. Let t = 30 - a. Let n = 29 - 21. Is n less than t?
True
Let k be -3*(-1*6)/(-2). Let h = -5206 - -5216. Which is smaller: h or k?
k
Suppose -11 + 1 = -p + 2*j, -j = 5*p + 5. Let z be (4/2)/((-2)/18 - 40390/(-63)). Is z greater than p?
True
Let j = -410129/3215 - 21/643. Which is smaller: 0 or j?
j
Let w = -745945/107 + 6971. Which is smaller: w or -1?
-1
Let c be ((-27)/(-6) - 5)*0. Which is greater: -1 or c?
c
Let w(j) = j**3 - 8*j**2 - 5*j + 57. Let g be w(8). Which is bigger: -117 or g?
g
Let p(l) = -4*l + 6. Let w be p(-6). Suppose -6*n + 7*n = 4*t - 6, 0 = -5*n + t + 46. Let q(m) = 9*m - 59. Let u be q(n). Is u greater than or equal to w?
True
Let b be -4 - 4/(-1) - (-4 + 8). Let c be 1/b*(-57)/(-114). Is 3/5 less than or equal to c?
False
Let y be ((-12)/1)/(-4 + (-7175)/(-1810)). Let h = 334 - y. Which is bigger: 0 or h?
0
Let m = -133/9 - -14. Let p(o) = -8*o**3 - 11 - 6*o**2 - 5*o**3 - 7*o**3 + 19*o**3 - 13*o. Let i be p(-2). Do m and i have different values?
True
Let c be 216/576 + 13447/24. Which is smaller: c or 562?
c
Let q(u) = -u**2 - 4*u + 6. Let d be q(-5). Let v be (15/6120)/(19/(-57)). Which is bigger: v or d?
d
Let l = -2805 + 2776. Is 3/83 less than l?
False
Let s be -172*114/2204*(3/(-2))/(-3). Is -3 equal to s?
False
Let n = 0.3 - 0.4. Let y(j) = -j**3 + 7*j**2 - 9*j + 3. Let m be y(5). Let a be m - 3 - 297/55. Do a and n have the same value?
False
Let d(s) = -6*s + 2. Let g be d(-1). Suppose -4*a = -8, -2*a + g = -4*f - 0*a. Let p be f/8*-2 + (-55)/(-100). Which is greater: p or 2?
2
Let n = 9174 + -9174. Are n and -3/401 non-equal?
True
Let s be 4 - (518945/(-570) + 3). Let k = s - 1823/2. Which is greater: k or -1?
k
Suppose -5*d + 63 = -2*d. Suppose 4*x + d = 6*x - 3*p, 5*x - 2*p - 25 = 0. Suppose 54 = -6*h + 24*h. Is x != h?
False
Let y = -1 + 3. Let n = -3953/3 - -1297. Let c = -1916/93 - n. Which is greater: y or c?
y
Let d be 0/(0 + 2 + -1). Let f = 409 + -959. Let c be ((-66)/f)/(3/2 + -1). Are c and d non-equal?
True
Let l = 175 + -178. Let d be (30/4)/l*(-704)/(-77). Does d = -22?
False
Let q = 2425 + -2267. Is 32 < q?
True
Let l = 254.856 + 0.144. Let j = 254.8 - l. Is j equal to -24?
False
Let u(g) = -g + 5. Let z(h) = 2*h - 4. Let n(o) = 3*u(o) + 2*z(o). Let x be n(-2). Suppose -11 = x*v - 6. Which is smaller: -3 or v?
-3
Let g = 3538985/119 - 29740. Which is bigger: g or -2?
g
Suppose n + 136*m = 133*m - 98, 5*n + 2*m = -464. Which is bigger: n or -42?
-42
Let b be ((-2)/(-6189)*(-6)/8)/(73/(-876)). Is b less than or equal to 1?
True
Let l(v) = 2*v + 101. Let m be l(-36). Suppose m = -4*r + 37. Is 33/14 not equal to r?
True
Let h be 0*1/(-3) - (-12 - -16). Let w be h/(-2) + (-2328)/1272. Which is smaller: w or 0?
0
Let d be (-234)/38 - (-15)/3. Suppose s - 5*c + 22 = -0*s, 2*c - 12 = 2*s. Which is bigger: s or d?
d
Let t = 103 + -147. Let c = -49 - -17. Let x = t - c. Which is smaller: x or -13?
-13
Suppose -48 = 90*l - 96*l + 4*b, l - 3*b - 8 = 0. Which is bigger: l or 196/23?
196/23
Let h = 1021 - 1034. Is h greater than or equal to -315/22?
True
Let c = -20.234 + 0.334. Let l = -20 - c. Is -6/47 at least as big as l?
False
Suppose 13 = 3*m - 2. Suppose m*a - 546 = 18*a. Let o be (-52)/78 - (-32)/a. Which is smaller: o or -2/7?
o
Let f(b) = -b**3 + 8*b**2 + 8*b - 22. Suppose -3*m = -4*j + 30, 25 - 8 = j + 4*m. Let y be f(j). Let w be -4*(9 + (-1 - 0)). Does w = y?
False
Let g(o) = -2*o - 539. Let i be g(-16). Is -503 < i?
False
Let y = -498457/50 + 9968. Is y bigger than -1?
False
Let r be (-3868)/(-45) + (-138)/(-3105). Let p be (-128)/(-15)*(-30)/(-3). Does p = r?
False
Suppose -o = -2*q - 11, 0*o - 3*o - 2*q + 9 = 0. Suppose 2 = -5*a + 27. Suppose 23 = -3*b - o*m, a*b = -2*m + 4*m + 3. Which is smaller: -3 or b?
-3
Let o be 8 - (4 - (-6)/766*1447866/2835). Do 1 and o have different values?
True
Suppose 2*g - 34884 = -21*g - 15*g. Is g less than 925?
True
Let u(g) = -6*g + 29. Let p(a) = -a. Let y be (-60)/(-68) - 4/(-34). Let h(z) = y*u(z) + 2*p(z). Let s be h(5). Is -6 >= s?
True
Suppose 0 = 43*a - 7286 + 7501. Let z = -14 - -9. Is z bigger than a?
False
Let u = -59 + 41. Let h be u/8 - (-15)/12. Which is smaller: h or 1/496?
h
Let x = 365 + -364.797. Let y = x + -2.203. Is y less than -0.022?
True
Let r be (-2)/29 - (-93512)/232. Let v be (-8)/6*(-4464)/r. Which is greater: v or 14?
v
Suppose 3 = 5*x - 3*x + k, -3*k = 15. Suppose g = 3*g + x*t - 26, -4*t + 29 = 3*g. Suppose g*a - 32 = 7*a. Is -7 greater than a?
True
Let d = -1455/199 - 206809/11343. Let o = d - -76/3. Let f = -3 - -3. Which is bigger: o or f?
f
Let m = 7493333/310 - 24172. Is m < -1?
False
Suppose 5*n - 126 = -