 = 0. Does n = v?
False
Suppose 313*q - 107*q + 354 = -148*q. Which is greater: q or -5/399?
-5/399
Let d(x) = -73*x + 1. Let w = 72 - 71. Let p be d(w). Let t = 33 + p. Which is greater: -41 or t?
t
Suppose 0 = -5*n - 4*c - 16586, 4*c = n + 1932 + 1366. Which is smaller: -3315 or n?
-3315
Let j = -56769 - -56723. Suppose -128 = 4*z + 36. Is j <= z?
True
Let r = 2096.172 + -2096. Which is smaller: r or -1/2?
-1/2
Suppose 123*x - 21 = 102*x. Is -12/589 at least as big as x?
False
Let a be (-310)/110 + 3*1. Let u(y) = -18*y - 559. Let w be u(-31). Is a <= w?
False
Suppose -4*z - 12 = 2*f, -2*f + 4*z - 12 = -z. Let w be (-2 + -22)/(f/(-4)). Let d = w - 0. Which is bigger: d or -18?
d
Suppose 165*v = 110*v. Which is bigger: v or 11/522?
11/522
Let m = -32074/598145 - -2/2635. Which is smaller: 1 or m?
m
Let w be ((-340)/34)/(0 - 3/(-12)). Let c(j) = -3*j**2 + 16*j - 5. Let h be c(7). Is w at least as big as h?
True
Let q = -2207 + 808. Do q and -1399 have different values?
False
Suppose -2*s - 5 = -5*m + 11, -2*m - s = -1. Suppose 0 = 2*j - 4*f, -5*j + 3*f = 23 - m. Is j greater than 12?
False
Suppose 9 = 5*q - 1. Suppose 5*d - 20 - 55 = -5*h, -h - 35 = -4*d. Let n be (-285)/(-25) - (d/(-25))/(-1). Which is smaller: q or n?
q
Let r(x) = x**2 - 7*x - 35. Let g be r(8). Let p be (1 + 1)/(4/18). Let u be ((-78)/p)/(2*(-3)/(-18)). Is g at least as big as u?
False
Let h = -45.6 + 110. Let y = h + -66. Which is smaller: y or 5?
y
Suppose 1299 = -44*c - 1253. Let t be ((-54)/(-6) - -3)/((-2)/9). Does c = t?
False
Let a(d) = -d**3 - 16*d**2 - 2*d - 29. Let k be a(-16). Suppose -i = -w - 2*i - 15, -i = -4*w - 55. Let r be 17/(-21) - (k + 44/w). Is r less than 1?
True
Let b = 93 + -89.8. Let w be (35/21)/((-10)/(-12)). Which is greater: w or b?
b
Let o be (-16)/(-2892)*22/(792/(-54)). Is -72 smaller than o?
True
Let w(j) = j + 3. Let c be w(-5). Let t be -6 + 6452/808 + c. Which is bigger: -1 or t?
t
Let g = 61.9 + -17.9. Let t = 47 - g. Is 0.06 < t?
True
Let h be (-158)/(-36)*(-60)/45. Is -5 greater than h?
True
Suppose -4*n = 0, 3*c - 3*n - 10 = -1. Let o be c/(4 + -5)*7/(-3). Suppose -j - 6 = -o*j. Is j <= -0.2?
False
Let k = 2 + -1.7. Let m = 2270 - 2324.04. Let q = -54 - m. Which is bigger: q or k?
k
Let c be (-4)/10 - ((-16)/(-10) + -2). Suppose -11 = -y - 6. Suppose -y*l + 3*a + 17 = c, 3*l - 5*a + 1 - 24 = 0. Which is greater: l or -1/7?
l
Let q = 2945 - 2944. Which is bigger: -3/814 or q?
q
Let m = -17538 + 17497. Which is smaller: m or -257?
-257
Let u be (58/29)/(1/(-27)). Which is greater: -43 or u?
-43
Let j = 936463/114 - 16433/2. Is j <= -2?
False
Let h = -3332 - -4888. Is h at least as big as 1555?
True
Let r = -70.7 - 0.3. Let f = 361.07 - 360.97. Which is smaller: f or r?
r
Let h(y) = 80*y - 2849. Let j be h(35). Do -12 and j have the same value?
False
Let p = 157.9 - 145. Let t = -16.8 + p. Is 1 at least t?
True
Let z = 5158 + -5174. Which is greater: 4 or z?
4
Let t = 18548/5 - 238379/65. Are 41 and t non-equal?
True
Suppose 2*i + 2*i + 96 = 0. Suppose r = 4*a + 1110, 3*a = -3*r + 6*r - 828. Let v = a - -255. Is i < v?
True
Let l = -920 - -919. Is l >= -675/7?
True
Suppose -3*q + 50 = 5*b, 3*q + 50 = 5*b + q. Do b and -494 have different values?
True
Let z(d) = -d**3 + 4*d**2. Suppose 5*w + 2*i - 12 = 6*i, -w - 3*i + 10 = 0. Let t be z(w). Let p be ((2 + t)/(-20))/(3/(-108)). Which is greater: p or 3?
p
Let q be -11 - 2/(-3 - -1). Let o(z) = z**2 + 15*z + 51. Let b be o(q). Let d be (-10)/(-29)*6/15. Which is greater: d or b?
b
Let r = -1243 - -43529/35. Let a = -61/140 + r. Let o = 2.11 - 0.11. Which is smaller: o or a?
a
Let p be (-9)/(-15)*(70/21)/(1 - -3). Let j be -1 - (0 - 1)*-1. Let m be (2 + (j - 1))/(-2). Is p greater than m?
False
Let b = 32684 + -32659.031. Let l = b + 0.031. Let d = l + -25.9. Which is greater: 0.1 or d?
0.1
Suppose 37 = -2*c - 5*l, 4*l - 9 = 3*c - 11. Let a be 44/c*((-237)/6 + -1). Is a less than or equal to 298?
True
Let m(a) = a**3 - 4*a**2 - a + 3. Let t be m(3). Let p be (1 + -70)*t/27. Is 22 < p?
True
Suppose 4*q - y = 97, -5*q = -10*q + 4*y + 113. Let x = 9 + -26. Let j = x - -43. Which is smaller: j or q?
q
Suppose -13156 = -100*y + 111*y. Let x be 188/y + (5 - (-315)/(-65)). Is x less than or equal to -1?
False
Let b be ((-15)/7)/((-2)/84). Which is bigger: b or 85?
b
Suppose 2*j = 11*v - 9*v - 372, 723 = 4*v + 3*j. Let o = v + -315. Which is bigger: -131 or o?
-131
Suppose 0 = 4*z - 8*d + 9*d + 1093, 5*d = 2*z + 519. Let u = 127 + z. Which is greater: u or -1?
-1
Let k be (-242)/4*8/(-182). Let y = 15049/91 + -1149/7. Let m = y - k. Which is smaller: 0 or m?
m
Let n = -549.3 + 549.4. Is -645 greater than n?
False
Let j = 320.5 + -319. Let w = -0.09 - 0.41. Let r = 0.3 + w. Which is smaller: r or j?
r
Let i = 558 - 551. Which is bigger: i or 3?
i
Let o = 2554 - 2663.85. Let z = 110 + o. Let s = z + 9.85. Is s != -0.1?
True
Let n be 1250/(-35) + 2/(-7). Let c = -85.6984 + -0.2016. Let v = c - -86. Which is bigger: n or v?
v
Let v = 2949/5 - 8857/15. Let a be (-19734)/(-27) + (0 - -1). Let s = a + -731. Which is bigger: v or s?
s
Let w be ((-76)/10)/((-13)/(-715)) + -1. Let p = w - -418. Let g be 4 - (2 + -3 + -1). Is g > p?
True
Let v = 110.7 + -116. Let p = 39.3 + v. Let u = -33.96 + p. Which is smaller: -8 or u?
-8
Let f = 306 - 308. Let c be ((-40)/3950)/(32/(-5) - f). Do c and -1 have the same value?
False
Let z = 1121/40 + -3229681/115240. Which is bigger: z or 0?
0
Let u = -717/92 - -1731/1196. Which is greater: u or -7?
u
Let q = 543.2 + 97.8. Let p = q + -631. Let a = 0.2 + -0.3. Which is smaller: a or p?
a
Let u be (744343/58)/(42/(-4)). Let w = u - -1221. Are w and 0 non-equal?
True
Let c = 4001 + -4119. Which is bigger: c or -583/5?
-583/5
Let j = 1968 + -1968.07. Which is greater: j or -60?
j
Let d(h) be the third derivative of h**4/8 + 13*h**3/6 + h**2. Let y be d(4). Let r be 35*-4*(-5)/y. Is 28 <= r?
True
Let d = 24002 - 16751. Are d and 7250 unequal?
True
Let z(v) = 8*v**2 + 2*v + 1. Let b be z(-1). Let m(y) = y**2 - 3*y - 24. Let r be m(b). Let o(u) = 4*u + 9. Let s be o(-1). Is s at least as big as r?
True
Let n be 1 - 717/2622*-2. Let f be (22/(-33) - 618/207) + 2. Let k = f + n. Is -1 at most k?
True
Suppose 2*a + a = -327. Let g(s) = -s**2 + 27*s - 37. Let u be g(21). Let z = u + a. Is z at most -20?
True
Let i be (70 + -59)*(0 - -1). Let t(y) = y**2 - 11*y + 2. Let u be t(i). Let g = -64406/17 - -3790. Which is bigger: g or u?
u
Suppose 16 = -4*q, -4*q + 93 = t - 324. Suppose -11 = -t*h + 444*h. Is 1/207 at most as big as h?
False
Suppose 5*h - 2*x + 1200 = 0, -340 + 607 = -h - 5*x. Which is smaller: h or -243?
-243
Let q = 69 - 6. Let j = 168 - q. Is j < -1?
False
Let u be (-1606)/(-66) - 2/(-3). Let n be (u/100)/((-2)/(-8)). Which is smaller: -111 or n?
-111
Let q(o) = -o**2 - 74*o - 73. Let m be q(-73). Is m smaller than -1/509?
False
Let o be ((-375)/(-105))/(3/21). Let t be 3*o/(-30)*-4. Is t smaller than 0.02?
False
Suppose -19*x + 5*x = 28. Let i(m) = 9*m**3 - 6*m**2 + 4. Let t be i(x). Is -91 not equal to t?
True
Let n be (139 + (-3 - (3 - 1)))/1. Is n smaller than 134?
False
Let v(p) = -218*p. Let c be v(1). Let m = 183864 - 184081. Do c and m have different values?
True
Let i(q) = -501*q - 4162. Let h be i(-7). Is h at least as big as -653?
False
Let g = 71/115 - -18/23. Let y = -10.6 - 169.4. Let s = 182 + y. Which is smaller: g or s?
g
Let w = -37 + -54. Let g = -226298 + 226296. Which is smaller: g or w?
w
Let r be (12/14)/(((-1266)/(-5))/((-4620)/(-400))). Which is bigger: r or 0?
r
Let o = 50/9 - 62/9. Let p = -262 + 286.3. Let k = p - 22.3. Is k <= o?
False
Let d be (9/(-3))/(3/2). Let t be 14/20 + d + 1. Let g(x) = x**2 + 2*x - 2. Let v be g(-3). Which is smaller: v or t?
t
Let p = -0.3 - -1.71. Let z = 0.41 - p. Which is greater: z or 2?
2
Suppose i - 5 - 2 = -m, 4*m = -i - 8. Suppose 3*p = 5*o - i, -p - 3*o + 10 = -0*o. Let r be ((-2)/(-10))/(6/10). Which is bigger: r or p?
p
Let o = -4.938 + 4.56. Let s = o - 86.622. Which is greater: s or -1?
-1
Let u = -21 - -37. Let f = u + -15. Let h be 2*(3/6 - f). Which is greater: -5/6 or h?
-5/6
Let r = -5194 + 5307. Let g = 94 + 19. Is g smaller than r?
False
Let i be 2/(-10) - (28/(-98) + (-160338)/(-35)). Which