
-1
Let n(z) = 4*z**2 + 4*z + 3. Let a be n(-2). Suppose l - 4*f = -f - a, -4*l - 4*f + 20 = 0. Let d(m) = 37*m + 150. Let b be d(-4). Which is smaller: b or l?
l
Suppose -292*v + 289*v - 369 = 0. Which is greater: -126 or v?
v
Let r = 5311/1850475 + -1/2243. Do 0 and r have different values?
True
Suppose 5*k = 4*k - g - 2, 2*g + 8 = 0. Suppose -5*i = -k*m - 0*m - 13, -3*i + 15 = -3*m. Is i less than 0?
False
Let g(t) = -5*t**2 + 13*t - 10. Let l(k) = k**2 - k. Let a(o) = -g(o) - 4*l(o). Let i be a(8). Let j be -1*(i - 81/39). Does -1 = j?
False
Suppose -10*v = -18*v - 696. Let y = -83 - v. Are y and 26/7 nonequal?
True
Let s = 49 - 49.64. Let w = s - -3.64. Is w smaller than 5?
True
Let n = -4655 - -4633. Let i(g) = -g**3 + 5*g**2 + 2*g. Let w be i(6). Do w and n have different values?
True
Let u(q) = -85*q + 2045. Let v be u(24). Let h = 2 + 4. Suppose -2*r - 3*a + 19 + h = 0, r = 3*a - 10. Is v less than or equal to r?
True
Let s = -0.18 + 9.18. Let z = 9.17 - -0.83. Let a = z - s. Do a and -6 have different values?
True
Suppose -2*g - g = 0. Suppose -4*c + 12 + 0 = g. Let w be (2 + -2)*1/c. Which is greater: -0.4 or w?
w
Let k = 1047 - 55493/53. Which is smaller: 1 or k?
k
Let q = 1 + -1. Suppose 29 = i - 19. Let u be i/153*(-6)/(-8). Which is smaller: q or u?
q
Let g = 910 - 27293/30. Let t = -31/10 - g. Is t at least -4?
True
Let r = 27 + -21. Let x be (-12)/(2/(8/r)). Let w be 8/20 - 32/5. Is w less than x?
False
Let i = -1.23 + 1.2. Let u = 210 - 218.9. Let d = 9 + u. Which is smaller: d or i?
i
Let d = -19 + 31. Let i(l) = l**2 - 2*l - 3. Suppose -5*y + 2*y - 3*t = -3, 16 = -4*y + t. Let r be i(y). Is d equal to r?
True
Let h = 6 + -5. Let v be ((-1)/(-206)*-2)/(2/6). Let l = v + 739/618. Which is greater: l or h?
l
Let m = -447 - -428. Which is smaller: -1 or m?
m
Suppose 2*a - 4 = 6*a, 4*y + 3*a = 29. Let z(u) = -4*u + 31. Let x be z(y). Which is smaller: -3/53 or x?
x
Let j = -34 + 41. Let u(r) = -r**2 + 10*r + 9. Let p be u(j). Let b = 30 - p. Which is smaller: -0.3 or b?
-0.3
Let v = -0.392 + -0.086. Let a = 0.47 + v. Is 0 smaller than a?
False
Suppose 4*w - 5*f - 24 = 0, -3*w - 4 = f - 3. Suppose 0 = z - z + z. Do z and w have the same value?
False
Let l(i) = -5*i**2 + 39*i + 7. Let b be l(8). Is -2/107 at most as big as b?
False
Let h = -48 - -65. Suppose -3*q + h = -160. Are q and 59 non-equal?
False
Let g(u) = 1878*u**2 + 10*u + 11. Let w be g(-1). Is w equal to 1878?
False
Let i = -2 - -2. Suppose 3*y - 38 = 154. Let k be y/(-68)*-2 + -2. Which is greater: k or i?
i
Let l be (12/(-50))/(204/(-30) + 4). Suppose 4*c = 5*r, 5*c + 4*r - 3*r = 0. Is l > c?
True
Let q be (2 - (-5 - -8)) + 5. Suppose -f + q*h = -5*f, -3*h = -3*f + 18. Let l be (-6)/4*4/(-2). Is f greater than or equal to l?
True
Let r be (-2*(-4)/32*2)/1. Which is greater: -498 or r?
r
Let r = -1/550 + 2213/7150. Let a = -19 - -29. Suppose 2*t + 0*t = 5*g - a, 5*t - 8 = -4*g. Is r smaller than t?
False
Let o = 0.119 + -1.009. Let n = -0.99 - o. Which is smaller: n or 0.068?
n
Let d(a) = 12*a + 2. Let k be d(8). Let v be 4/(-14) + 28/k. Suppose -3*y + 4*y = 0. Are y and v equal?
True
Let g = -50.226 + 0.176. Let n = g + 50. Are -2/7 and n nonequal?
True
Suppose -2*h + 5*h - 2*n + 4 = 0, 2*h - 9 = -n. Suppose p - 7 = -4*l + h*p, 5*l + 4*p = 35. Suppose -l*v + 21 = 2*t, -4*t - t = -v + 7. Is -1 less than v?
True
Let l = 20.9 - 21. Suppose 5*r - 3*j = -j - 6, r + 2*j - 6 = 0. Suppose r*h - h = -5. Which is greater: l or h?
h
Let c = 8 + -35/4. Suppose -3*x = 2135 - 2162. Which is greater: c or x?
x
Let x be 1/(-14) + (-380)/(-2380). Is 3 at most as big as x?
False
Let c(p) = 35*p - 138. Let s be c(5). Let q(b) = 10*b - 1. Let r be q(4). Which is smaller: s or r?
s
Let u = 522 + -520. Is 72 less than or equal to u?
False
Let x = 22 - 57. Let f = -30 - x. Suppose 0 = f*q - 12 + 17. Is q < 1/53?
True
Suppose -9 = -15*a + 16*a. Let h be (a*4/(-48))/(3/(-372)). Which is bigger: h or -92?
-92
Let q = 7974773/1098 + -7263. Which is smaller: q or 1?
q
Let n(v) = -2*v**3 - v**2 + 2*v - 5. Let y be n(2). Let l = y - -29. Let s be (-6)/l + (-7)/(-4). Is -2/61 greater than or equal to s?
False
Let s(k) = -4*k + 2. Let n(l) = l + 1. Let z(j) = -n(j) - s(j). Let c be z(-3). Let b be (-615)/50 + 12/40. Do b and c have different values?
False
Let q = -8 - -7.79. Let u = 43 + -43.21. Let d = q - u. Which is greater: d or 0.2?
0.2
Suppose -u - 4*b = -22, -4*u - 3*b + 148 = -2*b. Let x = u + -35. Is x at least 3?
True
Suppose -2*x = 4*v + 4, 5*v - 2*v = 4*x - 14. Suppose 7*u = x*u - 150. Let s be -1*(-1 + u/(-3)). Is -8 bigger than s?
True
Suppose -4*w = -d + w - 12, -4*d - 3*w + 44 = 0. Suppose d = 2*h + 30. Suppose 7 + 15 = -2*j. Is j at most as big as h?
True
Let q = -0.87 - 5.23. Let h = q + 0.1. Let l = 0 - h. Is 0.1 > l?
False
Let v = -0.6 - 2.6. Let f = v - -3.2. Is f greater than or equal to 1?
False
Let f(o) = -190*o + 25. Let d be f(2). Let w be (d/(-45) - -2) + 1. Is w != 10?
True
Let m be 0/(-1) + 1*-1. Let y be ((-1 - -3)/(-2))/((-5004)/(-108)). Let h = -2535/1529 - y. Which is bigger: h or m?
m
Let a = 127/3 + -42. Let i be (-2)/(2 - (-72)/(-33)). Suppose i = -5*t - 34. Do a and t have the same value?
False
Let m = 39 - 39.06. Which is greater: m or -2.9?
m
Let v = 3851/80376 - 23/408. Is v less than 1?
True
Let c = 1 + -3. Let r = 0 - c. Let s = -449/1828 + -2/457. Is r bigger than s?
True
Let o be 73/(-3) + 5*(-6)/(-90). Let d be o/16*(-4)/(-2). Is d bigger than -8/5?
False
Let v = -409 + 413. Is 26/5 >= v?
True
Let c be 395/(-175) + (40/25)/4. Which is smaller: 0.2 or c?
c
Let t = -344 - -344.1. Which is smaller: -0.25 or t?
-0.25
Suppose s + s = 8, -s + 4 = j. Let r = 2 + -42. Let c = r + 41. Which is smaller: j or c?
j
Let a(j) = j**2 - 25*j - 6. Let v be a(26). Let g be (76/(-6))/(2/(-3)). Is v smaller than g?
False
Let m = -174 - -2956/17. Suppose 11 + 18 = -72*b + 29. Is b > m?
True
Suppose -f = 3*g - 6, g = -2*f + 6*f - 37. Let i(o) = -3*o**2 - o. Let x be i(-1). Let t be 0/x - f/90. Which is greater: 1 or t?
1
Let u = 800 + -800. Let c = 432 - 12524/29. Is u greater than c?
False
Let w = 487 + -819. Is w bigger than 1?
False
Let w = -77/4352 - 3/256. Is 1 less than or equal to w?
False
Let m be (18/(-108))/((-1)/4). Let s(r) = r**3 + 6*r**2 - 2*r + 3. Let x be s(-6). Is m at most x?
True
Let m = -1.048 - -1.1. Let t = 0.008 + m. Which is smaller: t or -2/5?
-2/5
Let y = -40 - -92. Suppose 2*x + 3*x + 15 = 0, -4*x - y = -4*r. Let o be r/20*(-4)/(-30). Which is smaller: 1 or o?
o
Let u be (-76)/18 - (-7 + 13). Which is smaller: -9 or u?
u
Let w be (32/6 - 5)/(1/(-267)). Which is bigger: w or -93?
w
Let l = -0.287 + 0.377. Which is smaller: l or -126?
-126
Let x be ((-3)/(-12))/((-7)/28). Let s = -5/29 + 66/551. Are x and s non-equal?
True
Let v = -194.5 - -195. Let n be 3/(39/15 - 2). Let p = 4 - n. Which is bigger: p or v?
v
Let x = 66.63 + 2.37. Is 1 not equal to x?
True
Let l = -74 - -4. Let s = 56 + l. Is s greater than -13?
False
Suppose -5*x - 3*k + 29 = 0, 4*x + 0 = 4*k + 4. Let r be -1 - (x - (7 + -3)). Let i = 180 - 4498/25. Is i < r?
False
Let l = 61 + -61.012. Let d = l - -8.012. Is 0 at most as big as d?
True
Let j = 35 - 12. Let x = j + -19. Let z be -2*x/4 + -3. Is -5 <= z?
True
Suppose -156 = -2*x - 16. Suppose x = n - 0*n. Suppose -6*f - 74 - n = 0. Which is greater: f or -25?
f
Let r = 29 - 33. Suppose -4*w + 6 = -2. Suppose p + 12 = -w*p. Is r < p?
False
Let v = -3736/37 - -101. Let z(q) = 2*q**2 - 24*q + 63. Let l be z(8). Which is bigger: v or l?
v
Suppose 6*u + 1 = -5. Which is bigger: -2/219 or u?
-2/219
Suppose -3*v = c - 2, -v + 3*c - 24 = -8. Do 1/284 and v have different values?
True
Let h(u) = -3*u**2 + 58*u - 20. Let p be h(19). Which is greater: -3/545 or p?
-3/545
Suppose -13*r - 567 = -47. Which is greater: -52 or r?
r
Suppose -8*h + 2 = -6*h. Let x = -235 + 2588/11. Which is bigger: x or h?
h
Let c = 22 + -11. Let v = -11414 - -11425. Is v >= c?
True
Suppose 0 = -0*v - 2*v + 12. Suppose v = -3*g - 0*g. Suppose 4 + 0 = -2*s. Is s >= g?
True
Let g(x) = 2*x**2 - 5*x - 4. Let f be g(4). Let v = f - 1. Let z(u) = -u**2 + 7*u - 9. Let c be z(v). Which is smaller: c or -7?
c
Suppose 0 = 4*v - 15 - 1. Suppose -p + 3 - 2 = 3*f, -v*f + 3*p