= -2820 + 2830. Which is smaller: 283 or v?
v
Let r = -126 + 129. Suppose -3*c - 6 = -7*c + h, -r*c = -h - 4. Is 0 != c?
True
Suppose 166*r = -167*r + 339*r + 618. Is -103 not equal to r?
False
Let s = 36.127 - 36.14. Is s < 11?
True
Let l = -5 + 130. Suppose 3*q = -4*x + 480, -x + 3*q + l = 5*q. Let p = x + -112. Which is bigger: p or 2?
p
Let n(i) = i**3 + 8*i**2 + 15*i + 15. Let q be n(-6). Let r be (-17)/4 + -6*q/72. Let b(x) = -x**2 - 4*x - 5. Let c be b(-4). Are r and c non-equal?
True
Let b = -0.05034 - -0.06034. Which is greater: b or -1/867?
b
Let s be (0 + -2)/(-3 + (-42)/(-12)). Let n be ((-4)/(-4) + -1)/s. Let u be (530/(-15) - n)/((-6)/(-9)). Is -54 at least u?
False
Let p(j) = 22 - 5062*j**2 + 5061*j**2 + j + 2. Let w be p(5). Let u be 2/(-4 + (1424/90)/w). Which is smaller: u or -44?
u
Suppose 0*d - 2*d = -62. Let t = 2515 - 2481. Is d at most as big as t?
True
Let h = 2/4969 + 4965/9938. Is -52.39 at most h?
True
Let k = -23.2 - -23.492. Let o = 2.792 - k. Is 0.1 greater than or equal to o?
False
Let z be (2 - -5) + (-651)/87. Let m = -13/87 - z. Is m bigger than 1/24?
True
Let s(k) = k**2 + 15*k + 4. Let q(l) = -5*l**2 - 19*l - 10. Let r be q(-4). Let p be s(r). Which is bigger: -11 or p?
p
Suppose -7*x + 6*x + 3*h = 253, 0 = 4*x - h + 1023. Let d = -261 - x. Which is greater: d or 19?
19
Let l = 910/5959 + -12/101. Let h(v) = v**3 + 8*v**2 - 34*v - 17. Let d be h(-11). Let b(o) = -o**2 - o + 30. Let w be b(d). Are w and l equal?
False
Let g = -507 - -506. Is g at most -2/2507?
True
Let o = -15218 - -15218.023. Which is smaller: 2 or o?
o
Let b = -15 - -33. Let s be ((-16)/24)/(4/b). Let j be 1520/4380 + 1/s. Is j at most as big as -1?
False
Let s be ((-10)/(-2))/((-33)/561). Which is smaller: -67 or s?
s
Suppose -116*c + 11*c = 58*c - 35*c. Is c > 3/6281?
False
Let s = 492 - 364574/741. Let j = -3 + 3. Is j at most s?
False
Let n be (266/40*44/(-308))/(2/8). Does 1.5 = n?
False
Let d = -37 - -112/3. Let m be (-6)/(-15) + (-6650488)/(-16445). Let y = -2024/5 + m. Is d less than or equal to y?
False
Suppose -93*w + 3355 = 59*w - 3941. Suppose 0 = -7*v + 2*v + 235. Let b = w - v. Which is smaller: 2/83 or b?
2/83
Let l = 152 - 114. Let z = -41 + l. Is z not equal to 0.01?
True
Let v be 1337/(-49) + (-2)/(-7). Let q = 30 - 30. Let z be -31 - q - ((-12)/(-4) + -6). Which is greater: z or v?
v
Let u = 47/6479 - 15/209. Which is smaller: u or 95?
u
Let y be -1*(-6 + 2 + 265). Let f = -13101 - -12839. Is y at most as big as f?
False
Let v = -9.33 + 93.93. Let k = 8.4 + v. Let t = k - 49. Which is smaller: -0.1 or t?
-0.1
Suppose -2*z + 5*z = 2*d + 4, 3*z = 3*d + 3. Let u = 2 + z. Let c(i) = -3*i + 13. Let s be c(u). Do -4 and s have the same value?
False
Suppose 8*u = 5*p + 4*u + 30, 0 = 4*p - u + 13. Let x be (-105)/(-2275)*(-5)/p. Which is bigger: x or 3/5?
3/5
Let b be 899 - 900 - (-9)/(-366)*-42. Let p = -4.3 - -0.3. Which is smaller: p or b?
p
Let p = 103.5 - 105.5. Which is smaller: p or 8/55?
p
Let h = 7490 + -471. Is 7018 smaller than h?
True
Let i be 96/384 - 2315/(-4). Suppose -i = -5*v - 2*g, 15*g - 464 = -4*v + 13*g. Is 2/9 less than or equal to v?
True
Suppose 2*w + c = 122, -3*w + 0*w - c + 181 = 0. Let t = -56 + w. Let s be ((-8)/t)/(-4)*(-27)/18. Which is bigger: s or 44?
44
Let h = -33 + 31. Let i be 1*6*(-1)/h. Suppose -i*u + 8 = -u. Which is smaller: u or 7?
u
Let p = -12325 + 12072. Is -0.42 <= p?
False
Let m(p) = 18*p**2 - 98*p + 135. Let v be m(11). Is v at most 1231?
False
Let s = -26/529 - 451/1587. Which is greater: -1683 or s?
s
Let n be (-13)/((-2288)/(-2046)) + (9 - 0). Suppose 0*v = v + 2. Are v and n nonequal?
True
Let i be (3/3 - 2)*52/(-234). Does i = -46.3?
False
Let w = -28.7567 - -0.0567. Let z = w + 27. Which is smaller: -10 or z?
-10
Suppose -6*b - 34 = 2. Let g be -1*3 - (-13 - b). Which is smaller: g or 6?
g
Let v = 270 - 273.45. Let a = v - 10.55. Is 9 smaller than a?
False
Let s be 1 - 4/6*3. Let t = 74 + -24. Let n be (-65)/t + (-9)/45. Which is smaller: n or s?
n
Suppose -62*l = -71*l - 6129. Let q = 682 + l. Which is smaller: q or 7/5?
q
Suppose 0 = -c + 24 - 3. Suppose 11*n = 1 + c. Suppose 0*j = -13*j + n*j. Are j and -2/25 non-equal?
True
Let j = 2 - 3. Let d be 0 + (-1 - 0/j). Let k = 4/1589 - 1641/20657. Which is greater: d or k?
k
Let q(a) = -a**3 - 22*a**2 + 69*a - 149. Let w be q(-25). Let z be (6/10)/(122/(-5)). Are z and w nonequal?
True
Let n be 6/51 - (-47684)/442. Which is bigger: 111 or n?
111
Let o(h) = -284*h + 219. Let n be o(9). Which is bigger: -2335 or n?
-2335
Let v be ((-8)/(-2) + -2)/(6/2280). Which is greater: 761 or v?
761
Let m be -3*((-20)/(-6) + -6). Suppose 238 = m*h - 34. Is 33 equal to h?
False
Let z(s) = 2*s - 1. Let r(d) = -d - 14. Let m(q) = r(q) + 6*z(q). Let a be m(3). Suppose 5*l - 5*k = 70, -7 = -5*k - 2. Is l != a?
True
Let t be (-2)/(-2)*(-110)/(-5). Suppose 5*j = -z + 76, -j - z + 423 - 407 = 0. Is t less than or equal to j?
False
Suppose 1920*q - 1894*q = -5720. Does q = -224?
False
Suppose -2*g - 1 = -n, 12*n + 3 = 5*g + 15*n. Suppose 8*o + 16 - 8 = g. Which is greater: o or 11/26?
11/26
Let g be (20/6)/(-7 + (-47971)/(-6846)). Let d = g - 466. Is d bigger than 2/33?
False
Let j = 14 + -2. Let d = j - 14. Let m be (d/(-28))/(13/52). Does -1 = m?
False
Let a = -26 - -8. Let d = 77 - -111. Let q = d - 187.9. Is q bigger than a?
True
Let q(x) = 52*x - 40. Let k be -1*35/(-14)*(-4)/5. Let a be q(k). Are -142 and a equal?
False
Let c(a) = -38*a - 55. Let f be c(-2). Suppose -145 = f*g + 23. Which is smaller: -4 or g?
g
Suppose 2*f - 703*s + 3336 = -701*s, 5*s + 5004 = -3*f. Which is smaller: f or -1667?
f
Suppose 2*l - 14292 = 11208. Suppose -7*j = -12*j + l. Let y be (-435)/j - (-1)/5. Is 1 at least as big as y?
True
Let t = -126 - -125. Let v be (1207/2397)/(14/24). Let f = v + 40/47. Which is bigger: t or f?
f
Suppose d - 32 = -4*j, d = -5*j + 10 + 18. Suppose -5*c - d = m, 14 = -c - 2*m + 4*m. Let g(s) = -s - 11. Let x be g(c). Is x bigger than 0.3?
False
Let f(o) = -o**3 - 9*o**2 + 12*o - 8. Let i be f(-11). Suppose -124 = 3*l + p, i = -4*l - p - 62. Is -41 at most l?
True
Let b be (-1 - -27) + (-4)/2. Let z be 11562/(-8118) - (-36)/33 - (-73)/3. Are b and z equal?
True
Let r be (14 - (-65)/(-4))/((-3)/8). Is 196 <= r?
False
Let o = 78.51 + -143.1. Let d = 64 + o. Let b = d - -0.79. Which is bigger: 19 or b?
19
Let o(p) = 1606*p + 9634. Let f be o(-6). Let d = 36 + -147/4. Is f <= d?
True
Suppose 244*k + 14 = 137 + 609. Let n = 0.1 - 5.1. Is n equal to k?
False
Let w = 2548 + -2499. Are -0.05 and w unequal?
True
Let d = -194 - -187. Let j be (14/(-4))/d*(3 - 1). Which is bigger: j or -2/25?
j
Let f = 3530 + -3557. Which is smaller: f or -298/11?
-298/11
Let t = -340 - -215. Let n be (-725)/t + 4/(-5). Let g = -1.06 + 0.06. Is n greater than or equal to g?
True
Let o = 70 - 32. Let s = -158/231 - -27/77. Which is bigger: o or s?
o
Let z(b) = b**3 + 6*b**2 - 8. Let y be z(-6). Let j = 56.86 - 0.86. Let a = 57 - j. Which is bigger: a or y?
a
Let a = 56 + -58. Let o be 299/(-46) + (-1)/a. Let q(k) = -k**2 + 2*k - 1. Let f be q(3). Is o less than f?
True
Let n(h) = -57*h + 113. Let k be n(2). Let c be -9*(-17)/(-204)*k/(-3). Let o = 21 + 48. Is o at most c?
False
Let k = 14 + 29. Let q = -0.832 + 337.832. Let h = 338 - q. Is h less than or equal to k?
True
Suppose 5 = -5*k - 5*r, 4*k - 4*r - 11 = -5*r. Let h be (3 + (-11)/k)/(492/8). Which is bigger: h or 0?
h
Let k(x) = -50*x + 19. Let w be k(-7). Let c = w + -387. Is -21 at most c?
True
Suppose -14*c + 6*c = -2*u - 1416, -c + 196 = -5*u. Is c > -1?
True
Let c be -4 + ((-3624)/(-108) - (4 + -1)). Do 26 and c have the same value?
False
Let z = 802/7 + -582245/5082. Which is smaller: 1 or z?
z
Let i be ((-564)/4230)/((-8)/10 - -1). Let p(f) = 5*f + 18. Let l be p(-4). Which is greater: i or l?
i
Suppose 18*j + 2912 = 70*j. Let p be (2 + (-39)/2)/(j/112). Let m be -8*2/(4/9). Which is smaller: m or p?
m
Let p be ((-7)/4)/((-5)/40). Let g be (-67 - 2)*p/(-42). Which is smaller: -4 or g?
-4
Let x(q) = 403*q**2 - 7*q - 3. Let f be x(-1). Let k = -742 + f. Is -334 less than or equal to k?
False
Let o(n) = n**2 - 16*n + 1. Let w be o(16). Let u(q) = q**2 + 4*q - 3. Let p be u(w). Suppose 8 = -z - p*b, 2*b